Filter your results
- 13
- 10
- 8
- 2
- 2
- 1
- 13
- 13
- 13
- 12
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 7
- 5
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Dynamic Driving Task Fallback for an Automated Driving System whose Ability to Monitor the Driving Environment has been CompromisedIEEE Intelligent Vehicles Symposium, Jun 2017, Redondo Beach, United States
Conference papers
hal-01724931v1
|
||
|
KTS: a real-time mapping algorithm for NoC-based many-coresJournal of Supercomputing, 2017, 73 (8), pp.3635 - 3651. ⟨10.1007/s11227-017-1962-5⟩
Journal articles
hal-01737283v1
|
||
|
Discrete Parameters in Petri NetsFormal Languages and Automata Theory [cs.FL]. Université de Nantes Faculté des sciences et des techniques, 2017. English. ⟨NNT : ⟩
Theses
tel-01720706v1
|
||
|
Reachability in Parametric Interval Markov Chains Using Constraints14th 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
|
||
|
Embedding Time Petri nets(IEEE) 4th-2017 International Conference on Control, Decision and Information Technologies, Apr 2017, Barcelone, Spain
Conference papers
hal-01542101v1
|
||
|
Towards energy-proportional Clouds partially powered by renewable energyComputing, 2017, 99 (1), pp.3-22. ⟨10.1007/s00607-016-0503-z⟩
Journal articles
hal-01340318v1
|
||
|
Reachability in Parametric Interval Markov Chains using Constraints2017
Preprints, Working Papers, ...
hal-01529681v1
|
||
|
Optimal Reachability in Cost Time Petri Nets15th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2017), Sep 2017, Berlin, Germany
Conference papers
hal-01724290v1
|
||
|
Coverability Synthesis in Parametric Petri Nets28th International Conference on Concurrency Theory (CONCUR 2017), Sep 2017, Berlin, Germany. ⟨10.4230/LIPIcs.CONCUR.2017.10⟩
Conference papers
hal-01724302v1
|
||
|
Liveness in L/U-Parametric Timed Automatá17th International Conference on Application of Concurrency to System Design (ACSD 2017), Jun 2017, Zaragoza, Spain
Conference papers
hal-01724293v1
|
||
|
Adaptability of Automated Driving Systems to the Hazardous Nature of Road NetworksIEEE 20th International Conference on Intelligent Transportation Systems (ITSC), Oct 2017, Yokohama, Japan. ⟨10.1109/itsc.2017.8317638⟩
Conference papers
hal-01724933v1
|
||
|
Contributions to Real Time Scheduling for Energy Autonomous Systems.Embedded Systems. Université de Nantes, 2017. English. ⟨NNT : ⟩
Theses
tel-01636870v1
|
||
|
Let's Be Lazy, We Have Time or, Lazy Reachability Analysis for Timed Automata15th International Conference on Formal Modeling and Analysis of Timed Systems, Sep 2017, Berlin, Germany
Conference papers
hal-01699301v1
|