Search - LS2N - équipe STR Access content directly

Filter your results

12 Results
Deposit type : Fulltext
Image document

TCTL Model Checking Lower/Upper-Bound Parametric Timed Automata Without Invariants

Etienne André , Didier Lime , Mathias Ramparison
16th 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
Image document

Timed Automata with Parametric Updates

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

Safety System Architecture for the Design of Dependable and Adaptable Autonomous Vehicles

Yrvann Emzivat
Automatic. École centrale de Nantes, 2018. English. ⟨NNT : 2018ECDN0009⟩
Theses tel-02893924v1
Image document

Optimal-Cost Reachability Analysis Based on Time Petri Nets

Hanifa Boucheneb , Didier Lime , Olivier Henri Roux , Charlotte Seidner
18th International Conference on Application of Concurrency to System Design (ACSD 2018), Jun 2018, Bratislava, Slovakia
Conference papers hal-01957173v1
Image document

Testing real-time systems with runtime enforcement

Jean-Luc Béchennec , Matthias Brun , Sébastien Faucou , Louis-Marie Givel , Olivier H. Roux
IEEE Design & Test, 2018, ⟨10.1109/MDAT.2018.2791801⟩
Journal articles hal-01713193v1
Image document

ARTE: a Simulation Tool for Reconfigurable Energy Harvesting Real-time Embedded Systems

Wiem Housseyni , Maryline Chetto
Preprints, Working Papers, ... hal-01756689v1
Image document

A Formal Approach for the Design of a Dependable Perception System for Autonomous Vehicles

Yrvann Emzivat , Javier Ibañez-Guzmán , Hervé Illy , Philippe Martinet , Olivier Roux
ITSC 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
Image document

A game approach to the parametric control of real-time systems

Aleksandra Jovanović , Didier Lime , Olivier Henri Roux
International Journal of Control, 2018, pp.1-12
Journal articles hal-02010912v1
Image document

Pomsets and Unfolding of Reset Petri Nets

Loïg Jezequel , Thomas Chatain , Maurice Comlan , David Delfieu , Olivier Henri Roux
LATA 2018 - 12th International Conference on Language and Automata Theory and Applications, Apr 2018, Ramat Gan, Israel
Conference papers hal-01766530v1
Image document

Distributed computation of vector clocks in Petri nets unfolding for test selection

Loïg Jezequel , Agnes Madalinski , Stefan Schwoon
Workshop on Discrete Event Systems (WODES), May 2018, Sorrento, Italy
Conference papers hal-01735406v1
Image document

MCC’2017 - The Seventh Model Checking Contest

Fabrice Kordon , Hubert Garavel , Lom Hillah , Emmanuel Paviot-Adet , Loïg Jezequel , et al.
LNCS 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
Image document

Optimal Real-Time Scheduling Algorithm for Wireless Sensors with Regenerative Energy

Hussein El Ghor , Maryline Chetto
Preprints, Working Papers, ... hal-01952950v1