Get my own profile
Public access
View all50 articles
4 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
- Tim QuatmannRWTH Aachen UniversityVerified email at cs.rwth-aachen.de
- Matthias VolkAssistant Professor, Eindhoven University of TechnologyVerified email at tue.nl
- 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
- Milan CeskaBrno University of TechnologyVerified email at fit.vutbr.cz
- Murat CubuktepeUniversity of Texas at AustinVerified email at utexas.edu
- Arnd HartmannsUniversity of TwenteVerified email at utwente.nl
- Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
- Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteVerified email at utwente.nl
- 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
- 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
- Thom BadingsPostdoctoral researcher, University of OxfordVerified email at ru.nl
- Gereon KremerCertora LtdVerified email at cs.stanford.edu
- Roderick BloemGraz University of TechnologyVerified email at iaik.tugraz.at
- Carlos E. BuddeAssociate Professor @ Technical University of Denmark, DTU ComputeVerified email at dtu.dk
Follow