Get my own profile
Public access
View all14 articles
1 article
available
not available
Based on funding mandates
Co-authors
- Daniel KroeningAmazonVerified email at amazon.com
- Michael TautschnigQueen Mary University of LondonVerified email at qmul.ac.uk
- Lucas C. CordeiroProfessor of Computer Science, University of Manchester and Universidade Federal do AmazonasVerified email at manchester.ac.uk
- Martin BrainCity, University of LondonVerified email at city.ac.uk
- Tom MelhamProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
- Tomas VojnarFI, Masaryk University & FIT, Brno University of TechnologyVerified email at fi.muni.cz
- Viktor MalikSoftware Engineer, Red HatVerified email at redhat.com
- Cristina DavidUniversity of BristolVerified email at bristol.ac.uk
- Pascal KesseliDiffblue Ltd.Verified email at diffblue.com
- Alessandro AbateProfessor of Verification and Control, University of Oxford, UKVerified email at cs.ox.ac.uk
- Saurabh JoshiSupraOraclesVerified email at cse.iith.ac.in
- Ruben MartinsCarnegie Mellon UniversityVerified email at cs.cmu.edu
- Tino TeigeChief Research Engineer Innovation & Technology, BTC Embedded Systems AGVerified email at btc-es.de
- Gennaro ParlatoFull Professor of Computer Science, University of Molise, ItalyVerified email at unimol.it
- Bernd FischerComputer Science Division, Stellenbosch UniversityVerified email at cs.sun.ac.za
- Salvatore La TorreUniversità degli Studi di SalernoVerified email at unisa.it
- Sriram SankaranarayananProfessor of Computer Science, University of Colorado BoulderVerified email at colorado.edu
- Laure GonnordUniversity of Lyon - LIPVerified email at ens-lyon.fr
- David MonniauxResearcher in computer science, CNRS, VERIMAGVerified email at univ-grenoble-alpes.fr
- RAJDEEP MUKHERJEEAmazonVerified email at amazon.com