Get my own profile
Public access
View all78 articles
3 articles
available
not available
Based on funding mandates
Co-authors
Majid ZamaniAssociate Professor, University of Colorado BoulderVerified email at colorado.edu- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKVerified email at cs.ox.ac.uk
- Rupak MajumdarMPI for Software SystemsVerified email at mpi-sws.org
- Sofie HaesaertElectrical Engineering Department, TU EindhovenVerified email at tue.nl
- Kaushik MallikISTA (Institute of Science and Technology Austria)Verified email at ist.ac.at
- Paolo ZulianiAssociate Professor, Dipartimento di Informatica, Università di Roma "La Sapienza", Rome, ItalyVerified email at di.uniroma1.it
- Anne-Kathrin SchmuckMPI SWSVerified email at mpi-sws.org
- Mahmoud SalamatiMax Planck Institute for Software SystemsVerified email at mpi-sws.org
- Oliver SchönPhD Student, Newcastle University (UK)Verified email at newcastle.ac.uk
- Pushpak JagtapAssistant Professor, Robert Bosch Center for Cyber-Physical Systems, IISc Bangalore, IndiaVerified email at iisc.ac.in
- Milad KazemiDepartment of Informatics, King's College LondonVerified email at kcl.ac.uk
- Ben WoodingEPSRC Doctoral Prize Fellow, Newcastle UniversityVerified email at newcastle.ac.uk
- Birgit van HuijgevoortEindhoven University of TechnologyVerified email at tue.nl
- Martin FränzleProfessor of Computer Science, University of OldenburgVerified email at informatik.uni-oldenburg.de
- Fabio SomenziProfessor, University of Colorado BoulderVerified email at colorado.edu
- Ashutosh TrivediAssociate Professor, University of Colorado at BoulderVerified email at colorado.edu
- Ali SalamatiLudwig-Maximilians-Universität MünchenVerified email at lmu.de
- Vinayak S. PrabhuColorado State UniversityVerified email at colostate.edu
- Fedor ShmarovSchool of Computing, Newcastle UniversityVerified email at newcastle.ac.uk
- Mahmoud KhaledLudwig Maximilian University of MunichVerified email at lmu.de
