ERCIM Working Group on Formal Methods for Industrial Critical Systems (FMICS)


Institutions and Participants


May 2, 2019: This is a legacy Web page, which is no longer maintained or kept up to date.

The FMICS Working Group is currently composed by researchers of the following ERCIM institutions and researchers:

STFC (formerly CCLRC)
Alvaro E. Arenas
Juan Bicarregui
David Duce
CNR
Tommaso Bolognesi
Giorgio Faconti
Stefania Gnesi
Diego Latella
Fabio Martinelli
Mieke Massink
Luca Simoncini
Maurice ter Beek
CRCIM
Lubos Brim
Antonin Kucera
Jitka Stribrna
CWI
Stefan Blom
Jens Calame

Mohammad Dashti
Wan Fokkink
Jan Friso Groote
Natalia Ioustinova
Jan Willem Klop
Bert Lisser
Simona Orzan
Jun Pang
Yanjing Wang
Michael Weber
SARIT
FNRS & FWO
Fraunhofer Institute for Software and Systems Engineering (ISST)
Jakob Rehof
Fraunhofer Gesellschaft
Reinhard Budde
Jan de Meer
Monika Müllerburg
Axel Poigné
Axel Rennoch
Ina Schieferdecker
Karl-Heinz Sylla
INRIA
Simon Bliudze
Robert De Simone
Hubert Garavel
Alain Girault
Claude Jard
Thierry Jéron
Jean-Marc Jézéquel
Gérard Le Lann
Radu Mateescu
Vlad Rusu
Éric Rutten
Jean-Pierre Talpin
SparCIM
SICS
Lars-åke Fredlund
MTA SZTAKI - Computer and Automation Research Institute, Hungarian Academy of Sciences
Tamas Bartha

Beyond ERCIM, the following institutions/researchers also participate to the FMICS Working Group:

CNRS / LRI
Marie-Claude Gaudel
Embedded Systems Institute
Jan Tretmans
ENEL / SRI
Edoardo Corsetti
ENS Lyon
Pierre Lescanne
FBK-irst, Embedded Systems Unit (ITC / IRST)
Alessandro Cimatti
Marco Pistore
Marco Roveri
Nokia Research Center (Finland)
Sari Leppänen (formerly Sari Männynsalo)
LIAFA - Université Paris 7
Mihaela Sighireanu
Agathe Merceron
LRDE / EPITA
Sylvain Peyronnet
Equipe de Logique Mathématique - Université Paris 7
Richard Lassaigne
OBLOG Software S.A.
Paulo J. F. Carreira
ONERA / CERT
Marielle Doche
Technische Universität Berlin
Adam Wolisz
Università di Bologna
Marco Bernardo
Roberto Gorrieri
University of Edinburg
Stephen Gilmore
Technische Universiteit Eindhoven
Dennis Dams Anton Wijs
Università di Firenze
Rocco De Nicola
Alessandro Fantechi
Rijksuniversiteit Groningen
Wim H. Hesselink
McMaster University - Hamilton
Mark Lawford
Katholieke Universiteit Nijmegen
Judi Romijn
Technische Universität München - Institut für Informatik
Jan Jürjens
Martin Leucker
Università di Pisa
Cinzia Bernardeschi
Carlo Montangero
University of Southampton
Ulrich Ultes-Nitsche
Universiteit Twente
Jaco van de Pol
Stefan Blom
Marieke Huisman
Rom Langerak
Arend Rensink
Mariëlle Stoelinga
Carnegie-Mellon University
Miroslav Velev
Université de Poitiers
Yamine Ait Ameur
Johannes Kepler Universität Linz - Institute for Formal Models and Verification
Armin Biere
Universität Dortmund - Informatik Lehrstuhl 5
Bernhard Steffen
Universität Potsdam - Service and Software Engineering
Tiziana Margaria
University of Konstanz
Stefan Leue
Université du Luxembourg
Sjouke Mauw
Radboud University Nijmegen / LaQuSo
Marko van Eekelen
Centre National d'Etudes Spatiales and IRIT
Sandra Steere (Sandra Basnyat)
Emppoo
Guillaume Fortaine
University of Naples Federico II and Ansaldo STS Italy
Francesco Flammini
Oak Ridge National Laboratory
Andrew S. Loebl
University of Parma, Italy - Applied Formal Methods Laboratory
Roberto Bagnara
University of Southern Denmark - Department of Mathematics and Computer Science
Peter Schneider-Kamp
Bogazici University, Istanbul, Turkey - Department of Computer Engineering
Alper Sen
National University of Singapore - School of Computing
Sun Jun
Manchester University
Manuela Bujorianu
University of Portsmouth
Benjamin Aziz
INTECS
Silvia Mazzini
Aarhus University / Aarhus School of Engineering
Peter Gorm Larsen
University of Liverpool - Department of Computer Science
Michael Fisher
Åbo Akademi University
Maryam Kamali
Imperial College
Alastair Donaldson
CSIR-National Aerospace Laboratories, Bangalore, India
Manju Nanda
Laboratoire LINA - Université de Nantes, France
Benoit Delahaye
Universidad Nacional de Córdoba, Argentina
Pedro R. D'Argenio
Saarland University, Germany
Holger Hermanns
RWTH Aachen, Germany
Joost-Pieter Katoen
Vector Software, Inc.
Andrew Jones
Boeing Research and Technology
Huafeng Yu
Endava
Zarko Acimovic
SisInf Lab, Politecnico di Bari, Italy
Marina Mongiello
United Technologies Research Centre, Cork, Ireland
Stylianos Basagiannis