Get my own profile
Public access
View all13 articles
2 articles
available
not available
Based on funding mandates
Co-authors
Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumVerified email at rub.de
Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteVerified email at utwente.nl
Alessandro AbateProfessor of Verification and Control, University of Oxford, UKVerified email at cs.ox.ac.uk
Licio RomaoAssistant Professor, Technical University of Denmark (DTU)Verified email at dtu.dk
Sebastian JungesAssistant Professor, Radboud University, NijmegenVerified email at ru.nl
Hasan A PoonawalaAssistant Professor, Mechanical Engineering, University of KentuckyVerified email at uky.edu
David ParkerProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Jacquelien M.A. ScherpenUniversity of GroningenVerified email at rug.nl
Vahab RostampourSenior Scientist @ UBSVerified email at ubs.com
Ufuk TopcuThe University of Texas at AustinVerified email at utexas.edu
Marnix SuilenPostdoctoral Researcher, University of AntwerpVerified email at uantwerpen.be
Murat CubuktepeUniversity of Texas at AustinVerified email at utexas.edu
Matthias VolkAssistant Professor, Eindhoven University of TechnologyVerified email at tue.nl
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de
Thiago D. SimãoAssistant Professor at Eindhoven University of TechnologyVerified email at tue.nl
Arnd HartmannsUniversity of TwenteVerified email at utwente.nl
Follow