Folgen
Martin Fränzle
Martin Fränzle
Professor of Computer Science, University of Oldenburg
Bestätigte E-Mail-Adresse bei informatik.uni-oldenburg.de
Titel
Zitiert von
Zitiert von
Jahr
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 Modeling and Computation 1 (3-4), 209-236, 2006
4642006
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
1972018
HySAT: An efficient proof engine for bounded model checking of hybrid systems
M Fränzle, C Herde
Formal Methods in System Design 30, 179-198, 2007
1782007
Analysis of hybrid systems: An ounce of realism can save an infinity of states
M Fränzle
Computer Science Logic: 13th International Workshop, CSL’99 8th Annual …, 1999
1501999
Provably correct systems
J He, CAR Hoare, M Fränzle, M Müller-Olm, ER Olderog, M Schenke, ...
Formal Techniques in Real-Time and Fault-Tolerant Systems: Third …, 1994
1271994
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
1182011
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
1072013
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
992008
SAT modulo ODE: A direct SAT approach to hybrid systems
A Eggers, M Fränzle, C Herde
Automated Technology for Verification and Analysis: 6th International …, 2008
962008
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
762020
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
762013
Formal verification of Simulink/Stateflow diagrams
L Zou, N Zhan, S Wang, M Fränzle
Automated Technology for Verification and Analysis: 13th International …, 2015
712015
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
652015
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
652011
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
612005
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
582019
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
522008
What will be eventually true of polynomial hybrid automata?
M Fränzle
Theoretical Aspects of Computer Software: 4th International Symposium, TACS …, 2001
512001
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
492015
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
482010
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20