Search - LS2N - équipe STR Access content directly

Filter your results

13 Results
Deposit type : Fulltext
Image document

Dynamic Driving Task Fallback for an Automated Driving System whose Ability to Monitor the Driving Environment has been Compromised

Yrvann Emzivat , Javier Ibanez-Guzman , Philippe Martinet , Olivier Henri Roux
IEEE Intelligent Vehicles Symposium, Jun 2017, Redondo Beach, United States
Conference papers hal-01724931v1
Image document

KTS: a real-time mapping algorithm for NoC-based many-cores

Audrey Queudet , Nadine Abdallah , Maryline Chetto
Journal of Supercomputing, 2017, 73 (8), pp.3635 - 3651. ⟨10.1007/s11227-017-1962-5⟩
Journal articles hal-01737283v1
Image document

Discrete Parameters in Petri Nets

Nicolas David
Formal Languages and Automata Theory [cs.FL]. Université de Nantes Faculté des sciences et des techniques, 2017. English. ⟨NNT : ⟩
Theses tel-01720706v1
Image document

Reachability in Parametric Interval Markov Chains Using Constraints

Anicet Bart , Benoit Delahaye , Didier Lime , Eric Monfroy , Charlotte Truchet
14th International Conference on Quantitative Evaluation of SysTems, Sep 2017, Berlin, Germany. pp.527 - 189, ⟨10.1007/978-3-319-66335-7_11⟩
Conference papers hal-01591036v1
Image document

Embedding Time Petri nets

Maurice Comlan , David Delfieu , Médésu Sogbohossou , Antoine Vianou
(IEEE) 4th-2017 International Conference on Control, Decision and Information Technologies, Apr 2017, Barcelone, Spain
Conference papers hal-01542101v1
Image document

Towards energy-proportional Clouds partially powered by renewable energy

Nicolas Beldiceanu , Bárbara Dumas Feris , Philippe Gravey , Md Sabbir Hasan , Claude Jard , et al.
Computing, 2017, 99 (1), pp.3-22. ⟨10.1007/s00607-016-0503-z⟩
Journal articles hal-01340318v1
Image document

Reachability in Parametric Interval Markov Chains using Constraints

Anicet Bart , Benoit Delahaye , Didier Lime , Eric Monfroy , Charlotte Truchet
2017
Preprints, Working Papers, ... hal-01529681v1
Image document

Optimal Reachability in Cost Time Petri Nets

Hanifa Boucheneb , Didier Lime , Baptiste Parquier , Charlotte Seidner , Olivier Henri Roux
15th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2017), Sep 2017, Berlin, Germany
Conference papers hal-01724290v1
Image document

Coverability Synthesis in Parametric Petri Nets

Nicolas David , Claude Jard , Didier Lime , Olivier Henri Roux
28th International Conference on Concurrency Theory (CONCUR 2017), Sep 2017, Berlin, Germany. ⟨10.4230/LIPIcs.CONCUR.2017.10⟩
Conference papers hal-01724302v1
Image document

Liveness in L/U-Parametric Timed Automatá

Étienne André , Didier Lime
17th International Conference on Application of Concurrency to System Design (ACSD 2017), Jun 2017, Zaragoza, Spain
Conference papers hal-01724293v1
Image document

Adaptability of Automated Driving Systems to the Hazardous Nature of Road Networks

Yrvann Emzivat , Javier Ibanez-Guzman , Philippe Martinet , Olivier Henri Roux
IEEE 20th International Conference on Intelligent Transportation Systems (ITSC), Oct 2017, Yokohama, Japan. ⟨10.1109/itsc.2017.8317638⟩
Conference papers hal-01724933v1
Image document

Contributions to Real Time Scheduling for Energy Autonomous Systems.

Rola El Osta
Embedded Systems. Université de Nantes, 2017. English. ⟨NNT : ⟩
Theses tel-01636870v1
Image document

Let's Be Lazy, We Have Time or, Lazy Reachability Analysis for Timed Automata

Loïg Jezequel , Didier Lime
15th International Conference on Formal Modeling and Analysis of Timed Systems, Sep 2017, Berlin, Germany
Conference papers hal-01699301v1