Write a Blog >>
TACAS 2019
Mon 8 - Thu 11 April 2019 Prague, Czech Republic
co-located with ETAPS 2019
Filter
Role Type
Contributing to
Number of Roles
Country
Search

Results (212)

André, Étienne
LIPN, CNRS UMR 7030, Université Paris 13France
Barbon, Gianluca
Universit� Grenoble Alpes, Inria, LIG
Bisping, Benjamin
Technische Universität BerlinGermany
Blanchette, Jasmin
Vrije Universiteit AmsterdamNetherlands
Blicha, Martin
USI Lugano, Switzerland
Bodden, Eric
Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
Bouajjani, Ahmed
IRIF, Université Paris DiderotFrance
Bouyer, Patricia
LSV, CNRS & ENS Cachan, University Paris SaclayFrance
C
Castro, Pablo
Dept. of Computer Science FCEFQyN, University of Rio CuartoArgentina
Ceska, Milan
Brno University of Technology Czechia
Dawes, Joshua
University of Manchester and CERNSwitzerland
Fulton, Nathan
MIT-IBM Watson AI LabUnited States
Gligoric, Milos
University of Texas at AustinUnited States
Grosu, Radu
Vienna University of TechnologyAustria
Grumberg, Orna
Technion – Israel Institute of TechnologyIsrael
Hartmanns, Arnd
University of TwenteNetherlands
Havelund, Klaus
NASA/Caltech Jet Propulsion LaboratoryUnited States
Heule, Marijn
The University of Texas at AustinUnited States
Jaffar, Joxan
National University of SingaporeSingapore
Jansen, Nils
RWTH Aachen University
Junges, Sebastian
RWTH Aachen University, Germany
Katoen, Joost-Pieter
RWTH Aachen UniversityGermany
Khurshid, Sarfraz
University of Texas at AustinUnited States
Kiesl, Benjamin
CISPA Helmholtz Center for Information SecurityGermany
Klauck, Michaela
Saarland Informatics Campus, Saarland UniversityGermany
Kofroň, Jan
Charles UniversityCzechia
Kretinsky, Jan
Technical University of MunichGermany
L
La Torre, Salvatore
Università degli Studi di SalernoItaly
Leroy, Vincent
University of Grenoble - CNRS
Li, Yong
Institute of Software, Chinese Academy of SciencesChina
Meel, Kuldeep S.
National University of SingaporeSingapore
Moedersheim, Sebastian A.
Technical University of DenmarkDenmark
Noll, Thomas
RWTH Aachen University
Numair Mansur, Muhammad
Max Planck Institute for Software Systems (MPI-SWS)Germany
Osama, Muhammad
Eindhoven University of TechnologyNetherlands
Park, Junkil
University of PennsylvaniaUnited States
Platzer, André
Carnegie Mellon UniversityUnited States
Păsăreanu, Corina S.
NASA Ames Research CenterUnited States
Q
Quatmann, Tim
RWTH Aachen UniversityGermany
Safranek, David
Masaryk UniversityCzechia
Salaün, Gwen
University of Grenoble Alpes
Schubert, Philipp Dominik
Heinz Nixdorf Institut, Paderborn UniversityGermany
Seshia, Sanjit
University of California, BerkeleyUnited States
Sharygina, Natasha
USI Lugano, SwitzerlandSwitzerland
Sridhar Duggirala, Parasara
University of ConnecticutUnited States
T
Tautschnig, Michael
Amazon Web ServicesUnited Kingdom
Tonetta, Stefano
Fondazione Bruno Kessler, Italy
Turrini, Andrea
State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences
van Dijk, Tom
University of TwenteNetherlands
Veanes, Margus
Microsoft Research
Vojnar, Tomáš
Brno University of TechnologyCzechia
Wang, Wenxi
The University of Texas at Austin, Texas, USAUnited States
Xu, Eric
Microsoft, USA