Get my own profile
Public access
View all17 articles
1 article
available
not available
Based on funding mandates
Co-authors
Alessandro AbateProfessor of Verification and Control, University of Oxford, UKVerified email at cs.ox.ac.uk
Thomas HenzingerIST AustriaVerified email at ist.ac.at
Goran FrehseProfessor of Computer Science, ENSTA ParisVerified email at ensta-paris.fr
Tatjana PetrovUniversity of KonstanzVerified email at uni-konstanz.de
Calin C. GuetIST AustriaVerified email at ist.ac.at
Tiago PaixaoInstituto Gulbenkian de CiênciaVerified email at igc.gulbenkian.pt
Sergiy BogomolovReader / Associate Professor in Cyber-Physical Systems, Newcastle UniversityVerified email at newcastle.ac.uk
Daniel KroeningAmazonVerified email at amazon.com
Hosein HasanbeigMicrosoft ResearchVerified email at microsoft.com
David ParkerProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Julian ParsertDPhil (PhD) student in Computer Science, University of OxfordVerified email at cs.ox.ac.uk