Get my own profile
Public access
View all10 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Benjamin Lucien KaminskiProfessor of Computer Science at Saarland University and Lecturer at University College LondonVerified email at cs.uni-saarland.de
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de
Christoph MathejaProfessor of Theory of Correct Systems, University of OldenburgVerified email at uol.de
Philipp SchröerRWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Sebastian JungesAssistant Professor, Radboud University, NijmegenVerified email at ru.nl
Tobias WinklerPhD Candidate, Software Modeling and Verification Group, RWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Mingshuai ChenAssistant Professor of Computer Science, Zhejiang UniversityVerified email at zju.edu.cn
Lena VerschtPhD student at RWTH Aachen and Saarland UniversityVerified email at cs.uni-saarland.de
Adrian GallusVerified email at rwth-aachen.de
Joshua MoermanOpen UniversiteitVerified email at ou.nl
Lutz KlinkenbergPhD Student RWTH Aachen University
Thomas NollRWTH Aachen UniversityVerified email at cs.rwth-aachen.de