Search - LS2N - équipe STR Access content directly

Filter your results

22 Results
Deposit type : Fulltext
Image document

Pipeline Optimization using a Cost Extension of Timed Petri Nets

Rémi Parrot , Mikaël Briday , Olivier H Roux
2021 IEEE 28th Symposium on Computer Arithmetic (ARITH), Jun 2021, Lyngby, Denmark. pp.37-44, ⟨10.1109/ARITH51176.2021.00018⟩
Conference papers hal-03464317v1
Image document

Online Admission of Hard Aperiodic Tasks in Real-Time Energy Harvesting Systems

Rola El Osta , Maryline Chetto
6 th International Conference on Smart and Sustainable Technologies, Sep 2021, Split, Croatia
Conference papers hal-03339286v1
Image document

Timed Petri Nets with Reset for Pipelined Synchronous Circuit Design

Rémi Parrot , Mikaël Briday , Olivier H Roux
42nd 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
Image document

Support d'exécution pour le calcul intermittent

Jean-Luc Béchennec , Antoine Bernabeu , Mikaël Briday , Sébastien Faucou
COMPAS 2021, Jul 2021, Lyon, France.
Conference poster hal-03446983v1
Image document

Synthèse de traces temporisées à coût optimal pour l'ordonnancement de systèmes embarqués intermittents

Antoine Bernabeu , Jean-Luc Béchennec , Mikaël Briday , Sébastien Faucou , Olivier Henri Roux
Modélisation des Systèmes Réactifs (MSR'21), Nov 2021, Paris, France
Conference papers hal-03449539v1
Image document

A Lazy Query Scheme for Reachability Analysis in Petri Nets

Loïg Jezequel , Didier Lime , Bastien Sérée
International 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
Image document

An Algorithm for Single-Source Shortest Paths Enumeration in Parameterized Weighted Graphs

Bastien Sérée , Loïg Jezequel , Didier Lime
Language and Automata Theory and Applications, Sep 2021, Milan, Italy. pp.279-290, ⟨10.1007/978-3-030-68195-1_22⟩
Conference papers hal-03561972v1
Image document

On designing cyber-physical-social systems with energy-neutrality and real-time capabilities

Mohamed Irfanulla Mohamed Abdulla , Maryline Chetto , Audrey Queudet , Lamia Belouaer
the 4th IEEE International Conference on Industrial Cyber-Physical Systems (ICPS), May 2021, Victoria (on line), Canada
Conference papers hal-03222080v1
Image document

Energy Efficiency is Not Enough: Towards a Batteryless Internet of Sounds

Vincent Lostanlen , Antoine Bernabeu , Jean-Luc Béchennec , Mikaël Briday , Sébastien Faucou , et al.
Proceedings of the International Workshop on the Internet of Sounds (IWIS), Audio Mostly, Sep 2021, Trento, Italy
Conference papers hal-03324622v1
Image document

Logical time control of concurrent DES

Jean-Luc Béchennec , Didier Lime , Olivier H. Roux
Discrete Event Dynamic Systems, 2021, ⟨10.1007/s10626-020-00333-x⟩
Journal articles hal-03103458v1
Image document

Dynamic power management for fixed priority real-time systems with regenerative energy

Maryline Chetto
The 8th International Conference on Future Internet of Things and Cloud (FiCloud 2021), Aug 2021, Virtual, Italy
Conference papers hal-03272351v1
Image document

Energy Management and Real-Time Scheduling for Self-Powered Sensors

Rola El Osta , Maryline Chetto , Hussein El Ghor
The 2021 International Symposium on Electrical and Electronics Engineering (ISEE 2021), Apr 2021, Ho Chi Minh City, Vietnam
Conference papers hal-03216352v1
Image document

Formal schedulability analysis based on multi-core RTOS model

Imane Haur , Jean-Luc Béchennec , Olivier Henri Roux
RTNS '2021. The 29th International Conference on Real-Time Networks and Systems, Apr 2021, Nantes, France. ⟨10.1145/3453417.3453437⟩
Conference papers hal-03454818v1
Image document

Parametric Analyses of Attack-fault Trees

Étienne André , Didier Lime , Mathias Ramparison , Mariëlle Stoelinga
Fundamenta Informaticae, 2021, 182 (1), pp.69 - 94. ⟨10.3233/fi-2021-2066⟩
Journal articles hal-03483440v1
Image document

Grafcet to Arduino: Edit and Upload Grafcets on an Arduino Boards

Maurice Comlan , David Delfieu , Narcisse Assogba
The International Conference on Electrical, Computer, Communications and Mechatronics Engineering (ICECCME), Oct 2021, Mauritius, Mauritius. ⟨10.1109/ICECCME52200.2021.9590933⟩
Conference papers hal-03562309v2
Image document

Réseaux de Petri temporisés pour la conception et vérification de circuits pipelinés

Rémi Parrot , Mikaël Briday , Olivier H Roux
Modélisation des Systèmes Réactifs (MSR'21), Nov 2021, Paris, France
Conference papers hal-03587736v1
Image document

Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019

Fabrice Kordon , Lom Messan Hillah , Francis Hulin-Hubard , Loïg Jezequel , Emmanuel Paviot-Adet
International Journal on Software Tools for Technology Transfer, 2021, ⟨10.1007/s10009-021-00615-1⟩
Journal articles hal-03251314v1
Image document

Synchronisation et Autonomie énergétique des Systèmes temps réel embarqués

Audrey Queudet
Système d'exploitation [cs.OS]. Université de Nantes, 2021
Habilitation à diriger des recherches tel-03562847v1
Image document

An optimal energy aware aperiodic task server for autonomous IoT sensors

Rola El Osta , Maryline Chetto , Hussein El Ghor
International Journal of Electrical and Computer Engineering Research, 2021, 1 (2), ⟨10.53375/ijecer.2021.37⟩
Journal articles hal-03485614v1
Image document

O(1)-online approximation of the slack for periodic task sets under EDF scheduling

Maryline Chetto , Laurent George
The 4th IFAC Conference on Embedded Systems, Computational Intelligence and Telematics in Control (CESCIT 2021), Jul 2021, Valenciennes, France
Conference papers hal-03222093v1
Image document

Optimal Real-Time Scheduling Algorithm for Wireless Sensors with Regenerative Energy

Hussein El Ghor , Maryline Chetto
The Computer Journal, In press, ⟨10.1093/comjnl/bxab048⟩
Journal articles hal-03225276v1
Image document

A Turn-Based Approach for Qualitative Time Concurrent Games

Serge Haddad , Didier Lime , Olivier H Roux
PETRI 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