Get my own profile
Public access
View all5 articles
0 articles
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
- Sofie HaesaertElectrical Engineering Department, TU EindhovenVerified email at tue.nl
- Khaza Anuarul HoqueAssistant Professor, Electrical Engineering and Computer Science (EECS), University of MissouriVerified email at missouri.edu
- Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteVerified email at utwente.nl
- Sadegh SoudjaniMax Planck Institute for Software SystemsVerified email at mpi-sws.org
- Arnd HartmannsUniversity of TwenteVerified email at utwente.nl
- Karel MacekAI ArchitectVerified email at generaliceska.cz
- Anne RemkeUniversität MünsterVerified email at wwu.de
- Henk BlomProfessor, Aerospace Engineering, Delft University of Technology and National Aerospace LaboratoryVerified email at tudelft.nl
- Abraham P. VinodMitsubishi Electric Research LaboratoriesVerified email at merl.com
- Luca CardelliUniversity of OxfordVerified email at cs.ox.ac.uk
- Morteza LahijanianUniversity of Colorado BoulderVerified email at colorado.edu
- Luca LaurentiTU DelftVerified email at tudelft.nl
- Marta KwiatkowskaProfessor of Computing Systems, University of OxfordVerified email at comlab.ox.ac.uk
- David Zammit MangionUniversity of MaltaVerified email at um.edu.mt
- Carlos E. BuddeAssistant Professor (RTDa) @ DISI, University of Trento, ItalyVerified email at unitn.it
- Cristian-Ioan VasileLehigh UniversityVerified email at lehigh.edu
- Vignesh SivaramakrishnanUniversity of New MexicoVerified email at unm.edu
- Kendra Lang (Lesser)Verus ResearchVerified email at verusresearch.net
- Martin FränzleProfessor of Computer Science, University of OldenburgVerified email at informatik.uni-oldenburg.de