Nombre de documents trouvés : 27 documents

1 - 2 - 3

Formally verified optimizing compilation in ACG-based flight control software Bedin França R., Blazy S., Favre-Felix D., Leroy X., Pantel M., Souyris J. Dans ERTS2 2012: Embedded Real Time Software and Systems (2012) [hal-00653367 - version 1]

Formal Verification of Coalescing Graph-Coloring Register Allocation Blazy S., Robillard B., Appel A. W. Dans 19th European Symposium on Programming (ESOP) 6012 (2010) 145-164 [inria-00477689 - version 1]

Register allocation by graph coloring under full live-range splitting Blazy S., Robillard B. Dans ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded systems (LCTES'2009) (2009) [inria-00387749 − version 1]

Mechanized semantics for the Clight subset of the C language Blazy S., Leroy X. Journal of Automated Reasoning 43, 3 (2009) 263-288 [inria-00352524 - version 1]

Sémantiques formelles Blazy S. Université d'Evry-Val d'Essonne (23/10/2008), Catherine Dubois (Pr.) [tel-00336576 - version 1]

Which C semantics to embed in the front-end of a formally verified compiler? Blazy S. Dans TTVSI (Tools and Techniques for Verification of System Infrastructure) (2008) 31 [inria-00292441 − version 1]

Formal verification of a C-like memory model and its uses for verifying program transformations Leroy X., Blazy S. Journal of Automated Reasoning 41, 1 (2008) 1-31 [inria-00289542 − version 1]

Coloration avec préférences : complexité, inégalités valides et vérification formelle Robillard B., Blazy S., Soutif E. Dans ROADEF'08, 9e congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (2008) 123-138 [inria-00260712 − version 1]

Actes de la conférence JFLA2008 (Journées Francophones des Langages Applicatifs) Blazy S. INRIA (Ed.) (2008) 173 [inria-00202715 − version 1]

Vérification formelle d'un algorithme d'allocation de registres par coloration de graphe Blazy S., Robillard B., Soutif E. Dans JFLA (Journées Francophones des Langages Applicatifs) (2008) 31-46 [inria-00202713 − version 1]

1 - 2 - 3

L'URL de cette page est : http://hal.inria.fr/aut/Sandrine Blazy/