Filter your results
- 22
- 4
- 15
- 5
- 1
- 1
- 22
- 1
- 1
- 22
- 18
- 4
- 22
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 7
- 6
- 5
- 5
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Pipeline Optimization using a Cost Extension of Timed Petri Nets2021 IEEE 28th Symposium on Computer Arithmetic (ARITH), Jun 2021, Lyngby, Denmark. pp.37-44, ⟨10.1109/ARITH51176.2021.00018⟩
Conference papers
hal-03464317v1
|
||
|
Online Admission of Hard Aperiodic Tasks in Real-Time Energy Harvesting Systems6 th International Conference on Smart and Sustainable Technologies, Sep 2021, Split, Croatia
Conference papers
hal-03339286v1
|
||
|
Timed Petri Nets with Reset for Pipelined Synchronous Circuit Design42nd International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2021, Paris, France. pp.55-75, ⟨10.1007/978-3-030-76983-3_4⟩
Conference papers
hal-03266806v1
|
||
|
Support d'exécution pour le calcul intermittentConference poster hal-03446983v1 |
||
|
Synthèse de traces temporisées à coût optimal pour l'ordonnancement de systèmes embarqués intermittentsModélisation des Systèmes Réactifs (MSR'21), Nov 2021, Paris, France
Conference papers
hal-03449539v1
|
||
|
A Lazy Query Scheme for Reachability Analysis in Petri NetsInternational Conference on Applications and Theory of Petri Nets and Concurrency, Jun 2021, Paris, France. pp.360-378, ⟨10.1007/978-3-030-76983-3_18⟩
Conference papers
hal-03561703v1
|
||
|
An Algorithm for Single-Source Shortest Paths Enumeration in Parameterized Weighted GraphsLanguage and Automata Theory and Applications, Sep 2021, Milan, Italy. pp.279-290, ⟨10.1007/978-3-030-68195-1_22⟩
Conference papers
hal-03561972v1
|
||
|
On designing cyber-physical-social systems with energy-neutrality and real-time capabilitiesthe 4th IEEE International Conference on Industrial Cyber-Physical Systems (ICPS), May 2021, Victoria (on line), Canada
Conference papers
hal-03222080v1
|
||
|
Energy Efficiency is Not Enough: Towards a Batteryless Internet of SoundsProceedings of the International Workshop on the Internet of Sounds (IWIS), Audio Mostly, Sep 2021, Trento, Italy
Conference papers
hal-03324622v1
|
||
|
Logical time control of concurrent DESDiscrete Event Dynamic Systems, 2021, ⟨10.1007/s10626-020-00333-x⟩
Journal articles
hal-03103458v1
|
||
|
Dynamic power management for fixed priority real-time systems with regenerative energyThe 8th International Conference on Future Internet of Things and Cloud (FiCloud 2021), Aug 2021, Virtual, Italy
Conference papers
hal-03272351v1
|
||
|
Energy Management and Real-Time Scheduling for Self-Powered SensorsThe 2021 International Symposium on Electrical and Electronics Engineering (ISEE 2021), Apr 2021, Ho Chi Minh City, Vietnam
Conference papers
hal-03216352v1
|
||
|
Formal schedulability analysis based on multi-core RTOS modelRTNS '2021. The 29th International Conference on Real-Time Networks and Systems, Apr 2021, Nantes, France. ⟨10.1145/3453417.3453437⟩
Conference papers
hal-03454818v1
|
||
|
Parametric Analyses of Attack-fault TreesFundamenta Informaticae, 2021, 182 (1), pp.69 - 94. ⟨10.3233/fi-2021-2066⟩
Journal articles
hal-03483440v1
|
||
|
Grafcet to Arduino: Edit and Upload Grafcets on an Arduino BoardsThe International Conference on Electrical, Computer, Communications and Mechatronics Engineering (ICECCME), Oct 2021, Mauritius, Mauritius. ⟨10.1109/ICECCME52200.2021.9590933⟩
Conference papers
hal-03562309v2
|
||
|
Réseaux de Petri temporisés pour la conception et vérification de circuits pipelinésModélisation des Systèmes Réactifs (MSR'21), Nov 2021, Paris, France
Conference papers
hal-03587736v1
|
||
|
Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019International Journal on Software Tools for Technology Transfer, 2021, ⟨10.1007/s10009-021-00615-1⟩
Journal articles
hal-03251314v1
|
||
|
Synchronisation et Autonomie énergétique des Systèmes temps réel embarquésSystème d'exploitation [cs.OS]. Université de Nantes, 2021
Habilitation à diriger des recherches
tel-03562847v1
|
||
|
An optimal energy aware aperiodic task server for autonomous IoT sensorsInternational Journal of Electrical and Computer Engineering Research, 2021, 1 (2), ⟨10.53375/ijecer.2021.37⟩
Journal articles
hal-03485614v1
|
||
|
O(1)-online approximation of the slack for periodic task sets under EDF schedulingThe 4th IFAC Conference on Embedded Systems, Computational Intelligence and Telematics in Control (CESCIT 2021), Jul 2021, Valenciennes, France
Conference papers
hal-03222093v1
|
||
|
Optimal Real-Time Scheduling Algorithm for Wireless Sensors with Regenerative EnergyThe Computer Journal, In press, ⟨10.1093/comjnl/bxab048⟩
Journal articles
hal-03225276v1
|
||
|
A Turn-Based Approach for Qualitative Time Concurrent GamesPETRI NETS 2021 - 42nd International Conference on Applications and Theory of Petri Nets and Concurrency, Jun 2021, Paris, France. pp.76-92, ⟨10.1007/978-3-030-76983-3_5⟩
Conference papers
hal-03561748v1
|