Vers l'Institut Gaspard Monge
Vers le sommaire
Vers l'Université Paris-est, Marne-la-Vallée
Publications

2016

Avec Éric Badouel, Loïc Hélouet, Petri Nets with Structured Data, Fundamenta Informaticae, Vol. 146, no. 1, pp. 35-82 -- Notre pdf. Version officielle (via DOI)

2015

Avec Éric Badouel, Loïc Hélouet, Georges-Edouard Kouamou et 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 -- Notre pdf. Version officielle (Vol. 15, No. 3 des ACR).

Avec Éric Badouel et Loïc Hélouet, Petri nets with semi-structured data, à la conférence 36th International Conference on Application and Theory of Petri Nets and Concurrency. Publié dans LNCS (vol. 9115, pp. 212-233) -- Notre pdf. Version officielle (via DOI).

Avec Éric Badouel, Loïc Hélouet et Georges-Edouard Kouamou , A Grammatical Approach to Data-centric Case Management in a Distributed Collaborative Environment, à la conférence ACM/SIGAPP Symposium On Applied Computing 2015, pp 1834-1839 (Track Coordination Models, Languages and Applications) -- Notre pdf. Version officielle (via DOI).

2014

Avec Sébastien Chédor, Hervé Marchand et Sophie Pinchinat, Analysis of partially observed recursive tile systems, dans la revue Discrete Event Dynamic Systems -- Notre pdf. Version officielle (via DOI).

Avec Sébastien Chédor et Thierry Jéron, Test generation from recursive tile systems, dans un numéro spécial du journal Software Testing, Verification and Reliability consacré à TAP 2012 -- Notre pdf. Version officielle (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, soutenue le 19 novembre 2014. Version pdf.

2012

Avec Philippe Darondeau, Stéphane Demri et Roland Meyer, Petri Net Reachability Graphs: Decidability Status of First-Order Properties , dans Logical Methods in Computer Science (LMCS). Version officielle (via DOI) librement téléchargeable.

Avec Sébastien Chédor, Hervé Marchand et Sophie Pinchinat, Analysis of partially observed recursive tile systems, International Workshop on Discrete Event Systems (Wodes 2012). Proceedings, pp. 265-271. Notre pdf. Version officielle (via DOI)

Avec Sébastien Chédor et Thierry Jéron, Test generation from recursive tiles systems, TAP 2012 (Test and Proof). Publié dans LNCS (vol. 7305, pp. 99-114). Notre pdf. Version officielle (via DOI)

2011

Avec Philippe Darondeau, Stéphane Demri et Roland Meyer, Petri Net Reachability Graphs: Decidability Status of FO Properties , FSTTCS 2011. Publié dans les LIPIcs. Version officielle (via DOI) librement téléchargeable

2010

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

Avec N. Bertrand Probabilistic Regular Graphs, Infinity 2010. Publié dans EPTCS (volume 39, pp 77-90). Version officielle (via DOI) librement téléchargeable

2009

On external presentations of infinite graphs, Infinity 2009 (workshop satellite de Concur 2009). Publié dans EPTCS (vol. 10, pp 23-35). Version officielle (via DOI) librement téléchargeable.

Avec S. Pinchinat Diagnosability of pushdown systems, Haifa Verification Conference 2009 (publication formelle du rapport de 2008, LNCS vol. 6405, pp 21-33): Notre pdf. Version officielle (via DOI)

Contextual graph grammars characterizing context-sensitive languages, rapport de recherche Irisa (1926). version pdf. Ce rapport est publié à NCMA (voir ci-dessus).

2008

Avec S. Pinchinat Diagnosis of pushdown systems, rapport de recherche Irisa (1904). Version ps, version pdf. Ce travail a été présenté dans le cadre de la conférence AutomathA

2006

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

2005

Avec C. Rispal Families of automata characterizing context-sensitive languages, Acta Informatica 41, 293-314. version pdf. Version officielle (via DOI)

2001

Avec C. Stirling Rational graphs trace context-sensitive languages, MFCS 2001. LNCS 2136 (Ed. A. Pultr et J. Sgall). Version ps, version pdf. Version officielle (via DOI)

Les graphes rationnels. Thèse pour obtenir le titre de docteur de l'université de Rennes 1, soutenue le 28 novembre 2001. Version 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. Version officielle (via DOI)

On rational graphs, rapport de recherche Inria (3944). Version ps, version pdf. Ce rapport est une version détaillée du papier présenté à Fossacs.

Note

Pour simplifier les choses, voici mon fichier BibTeX de références personnelles.

Écrivez moi

Site créé avec emacs Debian.org Spread Firefox Button
Dernière mise à jour le 10 mars 2017

Valid XHTML 1.0!