Filter your results
- 55
- 46
- 62
- 31
- 3
- 2
- 1
- 1
- 1
- 99
- 1
- 1
- 2
- 3
- 1
- 3
- 5
- 6
- 6
- 8
- 4
- 9
- 4
- 2
- 3
- 9
- 9
- 5
- 7
- 7
- 3
- 2
- 3
- 97
- 4
- 76
- 24
- 10
- 10
- 8
- 8
- 7
- 5
- 4
- 4
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 101
- 55
- 13
- 11
- 11
- 10
- 8
- 7
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
101 Results
|
Integer-Complete Synthesis for Bounded Parametric Timed Automata9th 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
|
||
|
Real-Time Control with Parametric Timed Reachability Games11th 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 NetThe 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 ComputationThe 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 netsThe 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 Nets28th 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$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 graph6th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2008), 2008, Saint Malo, France. pp.280-294
Conference papers
hal-00523613v1
|
|||
|
Covert Channel Synthesis for Transducers2010
Other publications
hal-00463574v1
|
||
|
Structural Translation from Time Petri Nets to Timed AutomataJournal of Systems and Software, 2006, 79 (10), pp.1456--1468
Journal articles
inria-00363025v1
|
||
|
Blending Timed Formal Models with Clock Transition SystemsFundamenta Informaticae, 2014, 129 (1-2), pp.85-100
Journal articles
hal-00939239v1
|
||
|
Dynamic Driving Task Fallback for an Automated Driving System whose Ability to Monitor the Driving Environment has been CompromisedIEEE Intelligent Vehicles Symposium, Jun 2017, Redondo Beach, United States
Conference papers
hal-01724931v1
|
||
|
Device driver synthesis for embedded systems18th 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és6ieme Colloque Francophone sur la Modélisation des Systèmes Réactifs (MSR'07), Oct 2007, Lyon, France
Conference papers
hal-01112533v1
|
|||
|
Comparison of Expressiveness for Timed Automata and Time Petri Nets2006
Preprints, Working Papers, ...
hal-00115535v1
|
||
|
Probabilistic Time Petri Nets37th INTERNATIONAL CONFERENCE ON APPLICATIONS AND THEORY OF PETRI NETS AND CONCURRENCY, Jun 2016, Torun, Poland. pp.261-280
Conference papers
hal-01590900v1
|
||
|
Clock Transition Systems2012
Reports
hal-00725792v1
|
||
|
Logical time control of concurrent DESDiscrete Event Dynamic Systems, 2021, ⟨10.1007/s10626-020-00333-x⟩
Journal articles
hal-03103458v1
|
||
|
Comparison of Different Semantics for Time Petri Nets3rd 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éfautSystèmes Informatiques de Confince, Objectifs Zéro-Défaut, 2002, France. pp./
Conference papers
hal-00540746v1
|
|||
|
Formal Methods for Systems Engineering Behavior ModelsIEEE Transactions on Industrial Informatics, 2008, 4 (4), pp.280-291
Journal articles
hal-00489291v1
|
||
Approches formelles des systèmes embarqués communicantsHermes Lavoisier, pp.268, 2008
Books
hal-00523945v1
|
|||
Expressiveness and analysis of scheduling extended time Petri nets5th 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 Netsthe 8th International Symposium on Automated Technology for Verification and Analysis (ATVA 2010), Sep 2010, Singapore, Singapore. pp.291-305
Conference papers
hal-00523593v1
|
|||
|
Formal Synthesis of Real-Time System Models in a MDE ApproachIARIA Journals, 2014, International Journal on Advances in Systems and Measurements, 7 (1&2), pp.115-128
Journal articles
hal-01093769v1
|
||
|
Using formal methods for the development of safe application-specific RTOS for automotive systemsCARS 2015 - Critical Automotive applications: Robustness & Safety, Sep 2015, Paris, France
Conference papers
hal-01193023v1
|
||
Shrinking of time Petri netsDiscrete Event Dynamic Systems, 2013, 23 (4), pp.419-438
Journal articles
hal-00940944v1
|
|||
|
Applying Parametric Model-Checking Techniques for Reusing Real-time Critical Systems5th 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 NetsFundamenta Informaticae, 2021
Journal articles
hal-03561426v1
|
||
Expressiveness of Petri nets with stopwatches. Dense-time partFundamenta Informaticae, 2009, 97 (1-2), pp.111-138
Journal articles
hal-00523933v1
|