According to our database1, Christophe Morvan authored at least 17 papers between 2000 and 2015.
Legend:Book In proceedings Article PhD thesis Other
Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems.
Discrete Event Dynamic Systems, 2015
A grammatical approach to data-centric case management in a distributed collaborative environment.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015
Petri Nets with Structured Data.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2015
Test generation from recursive tile systems.
Softw. Test., Verif. Reliab., 2014
Familles de graphes de présentation finie, propriétés et applications.
Petri Net Reachability Graphs: Decidability Status of First Order Properties
Logical Methods in Computer Science, 2012
Analysis of partially observed recursive tile systems.
Proceedings of the 11th International Workshop on Discrete Event Systems, 2012
Test Generation from Recursive Tiles Systems.
Proceedings of the Tests and Proofs - 6th International Conference, 2012
Petri Net Reachability Graphs: Decidability Status of FO Properties.
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2011
Probabilistic regular graphs
Proceedings of the Proceedings 12th International Workshop on Verification of Infinite-State Systems, 2010
Contextual Graph Grammars Characterising Rational Graphs.
Proceedings of the Second Workshop on Non-Classical Models for Automata and Applications - NCMA 2010, Jena, Germany, August 23, 2010
On external presentations of infinite graphs
Proceedings of the Proceedings International Workshop on Verification of Infinite-State Systems, 2009
Diagnosability of Pushdown Systems.
Proceedings of the Hardware and Software: Verification and Testing, 2009
On Rational Trees.
Proceedings of the Computer Science Logic, 20th International Workshop, 2006
Families of automata characterizing context-sensitive languages.
Acta Inf., 2005
Rational Graphs Trace Context-Sensitive Languages.
Proceedings of the Mathematical Foundations of Computer Science 2001, 2001
On Rational Graphs.
Proceedings of the Foundations of Software Science and Computation Structures, 2000