Get my own profile
Public access
View all14 articles
0 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
Maximilian WeiningerTechnical University of MunichVerified email at tum.de
Krishnendu ChatterjeeProfessor, IST AustriaVerified email at ist.ac.at
Kevin BatzPostDoc, University College LondonVerified email at rwth-aachen.de
Guillermo A. PérezAssociate Professor, University of AntwerpVerified email at uantwerp.be
Sebastian JungesAssistant Professor, Radboud University, NijmegenVerified email at ru.nl
Benjamin Lucien KaminskiProfessor of Computer Science at Saarland University and Lecturer at University College LondonVerified email at cs.uni-saarland.de
Mingshuai ChenAssistant Professor of Computer Science, Zhejiang UniversityVerified email at zju.edu.cn
Christina GehnenRWTH AachenVerified email at cs.rwth-aachen.de
Adrian GallusVerified email at rwth-aachen.de
Pranav AshokCARIAD SEVerified email at cariad.technology
Jan KřetínskýMasaryk University Brno; Technical University of MunichVerified email at fi.muni.cz
Joshua MoermanOpen UniversiteitVerified email at ou.nl
Stefanie MohrTechnical University of MunichVerified email at in.tum.de
Tim QuatmannRWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Hannah MertensRWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Christoph MathejaProfessor of Theory of Correct Systems, University of OldenburgVerified email at uol.de
Maximilian SchäffelerTU MunichVerified email at tum.de
Lutz KlinkenbergPhD Student RWTH Aachen University
Follow
Tobias Winkler
PhD Candidate, Software Modeling and Verification Group, RWTH Aachen University
Verified email at cs.rwth-aachen.de - Homepage