Zobrazeno 1 - 10
of 31
pro vyhledávání: '"Morvan, Christophe"'
Publikováno v:
N° RR-8528 (2014)
This paper presents a purely declarative approach to artifact-centric case management systems, and a decentralization scheme for this model. Each case is presented as a tree-like structure; nodes bear information that combines data and computations.
Externí odkaz:
http://arxiv.org/abs/1405.3223
Publikováno v:
Logical Methods in Computer Science, Volume 8, Issue 4 (October 22, 2012) lmcs:872
We investigate the decidability and complexity status of model-checking problems on unlabelled reachability graphs of Petri nets by considering first-order and modal languages without labels on transitions or atomic propositions on markings. We consi
Externí odkaz:
http://arxiv.org/abs/1210.2972
Autor:
Bertrand, Nathalie, Morvan, Christophe
Publikováno v:
EPTCS 39, 2010, pp. 77-90
Deterministic graph grammars generate regular graphs, that form a structural extension of configuration graphs of pushdown systems. In this paper, we study a probabilistic extension of regular graphs obtained by labelling the terminal arcs of the gra
Externí odkaz:
http://arxiv.org/abs/1011.0222
Autor:
Morvan, Christophe
Publikováno v:
EPTCS 10, 2009, pp. 23-35
The vertices of a finite state system are usually a subset of the natural numbers. Most algorithms relative to these systems only use this fact to select vertices. For infinite state systems, however, the situation is different: in particular, for su
Externí odkaz:
http://arxiv.org/abs/0911.3283
Publikováno v:
In IFAC Proceedings Volumes 2012 45(29):265-271
Autor:
Morvan, Christophe1 christophe.morvan@univ-mlv.fr, Rispal, Chloé1 chloe.rispal@univ-mlv.fr
Publikováno v:
Acta Informatica. Mar2005, Vol. 41 Issue 4/5, p293-314. 22p. 8 Diagrams, 2 Charts.
Publikováno v:
Lecture Notes in Computer Science
Petri Nets 2015, 36th International Conference on Application and Theory of Petri Nets and Concurrency
Petri Nets 2015, 36th International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2015, Bruxelles, Belgium. pp.212-233
Petri Nets 2015, 36th International Conference on Application and Theory of Petri Nets and Concurrency
Petri Nets 2015, 36th International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2015, Bruxelles, Belgium. pp.212-233
International audience; This paper proposes Structured Data Nets (SDN), a Petri net extension that describes transactional systems with data. In these nets, tokens are semi-structured documents. Each transition is attached to a query, guarded by patt
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::d4b174adf49f7ddef20f2ea61dd89e08
https://hal.inria.fr/hal-01193279/file/Datanets.pdf
https://hal.inria.fr/hal-01193279/file/Datanets.pdf
Publikováno v:
Journal of : Software Testing, Verification and Reliability
Journal of : Software Testing, Verification and Reliability, Wiley, 2014, 24 (7), pp.532-557. ⟨10.1002/stvr.1525⟩
Journal of Software Testing, Verification and Reliability
Journal of Software Testing, Verification and Reliability, 2014, 24 (7), pp.532-557. ⟨10.1002/stvr.1525⟩
Journal of : Software Testing, Verification and Reliability, Wiley, 2014, 24 (7), pp.532-557. ⟨10.1002/stvr.1525⟩
Journal of Software Testing, Verification and Reliability
Journal of Software Testing, Verification and Reliability, 2014, 24 (7), pp.532-557. ⟨10.1002/stvr.1525⟩
International audience; This paper explores the generation of conformance test cases for Recursive Tile Systems (RTSs) in the framework of the classical ioco testing theory. The RTS model allows the description of reactive systems with recursion, and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3e6fdf03f9a92dddda9d434b995adc46
https://hal.inria.fr/hal-01091672/document
https://hal.inria.fr/hal-01091672/document
Autor:
Hélouët, Loïc, Fabre, Eric, Morvan, Christophe, Genest, Blaise, Kecir, Karim, Marchand, Hervé
Publikováno v:
[Technical Report] Projet P22 INRIA SUMO-Alstom Transport. 2014, pp.32
This document is a focused state of the art for the P22 project between ALSTOM and the INRIA SUMO team. The goal of this project is to provide evaluation tools for the robustness of schedules (a.k.a timetables) for urban train systems, and evaluation
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::b218608df7fc09c269bcb1631ad2a76b
https://hal.inria.fr/hal-01094366
https://hal.inria.fr/hal-01094366
Autor:
Genest, Blaise, Morvan, Christophe, Fabre, Eric, Marchand, Hervé, Kecir, Karim, Hélouët, Loïc
Publikováno v:
[Contract] Projet P22 INRIA SUMO-Alstom Transport. 2014, pp.5
The overall objective of project P22 is the analysis of the robustness and theimprovement of timetables and regulation techniques in urban railway systems.The project is expected to produce tools and models to evaluate and comparetimetables and regul
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::103f60c112c2bf9d90ec50e11a89a9f7
https://hal.inria.fr/hal-01094374
https://hal.inria.fr/hal-01094374