1. Recherche
55 résultats  enregistrer la recherche


  • 1
  • 2
inria-00108079v1  Rapport
Orazio Gurrieri, Paolo Castelpietra, Olivier Barriere. Using EAST-ADL with GME 2000
[Intern report] A02-R-416 || gurrieri02b, 2002
...
hal-00489238v1  Article dans une revue
Olivier Henri Roux, Anne-Marie Déplanche. A T-time Petri net extension for real time-task scheduling modeling
European Journal of Automation, Hermés Science, 2002, 36 (7), pp.973--987
hal-00453471v1  Communication dans un congrès
Yvon Trinquet, Philippe Lemoine, Jean-Pierre Elloy. Un interpréteur réparti pour le langage asynchrone temps réel ELECTRE
European Control Conference, ECC'91, Jul 1991, Grenoble, France. Hermès, 2, pp.1678-1683, 1991
hal-00453462v1  Communication dans un congrès
Denis Creusot, Philippe Lemoine, Olivier Roux, Yvon Trinquet, Antonio Kung et al.  Execution Environment for ELECTRE Applications
3rd European Software Engineering Conference, ESEC '91, Oct 1991, Milan, Italy. Springer-Verlag, pp.147-165, 1991
hal-00523936v1  Article dans une revue
Morgan Magnin, Pierre Molinaro, Olivier Henri Roux. Expressiveness of Petri Nets with Stopwatches. Discrete-time part
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2009, 97 (1-2), pp.139-176
...
hal-00489072v1  Article dans une revue
Marc Boyer, Olivier Henri Roux. On the compared expressiveness of arc, place and transition time Petri nets
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2008, 88 (3), pp.225-249
...
hal-00940970v1  Article dans une revue
Claude Jard, Didier Lime, Olivier Henri Roux. Blending Timed Formal Models with Clock Transition Systems
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2014, 129 (1-2), pp.85-100
hal-00523933v1  Article dans une revue
Morgan Magnin, Pierre Molinaro, Olivier Henri Roux. Expressiveness of Petri nets with stopwatches. Dense-time part
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2009, 97 (1-2), pp.111-138
inria-00100867v1  Communication dans un congrès
Françoise Simonot-Lion, Jean-Pierre Elloy. An Architecture Description Language for In-Vehicle Embedded System Development
E.F.Camacho, L.Basañez, J.-A. de la Puente. 15th Triennial World Congress of the International Federation of Automatic Control Barcelona 2002 - B'02, 2002, Barcelona, Spain, Elsevier Science, 8 p, 2002
...
hal-00463574v1  Autre publication
Gilles Benattar, Béatrice Bérard, Didier Lime, John Mullins, Olivier Henri Roux et al.  Covert Channel Synthesis for Transducers
Research report. 2010
...
inria-00363029v1  Communication dans un congrès
Franck Cassez, John Mullins, Olivier Henri Roux. Synthesis of Non-Interferent Systems
4th Int. Conf. on Mathematical Methods, Models and Architectures for Computer Network Security (MMM-ACNS'07), Sep 2007, Saint Petersburg, Russia. Springer, 1, pp.307--321, 2007
hal-00523588v1  Communication dans un congrès
Didier Lime, Olivier Henri Roux. State class Timed Automaton of a Time Petri Net
The 10th International Workshop on Petri Nets and Performance Models, (PNPM'03), 2003, Urbana, United States. pp.124--133, 2003
hal-00523604v1  Communication dans un congrès
Guillaume Gardey, Olivier Roux, Olivier Henri Roux. Safety Control Synthesis for Time Petri Nets
8th International Workshop on Discrete Event Systems (WODES'06), 2006, Ann Arbor, United States. pp.222-228, 2006
hal-00523609v1  Communication dans un congrès
Marc Boyer, Olivier Henri Roux. Comparison of the expressiveness of Arc, Place and Transition Time Petri Nets
28th International Conference on Application and Theory of Petri Nets and other models of concurrency (ICATPN'07), 2007, Siedlce, Poland. Springer, 4546, pp.63-82, 2007, Lecture Notes in Computer Science
hal-00523613v1  Communication dans un congrès
Louis-Marie Traonouez, Didier Lime, Olivier Henri Roux. Parametric model-checking of time {Petri} nets with stopwatches using the state-class graph
6th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2008), 2008, Saint Malo, France. Springer, 5215, pp.280-294, 2008, Lecture Notes in Computer Science
hal-00523590v1  Communication dans un congrès
Olivier Henri Roux, Didier Lime. Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation
Springer. The 25th International Conference on Application and Theory of Petri Nets, (ICATPN'04), 2004, Bologna, Italy. 3099, pp.371--390, 2004, Lecture Notes in Computer Science
hal-00523591v1  Communication dans un congrès
Didier Lime, Olivier Henri Roux. A translation based method for the timed analysis of scheduling extended time Petri nets
The 25th IEEE International Real-Time Systems Symposium, (RTSS'04), 2004, Lisbon, Portugal. IEEE Computer Society Press, pp.187--196, 2004
hal-00523593v1  Communication dans un congrès
Louis-Marie Traonouez, Bartosz Grabiec, Claude Jard, Didier Lime, Olivier Henri Roux. Symbolic Unfolding of Parametric Stopwatch Petri Nets
the 8th International Symposium on Automated Technology for Verification and Analysis (ATVA 2010), Sep 2010, Singapore, Singapore. Springer, 6252, pp.291-305, 2010, Lecture Notes in Computer Science
hal-00523597v1  Communication dans un congrès
Bartosz Grabiec, Louis-Marie Traonouez, Claude Jard, Didier Lime, Olivier Henri Roux. Diagnosis using unfoldings of parametric time Petri nets
8th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2010), Sep 2010, Vienna, Austria. Springer, 6246, pp.137-151, 2010, Lecture Notes in Computer Science
hal-00523605v1  Communication dans un congrès
Charlotte Seidner, Jean-Philippe Lerat, Olivier Henri Roux. Usability of formal verification on EFFBD models: Applying {P}etri nets to Systems Engineering issues
17$^$ International Symposium of the International Council on Systems Engineering (IS2007), 2007, San Diego, United States. pp.0-10, 2007
hal-00523612v1  Communication dans un congrès
Morgan Magnin, Didier Lime, Olivier Henri Roux. Symbolic state space of Stopwatch {Petri} nets with discrete-time semantics
The 29th International Conference on Application and Theory of Nets and other models of concurrency (ICATPN 2008), 2008, Xi'an, China. Springer, 5062, pp.307--326, 2008, Lecture Notes in Computer Science
hal-00523595v1  Communication dans un congrès
Morgan Magnin, Didier Lime, Olivier Henri Roux. An efficient method for computing exact state space of Petri nets with stopwatches
third International Workshop on Software Model-Checking (SoftMC'05), 2005, Edinburgh, United Kingdom. Elsevier, 144, pp.59--77, 2005, Electronic Notes in Theoretical Computer Science
hal-00523601v1  Communication dans un congrès
Morgan Magnin, Pierre Molinaro, Olivier Henri Roux. Decidability, expressivity and state-space computation of Stopwatch {Petri} nets with discrete-time semantics
8th International Workshop on Discrete Event Systems (WODES'06), 2006, Ann Arbor, United States. IEEE Computer Society Press, pp.33-38, 2006
hal-00523611v1  Communication dans un congrès
Charlotte Seidner, Jean-Philippe Lerat, Olivier Henri Roux. Behavior Diagrams Model-Checking: Formal Methods Applied to {S}ystems {E}ngineering and Design
$6^$ Annual Conference on Systems Engineering Research, 2008, Los Angeles, United States. pp.0-10, 2008
hal-00523586v1  Communication dans un congrès
Didier Lime, Olivier Henri Roux. Expressiveness and analysis of scheduling extended time Petri nets
5th IFAC International Conference on Fieldbus Systems and their Applications, (FET'03), 2003, Aveiro, Portugal. pp.193--20, 2003
hal-00523596v1  Communication dans un congrès
Guillaume Gardey, Didier Lime, Morgan Magnin, Olivier Henri Roux. Romeo: A Tool for Analyzing time Petri nets
17th International Conference on Computer Aided Verification (CAV'05), 2005, Edinburgh, United Kingdom. Springer, 3576, pp.418-423, 2005, Lecture Notes in Computer Science
  • 1
  • 2

Contact


archive-ouverte@inria.fr