Filtrer vos résultats
- 60
- 47
- 68
- 31
- 3
- 2
- 1
- 1
- 1
- 103
- 2
- 1
- 1
- 6
- 2
- 3
- 1
- 4
- 5
- 6
- 6
- 8
- 3
- 9
- 4
- 2
- 3
- 9
- 9
- 5
- 7
- 8
- 2
- 2
- 3
- 100
- 7
- 75
- 29
- 10
- 10
- 8
- 8
- 6
- 5
- 4
- 4
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 107
- 59
- 14
- 12
- 11
- 10
- 10
- 7
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 4
- 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
- 1
- 1
- 1
107 résultats
Integer Parameter Synthesis for Timed Automata19th International Conference Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2013, Mar 2013, Rome, Italy. pp.401-415
Communication dans un congrès
hal-00941007v1
|
|||
Usability of formal verification on EFFBD models: Applying {P}etri nets to Systems Engineering issues17$^{th}$ International Symposium of the International Council on Systems Engineering (IS2007), 2007, San Diego, United States. pp.0-10
Communication dans un congrès
hal-00523605v1
|
|||
|
|
Robustness of Time Petri Nets under architectural constraintsFormal Modeling and Analysis of Timed Systems, Sep 2013, Warwik, United Kingdom. pp.11-26
Communication dans un congrès
hal-00879818v1
|
||
|
|
TCTL model checking of Time Petri NetsJournal of Logic and Computation, 2009, 19 (6), pp.1509-1540. ⟨10.1093/logcom/exp036⟩
Article dans une revue
hal-00489070v1
|
||
|
|
Toward an Exact Simulation Interval for Multiprocessor Real-Time Systems ValidationVALID 2020, The Twelfth International Conference on Advances in System Testing and Validation Lifecycle, Oct 2020, Lisbon, Portugal
Communication dans un congrès
hal-03006791v1
|
||
|
|
Adaptability of Automated Driving Systems to the Hazardous Nature of Road NetworksIEEE 20th International Conference on Intelligent Transportation Systems (ITSC), Oct 2017, Yokohama, Japan. ⟨10.1109/itsc.2017.8317638⟩
Communication dans un congrès
hal-01724933v1
|
||
|
|
A Turn-Based Approach for Qualitative Time Concurrent GamesPETRI NETS 2021 - 42nd International Conference on Applications and Theory of Petri Nets and Concurrency, Jun 2021, Paris, France. pp.76-92, ⟨10.1007/978-3-030-76983-3_5⟩
Communication dans un congrès
hal-03561748v1
|
||
Integrating simulation and optimization to analyze maintenance policies performances for complex systemsInternational Conference on Industrial Engineering ans Systems Management - IESM'05, May 2005, Marrakech, Morocco
Communication dans un congrès
hal-02563170v1
|
|||
Covert Channels with TransducersThe LICS Workshop on Foundations of Computer Security (FCS'09), Jul 2009, Los Angeles, California, United States. pp.ONLINE
Communication dans un congrès
hal-01298270v1
|
|||
|
|
Comparison of the Expressiveness of Timed Automata and Time Petri NetsFORMATS 2005 - 3rd International Conference on Formal Modeling and Analysis of Timed Systems, Sep 2005, Uppsala, Sweden. pp.211-225, ⟨10.1007/11603009_17⟩
Communication dans un congrès
inria-00368577v1
|
||
|
|
A game approach to the parametric control of real-time systemsInternational Journal of Control, 2018, pp.1-12
Article dans une revue
hal-02010912v1
|
||
|
|
Pomsets and Unfolding of Reset Petri NetsLATA 2018 - 12th International Conference on Language and Automata Theory and Applications, Apr 2018, Ramat Gan, Israel
Communication dans un congrès
hal-01766530v1
|
||
|
|
Application and Theory of Petri Nets and Concurrency: Special Issue of Selected Papers from Petri Nets 2018.Lecture Notes in Computer Science, 169, Springer International Publishing, 2019, Lecture Notes in Computer Science, 978-3-319-91267-7. ⟨10.1007/978-3-319-91268-4⟩
Proceedings/Recueil des communications
hal-02611701v1
|
||
|
|
A T-time Petri net extension for real time-task scheduling modelingEuropean Journal of Automation, 2002, 36 (7), pp.973--987
Article dans une revue
hal-00489238v1
|
||
|
|
Discrete Parameters in Petri NetsApplication and Theory of Petri Nets and Concurrency, 36th International Conference, PETRI NETS 2015, Jun 2015, Bruxelles, Belgium. pp.137-156, ⟨10.1007/978-3-319-19488-2_7⟩
Communication dans un congrès
hal-01222021v1
|
||
|
|
On the compared expressiveness of arc, place and transition time Petri netsFundamenta Informaticae, 2008, 88 (3), pp.225-249
Article dans une revue
hal-00489072v1
|
||
|
|
The EPOC project: Energy Proportional and Opportunistic Computing systemInternational Conference on Smart Cities and Green ICT Systems (SMARTGREENS), May 2015, Lisbonne, Portugal
Communication dans un congrès
hal-01131602v1
|
||
|
|
Synthèse de contrôleur pour les réseaux de Petri temporels basée sur les classes d'étatsModélisation des Systèmes Réactifs (MSR'23), CNRS, Nov 2023, Toulouse, France
Communication dans un congrès
hal-04465232v1
|
||
|
|
Timed Non-interference Under Partial Observability and Bounded Memory21st International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2023), Sep 2023, Antwerp, Belgium. pp.122-137, ⟨10.1007/978-3-031-42626-1_8⟩
Communication dans un congrès
hal-04312271v1
|
||
|
|
Optimal-Cost Reachability Analysis Based on Time Petri Nets18th International Conference on Application of Concurrency to System Design (ACSD 2018), Jun 2018, Bratislava, Slovakia
Communication dans un congrès
hal-01957173v1
|
||
|
|
Decision Problems for Parametric Timed Automata18th International Conference on Formal Engineering Methods (ICFEM 2016), Nov 2016, Tokyo, Japan. ⟨10.1007/978-3-319-47846-3_25⟩
Communication dans un congrès
hal-02538055v1
|
||
|
|
Approche formelle pour la spécialisation de systèmes d'exploitation temps réelModélisation des Systèmes Réactifs (MSR 2015), Nov 2015, Nancy, France
Communication dans un congrès
hal-01224465v1
|
||
A study of the AADL mode change protocol3rd International UML & AADL Workshop, Apr 2008, Belfast, Ireland. pp.288
Communication dans un congrès
hal-00490817v1
|
|||
Symbolic state space of Stopwatch {Petri} nets with discrete-time semanticsThe 29th International Conference on Application and Theory of {Petri} Nets and other models of concurrency (ICATPN 2008), 2008, Xi'an, China. pp.307--326
Communication dans un congrès
hal-00523612v1
|
|||
|
|
Structural Translation of Time Petri Nets into Timed AutomataProceedings of the Workshop on Automated Verification of Critical Systems (AVoCS'04), Sep 2004, London, United Kingdom. pp.145--160
Communication dans un congrès
inria-00368582v1
|
||
Safety Control Synthesis for Time Petri Nets8th International Workshop on Discrete Event Systems (WODES'06), 2006, Ann Arbor, United States. pp.222-228
Communication dans un congrès
hal-00523604v1
|
|||
An efficient method for computing exact state space of Petri nets with stopwatchesthird International Workshop on Software Model-Checking (SoftMC'05), 2005, Edinburgh, United Kingdom. pp.59--77
Communication dans un congrès
hal-00523595v1
|
|||
|
|
Blending Timed Formal Models with Clock Transition SystemsFundamenta Informaticae, 2014, 129 (1-2), pp.85-100
Article dans une revue
hal-00940970v1
|
||
|
|
When are Timed Automata weakly timed bisimilar to Time Petri Nets ?25th Int. Conf. on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'05), Dec 2005, Chennai, India. pp.276--284
Communication dans un congrès
inria-00368578v1
|
||
MORTEM: a new runtime for intermittent computingConférence francophone d'informatique en Parallélisme, Architecture et Système (COMPAS), Jul 2023, Annecy, France
Communication dans un congrès
hal-04354069v1
|