×
Author ID: franzle.martin Recent zbMATH articles by "Fränzle, Martin"
Published as: Fränzle, Martin
External Links: MGP

Publications by Year

Citations contained in zbMATH Open

40 Publications have been cited 242 times in 174 Documents Cited by Year
Efficient solving of large non-linear arithmetic constraint systems with complex Boolean structure. Zbl 1144.68371
Fränzle, Martin; Herde, Christian; Teige, Tino; Ratschan, Stefan; Schubert, Tobias
48
2006
Analysis of hybrid systems: An ounce of realism can save an infinity of states. Zbl 0944.68119
Fränzle, Martin
23
1999
HySAT: An efficient proof engine for bounded model checking of hybrid systems. Zbl 1116.68048
Fränzle, Martin; Herde, Christian
20
2007
Measurability and safety verification for stochastic hybrid systems. Zbl 1362.68170
Fränzle, Martin; Hahn, Ernst Moritz; Hermanns, Holger; Wolovick, Nicolás; Zhang, Lijun
17
2011
SAT modulo ODE: A direct SAT approach to hybrid systems. Zbl 1183.68369
Eggers, Andreas; Fränzle, Martin; Herde, Christian
13
2008
What will be eventually true of polynomial hybrid automata? Zbl 1087.68571
Fränzle, Martin
10
2001
Stochastic satisfiability modulo theory: A novel technique for the analysis of probabilistic hybrid systems. Zbl 1143.68452
Fränzle, Martin; Hermanns, Holger; Teige, Tino
10
2008
Formal verification of Simulink/Stateflow diagrams. Zbl 1471.68159
Zou, Liang; Zhan, Naijun; Wang, Shuling; Fränzle, Martin
8
2015
Deciding an interval logic with accumulated durations. Zbl 1186.03055
Fränzle, Martin; Hansen, Michael R.
7
2007
Model-checking dense-time duration calculus. Zbl 1084.68071
Fränzle, Martin
7
2004
Improving SAT modulo ODE for hybrid systems analysis by combining different enclosure methods. Zbl 1350.68231
Eggers, Andreas; Ramdani, Nacim; Nedialkov, Nedialko; Fränzle, Martin
5
2011
Automatic verification of stability and safety for delay differential equations. Zbl 1381.68188
Zou, Liang; Fränzle, Martin; Zhan, Naijun; Nazier Mosaad, Peter
5
2015
Robust invariant sets generation for state-constrained perturbed polynomial systems. Zbl 07120148
Xue, Bai; Wang, Qiuye; Zhan, Naijun; Fränzle, Martin
5
2019
Effective definability of the reachability relation in timed automata. Zbl 1478.68126
Fränzle, Martin; Quaas, Karin; Shirmohammadi, Mahsa; Worrell, James
5
2020
Under-approximating reach sets for polynomial continuous systems. Zbl 1417.93064
Xue, Bai; Fränzle, Martin; Zhan, Naijun
5
2018
Constraint-based analysis of concurrent probabilistic hybrid systems: an application to networked automation systems. Zbl 1225.93102
Teige, Tino; Eggers, Andreas; Fränzle, Martin
4
2011
Inner-approximating reachable sets for polynomial systems with time-varying uncertainties. Zbl 07256270
Xue, Bai; Fränzle, Martin; Zhan, Naijun
4
2020
Engineering constraint solvers for automatic analysis of probabilistic hybrid automata. Zbl 1205.68252
Fränzle, Martin; Teige, Tino; Eggers, Andreas
4
2010
Stochastic satisfiability modulo theories for non-linear arithmetic. Zbl 1142.68525
Teige, Tino; Fränzle, Martin
3
2008
Parallel SAT solving in bounded model checking. Zbl 1213.68359
Ábrahám, Erika; Schubert, Tobias; Becker, Bernd; Fränzle, Martin; Herde, Christian
3
2011
Efficient SAT engines for concise logics: accelerating proof search for zero-one linear constraint systems. Zbl 1273.68319
Fränzle, Martin; Herde, Christian
3
2003
Revisiting decidability and optimum reachability for multi-priced timed automata. Zbl 1262.68090
Fränzle, Martin; Swaminathan, Mani
3
2009
No need knowing numerous neighbours. Towards a realizable interpretation of MLSL. Zbl 1444.68181
Fränzle, Martin; Hansen, Michael R.; Ody, Heinrich
3
2015
Reach-avoid verification for nonlinear systems based on boundary analysis. Zbl 1370.93045
Xue, Bai; Easwaran, Arvind; Cho, Nam-Joon; Fränzle, Martin
3
2017
Validated simulation-based verification of delayed differential dynamics. Zbl 1427.68163
Chen, Mingshuai; Fränzle, Martin; Li, Yangjia; Mosaad, Peter N.; Zhan, Naijun
3
2016
Take it NP-easy: bounded model construction for duration calculus. Zbl 1278.68170
Fränzle, Martin
2
2002
Generalized Craig interpolation for stochastic Boolean satisfiability problems with applications to probabilistic state reachability and region stability. Zbl 1242.68191
Teige, Tino; Fränzle, Martin
2
2012
Safe over- and under-approximation of reachable sets for delay differential equations. Zbl 1497.93100
Xue, Bai; Mosaad, Peter Nazier; Fränzle, Martin; Chen, Mingshuai; Li, Yangjia; Zhan, Naijun
2
2017
Confidence bounds for statistical model checking of probabilistic hybrid systems. Zbl 1374.68279
Ellen, Christian; Gerwinn, Sebastian; Fränzle, Martin
2
2012
Resolution for stochastic Boolean satisfiability. Zbl 1306.68175
Teige, Tino; Fränzle, Martin
2
2010
Syntax-guided optimal synthesis for chemical reaction networks. Zbl 1494.68163
Cardelli, Luca; Češka, Milan; Fränzle, Martin; Kwiatkowska, Marta; Laurenti, Luca; Paoletti, Nicola; Whitby, Max
2
2017
Generalized Craig interpolation for stochastic Boolean satisfiability problems. Zbl 1315.68183
Teige, Tino; Fränzle, Martin
1
2011
Crossing the bridge between similar games. Zbl 1348.68147
Quesel, Jan-David; Fränzle, Martin; Damm, Werner
1
2011
A semantics for distributed execution of Statemate. Zbl 1093.68599
Fränzle, Martin; Niehaus, Jürgen; Metzner, Alexander; Damm, Werner
1
2003
Special issue on Hybrid systems: computation and control. Zbl 1384.00108
1
2018
What’s to come is still unsure. Synthesizing controllers resilient to delayed interaction. Zbl 1520.91077
Chen, Mingshuai; Fränzle, Martin; Li, Yangjia; Mosaad, Peter N.; Zhan, Naijun
1
2018
Dependable software engineering: theories, tools, and applications. Second international symposium, SETTA 2016, Beijing, China, November 9–11, 2016. Proceedings. Zbl 1347.68007
1
2016
Costs and rewards in priced timed automata. Zbl 1483.68167
Fränzle, Martin; Shirmohammadi, Mahsa; Swaminathan, Mani; Worrell, James
1
2018
Indecision and delays are the parents of failure – taming them algorithmically by synthesizing delay-resilient control. Zbl 1528.68214
Chen, Mingshuai; Fränzle, Martin; Li, Yangjia; Mosaad, Peter N.; Zhan, Naijun
1
2021
Safe over- and under-approximation of reachable sets for autonomous dynamical systems. Zbl 1518.93015
Li, Meilun; Mosaad, Peter N.; Fränzle, Martin; She, Zhikun; Xue, Bai
1
2018
Indecision and delays are the parents of failure – taming them algorithmically by synthesizing delay-resilient control. Zbl 1528.68214
Chen, Mingshuai; Fränzle, Martin; Li, Yangjia; Mosaad, Peter N.; Zhan, Naijun
1
2021
Effective definability of the reachability relation in timed automata. Zbl 1478.68126
Fränzle, Martin; Quaas, Karin; Shirmohammadi, Mahsa; Worrell, James
5
2020
Inner-approximating reachable sets for polynomial systems with time-varying uncertainties. Zbl 07256270
Xue, Bai; Fränzle, Martin; Zhan, Naijun
4
2020
Robust invariant sets generation for state-constrained perturbed polynomial systems. Zbl 07120148
Xue, Bai; Wang, Qiuye; Zhan, Naijun; Fränzle, Martin
5
2019
Under-approximating reach sets for polynomial continuous systems. Zbl 1417.93064
Xue, Bai; Fränzle, Martin; Zhan, Naijun
5
2018
Special issue on Hybrid systems: computation and control. Zbl 1384.00108
1
2018
What’s to come is still unsure. Synthesizing controllers resilient to delayed interaction. Zbl 1520.91077
Chen, Mingshuai; Fränzle, Martin; Li, Yangjia; Mosaad, Peter N.; Zhan, Naijun
1
2018
Costs and rewards in priced timed automata. Zbl 1483.68167
Fränzle, Martin; Shirmohammadi, Mahsa; Swaminathan, Mani; Worrell, James
1
2018
Safe over- and under-approximation of reachable sets for autonomous dynamical systems. Zbl 1518.93015
Li, Meilun; Mosaad, Peter N.; Fränzle, Martin; She, Zhikun; Xue, Bai
1
2018
Reach-avoid verification for nonlinear systems based on boundary analysis. Zbl 1370.93045
Xue, Bai; Easwaran, Arvind; Cho, Nam-Joon; Fränzle, Martin
3
2017
Safe over- and under-approximation of reachable sets for delay differential equations. Zbl 1497.93100
Xue, Bai; Mosaad, Peter Nazier; Fränzle, Martin; Chen, Mingshuai; Li, Yangjia; Zhan, Naijun
2
2017
Syntax-guided optimal synthesis for chemical reaction networks. Zbl 1494.68163
Cardelli, Luca; Češka, Milan; Fränzle, Martin; Kwiatkowska, Marta; Laurenti, Luca; Paoletti, Nicola; Whitby, Max
2
2017
Validated simulation-based verification of delayed differential dynamics. Zbl 1427.68163
Chen, Mingshuai; Fränzle, Martin; Li, Yangjia; Mosaad, Peter N.; Zhan, Naijun
3
2016
Dependable software engineering: theories, tools, and applications. Second international symposium, SETTA 2016, Beijing, China, November 9–11, 2016. Proceedings. Zbl 1347.68007
1
2016
Formal verification of Simulink/Stateflow diagrams. Zbl 1471.68159
Zou, Liang; Zhan, Naijun; Wang, Shuling; Fränzle, Martin
8
2015
Automatic verification of stability and safety for delay differential equations. Zbl 1381.68188
Zou, Liang; Fränzle, Martin; Zhan, Naijun; Nazier Mosaad, Peter
5
2015
No need knowing numerous neighbours. Towards a realizable interpretation of MLSL. Zbl 1444.68181
Fränzle, Martin; Hansen, Michael R.; Ody, Heinrich
3
2015
Generalized Craig interpolation for stochastic Boolean satisfiability problems with applications to probabilistic state reachability and region stability. Zbl 1242.68191
Teige, Tino; Fränzle, Martin
2
2012
Confidence bounds for statistical model checking of probabilistic hybrid systems. Zbl 1374.68279
Ellen, Christian; Gerwinn, Sebastian; Fränzle, Martin
2
2012
Measurability and safety verification for stochastic hybrid systems. Zbl 1362.68170
Fränzle, Martin; Hahn, Ernst Moritz; Hermanns, Holger; Wolovick, Nicolás; Zhang, Lijun
17
2011
Improving SAT modulo ODE for hybrid systems analysis by combining different enclosure methods. Zbl 1350.68231
Eggers, Andreas; Ramdani, Nacim; Nedialkov, Nedialko; Fränzle, Martin
5
2011
Constraint-based analysis of concurrent probabilistic hybrid systems: an application to networked automation systems. Zbl 1225.93102
Teige, Tino; Eggers, Andreas; Fränzle, Martin
4
2011
Parallel SAT solving in bounded model checking. Zbl 1213.68359
Ábrahám, Erika; Schubert, Tobias; Becker, Bernd; Fränzle, Martin; Herde, Christian
3
2011
Generalized Craig interpolation for stochastic Boolean satisfiability problems. Zbl 1315.68183
Teige, Tino; Fränzle, Martin
1
2011
Crossing the bridge between similar games. Zbl 1348.68147
Quesel, Jan-David; Fränzle, Martin; Damm, Werner
1
2011
Engineering constraint solvers for automatic analysis of probabilistic hybrid automata. Zbl 1205.68252
Fränzle, Martin; Teige, Tino; Eggers, Andreas
4
2010
Resolution for stochastic Boolean satisfiability. Zbl 1306.68175
Teige, Tino; Fränzle, Martin
2
2010
Revisiting decidability and optimum reachability for multi-priced timed automata. Zbl 1262.68090
Fränzle, Martin; Swaminathan, Mani
3
2009
SAT modulo ODE: A direct SAT approach to hybrid systems. Zbl 1183.68369
Eggers, Andreas; Fränzle, Martin; Herde, Christian
13
2008
Stochastic satisfiability modulo theory: A novel technique for the analysis of probabilistic hybrid systems. Zbl 1143.68452
Fränzle, Martin; Hermanns, Holger; Teige, Tino
10
2008
Stochastic satisfiability modulo theories for non-linear arithmetic. Zbl 1142.68525
Teige, Tino; Fränzle, Martin
3
2008
HySAT: An efficient proof engine for bounded model checking of hybrid systems. Zbl 1116.68048
Fränzle, Martin; Herde, Christian
20
2007
Deciding an interval logic with accumulated durations. Zbl 1186.03055
Fränzle, Martin; Hansen, Michael R.
7
2007
Efficient solving of large non-linear arithmetic constraint systems with complex Boolean structure. Zbl 1144.68371
Fränzle, Martin; Herde, Christian; Teige, Tino; Ratschan, Stefan; Schubert, Tobias
48
2006
Model-checking dense-time duration calculus. Zbl 1084.68071
Fränzle, Martin
7
2004
Efficient SAT engines for concise logics: accelerating proof search for zero-one linear constraint systems. Zbl 1273.68319
Fränzle, Martin; Herde, Christian
3
2003
A semantics for distributed execution of Statemate. Zbl 1093.68599
Fränzle, Martin; Niehaus, Jürgen; Metzner, Alexander; Damm, Werner
1
2003
Take it NP-easy: bounded model construction for duration calculus. Zbl 1278.68170
Fränzle, Martin
2
2002
What will be eventually true of polynomial hybrid automata? Zbl 1087.68571
Fränzle, Martin
10
2001
Analysis of hybrid systems: An ounce of realism can save an infinity of states. Zbl 0944.68119
Fränzle, Martin
23
1999
all top 5

