Get my own profile
Public access
View all46 articles
3 articles
available
not available
Based on funding mandates
Co-authors
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de
Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumVerified email at rub.de
Matthias VolkAssistant Professor, Eindhoven University of TechnologyVerified email at tue.nl
Tim QuatmannRWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Ufuk TopcuThe University of Texas at AustinVerified email at utexas.edu
Christian DehnertRWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Murat CubuktepeUniversity of Texas at AustinVerified email at utexas.edu
Milan CeskaBrno University of TechnologyVerified email at fit.vutbr.cz
Arnd HartmannsUniversity of TwenteVerified email at utwente.nl
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
Ralf WimmerAlbert-Ludwigs-Universität Freiburg, Germany and Altair Engineering GmbH, Böblingen, GermanyVerified email at informatik.uni-freiburg.de
Bernd BeckerProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteVerified email at utwente.nl
Bettina KönighoferAssistant Professor, Graz University of Technology, AustriaVerified email at iaik.tugraz.at
Roman AndriushchenkoPh.D. student, Brno University of TechnologyVerified email at vutbr.cz
Gereon KremerCertora LtdVerified email at cs.stanford.edu
Roderick BloemGraz University of TechnologyVerified email at iaik.tugraz.at
Carlos E. BuddeAssistant Professor (RTDa) @ DISI, University of Trento, ItalyVerified email at unitn.it
Thom BadingsPhD Candidate, Radboud UniversityVerified email at ru.nl
Follow![Sebastian Junges](https://scholar.googleusercontent.com/citations?view_op=view_photo&user=anwAmOEAAAAJ&citpid=4)