logo              Stochastic Models:
Scalable Model Checking.
                          ANR
Home Members Meetings Tasks Publications Bibliography


INRIA Rennes/IRISA
SUMO

 
Blaise Genest
PI, T2,T3

Nathalie Bertrand

Eric Fabre

Sucheendra Palaniappan, Postdoc

Matthieu Pichené, PhD candidate

Ayush Maheshwari, M2 intern (2014)

Miheer Dewaskar, M1 intern (2015)

INRIA Rocquencourt
Lifeware

 
Grégory Batt
T5

François Fages

François Bertaux, PhD candidate

 

 

 

 

LIAFA, CNRS-U. Paris7
Automates et applications

 
Wieslaw Zielonka
Resp. Local

Florian Horn

Bruno Karelovic, PhD candidate

Nathanael Fijalkow, PhD candidate

 

 

 

LaBRI, CNRS-U. Bordeaux
Modélisation et Verification

 
Hugo Gimbert
T4

François Dufour

Olivier Ly

Paulin Fournier, Postdoc

Edon Kelmendi, PhD candidate

Ludovic Hofer, PhD candidate