# Christophe Morvan

According to our database

^{1}, Christophe Morvan## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2016

Petri Nets with Structured Data.

Fundam. Inform., 2016

2015

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

2014

Test generation from recursive tile systems.

Softw. Test., Verif. Reliab., 2014

A Grammatical Approach to Data-centric Case Management in a Distributed Collaborative Environment.

CoRR, 2014

Familles de graphes de présentation finie, propriétés et applications.

, 2014

2012

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

2011

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

2010

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

2009

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

2006

On Rational Trees.

Proceedings of the Computer Science Logic, 20th International Workshop, 2006

2005

Families of automata characterizing context-sensitive languages.

Acta Inf., 2005

2001

Rational Graphs Trace Context-Sensitive Languages.

Proceedings of the Mathematical Foundations of Computer Science 2001, 2001

2000

On Rational Graphs.

Proceedings of the Foundations of Software Science and Computation Structures, 2000