Get my own profile
Public access
View all61 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
- Ufuk TopcuThe University of Texas at AustinVerified email at utexas.edu
- Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityVerified email at cs.rwth-aachen.de
- Bernd BeckerProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
- Ralf WimmerAlbert-Ludwigs-Universität Freiburg, Germany and Altair Engineering GmbH, Böblingen, GermanyVerified email at informatik.uni-freiburg.de
- Thom BadingsPostdoctoral researcher, University of OxfordVerified email at cs.ox.ac.uk
- Murat CubuktepeUniversity of Texas at AustinVerified email at utexas.edu
- Christian DehnertRWTH Aachen UniversityVerified email at cs.rwth-aachen.de
- Thiago D. SimăoAssistant Professor at Eindhoven University of TechnologyVerified email at tue.nl
- Marnix SuilenPostdoctoral Researcher, University of AntwerpVerified email at uantwerpen.be
- Steven CarrUniversity of Texas at AustinVerified email at utexas.edu
- Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteVerified email at utwente.nl
- Benjamin Lucien KaminskiProfessor of Computer Science at Saarland University and Lecturer at University College LondonVerified email at cs.uni-saarland.de
- Roderick BloemGraz University of TechnologyVerified email at iaik.tugraz.at
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKVerified email at cs.ox.ac.uk
- Federico OlmedoUniversity of ChileVerified email at dcc.uchile.cl
- Hasan A PoonawalaAssistant Professor, Mechanical Engineering, University of KentuckyVerified email at uky.edu
- David ParkerProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
- Licio RomaoAssistant Professor, Technical University of Denmark (DTU)Verified email at dtu.dk
Follow
Nils Jansen
Professor of Artificial Intelligence and Formal Methods, Ruhr-University Bochum
Verified email at rub.de - Homepage