Selected publications by Rémi Brochenin
Journals
- BDL09
-
Rémi Brochenin, Stéphane Demri and Étienne Lozes. Reasoning about sequences of memory states. Annals of Pure and Applied Logics 161(3), pages 305-323, 2009. ( PDF | BibTeX + Abstract )
Conferences
- BBL09
-
Kshitij Bansal, Rémi Brochenin and Étienne Lozes. Beyond Shapes: Lists with Ordered Data. In L. de Alfaro (ed.), FoSSaCS'09, LNCS 5504, pages 425-439. Springer, 2009. ( PDF | BibTeX + Abstract )
- BDL08
-
Rémi Brochenin, Stéphane Demri and Étienne Lozes. On the Almighty Wand. In M. Kaminski and S. Martini (eds.), CSL'08, LNCS 5213, pages 323-338. Springer, 2008. ( PDF | BibTeX + Abstract )
- BDL07a
-
Rémi Brochenin, Stéphane Demri and Étienne Lozes. Reasoning about sequences of memory states. In S. N. Artemov and A. Nerode (eds.), LFCS'07, LNCS 4514, pages 100-114. Springer, 2007. ( PDF | PDF (long version) | BibTeX + Abstract )
Other Publications
- BDL07b
-
Rémi Brochenin, Stéphane Demri and Étienne Lozes. Reasoning about Sequences of Memory States. In J. Berdine and M. Sagiv (eds.), HAV'07. 2007. Preliminary version of [BDL07a]. ( PDF | BibTeX + Abstract )
- Bro06
-
Rémi Brochenin. Techniques d'automates pour raisonner sur la mémoire. Rapport de Master, Master Recherche Informatique de Lyon - Informatique
Fondamentale, Lyon, France, June 2006. ( PS | PS.GZ | BibTeX )