Mijn eigen profiel maken
Openbare toegang
Alles bekijken70 artikelen
5 artikelen
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
- Majid ZamaniAssociate Professor, University of Colorado BoulderGeverifieerd e-mailadres voor colorado.edu
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKGeverifieerd e-mailadres voor cs.ox.ac.uk
- Rupak MajumdarMPI for Software SystemsGeverifieerd e-mailadres voor mpi-sws.org
- Sofie HaesaertElectrical Engineering Department, TU EindhovenGeverifieerd e-mailadres voor tue.nl
- Kaushik MallikISTA (Institute of Science and Technology Austria)Geverifieerd e-mailadres voor ist.ac.at
- Anne-Kathrin SchmuckMPI SWSGeverifieerd e-mailadres voor mpi-sws.org
- Mahmoud SalamatiMax Planck Institute for Software SystemsGeverifieerd e-mailadres voor mpi-sws.org
- Paolo ZulianiAssociate Professor, Dipartimento di Informatica, Università di Roma "La Sapienza", Rome, ItalyGeverifieerd e-mailadres voor di.uniroma1.it
- Milad KazemiDepartment of Informatics, King's College LondonGeverifieerd e-mailadres voor kcl.ac.uk
- Pushpak JagtapAssistant Professor, Robert Bosch Center for Cyber-Physical Systems, IISc Bangalore, IndiaGeverifieerd e-mailadres voor iisc.ac.in
- Oliver SchönPhD Student, Newcastle University (UK)Geverifieerd e-mailadres voor newcastle.ac.uk
- Ben WoodingEPSRC Doctoral Prize Fellow, Newcastle UniversityGeverifieerd e-mailadres voor newcastle.ac.uk
- Birgit van HuijgevoortEindhoven University of TechnologyGeverifieerd e-mailadres voor tue.nl
- Martin FränzleProfessor of Computer Science, University of OldenburgGeverifieerd e-mailadres voor informatik.uni-oldenburg.de
- Fabio SomenziProfessor, University of Colorado BoulderGeverifieerd e-mailadres voor colorado.edu
- Ashutosh TrivediAssociate Professor, University of Colorado at BoulderGeverifieerd e-mailadres voor colorado.edu
- Ali SalamatiLudwig-Maximilians-Universität MünchenGeverifieerd e-mailadres voor lmu.de
- Vinayak S. PrabhuColorado State UniversityGeverifieerd e-mailadres voor colostate.edu
- Fedor ShmarovSchool of Computing, Newcastle UniversityGeverifieerd e-mailadres voor newcastle.ac.uk
- Mahmoud KhaledLudwig Maximilian University of MunichGeverifieerd e-mailadres voor lmu.de