Filter your results
- 19
- 13
- 10
- 4
- 4
- 1
- 18
- 1
- 13
- 4
- 2
- 17
- 2
- 16
- 5
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 9
- 8
- 2
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Integer-Complete Synthesis for Bounded Parametric Timed Automata9th 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
|
||
|
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
|
||
|
Test de systèmes temps réel à l'aide du forçage en ligneInformatique [cs]. École Centrale de Nantes, 2016. Français. ⟨NNT : ⟩
Theses
tel-02943200v1
|
||
|
Méthode de génération d'exécutifs temps-réelSystème d'exploitation [cs.OS]. École Centrale de Nantes, 2016. Français. ⟨NNT : ⟩
Theses
tel-02941589v1
|
||
|
BEST: a Binary Executable Slicing Tool16th 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
|
||
|
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
|
||
|
On-line compositional controller synthesis for AGVDiscrete Event Dynamic Systems, 2016, 26 (4), pp.583-610
Journal articles
hal-01699902v1
|
||
|
Integer Parameter Synthesis for Real-Time SystemsIEEE Transactions on Software Engineering, 2015, 41 (5), pp.445-461. ⟨10.1109/TSE.2014.2357445⟩
Journal articles
hal-02939617v1
|
||
|
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
|