Write a Blog >>
Filter
Role Type
Contributing to
Number of Roles
Country
Search

Results (265)

A
Abraham, Erika
RWTH Aachen UniversityGermany
Ali, Karim
University of Alberta
Ammann, Paul
George Mason University, USA
Ball, Thomas
Microsoft ResearchUnited States
Bartocci, Ezio
Technische Universität WienAustria
Berger, Christian
Chalmers University of Technology, Sweden
Bessa, Iury
Federal University of Amazonas, Brazil
Biere, Armin
Johannes Kepler UniversityAustria
Bissyandé, Tegawendé F.
University of Luxembourg, Luxembourg
Bodden, Eric
Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEMGermany
Borges Jr., Nataniel
Saarland University
Brezocnik, Zmago
University of MariborSlovenia
Briand, Lionel
University of Luxembourg, LuxembourgLuxembourg
Buchs, Tristan
EPFL, SwitzerlandSwitzerland
Casalnuovo, Casey
University of California at Davis, USA
Chaki, Sagar
Carnegie Mellon Software Engineering InstituteUnited States
Chaves, Lennon
Federal University of Amazonas, BrazilBrazil
Cimatti, Alessandro
Fondazione Bruno KesslerItaly
Cohen, Myra
University of Nebraska-LincolnUnited States
Cordeiro, Lucas
University of OxfordUnited Kingdom
Cordeiro, Lucas C.
University of Oxford, UKUnited Kingdom
El-Hokayem, Antoine
Grenoble Alpes University, France / Inria, France / CNRS, France
G
Gambi, Alessio
Saarland University, Germany
Godefroid, Patrice
Microsoft ResearchUnited States
Grosu, Radu
Vienna University of TechnologyAustria
Jahangirova, Gunel
Fondazione Bruno Kessler
Joshi, Rajeev
NASA/Caltech Jet Propulsion LaboratoryUnited States
Just, René
University of Massachusetts, USA
Kappler, Sebastian
Saarland University, Germany
Khoury, Raphael
Université du Québec à Chicoutimi, Canada
Kim, Dongsun
University of LuxembourgLuxembourg
Komondoor, Raghavan
Indian Institute of Science, BangaloreIndia
Koyuncu, Anil
University of Luxembourg, Luxembourg
Krishna Ramanathan, Murali
Indian Institute of Science, BangaloreIndia
Kroening, Daniel
University of Oxford
Kruegel, Christopher
University of California, Santa Barbara
Kurtz, Bob
George Mason University, USA
Lam, Wing
University of Illinois at Urbana-ChampaignUnited States
Lampel, Johannes
Saarland University, Germany
Le, Xuan-Bach D.
Singapore Management University, SingaporeSingapore
Legunsen, Owolabi
University of Illinois at Urbana-ChampaignUnited States
Lima, Eddie
Samsung Electronics, Brazil
Livshits, Benjamin
Imperial College London, UK
Mesbah, Ali
University of British ColumbiaCanada
Milanova, Ana
Rensselaer Polytechnic InstituteUnited States
Murphy-Hill, Emerson
North Carolina State University
N
Nguyen Quang Do, Lisa
Fraunhofer IEMGermany
Rosner, Nico
University of California, Santa BarbaraUnited States
Smith, Justin
North Carolina State UniversityUnited States
Smolka, Scott
Stony Brook UniversityUnited States
Stoller, Scott
Stony Brook UniversityUnited States
Su, Zhendong
University of California, DavisUnited States
Suchak, Yagnik
University of California at Davis, USA
Sun, Jun
Singapore University of Technology and DesignSingapore
Tripakis, Stavros
Aalto University and UC BerkeleyFinland
Tsiskaridze, Nestan
University of California, Santa BarbaraUnited States
Vinju, Jurgen
Centrum Wiskunde & Informatica (CWI) and Eindhoven University of Technology (TUE)Netherlands
Wang, Farn
National Taiwan UniversityTaiwan
Wijs, Anton
Eindhoven University of TechnologyNetherlands
Yang, Wei
University of Illinois at Urbana-ChampaignUnited States
Yoo, Shin
Korea Advanced Institute of Science and TechnologyKorea, South
Zhang, Mengshi
University of Texas at Austin, USA