Filter your results
- 11
- 10
- 7
- 3
- 1
- 11
- 11
- 8
- 3
- 11
- 2
- 1
- 1
- 1
- 1
- 7
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets40th International Conference on Applications and Theory of Petri Nets and Concurrency (Petri Nets 2019), Jun 2019, Aachen, Germany. pp.406-425, ⟨10.1007/978-3-030-21571-2_22⟩
Conference papers
hal-02565091v1
|
||
|
Control of DES with Urgency, Avoidability and Ineluctability19th International Conference on Application of Concurrency to System Design (ACSD 2019), Jun 2019, Aachen, Germany
Conference papers
hal-02415301v1
|
||
|
An efficient aperiodic task server for energy harvesting embedded systemsThe 2019 IEEE International Conference on Internet of Things and Intelligence Systems, Nov 2019, Kuta, Indonesia
Conference papers
hal-02463382v1
|
||
|
Vers l'entière autonomie énergétique des capteurs sans fil2019
Preprints, Working Papers, ...
hal-02061373v1
|
||
|
Statistical model checking for parameterized models2019
Preprints, Working Papers, ...
hal-02021064v1
|
||
|
Contrôle des SED avec urgence,évitabilité et inéluctabilitéMSR 2019 - 12ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2019, Angers, France, Nov 2019, Angers, France
Conference papers
hal-02432148v2
|
||
|
Petri Nets to Arduino (PN2A) Embedding Time Petri Nets into a Microcontroller ArchitectureSCEE, 2019, 1 (2), pp.12-25
Journal articles
hal-02454089v1
|
||
|
Parametric updates in parametric timed automata39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.39-56, ⟨10.1007/978-3-030-21759-4_3⟩
Conference papers
hal-02153238v1
|
||
|
Ensuring the sustainability of real-time embedded system under both QoS and Energy Constraints2019
Preprints, Working Papers, ...
hal-02043355v1
|
||
|
Model checking paramétrique statistique du plan de vol de drone civilMSR 2019 - 12ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2019, Angers, France, Nov 2019, Angers, France
Conference papers
hal-02432687v1
|
||
|
Integrated Model-checking for the Design of Safe and Efficient Distributed Software CommissioningIFM 2019 : 15th International Conference on integrated Formal Methods, Dec 2019, Bergen, Norway. pp.120--137, ⟨10.1007/978-3-030-34968-4_7⟩
Conference papers
hal-02323641v1
|