2016

With Éric Badouel, Loïc Hélouet, Petri Nets with Structured Data, Fundamenta Informaticae, Vol. 146, no. 1, pp. 35-82 -- Our pdf. Official version (via DOI)

2015

With Éric Badouel, Loïc Hélouet, Georges-Edouard Kouamou and Robert Fondze Jr Nsaibirni, Active Workspaces: Distributed Collaborative Systems based on Guarded Attribute Grammars, Applied Computing Review, Vol. 15, No. 3, 2015, pp 6-34 -- Our pdf. Official version (Vol. 15, No. 3 of ACR).

With Éric Badouel and Loïc Hélouet, Petri nets with semi-structured data, 36th International Conference on Application and Theory of Petri Nets and Concurrency. LNCS (vol. 9115, pp. 212-233) -- Our pdf. Official version (via DOI).

With Éric Badouel, Loïc Hélouet and Georges-Edouard Kouamou , A Grammatical Approach to Data-centric Case Management in a Distributed Collaborative Environment, ACM/SIGAPP Symposium On Applied Computing 2015, pp 1834-1839 (Track Coordination Models, Languages and Applications) -- Our pdf. Official version (via DOI).

2014

With Sébastien Chédor, Hervé Marchand and Sophie Pinchinat, Analysis of partially observed recursive tile systems, in journal Discrete Event Dynamic Systems -- Our pdf. Official version (via DOI).

With Sébastien Chédor and Thierry Jéron, Test generation from recursive tile systems, in a special issue of the journal Software Testing, Verification and Reliability for TAP 2012 -- Our pdf. Official version (via DOI).

Familles de graphes de présentation finie, propriétés et applications. Habilitation à diriger les recherches de l'université Paris-est, Marne-la-Vallée (habilitation thesis) defended on the 19th of November 2014. pdf.

2012

With Philippe Darondeau, Stéphane Demri and Roland Meyer, Petri Net Reachability Graphs: Decidability Status of First-Order Properties , in Logical Methods in Computer Science (LMCS). Official version (via DOI) freely downloadable.

With Sébastien Chédor, Hervé Marchand and Sophie Pinchinat, Analysis of partially observed recursive tile systems, International Workshop on Discrete Event Systems (Wodes 2012). Proceedings, pp. 265-271. Our pdf. Official version (via DOI)

With Sébastien Chédor and Thierry Jéron, Test generation from recursive tiles systems, TAP 2012 (Test and Proof). LNCS (vol. 7305, pp. 99-114). Our pdf. Official version (via DOI)

2011

With Philippe Darondeau, Stéphane Demri and Roland Meyer, Petri Net Reachability Graphs: Decidability Status of FO Properties , FSTTCS 2011. Published in LIPIcs. Official version (via DOI) freely downloadable.

2010

Contextual graph grammars characterising Rational Graphs, NCMA 2010: pdf (Band 263 de OCG, pp 141-153). No DOI, ISBN 978-3-85403-263-2

With N. Bertrand Probabilistic Regular Graphs, Infinity 2010. EPTCS (volume 39, pp 77-90). Official version (via DOI) freely downloadable

2009

On external presentations of infinite graphs, Infinity 2009 (workshop satellite de Concur 2009). EPTCS (vol. 10, pp 23-35). Official version (via DOI) freely downloadable.

With S. Pinchinat Diagnosability of pushdown systems, Haifa Verification Conference 2009 (formal publication of the 2008 report, below, LNCS vol. 6405, pp 21-33): Our pdf. Official version (via DOI)

Contextual graph grammars characterizing context-sensitive languages, rapport de recherche Irisa (1926). pdf. This report is published at NCMA (see above).

2008

With S. Pinchinat Diagnosis of pushdown systems, Irisa research report (1904). ps, pdf. This work was presented at AutomathA and published at HVC 2009

2006

With A. Carayol On rational trees, Computer Science Logic (CSL) 2006. LNCS 4207 (Ed Z. Ésik) Our pdf. Official version (via DOI)

2005

With C. Rispal Families of automata characterizing context-sensitive languages, Acta Informatica 41, 293-314. Our pdf. Official version (via DOI)

2001

With C. Stirling Rational graphs trace context-sensitive languages, MFCS 2001. LNCS 2136 (Ed. A. Pultr and J. Sgall). Our ps, Our pdf. Official version (via DOI)

Les graphes rationnels. PhD thesis. Defended at université de Rennes 1, on the 28th November 2001. Pdf.

2000

On rational graphs, Fossacs 2000. LNCS 1784 (Ed. J. Tiuryn) pp. 252 - 266. (ETAPS 2000 best theoretical paper award). Version ps, version pdf. Official version (via DOI)

On rational graphs, rapport de recherche Inria (3944). ps, pdf. Extended version of Fossacs' paper.

Note

Here is my BibTeX file of personal bibliographical entries.