FormaliSE 2024
Fri 12 - Sun 21 April 2024 Lisbon, Portugal
co-located with ICSE 2024
Role Type
Contributing to
Number of Roles

Results (108)

Acher, Mathieu
University of Rennes, France / Inria, France / CNRS, France / IRISA, FranceFrance
Ahrendt, Wolfgang
Chalmers University of TechnologySweden
Alghamdi, Raniah
University of Waterloo and King Abdulaziz University
Arias, Jaime
CNRS; LIPN; Université Sorbonne Paris NordFrance
Artho, Cyrille
KTH Royal Institute of Technology, Sweden
Bajczi, Levente
Budapest University of Technology and EconomicsHungary
Bannour, Boutheina
Université Paris-Saclay, CEA, List
Basile, Davide
Formal Methods and Tools lab, ISTI-CNR, Pisa, ItalyItaly
Castro, Pablo
Dept. of Computer Science FCEFQyN, University of Rio CuartoArgentina
Faqrizal, Irman
Univ. Grenoble Alpes, CNRS, Grenoble INP, Inria, LIG, Grenoble, France
Filieri, Antonio
AWS and Imperial College LondonUnited States
Gaston, Christophe
Université Paris-Saclay, CEA, List
Glesner, Sabine
Technische Universität BerlinGermany
Kang, Eunsuk
Carnegie Mellon UniversityUnited States
Klein, Julian
Technische Universität Berlin
Kogel, Paul
Technische Universität Berlin
Kolchin, Alexander
Glushkov Institute of CyberneticsUkraine
Lapitre, Arnault
Université Paris-Saclay, CEA, List
Mahe, Erwan
Université Paris-Saclay, CEA, List
Mendes, Alexandra
University of Porto and HASLab, INESC TECPortugal
Nivon, Quentin
Univ. Grenoble Alpes, CNRS, Grenoble INP, Inria, LIG, Grenoble, France
Plat, Nico
University of Twente, The NetherlandsNetherlands
Poskitt, Chris
Singapore Management UniversitySingapore
Pun, Violet Ka I
Western Norway University of Applied Sciences
Robles, Virgile
CEA List, Software Reliability and Security LabFrance
Sullivan, Allison
University of Texas at ArlingtonUnited States
Tiwari, Abhishek
Software Institute - USI, Lugano, SwitzerlandSwitzerland
Ulbrich, Mattias
Karlsruhe Institute of TechnologyGermany
Wehrheim, Heike
Carl von Ossietzky Universität Oldenburg / University of OldenburgGermany
Weigl, Alexander
Karlsruhe Institute for TechnologyGermany