Dabrowski, Frédéric, 1976-
Frédéric Dabrowski Doctorat Université Paris Diderot - Paris 7 2007
VIAF ID: 213238952 (Personal)
Permalink: http://viaf.org/viaf/213238952
Preferred Forms
5xx's: Related Names (2)
- 511 2 _ ‡a Laboratoire d'informatique fondamentale d'Orléans (Orléans)
- 511 2 _ ‡a Université d'Orléans
Works
Title | Sources |
---|---|
Nested atomic sections with thread escape : semantics and compilation. | |
Parameterised extension of certified compiler for parallel programming. | |
Reactive synchronous programming : language and resource control. | |
Sections atomiques emboîtées avec échappement de processus légers : sémantiques et compilation | |
Static Analysis for BSPlib Programs | |
Vérification formelle du fonctionnement d'un autopilote : analyse statique et génération de code vérifiée | |
Vers la vérification des langages de description d'interface utilisateur |