paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant pérenne de la notice : 080278302Copier cet identifiant (PPN)
Notice de type Personne

Point d'accès autorisé

Mounier, Laurent (19..-.... ; auteur en informatique)

Sur le web

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)
Langue d'expression : français
Pays : France
Date de naissance :    19XX
Date de début d'activité : 1992
Genre : Masculin

Notes

Note publique d'information : 
Chercheur au laboratoire VERIMAG, Institut d'informatique et de mathématiques appliquées de Grenoble (IMAG)

Note publique d'information : 
Directeur de thèse à l'Université Joseph Fourier de Grenoble

Note publique d'information : 
Co-encadrant d'une thèse en Informatique soutenue à l'Université Grenoble Alpes en 2024

Identifiants externes

Identifiant VIAF : http://viaf.org/viaf/36629178
Identifiant ORCID : 0000-0001-9925-098X
Identifiant SCOPUS : 6603106167
Identifiant ISNI : 0000000043589995

Source

Analyses quantitatives pour les attaquants adaptatifs / Thomas Vigouroux ; sous la direction de Marius Bozga et co-encadrée par Laurent Mounier et Cristian Ene. Thèse de doctorat: Informatique : Université Grenoble Alpes : 2024

Etude et mise en oeuvre de techniques de validation à l'exécution[Thèse imprimée 2009] / Yliès C. Falcone

Model checking software : 11th International SPIN workshop, Barcelona, Spain, april 2004 : proceedings / Ed. by Susanne Graf, Laurent Mounier, Springer, 2004

... Références liées : ...