|
 
|
X. Leroy
Publications
2009
-
[BL09]
S. Blazy, X. Leroy.
"Mechanized semantics for the Clight subset of the C language",
JAR, Journal of Automated Reasoning,
vol. 43(3), pp. 263-288,
2009
Revue Internationale avec comité de lecture
2008
-
[LB08a]
X. Leroy, S. Blazy.
"Formal verification of a C-like memory model and its uses for verifying program transformations",
JAR, Journal of Automated Reasoning,
vol. 41(1), pp. 1-31,
2008
Revue Internationale avec comité de lecture
2006
-
[BLD06]
S. Blazy, X. Leroy, Z. Dargaye.
"Formal verification of a C compiler front-end",
FM'06: 14th Symposium on Formal Methods, Hamilton, Canada,
January 2006,
Vol. 4085,
pp.460-475,
Series LNCS,
Conférence Internationale avec comité de lecture
2005
-
[BL05]
S. Blazy, X. Leroy.
"Formal verification of a memory model for C-like imperative languages",
ICFEM'05, Int. Conf on Formal Engineering Methods, Manchester, UK,
January 2005,
Vol. 3785,
pp.280-299,
Series LNCS,
-
[ALV05]
S. Abiteboul, X. Leroy, B. Vrdoljak, C. Bryce, R. Di Cosmo, K. R. Dittrich, S. Fermigier, T. Milo, A. Sagi, Y. Shtossel, S. Laurière, F. Lepied, R. Pop, E. Panto, J. Smets.
"EDOS: Environment for the Development and Distribution of Open Source Software",
OSS'05 1st Int. Conf. on Open Source Systems, Genova, Italy,
January 2005,
pp.66-70,
Conférence Internationale avec comité de lecture
1994
- [AL94] M. Aponte, X. Leroy. "Llamado de procedimientos a distancia y abstraccion de tipos", Actes du 20e congres latino-americain d'informatique CLEI-PANEL, January 1994,
