| Efficient solving of large non-linear arithmetic constraint systems with complex boolean structure M Fränzle, C Herde, T Teige, S Ratschan, T Schubert Journal on Satisfiability, Boolean Modelling and Computation 1 (3-4), 209-236, 2006 | 471 | 2006 |
| Nonlinear model predictive control for trajectory tracking and collision avoidance of underactuated vessels with disturbances M Abdelaal, M Fränzle, A Hahn Ocean Engineering 160, 168-180, 2018 | 230 | 2018 |
| HySAT: An efficient proof engine for bounded model checking of hybrid systems M Fränzle, C Herde Formal Methods in System Design 30 (3), 179-198, 2007 | 184 | 2007 |
| Analysis of hybrid systems: An ounce of realism can save an infinity of states M Fränzle International Workshop on Computer Science Logic, 126-139, 1999 | 152 | 1999 |
| Measurability and safety verification for stochastic hybrid systems M Fränzle, EM Hahn, H Hermanns, N Wolovick, L Zhang Proceedings of the 14th international conference on Hybrid systems …, 2011 | 125 | 2011 |
| Provably correct systems J He, CAR Hoare, M Fränzle, M Müller-Olm, ER Olderog, M Schenke, ... International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 1994 | 119 | 1994 |
| Modeling options for demand side participation of thermostatically controlled loads M Kamgarpour, C Ellen, SEZ Soudjani, S Gerwinn, JL Mathieu, N Müllner, ... 2013 IREP Symposium Bulk Power System Dynamics and Control-IX Optimization …, 2013 | 110 | 2013 |
| Identification and quantification of hazardous scenarios for automated driving B Kramer, C Neurohr, M Büker, E Böde, M Fränzle, W Damm International symposium on model-based safety and assessment, 163-178, 2020 | 103 | 2020 |
| Stochastic satisfiability modulo theory: A novel technique for the analysis of probabilistic hybrid systems M Fränzle, H Hermanns, T Teige International Workshop on Hybrid Systems: Computation and Control, 172-186, 2008 | 100 | 2008 |
| SAT modulo ODE: A direct SAT approach to hybrid systems A Eggers, M Fränzle, C Herde International Symposium on Automated Technology for Verification and …, 2008 | 97 | 2008 |
| Verifying simulink diagrams via a hybrid hoare logic prover L Zou, N Zhany, S Wang, M Fränzle, S Qin 2013 Proceedings of the International Conference on Embedded Software …, 2013 | 74 | 2013 |
| Formal verification of Simulink/Stateflow diagrams L Zou, N Zhan, S Wang, M Fränzle International Symposium on Automated Technology for Verification and …, 2015 | 71 | 2015 |
| Improving SAT modulo ODE for hybrid systems analysis by combining different enclosure methods A Eggers, N Ramdani, N Nedialkov, M Fränzle International Conference on Software Engineering and Formal Methods, 172-187, 2011 | 69 | 2011 |
| Inner-approximating reachable sets for polynomial systems with time-varying uncertainties B Xue, M Fränzle, N Zhan IEEE Transactions on Automatic Control 65 (4), 1468-1483, 2019 | 67 | 2019 |
| Improving the SAT modulo ODE approach to hybrid systems analysis by combining different enclosure methods A Eggers, N Ramdani, NS Nedialkov, M Fränzle Software & Systems Modeling 14 (1), 121-148, 2015 | 65 | 2015 |
| Efficient proof engines for bounded model checking of hybrid systems M Fränzle, C Herde Electronic Notes in Theoretical Computer Science 133, 119-137, 2005 | 61 | 2005 |
| A comprehensive and harmonized method for assessing the effectiveness of advanced driver assistance systems by virtual simulation: The PEARS initiative P Yves, F Felix, F Anita, G Johann, H Thomas, L Magdalena, P Stefan, ... Proc. 24th Int. Tech. Conf. Enhanced Saf. Vehicles (ESV), 1-12, 2015 | 58 | 2015 |
| Analysis of hybrid systems using HySAT C Herde, A Eggers, M Fränzle, T Teige Third International Conference on Systems (icons 2008), 196-201, 2008 | 53 | 2008 |
| What will be eventually true of polynomial hybrid automata? M Fränzle International Symposium on Theoretical Aspects of Computer Software, 340-359, 2001 | 51 | 2001 |
| Engineering constraint solvers for automatic analysis of probabilistic hybrid automata M Fränzle, T Teige, A Eggers The Journal of Logic and Algebraic Programming 79 (7), 436-466, 2010 | 50 | 2010 |
Tino TeigeChief Research Engineer Innovation & Technology, BTC Embedded Systems AGVerified email at btc-es.de
