Christophe Morvan
Christophe Morvan
Associate Professor Marne-la-Vallée
Dirección de correo verificada de u-pem.fr - Página principal
Título
Citado por
Citado por
Año
On rational graphs
C Morvan
Foundations of Software Science and Computation Structures, 252-266, 2000
872000
Rational graphs trace context-sensitive languages
C Morvan, C Stirling
Mathematical Foundations of Computer Science 2001, 548-559, 2001
452001
Diagnosability of pushdown systems
C Morvan, S Pinchinat
Haifa Verification Conference, 21-33, 2009
242009
Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems
S Chédor, C Morvan, S Pinchinat, H Marchand
Discrete Event Dynamic Systems 25 (1-2), 271-294, 2015
222015
Petri nets with structured data
E Badouel, L Hélouët, C Morvan
Fundamenta Informaticae 146 (1), 35-82, 2016
182016
Families of automata characterizing context-sensitive languages
C Morvan, C Rispal
Acta Informatica 41 (4-5), 293-314, 2005
172005
Active workspaces: distributed collaborative systems based on guarded attribute grammars
E Badouel, L Hélouët, GE Kouamou, C Morvan, NR Fondze Jr
ACM SIGAPP Applied Computing Review 15 (3), 6-34, 2015
162015
Les graphes rationnels
C Morvan
Université de Rennes 1, 2001
162001
Petri Net Reachability Graphs: Decidability Status of First Order Properties
C Morvan, R Meyer, S Demri, P Darondeau
Logical Methods in Computer Science 8, 2012
12*2012
Petri Net Reachability Graphs: Decidability Status of FO Properties
IARCS Annual Conference on Foundations of Software Technology and …, 2011
12*2011
On rational trees
A Carayol, C Morvan
International Workshop on Computer Science Logic, 225-239, 2006
122006
Petri net reachability graphs: Decidability status of FO properties
P Darondeau, S Demri, R Meyer, C Morvan
IARCS Annual Conference on Foundations of Software Technology and …, 2011
82011
Test generation from recursive tile systems
S Chédor, T Jéron, C Morvan
Software Testing, Verification and Reliability 24 (7), 532-557, 2014
62014
A grammatical approach to data-centric case management in a distributed collaborative environment
E Badouel, L Hélouët, GE Kouamou, C Morvan
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 1834-1839, 2015
52015
Analysis of partially observed recursive tile systems
S Chédor, C Morvan, S Pinchinat, H Marchand
IFAC Proceedings Volumes 45 (29), 265-271, 2012
52012
Probabilistic regular graphs
N Bertrand, C Morvan
arXiv preprint arXiv:1011.0222, 2010
32010
Classes of rational graphs
C Morvan
Journées Montoises 6, 2006
32006
Contextual graph grammars characterising Rational Graphs
C Morvan
Workshop on Non-Classical Models for Automata and Applications 2010, 141-153, 2010
2*2010
Management in a Distributed Collaborative Environment
E Badouel, L Hélouët, C Morvan
2015
Familles de graphes de présentation finie, propriétés et applications
C Morvan
2014
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20