Search - LS2N - équipe STR Access content directly

Filter your results

11 Results
Deposit type : Fulltext
Image document

Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets

Didier Lime , Olivier Henri Roux , Charlotte Seidner
40th 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
Image document

Control of DES with Urgency, Avoidability and Ineluctability

Jean-Luc Béchennec , Didier Lime , Olivier Henri Roux
19th International Conference on Application of Concurrency to System Design (ACSD 2019), Jun 2019, Aachen, Germany
Conference papers hal-02415301v1
Image document

An efficient aperiodic task server for energy harvesting embedded systems

Rola El Osta , Maryline Chetto , Hussein El Ghor
The 2019 IEEE International Conference on Internet of Things and Intelligence Systems, Nov 2019, Kuta, Indonesia
Conference papers hal-02463382v1
Image document

Vers l'entière autonomie énergétique des capteurs sans fil

Maryline Chetto , Hussein El Ghor
Preprints, Working Papers, ... hal-02061373v1
Image document

Statistical model checking for parameterized models

Benoit Delahaye , Paulin Fournier , Didier Lime
Preprints, Working Papers, ... hal-02021064v1
Image document

Contrôle des SED avec urgence,évitabilité et inéluctabilité

Jean-Luc Béchennec , Didier Lime , Hélène Roux
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
Image document

Petri Nets to Arduino (PN2A) Embedding Time Petri Nets into a Microcontroller Architecture

David Delfieu , Maurice Comlan
SCEE, 2019, 1 (2), pp.12-25
Journal articles hal-02454089v1
Image document

Parametric updates in parametric timed automata

Étienne André , Didier Lime , Mathias Ramparison
39th 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
Image document

Ensuring the sustainability of real-time embedded system under both QoS and Energy Constraints

Maissa Abdallah , Nadine Abdallah , Maryline Chetto
Preprints, Working Papers, ... hal-02043355v1
Image document

Model checking paramétrique statistique du plan de vol de drone civil

Ran Bao , Christian Attiogbe , Paulin Fournier , Didier Lime
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-02432687v1
Image document

Integrated Model-checking for the Design of Safe and Efficient Distributed Software Commissioning

Hélène Coullon , Claude Jard , Didier Lime
IFM 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