Christophe Morvan

Publication Activity (10 Years)

Years Active: 2000-2016
Publications (10 Years): 1

Top Topics

Structured Data

Test Generation

Top Venues

Discret. Event Dyn. Syst.

Fundam. Informaticae

Publications

Éric Badouel, Loïc Hélouët, Christophe Morvan
Petri Nets with Structured Data. Fundam. Informaticae 146 (1) (2016)
Éric Badouel, Loïc Hélouët, Christophe Morvan
Petri Nets with Structured Data. Petri Nets (2015)
Sébastien Chédor, Christophe Morvan, Sophie Pinchinat, Hervé Marchand
Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems. Discret. Event Dyn. Syst. 25 (1-2) (2015)
Éric Badouel, Loïc Hélouët, Georges Edouard Kouamou, Christophe Morvan
A grammatical approach to data-centric case management in a distributed collaborative environment. SAC (2015)
Sébastien Chédor, Thierry Jéron, Christophe Morvan
Test generation from recursive tile systems. Softw. Test. Verification Reliab. 24 (7) (2014)
Éric Badouel, Loïc Hélouët, Georges Edouard Kouamou, Christophe Morvan
A Grammatical Approach to Data-centric Case Management in a Distributed Collaborative Environment. CoRR (2014)
Philippe Darondeau, Stéphane Demri, Roland Meyer, Christophe Morvan
Petri Net Reachability Graphs: Decidability Status of First Order Properties Log. Methods Comput. Sci. 8 (4) (2012)
Sébastien Chédor, Christophe Morvan, Sophie Pinchinat, Hervé Marchand
Analysis of partially observed recursive tile systems. WODES (2012)
Sébastien Chédor, Thierry Jéron, Christophe Morvan
Test Generation from Recursive Tiles Systems. TAP@TOOLS (2012)
Philippe Darondeau, Stéphane Demri, Roland Meyer, Christophe Morvan
Petri Net Reachability Graphs: Decidability Status of FO Properties. FSTTCS (2011)
Christophe Morvan
Contextual Graph Grammars Characterising Rational Graphs. NCMA (2010)
Nathalie Bertrand, Christophe Morvan
Probabilistic regular graphs INFINITY (2010)
Christophe Morvan
On external presentations of infinite graphs INFINITY (2009)
Christophe Morvan, Sophie Pinchinat
Diagnosability of Pushdown Systems. Haifa Verification Conference (2009)
Arnaud Carayol, Christophe Morvan
On Rational Trees. CSL (2006)
Christophe Morvan, Chloe Rispal
Families of automata characterizing context-sensitive languages. Acta Informatica 41 (4-5) (2005)
Christophe Morvan, Colin Stirling
Rational Graphs Trace Context-Sensitive Languages. MFCS (2001)
Christophe Morvan
On Rational Graphs. FoSSaCS (2000)