Christophe Morvan

According to our database1, Christophe Morvan
  • authored at least 19 papers between 2000 and 2016.
  • has a "Dijkstra number"2 of five.

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


  Loading...