Get my own profile
Public access
View all49 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
- Christian DehnertRWTH Aachen UniversityVerified email at cs.rwth-aachen.de
- Murat CubuktepeUniversity of Texas at AustinVerified email at utexas.edu
- Thiago D. SimãoAssistant Professor at Eindhoven University of TechnologyVerified email at tue.nl
- Thom BadingsPhD Candidate, Radboud UniversityVerified email at ru.nl
- Steven CarrUniversity of Texas at AustinVerified email at utexas.edu
- 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
- Marnix SuilenPhD Candidate, Radboud UniversityVerified email at science.ru.nl
- Federico OlmedoUniversity of ChileVerified email at dcc.uchile.cl
- Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteVerified email at utwente.nl
- Guillermo A. PérezAssociate Professor, University of AntwerpVerified email at uantwerp.be
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKVerified email at cs.ox.ac.uk
- Matthijs T. J. SpaanDelft University of TechnologyVerified email at tudelft.nl
- David ParkerProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
