Filter your results
- 12
- 11
- 6
- 2
- 2
- 1
- 1
- 11
- 1
- 1
- 12
- 12
- 12
- 3
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 4
- 3
- 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
|
|
sorted by
|
|
TCTL Model Checking Lower/Upper-Bound Parametric Timed Automata Without Invariants16th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2018), Sep 2018, Beijing, China. pp.37-52, ⟨10.1007/978-3-030-00151-3_3⟩
Conference papers
hal-01957138v1
|
||
|
Timed Automata with Parametric Updates18th International Conference on Application of Concurrency to System Design (ACSD 2018), Jun 2018, Bratislava, Slovakia. pp.21-29, ⟨10.1109/acsd.2018.000-2⟩
Conference papers
hal-01957157v1
|
||
|
Safety System Architecture for the Design of Dependable and Adaptable Autonomous VehiclesAutomatic. École centrale de Nantes, 2018. English. ⟨NNT : 2018ECDN0009⟩
Theses
tel-02893924v1
|
||
|
Optimal-Cost Reachability Analysis Based on Time Petri Nets18th International Conference on Application of Concurrency to System Design (ACSD 2018), Jun 2018, Bratislava, Slovakia
Conference papers
hal-01957173v1
|
||
|
Testing real-time systems with runtime enforcementIEEE Design & Test, 2018, ⟨10.1109/MDAT.2018.2791801⟩
Journal articles
hal-01713193v1
|
||
|
ARTE: a Simulation Tool for Reconfigurable Energy Harvesting Real-time Embedded Systems2018
Preprints, Working Papers, ...
hal-01756689v1
|
||
|
A Formal Approach for the Design of a Dependable Perception System for Autonomous VehiclesITSC 2018 - 21st IEEE International Conference on Intelligent Transportation Systems, Nov 2018, Maui, United States. pp.1-8, ⟨10.1109/ITSC.2018.8569903⟩
Conference papers
hal-01966844v1
|
||
|
A game approach to the parametric control of real-time systemsInternational Journal of Control, 2018, pp.1-12
Journal articles
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
Conference papers
hal-01766530v1
|
||
|
Distributed computation of vector clocks in Petri nets unfolding for test selectionWorkshop on Discrete Event Systems (WODES), May 2018, Sorrento, Italy
Conference papers
hal-01735406v1
|
||
|
MCC’2017 - The Seventh Model Checking ContestLNCS Transactions on Petri Nets and Other Models of Concurrency, 11090, pp.181-209, 2018, Lecture Notes in Computer Science, ⟨10.1007/978-3-662-58381-4_9⟩
Proceedings
hal-01917492v1
|
||
|
Optimal Real-Time Scheduling Algorithm for Wireless Sensors with Regenerative Energy2018
Preprints, Working Papers, ...
hal-01952950v1
|