Publications of Christophe Morvan

International Conferences

S. Chédor, T Jéron, C. Morvan. Test generation from recursive tiles systems. In 6th International Conference on Tests & Proofs, LNCS, Volume 7305, Pages 99-114, Prague, Czech Republic, June 2012.
Ph. Darondeau, S. Demri, R. Meyer, Ch. Morvan. Petri Net Reachability Graphs: Decidability Status of FO Properties. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2011), Leibniz International Proceedings in Informatics (LIPIcs), Volume 13, Pages 140-151, Bombay, India, 2011. download
N. Bertrand, C. Morvan. Probabilistic Regular Graphs. In Infinity, EPTCS, Volume 39, Pages 77-90, Singapore, September 2010.
C. Morvan. Contextual graph grammars characterising Rational Graphs. In Non-Classical Models of Automata and Applications (NCMA), Pages 141-153, Jena, Germany, August 2010.
C. Morvan, S. Pinchinat. Diagnosability of pushdown systems. In HVC2009, Haifa Verification Conference, LNCS, Volume 6405, Pages 21-33, Haifa, Israel, October 2009.
C. Morvan. On external presentations of infinite graphs. In 11th International Workshop on Verification of Infinite-State Systems, INFINITY'09, EPTCS, Volume 10, Pages 22-35, Bologna, Italy, August 2009. download

Research Reports

C. Morvan. Contextual graph grammars characterizing context-sensitive languages. Research Report IRISA, No 1926, March 2009.
Ch. Morvan, S. Pinchinat. Diagnosis of Pushdown Systems. Research Report IRISA, No 1904, October 2008.

Misc

C. Morvan, S. Pinchinat. Diagnosability of pushdown systems. AutomathA, Liège, Belgique, June 2009.

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.
This page is automatically generated by bib2html v216, © INRIA 2002-2007, Projet Lagadic