Get my own profile
Public access
View all22 articles
0 articles
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
Koushik SenProfessor of Computer Science, University of California, BerkeleyVerified email at cs.berkeley.edu
Giles RegerAmazon and University of ManchesterVerified email at manchester.ac.uk
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
Radu GrosuProfessor of Computer ScienceVerified email at tuwien.ac.at
Natarajan ShankarSRI International Computer Science LaboratoryVerified email at csl.sri.com
Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityVerified email at cs.sunysb.edu
Gerard HolzmannNimble ResearchVerified email at nimbleresearch.com
Ezio BartocciFaculty of Informatics, TU WienVerified email at tuwien.ac.at
Armin BiereProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
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
Marcelo d'AmorimFederal University of PernambucoVerified email at cin.ufpe.br
Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityVerified email at cispa.saarland
Charles PecheurProfessor of Computer Science, ICTEAM, Université catholique de LouvainVerified email at uclouvain.be
Gordon J. PaceDepartment of Computer Science, University of MaltaVerified email at um.edu.mt
Perry AlexanderAT&T Foundation Distinguished Professor, ITTC Director, The University of KansasVerified email at ku.edu