Search - LS2N - équipe STR Access content directly

Filter your results

19 Results
Deposit type : Fulltext
Image document

Integer-Complete Synthesis for Bounded Parametric Timed Automata

Étienne André , Didier Lime , Olivier Henri Roux
9th International Conference on Reachability Problems (RP 2015), Sep 2015, Warsaw, Poland. pp.7-19, ⟨10.1007/978-3-319-24537-9_2⟩
Conference papers hal-02939637v1
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

Test de systèmes temps réel à l'aide du forçage en ligne

Louis-Marie Givel
Informatique [cs]. École Centrale de Nantes, 2016. Français. ⟨NNT : ⟩
Theses tel-02943200v1
Image document

Méthode de génération d'exécutifs temps-réel

Toussaint Kabland Gautier Tigori
Système d'exploitation [cs.OS]. École Centrale de Nantes, 2016. Français. ⟨NNT : ⟩
Theses tel-02941589v1
Image document

BEST: a Binary Executable Slicing Tool

Armel Mangean , Jean-Luc Béchennec , Mikaël Briday , Sébastien Faucou
16th International Workshop on Worst-Case Execution Time Analysis (WCET 2016), Jul 2016, Toulouse, France. pp.7:1--7:10, ⟨10.4230/OASIcs.WCET.2016.7⟩
Conference papers hal-01713140v1
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

On-line compositional controller synthesis for AGV

Johan Girault , Jean-Jacques Loiseau , Olivier Henri Roux
Discrete Event Dynamic Systems, 2016, 26 (4), pp.583-610
Journal articles hal-01699902v1
Image document

Integer Parameter Synthesis for Real-Time Systems

Aleksandra Jovanovic , Didier Lime , Olivier Henri Roux
IEEE Transactions on Software Engineering, 2015, 41 (5), pp.445-461. ⟨10.1109/TSE.2014.2357445⟩
Journal articles hal-02939617v1
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