Get my own profile
Public access
View all13 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
Martin BrainCity, University of LondonVerified email at city.ac.uk
Lucas C. CordeiroProfessor of Computer Science, University of ManchesterVerified email at manchester.ac.uk
Tom MelhamProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Tomas VojnarFIT, Brno University of TechnologyVerified email at fit.vutbr.cz
Viktor MalikPhD. student, Brno University of TechnlogyVerified email at fit.vutbr.cz
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
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
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
RAJDEEP MUKHERJEEAmazonVerified email at amazon.com