Martin Fränzle

Cytowane przez

	Wszystkie	Od 2017
Cytowania	3338	1455
h-indeks	29	20
i10-indeks	79	43

320

160

240

1994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202213 19 23 32 20 35 13 28 23 22 25 53 43 86 108 89 132 138 175 153 207 214 181 259 219 306 244 271 152

Dostęp publiczny

Wyświetl wszystko

74 artykuły

16 artykułów

dostępne

niedostępne

Objęte finansowaniem

Współautorzy

Tino TeigeChief Research Engineer Innovation & Technology, BTC Embedded Systems AGZweryfikowany adres z btc-es.de
Naijun ZhanInstitute of Software Chinese Academy of SciencesZweryfikowany adres z ios.ac.cn
Dr. Bai XueState Key Laboratory of Computer Science, Institute of Software CASZweryfikowany adres z ios.ac.cn
Ernst-Ruediger OlderogProfessor für Informatik, Universität OldenburgZweryfikowany adres z informatik.uni-oldenburg.de
Bernd BeckerProfessor of Computer Science, University of FreiburgZweryfikowany adres z informatik.uni-freiburg.de
Nacim RamdaniUniversité d'Orléans, Bourges, FranceZweryfikowany adres z univ-orleans.fr
Nils Müllnerpostdoc, Mälardalen UniversityZweryfikowany adres z informatik.uni-oldenburg.de
Alessandro AbateProfessor of Verification and Control, University of OxfordZweryfikowany adres z cs.ox.ac.uk
Axel HahnProfessor für Informatik, Universität OldenburgZweryfikowany adres z offis.de
Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusZweryfikowany adres z cs.uni-saarland.de
Stefan RatschanCzech Academy of SciencesZweryfikowany adres z cs.cas.cz
Nedialko S. NedialkovProfessor, McMaster UniversityZweryfikowany adres z mcmaster.ca
Mingshuai ChenRWTH Aachen UniversityZweryfikowany adres z cs.rwth-aachen.de
Eckard BödeGerman Aerospace Center (DLR)Zweryfikowany adres z dlr.de
Christian EllenOFFISZweryfikowany adres z offis.de
Liang ZouTencentZweryfikowany adres z tencent.com
Kim GrüttnerGerman Aerospace Center (DLR)Zweryfikowany adres z dlr.de
Sadegh SoudjaniReader / Associate Professor in Cyber-Physical Systems, Newcastle UniversityZweryfikowany adres z ncl.ac.uk
Anders P. RavnAalborg UniversityZweryfikowany adres z cs.aau.dk
Tony (C.A.R.) HoarePrincipal Researcher, Microsoft Research; Emeritus Professor, University of Oxford; GriffithZweryfikowany adres z griffith.edu.au

Obserwuj

Martin Fränzle

Professor of Computer Science, University of Oldenburg

Zweryfikowany adres z informatik.uni-oldenburg.de

Formal methods in computer science hybrid discrete-continuous systems control


Tytuł Sortuj wg cytatów Sortuj wg roku Sortuj wg tytułu	Cytowane przez Cytowane przez	Rok
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	429	2006
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	162	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	144	1999
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, 288-335, 1994	117	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	102	2013
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	96	2011
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	92	2018
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	89	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	85	2008
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	61	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	56	2011
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	55	2013
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	55	2005
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	54	2008
What will be eventually true of polynomial hybrid automata? M Fränzle International Symposium on Theoretical Aspects of Computer Software, 340-359, 2001	50	2001
Formal verification of Simulink/Stateflow diagrams L Zou, N Zhan, S Wang, M Fränzle International Symposium on Automated Technology for Verification and …, 2015	48	2015
Test automation for hybrid systems B Badban, M Fränzle, J Peleska, T Teige Proceedings of the 3rd international workshop on Software quality assurance …, 2006	44	2006
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	43	2010
Model-checking dense-time duration calculus M Fränzle Formal Aspects of Computing 16 (2), 121-139, 2004	43	2004
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, ... The 24th international technical conference on the enhanced safety of …, 2015	37	2015

Nie można teraz wykonać tej operacji. Spróbuj ponownie później.

Prace 1–20

Cytowania rocznie

Powielone cytowania

Scalone cytowania

Dodaj współautorówWspółautorzy

Obserwuj

Cytowane przez

Współautorzy