Christophe Morvan

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