Get my own profile
Public access
View all81 articles
27 articles
available
not available
Based on funding mandates
Co-authors
Tino TeigeChief Research Engineer Innovation & Technology, BTC Embedded Systems AGVerified email at btc-es.de
Naijun ZhanSchool of Computer Science, Peking UniversityVerified email at ios.ac.cn
Bai XueFull Professor, State Key Laboratory of Computer Science,Institute of Software, CASVerified email at ios.ac.cn
Nacim RamdaniUniversité d'Orléans, Bourges, FranceVerified email at univ-orleans.fr
Ernst-Ruediger OlderogProfessor für Informatik, Universität OldenburgVerified email at informatik.uni-oldenburg.de
Bernd BeckerProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
Nils Müllnerpostdoc, Mälardalen UniversityVerified email at informatik.uni-oldenburg.de
Alessandro AbateProfessor of Verification and Control, University of Oxford, UKVerified email at cs.ox.ac.uk
Axel HahnProfessor für Informatik, Universität OldenburgVerified email at uol.de
Eckard BödeGerman Aerospace Center (DLR)Verified email at dlr.de
Stefan RatschanCzech Academy of SciencesVerified email at cs.cas.cz
Mingshuai ChenAssistant Professor of Computer Science, Zhejiang UniversityVerified email at zju.edu.cn
Nedialko S. NedialkovProfessor, McMaster UniversityVerified email at mcmaster.ca
Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Kim GrüttnerGerman Aerospace Center (DLR)Verified email at dlr.de
Andreas LüdtkeOFFIS Institut für InformatikVerified email at offis.de
Christian EllenOFFISVerified email at offis.de
Liang ZouTencentVerified email at tencent.com
Mani SwaminathanResearcher in Computer ScienceVerified email at uni-oldenburg.de
Anders P. RavnAalborg UniversityVerified email at cs.aau.dk
Follow![Martin Fränzle](https://scholar.googleusercontent.com/citations?view_op=view_photo&user=i9KSxk8AAAAJ&citpid=1)
Martin Fränzle
Professor of Computer Science, University of Oldenburg
Verified email at informatik.uni-oldenburg.de