Cited by 371 Authors

15 Fränzle, Martin
8 Ábrahám, Erika
8 Zhan, Naijun
7 Teige, Tino
6 Eggers, Andreas
6 Ratschan, Stefan
6 Wang, Shuling
5 Abate, Alessandro
5 Cimatti, Alessandro
5 Platzer, André
4 Clemente, Lorenzo
4 Kremer, Gereon
4 Kröning, Daniel
4 Lanotte, Ruggero
4 Piazza, Carla
4 She, Zhikun
3 Casagrande, Alberto
3 Corzilius, Florian
3 Griggio, Alberto
3 Hermanns, Holger
3 Junges, Sebastian
3 Katoen, Joost-Pieter
3 Kupferschmid, Stefan
3 Lasota, Sławomir
3 Legay, Axel
3 Pappas, George J.
3 Ramdani, Nacim
3 Schupp, Stefan
3 Swaminathan, Mani
3 Tini, Simone
3 Xue, Bai
3 Zhan, Bohua
2 Bauer, Kerstin
2 Becker, Bernd
2 Bogomolov, Sergiy
2 Borralleras, Cristina
2 Bournez, Olivier
2 Bouyer, Patricia
2 Brain, Martin
2 Bu, Lei
2 Cattaruzza, Dario
2 Collins, Peter J.
2 Damm, Werner
2 Davenport, James Harold
2 Doyen, Laurent
2 Dreossi, Tommaso
2 England, Matthew
2 Fahrenberg, Uli
2 Farjudian, Amin
2 Gentilini, Raffaella
2 Hahn, Ernst Moritz
2 Hansen, Michael Reichhardt
2 Herde, Christian
2 Jiao, Li
2 Khanh, To Van
2 Kim, Eunhee
2 Kolárik, Tomáš
2 Kwon, YoungMin
2 Larsen, Kim Guldstrand
2 Li, Xuandong
2 Lucas, Salvador
2 Malik, Avinash
2 Markey, Nicolas
2 Moggi, Eugenio
2 Mover, Sergio
2 Navarro-López, Eva María
2 Nedialkov, Nedialko S.
2 Ogawa, Mizuhito
2 Passerini, Andrea
2 Piórkowski, Radosław
2 Policriti, Alberto
2 Prabhakar, Pavithra
2 Rodríguez-Carbonell, Enric
2 Rubio, Albert
2 Sankaranarayanan, Sriram
2 Schneider, Klaus
2 Schrammel, Peter
2 Schwammberger, Maike
2 Sebastiani, Roberto
2 Shirmohammadi, Mahsa
2 Sproston, Jeremy
2 Talpin, Jean-Pierre
2 Teso, Stefano
2 Tonetta, Stefano
2 Tung, Vu Xuan
2 Weidenbach, Christoph
2 Worrell, James B.
2 Xu, Xiong
2 Zamani, Majid
2 Zhang, Lijun
1 Aanand, Sumit Jha
1 Abbott, John A.
1 Adelt, Julius
1 Ahrendt, Wolfgang
1 Ait-Ameur, Yamine
1 Akbarpour, Behzad
1 Althaus, Ernst
1 Anand, Mahathi
1 Arcak, Murat
1 Baarir, Souheib
...and 271 more Authors

Citations by Year