Edit Profile (opens in new tab) Fränzle, Martin Co-Author Distance Author ID: franzle.martin Published as: Fränzle, Martin External Links: MGP Documents Indexed: 55 Publications since 1995, including 3 Additional arXiv Preprints 5 Contributions as Editor Co-Authors: 66 Co-Authors with 54 Joint Publications 1,599 Co-Co-Authors all top 5 Co-Authors 5 single-authored 14 Zhan, Naijun 11 Xue, Bai 8 Teige, Tino 5 Herde, Christian 4 Chen, Mingshuai 4 Eggers, Andreas 4 Hansen, Michael Reichhardt 4 Li, Yangjia 4 Mosaad, Peter N. 4 Nazier Mosaad, Peter 3 Shirmohammadi, Mahsa 3 Swaminathan, Mani 3 Worrell, James B. 2 Damm, Werner 2 Gerwinn, Sebastian 2 Hermanns, Holger 2 Kapur, Deepak 2 Kröger, Paul 2 Mahdi, Ahmed Mohsin 2 Ody, Heinrich 2 Schubert, Tobias 2 Wang, Qiuye 2 Zou, Liang 1 Abate, Alessandro 1 Ábrahám, Erika 1 Becker, Bernd 1 Cardelli, Luca 1 Češka, Milan 1 Cheng, Chih-Hong 1 Cho, Nam-Joon 1 Dorff, Sebastian vom 1 Easwaran, Arvind 1 Ellen, Christian 1 Esen, Hasan 1 Feng, Shenghua 1 Girard, Antoine 1 Hahn, Ernst Moritz 1 Katoen, Joost-Pieter 1 Kwiatkowska, Marta Z. 1 Laurenti, Luca 1 Li, Meilun 1 Liu, Wanwei 1 Lüth, Karsten 1 Lygeros, John 1 Metzner, Alexander 1 Müllner, Nils 1 Nedialkov, Nedialko S. 1 Niehaus, Jürgen 1 Paoletti, Nicola 1 Quaas, Karin 1 Quesel, Jan-David 1 Ramdani, Nacim 1 Ratschan, Stefan 1 Sankaranarayanan, Sriram 1 She, Zhikun 1 Theel, Oliver 1 Tsourdos, Antonios 1 von Stengel, Bernhard 1 Wang, Ji 1 Wang, Shuling 1 Wehrheim, Heike 1 Westphal, Bernd 1 Whitby, Max 1 Wittmüss, Arne 1 Wolovick, Nicolás 1 Zhang, Lijun all top 5 Serials 3 Formal Aspects of Computing 2 Information Processing Letters 2 IEEE Transactions on Automatic Control 2 Lecture Notes in Computer Science 2 Nonlinear Analysis. Hybrid Systems 1 Acta Informatica 1 Computer Languages 1 Journal of Computer and System Sciences 1 Information and Computation 1 Journal of Logic and Computation 1 Formal Methods in System Design 1 The Journal of Logic and Algebraic Programming 1 Electronic Notes in Theoretical Computer Science 1 Journal of Satisfiability, Boolean Modeling and Computation 1 Logical Methods in Computer Science 1 Scientific Annals of Computer Science all top 5 Fields 49 Computer science (68-XX) 16 Systems theory; control (93-XX) 14 Mathematical logic and foundations (03-XX) 6 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 5 General and overarching topics; collections (00-XX) 5 Ordinary differential equations (34-XX) 3 Operations research, mathematical programming (90-XX) 2 Number theory (11-XX) 2 Dynamical systems and ergodic theory (37-XX) 2 Numerical analysis (65-XX) 1 Probability theory and stochastic processes (60-XX) 1 Biology and other natural sciences (92-XX) Publications by Year all cited Publications top 5 cited Publications 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 cited Publications top 5 cited Publications 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 all top 5 Cited in 35 Serials 15 Formal Methods in System Design 10 Theoretical Computer Science 7 Information and Computation 7 Journal of Automated Reasoning 7 Journal of Logical and Algebraic Methods in Programming 5 Automatica 5 Nonlinear Analysis. Hybrid Systems 4 Formal Aspects of Computing 4 Annals of Mathematics and Artificial Intelligence 3 Artificial Intelligence 3 Journal of Computer and System Sciences 2 Applied Mathematics and Computation 2 MSCS. Mathematical Structures in Computer Science 2 European Journal of Control 2 Logical Methods in Computer Science 1 International Journal of Control 1 Journal of the Franklin Institute 1 SIAM Journal on Control and Optimization 1 Systems & Control Letters 1 Science of Computer Programming 1 Operations Research Letters 1 Discrete Event Dynamic Systems 1 Numerical Algorithms 1 Archives of Control Sciences 1 Computer Science Journal of Moldova 1 Constraints 1 Theory of Computing Systems 1 Mathematical and Computer Modelling of Dynamical Systems 1 The Journal of Logic and Algebraic Programming 1 Journal of Systems Science and Complexity 1 Journal of Applied Mathematics 1 Mathematics in Computer Science 1 Logica Universalis 1 Frontiers of Computer Science 1 Computer Science Review all top 5 Cited in 21 Fields 141 Computer science (68-XX) 48 Systems theory; control (93-XX) 39 Mathematical logic and foundations (03-XX) 17 Operations research, mathematical programming (90-XX) 9 Numerical analysis (65-XX) 7 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 5 Probability theory and stochastic processes (60-XX) 5 Biology and other natural sciences (92-XX) 4 Ordinary differential equations (34-XX) 3 Information and communication theory, circuits (94-XX) 2 Number theory (11-XX) 2 Category theory; homological algebra (18-XX) 2 Dynamical systems and ergodic theory (37-XX) 1 Combinatorics (05-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Operator theory (47-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 General topology (54-XX) 1 Algebraic topology (55-XX) 1 Mechanics of particles and systems (70-XX) Citations by Year