The affiliated partners for the Modeling and Validation activity in the ArtistDesign NoE:

Dr Henrik Lönn, Volvo Technology

 System engineering and modelling at Volvo.
 Leading the effort in developing the EAST-ADL modelling language for automotive embedded systems, through the series of projects EAST-EAA, ATESST and ATESST2.

Jacques Pulou, France Telecom R&D, France

 Component behaviour modeling
 Component Based OS construction

Sandeep Shukla, Virginia Tech, USA and INRIA Rennes, France

 Modeling of embedded and synchronous systems

Prof. Roderick Bloem, TU Graz, Austria)

 Game models for the synthesis problem.

Prof. Pierre Wolper, CFV, Belgium

 Computer-aided verification

Prof. Yiannis Papadopolis, Univ. Of Hull (UK)

 Compositional safety analysis and design optimization w.r.t. safety.

Ahmed Bouajjani - LIAFA (France)

 Real-time and hybrid model checking

Peter Habermehl - LIAFA (France)

 Real-time and hybrid model checking

Stavros Tripakis – Cadence Research lab (USA)

 Monitoring and test of real-time properties

Jean-Francois Raskin (CVF – Belgium)

 Efficient Model-checking of linear-time properties.
 Verification and synthesis for reactive systems.
 Timed and hybrid automata.

Joost-Pieter Katoen (Aachen – Germany)

 Model checking of quantitative system properties.
 Verification of (continuous-time) probabilistic and stochastic systems.

Holger Hermanns(Saarlandes U – Germany)

 Probabilistic and stochastic model checking.

Christel Baier (Dresden – Germany)

 Probabilistic and stochastic model checking

Patricia Bouyer, Nicola Markey and Phillippe Schnoebelen (LSV Cachan – France)

 Decidability and algorithms for priced timed automata and games.
 Algorithms for solving games of imperfect information

Prof. dr. ir. Wil van der Aalst, professor at Eindhoven University of Technology, The Netherlands

 Information System.
 Affiliated participant in the ESI Octopus project.

Prof. dr. Mehmet Aksit, professor at Twente University, The Netherlands.

 Software Engineering.
 Affiliated participant in the ESI Darwin project.

Prof. dr. Sandro Etalle, professor at Eindhoven University of Technology, The Netherlands.

 Security.
 Affiliated participant in the ESI Darwin project.

Prof. dr. Arjen van Gemund, professor at Delft University of Technology, The Netherlands.

 Embedded Software Laboratory.
 Affiliated participant in the ESI projects Trader and Octopus.

Prof. dr. Frits Vaandrager, professor at Radboud University, The Netherlands.

 Formal methods.
 Affiliated participant in the ESI Octopus project.

Réalisation Axome - Création de sites Internet