Martin Fränzle

Citirano

	Sve	Od 2020.
Citati	4254	1556
H-indeks	31	19
i10-indeks	105	47

340

170

255

1994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202514 19 24 35 21 31 18 28 19 19 31 55 42 94 97 94 144 139 180 146 210 212 162 255 224 313 258 285 318 333 324 36

Javni pristup

Prikaži sve

88 članaka

31 članak

dostupno

nije dostupno

Na temelju uvjeta financiranja

Suautori

Tino TeigeChief Research Engineer Innovation & Technology, BTC Embedded Systems AGPotvrđena adresa e-pošte na btc-es.de
Naijun ZhanSchool of Computer Science, Peking UniversityPotvrđena adresa e-pošte na ios.ac.cn
Bai XueFull Professor, State Key Laboratory of Computer Science,Institute of Software, CASPotvrđena adresa e-pošte na ios.ac.cn
Ernst-Ruediger OlderogProfessor für Informatik, Universität OldenburgPotvrđena adresa e-pošte na informatik.uni-oldenburg.de
Nacim RamdaniUniversité d'Orléans, Bourges, FrancePotvrđena adresa e-pošte na univ-orleans.fr
Alessandro AbateProfessor of Verification and Control, University of Oxford, UKPotvrđena adresa e-pošte na cs.ox.ac.uk
Bernd BeckerProfessor of Computer Science, University of FreiburgPotvrđena adresa e-pošte na informatik.uni-freiburg.de
Axel HahnDirektor DLR-Institut, Professor für Informatik, Universität OldenburgPotvrđena adresa e-pošte na uol.de
Nils Müllnerpostdoc, Mälardalen UniversityPotvrđena adresa e-pošte na informatik.uni-oldenburg.de
Eckard BödeGerman Aerospace Center (DLR)Potvrđena adresa e-pošte na dlr.de
Mingshuai ChenAssistant Professor of Computer Science, Zhejiang UniversityPotvrđena adresa e-pošte na zju.edu.cn
Stefan RatschanCzech Academy of SciencesPotvrđena adresa e-pošte na cs.cas.cz
Nedialko S. NedialkovProfessor, McMaster UniversityPotvrđena adresa e-pošte na mcmaster.ca
Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusPotvrđena adresa e-pošte na cs.uni-saarland.de
Andreas LüdtkeOFFIS Institut für InformatikPotvrđena adresa e-pošte na offis.de
Kim GrüttnerGerman Aerospace Center (DLR)Potvrđena adresa e-pošte na dlr.de
Christian EllenOFFISPotvrđena adresa e-pošte na offis.de
Liang ZouTencentPotvrđena adresa e-pošte na tencent.com
Mani SwaminathanResearcher in Computer SciencePotvrđena adresa e-pošte na uni-oldenburg.de
Sadegh SoudjaniMax Planck Institute for Software SystemsPotvrđena adresa e-pošte na mpi-sws.org

Prati

Martin Fränzle

Professor of Computer Science, University of Oldenburg

Potvrđena adresa e-pošte na informatik.uni-oldenburg.de

Formal methods in computer science hybrid discrete-continuous systems control


Naslov Poredaj po navodima Poredaj po godini Poredaj po naslovu	Citirano Citirano	Godina
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	463	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	199	2018
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	182	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	150	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: Third …, 1994	126	1994
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	119	2011
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	107	2013
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 Automated Technology for Verification and Analysis: 6th International …, 2008	96	2008
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	78	2020
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	72	2013
Formal verification of Simulink/Stateflow diagrams L Zou, N Zhan, S Wang, M Fränzle Automated Technology for Verification and Analysis: 13th International …, 2015	66	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	66	2011
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	64	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	62	2005
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	58	2019
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 Theoretical Aspects of Computer Software: 4th International Symposium, TACS …, 2001	51	2001
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	48	2015
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	48	2010

Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.

Članci 1–20

Godišnji broj citata

Dvostruki navodi

Spojeni navodi

Dodavanje suautoraSuautori

Prati

Citirano

Suautori