Get my own profile
Public access
View all22 articles
1 article
available
not available
Based on funding mandates
Co-authors
Grigore RosuUniversity of Illinois at Urbana ChampaignVerified email at illinois.edu
Willem VisserComputer Science Division, Stellenbosch UniversityVerified email at cs.sun.ac.za
Giles RegerAmazon and University of ManchesterVerified email at manchester.ac.uk
Koushik SenProfessor of Computer Science, University of California, BerkeleyVerified email at cs.berkeley.edu
Alex GroceAssociate Professor of Computer Science, Northern Arizona UniversityVerified email at nau.edu
Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
Saddek BensalemUniversité Grenoble Alpes, VERIMAGVerified email at univ-grenoble-alpes.fr
Rich WashingtonGoogleVerified email at google.com
Natarajan ShankarSRI International Computer Science LaboratoryVerified email at csl.sri.com
Gerard HolzmannNimble ResearchVerified email at nimbleresearch.com
Armin BiereProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
Radu GrosuProfessor of Computer ScienceVerified email at tuwien.ac.at
Charles PecheurProfessor of Computer Science, ICTEAM, Université catholique de LouvainVerified email at uclouvain.be
Anne E. HaxthausenAssociate Professor of Computer Science, Technical University of DenmarkVerified email at dtu.dk
Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityVerified email at cispa.de
Ezio BartocciFaculty of Informatics, TU WienVerified email at tuwien.ac.at
Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityVerified email at cs.sunysb.edu
Eric BoddenProfessor for Software Engineering at Heinz Nixdorf Institute, Paderborn University & Fraunhofer IEMVerified email at uni-paderborn.de
Oleg SokolskyUniversity of PennsylvaniaVerified email at cis.upenn.edu
Gordon J. PaceDepartment of Computer Science, University of MaltaVerified email at um.edu.mt