Monniaux, David (1976-) Amélioration Assistance
070681600
Notice de type Personne

Forme retenue

Monniaux, David (1976-)

Information

Langue d'expression : français

Source

Analyse de programmes probabilistes par interprétation abstraite/David Monniaux, 2001 [thèse de doctorat]

Utilisation dans Rameau

La vedette peut être employée dans une vedette RAMEAU

Autres identifiants

Identifiant HAL : david-monniaux

Notices bibliographiques liées :4 rôle(s)

070 Auteur ( 1 )
555 Membre du jury ( 1 )
727 Directeur de thèse ( 2 )
958 Rapporteur de la thèse ( 1 )



Auteur :

Rôles ?



070681376 : Analyse de programmes probabilistes par interprétation abstraite [Texte imprimé] / David Monniaux ; sous la dir.de Patrick Cousot / (S.l.) : (s ;n ;) , 2001



Membre du jury :

Rôles ?



202464830 : Vérification de programmes avec structures de données complexes / Jiri Simacek ; sous la direction de Yassine Lakhnech et de Radu Iosif et de Tomáš Vojnar / , 2012



Directeur de thèse :

Rôles ?



199225389 : Static analysis of program by Abstract Interpretation and Decision Procedures / Julien Henry ; sous la direction de David Monniaux et de Matthieu Moy / , 2014

191850365 : Le domaine abstrait des polyèdres revisité : représentation par contraintes et preuve formelle / Alexis Fouilhé ; sous la direction de David Monniaux et de Michaël Périn / , 2015



Rapporteur de la thèse :

Rôles ?



161843484 : Taking architecture and compiler into account in formal proofs of numerical programs / Thi Minh Tuyen Nguyen ; sous la direction de Claude Marché et de Sylvie Boldo / , 2012


A propos Partenaires Conditions Générales d'Utilisation (CGU) Assistance