Search - Archive ouverte HAL Access content directly

Filter your results

101 Results
Image document

Integer-Complete Synthesis for Bounded Parametric Timed Automata

Étienne André , Didier Lime , Olivier Henri Roux
9th International Conference on Reachability Problems (RP 2015), Sep 2015, Warsaw, Poland. pp.7-19, ⟨10.1007/978-3-319-24537-9_2⟩
Conference papers hal-02939637v1
Image document

Real-Time Control with Parametric Timed Reachability Games

Aleksandra Jovanovic , Sébastien Faucou , Didier Lime , Olivier Henri Roux
11th International Workshop on Discrete Event Systems, Oct 2012, Guadalajara, Mexico. pp.323-330
Conference papers hal-00753689v1

State class Timed Automaton of a Time Petri Net

Didier Lime , Olivier Henri Roux
The 10th International Workshop on Petri Nets and Performance Models, (PNPM'03), 2003, Urbana, United States. pp.124--133
Conference papers hal-00523588v1

Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation

Olivier Henri Roux , Didier Lime
The 25th International Conference on Application and Theory of Petri Nets, (ICATPN'04), 2004, Bologna, Italy. pp.371--390
Conference papers hal-00523590v1

A translation based method for the timed analysis of scheduling extended time Petri nets

Didier Lime , Olivier Henri Roux
The 25th IEEE International Real-Time Systems Symposium, (RTSS'04), 2004, Lisbon, Portugal. pp.187--196
Conference papers hal-00523591v1

Comparison of the expressiveness of Arc, Place and Transition Time Petri Nets

Marc Boyer , Olivier Henri Roux
28th International Conference on Application and Theory of Petri Nets and other models of concurrency (ICATPN'07), 2007, Siedlce, Poland. pp.63-82
Conference papers hal-00523609v1

Behavior Diagrams Model-Checking: Formal Methods Applied to {S}ystems {E}ngineering and Design

Charlotte Seidner , Jean-Philippe Lerat , Olivier Henri Roux
$6^{th}$ Annual Conference on Systems Engineering Research, 2008, Los Angeles, United States. pp.0-10
Conference papers hal-00523611v1

Parametric model-checking of time {Petri} nets with stopwatches using the state-class graph

Louis-Marie Traonouez , Didier Lime , Olivier Henri Roux
6th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2008), 2008, Saint Malo, France. pp.280-294
Conference papers hal-00523613v1
Image document

Covert Channel Synthesis for Transducers

Gilles Benattar , Béatrice Bérard , Didier Lime , John Mullins , Olivier Henri Roux , et al.
2010
Other publications hal-00463574v1
Image document

Structural Translation from Time Petri Nets to Timed Automata

Franck Cassez , Olivier Henri Roux
Journal of Systems and Software, 2006, 79 (10), pp.1456--1468
Journal articles inria-00363025v1
Image document

Blending Timed Formal Models with Clock Transition Systems

Claude Jard , Didier Lime , Olivier Henri Roux
Fundamenta Informaticae, 2014, 129 (1-2), pp.85-100
Journal articles hal-00939239v1
Image document

Dynamic Driving Task Fallback for an Automated Driving System whose Ability to Monitor the Driving Environment has been Compromised

Yrvann Emzivat , Javier Ibanez-Guzman , Philippe Martinet , Olivier Henri Roux
IEEE Intelligent Vehicles Symposium, Jun 2017, Redondo Beach, United States
Conference papers hal-01724931v1
Image document

Device driver synthesis for embedded systems

Julien Tanguy , Jean-Luc Béchennec , Mikaël Briday , Sébastien Dubé , Olivier Henri Roux
18th IEEE International Conference on Emerging Technologies & Factory Automation, Sep 2013, Cagliari, Italy
Conference papers hal-00942323v1

Synthèse de contraintes de conception à partir de réseaux de Petri temporels paramétrés

Louis-Marie Traonouez , David Delfieu , Olivier Henri Roux
6ieme Colloque Francophone sur la Modélisation des Systèmes Réactifs (MSR'07), Oct 2007, Lyon, France
Conference papers hal-01112533v1
Image document

Comparison of Expressiveness for Timed Automata and Time Petri Nets

Béatrice Berard , F. Cassez , Serge Haddad , D. Lime , Olivier Henri Roux
2006
Preprints, Working Papers, ... hal-00115535v1
Image document

Probabilistic Time Petri Nets

Yrvann Emzivat , Benoit Delahaye , Didier Lime , Olivier Henri Roux
37th INTERNATIONAL CONFERENCE ON APPLICATIONS AND THEORY OF PETRI NETS AND CONCURRENCY, Jun 2016, Torun, Poland. pp.261-280
Conference papers hal-01590900v1
Image document

Clock Transition Systems

Didier Lime , Olivier Henri Roux , Claude Jard
2012
Reports hal-00725792v1
Image document

Logical time control of concurrent DES

Jean-Luc Béchennec , Didier Lime , Olivier H. Roux
Discrete Event Dynamic Systems, 2021, ⟨10.1007/s10626-020-00333-x⟩
Journal articles hal-03103458v1
Image document

Comparison of Different Semantics for Time Petri Nets

Béatrice Berard , Franck Cassez , Serge Haddad , Didier Lime , Olivier Henri Roux
3rd Int. Symp. on Automated Technology for Verification and Analysis (ATVA'05), Oct 2005, Taiwan, Taiwan. pp.293--307
Conference papers inria-00368580v1

Systèmes Informatiques de Confince, Objectifs Zéro-Défaut

Armelle Prigent , Philippe Dhaussy , Roux Olivier
Systèmes Informatiques de Confince, Objectifs Zéro-Défaut, 2002, France. pp./
Conference papers hal-00540746v1
Image document

Formal Methods for Systems Engineering Behavior Models

Charlotte Seidner , Olivier Henri Roux
IEEE Transactions on Industrial Informatics, 2008, 4 (4), pp.280-291
Journal articles hal-00489291v1

Approches formelles des systèmes embarqués communicants

Olivier Henri Roux , Claude Jard
Hermes Lavoisier, pp.268, 2008
Books hal-00523945v1

Expressiveness and analysis of scheduling extended time Petri nets

Didier Lime , Olivier Henri Roux
5th IFAC International Conference on Fieldbus Systems and their Applications, (FET'03), 2003, Aveiro, Portugal. pp.193--20
Conference papers hal-00523586v1

Symbolic Unfolding of Parametric Stopwatch Petri Nets

Louis-Marie Traonouez , Bartosz Grabiec , Claude Jard , Didier Lime , Olivier Henri Roux
the 8th International Symposium on Automated Technology for Verification and Analysis (ATVA 2010), Sep 2010, Singapore, Singapore. pp.291-305
Conference papers hal-00523593v1
Image document

Formal Synthesis of Real-Time System Models in a MDE Approach

Cédrick Lelionnais , Jérôme Delatour , Matthias Brun , Olivier Henri Roux , Charlotte Seidner
IARIA Journals, 2014, International Journal on Advances in Systems and Measurements, 7 (1&2), pp.115-128
Journal articles hal-01093769v1
Image document

Using formal methods for the development of safe application-specific RTOS for automotive systems

Kabland Toussaint Gautier Tigori , Jean-Luc Béchennec , Sébastien Faucou , Olivier Roux
CARS 2015 - Critical Automotive applications: Robustness & Safety, Sep 2015, Paris, France
Conference papers hal-01193023v1

Shrinking of time Petri nets

Didier Lime , Claude Martinez , Olivier Henri Roux
Discrete Event Dynamic Systems, 2013, 23 (4), pp.419-438
Journal articles hal-00940944v1
Image document

Applying Parametric Model-Checking Techniques for Reusing Real-time Critical Systems

Baptiste Parquier , Laurent Rioux , Rafik Henia , Romain Soulat , Olivier Henri Roux , et al.
5th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2016), Nov 2016, Tokyo, Japan. ⟨10.1007/978-3-319-53946-1_8⟩
Conference papers hal-02538041v1

Cost Problems for Parametric Time Petri Nets

Didier Lime , Charlotte Seidner , Olivier Henri Roux
Fundamenta Informaticae, 2021
Journal articles hal-03561426v1

Expressiveness of Petri nets with stopwatches. Dense-time part

Morgan Magnin , Pierre Molinaro , Olivier Henri Roux
Fundamenta Informaticae, 2009, 97 (1-2), pp.111-138
Journal articles hal-00523933v1