Get my own profile
Public access
View all38 articles
2 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 JansenFull Professor, Ruhr-University BochumVerified email at science.ru.nl
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
Tim QuatmannPhD Student at RWTH 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
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
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
Arnd HartmannsUniversity of TwenteVerified email at utwente.nl
Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteVerified email at utwente.nl
Stefan SchuppUniversity Assistant at TU WienVerified email at tuwien.ac.at
Roderick BloemGraz University of TechnologyVerified email at iaik.tugraz.at
Bettina KönighoferAssistant Professor, Graz University of Technology, AustriaVerified email at iaik.tugraz.at
Gereon KremerCertora LtdVerified email at cs.stanford.edu
Ulrich LoupRWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Dennis GuckTWT GmbHVerified email at twt-gmbh.de
Follow