|
Stochastic Models:
Scalable Model Checking. |
|
| Home | Members | Meetings | Tasks | Publications | Bibliography |
|
INRIA Rennes/IRISA
SUMO
Sucheendra Palaniappan, Postdoc Matthieu Pichené, PhD candidate Ayush Maheshwari, M2 intern (2014) Miheer Dewaskar, M1 intern (2015) |
INRIA Rocquencourt
Lifeware
François Bertaux, PhD candidate Chiara Fracassi, Postdoc Sebastian Sosa Carrillo, Engineer
|
LIAFA, CNRS-U. Paris7
Automates et applications
Bruno Karelovic, PhD candidate Nathanael Fijalkow, PhD candidate
|
LaBRI, CNRS-U. Bordeaux
Modélisation et Verification
Paulin Fournier, Postdoc Edon Kelmendi, PhD candidate Ludovic Hofer, PhD candidate
|