Get my own profile
Public access
View all58 articles
1 article
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
Sebastian JungesAssistant Professor, Radboud University, NijmegenVerified email at ru.nl
Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Ufuk TopcuThe University of Texas at AustinVerified email at utexas.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
Murat CubuktepeUniversity of Texas at AustinVerified email at utexas.edu
Christian DehnertRWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Thom BadingsPhD Candidate, Radboud UniversityVerified email at ru.nl
Thiago D. SimãoAssistant Professor at Eindhoven University of TechnologyVerified email at tue.nl
Steven CarrUniversity of Texas at AustinVerified email at utexas.edu
Marnix SuilenPhD Candidate, Radboud UniversityVerified email at science.ru.nl
Benjamin Lucien KaminskiProfessor of Computer Science at Saarland University and Lecturer at University College LondonVerified email at cs.uni-saarland.de
Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteVerified email at utwente.nl
Roderick BloemGraz University of TechnologyVerified email at iaik.tugraz.at
Federico OlmedoUniversity of ChileVerified email at dcc.uchile.cl
Alessandro AbateProfessor of Verification and Control, University of Oxford, UKVerified email at cs.ox.ac.uk
Jan KřetínskýMasaryk University Brno; Technical University of MunichVerified email at fi.muni.cz
David ParkerProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Guillermo A. PérezAssociate Professor, University of AntwerpVerified email at uantwerp.be
Follow![Nils Jansen](https://scholar.googleusercontent.com/citations?view_op=view_photo&user=zUavkyEAAAAJ&citpid=6)
Nils Jansen
Professor of Artificial Intelligence and Formal Methods, Ruhr-University Bochum
Verified email at rub.de - Homepage