Search - Archive ouverte HAL Access content directly

Filter your results

150 Results
Image document

Causal-Consistent Debugging of Distributed Erlang Programs - Technical Report

Giovanni Fabbretti , Ivan Lanese , Jean-Bernard Stefani
[Research Report] Inria - Research Centre Grenoble – Rhône-Alpes. 2021
Reports hal-03247624v1
Image document

A Multi-Rate Precision Timed Programming Language for Multi-Cores

Alain Girault , Nicolas Hili , Éric Jenn , Eugene Yip
FDL 2019 - Forum for Specification and Design Languages, Sep 2019, Southampton, United Kingdom. pp.1-8, ⟨10.1109/FDL.2019.8876950⟩
Conference papers hal-02399998v1

Two Mechanisations of WebAssembly 1.0

Conrad Watt , Xiaojia Rao , Jean Pichon-Pharabod , Martin Bodin , Philippa Gardner et al.
FM 2021 - Formal Methods, Nov 2021, Beijing, China. pp.1-19
Conference papers hal-03353748v1
Image document

Checkpoint/rollback vs causally-consistent reversibility

Martin Vassor , Jean-Bernard Stefani
RC 2018 - 10th International Conference on Reversible Computation, Sep 2018, Leicester, United Kingdom. pp.286-303, ⟨10.1007/978-3-319-99498-7_20⟩
Conference papers hal-01953756v1
Image document

Worst-Case Reaction Time Optimization on Deterministic Multi-Core Architectures with Synchronous Languages

Nicolas Hili , Alain Girault , Eric Jenn
25th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'19), Aug 2019, Hangzhou, China. pp.10, ⟨10.1109/RTCSA.2019.8864570⟩
Conference papers hal-02400009v1

Abstract Acceleration of General Linear Loops

Bertrand Jeannet , Peter Schrammel , Sriram Sankaranarayanan
2013, pp.1-18
Other publications hal-00924264v1
Image document

libDGALS: A Library-based Approach to Design Dynamic GALS Systems

Wei-Tsun Sun , Alain Girault , Zoran Salcic , Avinash Malik
9th IEEE International Symposium on Industrial Embedded Systems (SIES 2014), Jun 2014, Pisa, Italy
Conference papers hal-00996978v1

Timed behavioural modelling and affine scheduling of embedded software architectures in the AADL using Polychrony

Loïc Besnard , Adnan Bouakaz , Thierry Gautier , Paul Le Guernic , Yue Ma et al.
Science of Computer Programming, 2014, Science of Computer Programming, pp.20
Journal articles hal-01095010v1

Typical Worst Case Response-Time Analysis and its Use in Automotive Network Design

Sophie Quinton , Julien Hennig , Torsten Bone , Moritz Neukirchner , Rolf Ernst et al.
The 51st Annual Design Automation Conference 2014, Jun 2014, San Francisco, CA, United States. ⟨10.1145/2593069.2602977⟩
Conference papers hal-01097619v1
Image document

Blaming in component-based real-time systems

Gregor Gössler , Lacramioara Astefanoaei
Proceedings of the 14th International Conference on Embedded Software - EMSOFT'14, Oct 2014, Delhi, India. ⟨10.1145/2656045.2656048⟩
Conference papers hal-01078214v1
Image document

Work In Progress: Toward a Coq-certified Tool for the Schedulability Analysis of Tasks with Offsets

Xiaojie Guo , Sophie Quinton , Pascal Fradet , Jean-François Monin
RTSS 2017 - IEEE Real-Time Systems Symposium, Dec 2017, Paris, France. pp.1-3
Conference papers hal-01629288v1
Image document

Extending the Wait-free Hierarchy to Multi-Threaded Systems

Matthieu Perrin , Achour Mostefaoui , Grégoire Bonin , Ludmila Courtillat-Piazza
Distributed Computing, 2022, 35, pp.375-398. ⟨10.1007/s00446-022-00425-x⟩
Journal articles hal-03819422v1
Image document

RDF: A Reconfigurable Dataflow Model of Computation

Pascal Fradet , Alain Girault , Ruby Krishnaswamy , Xavier Nicollin , Arash Shafiei et al.
[Research Report] RR-9439, Inria Grenoble Rhône-Alpes, Université de Grenoble. 2021
Reports hal-03495883v1
Image document

A Linear Time Algorithm for Computing Off-line Speed Schedules Minimizing Energy Consumption

Bruno Gaujal , Alain Girault , Stéphan Plassart
MSR 2019 - 12ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2019, Angers, France. pp.1-14
Conference papers hal-02372136v1

Counterfactual Causality from First Principles?

Gregor Gössler , Oleg Sokolsky , Jean-Bernard Stefani
2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies (CREST 2017), 2017, Uppsala, Sweden. pp.47 - 53, ⟨10.4204/EPTCS.259.5⟩
Conference papers hal-01631415v1
Image document

Quantifying the Flexibility of Real-Time Systems

Rafik Henia , Alain Girault , Christophe Prévot , Sophie Quinton , Laurent Rioux et al.
10th Junior Researcher Workshop on Real-Time Computing , Oct 2016, Brest, France
Conference papers hal-01426658v1
Image document

The ForeC Synchronous Deterministic Parallel Programming Language for Multicores

Eugene Yip , Alain Girault , Partha S Roop , Morteza Biglari-Abhari
IEEE 10th International Symposium on Embedded Multicore/Many-core Systems-on-Chip, MCSoC'16, Sep 2016, Lyon, France
Conference papers hal-01412102v1
Image document

Sciences, Environnements et Sociétés

Françoise Berthoud , Pascal Guitton , Laurent Lefèvre , Sophie Quinton , Antoine Rousseau et al.
[0] Inria. 2019
Reports hal-02340948v1

CertiCAN : Certifying CAN Analyses and Their Results

Pascal Fradet , Xiaojie Guo , Sophie Quinton
Real-Time Systems, In press
Journal articles hal-03941096v1

SFC Self-Modeling and Active Diagnosis

Sihem Cherrared , Sofiane Imadali , Eric Fabre , Gregor Gössler
IEEE Transactions on Network and Service Management, 2021, 18 (3), pp.2515-2530. ⟨10.1109/TNSM.2021.3086424⟩
Journal articles hal-03352706v1
Image document

LUMEN: A Global Fault Management Framework For Network Virtualization Environments

Sihem Cherrared , Sofiane Imadali , Eric Fabre , Gregor Gössler
ICIN 2018 - 21st Conference on Innovation in Clouds, Internet and Networks and Workshops, Feb 2018, Paris, France. pp.1-8, ⟨10.1109/ICIN.2018.8401622⟩
Conference papers hal-01851610v1

Integrating Formal Schedulability Analysis into a Verified OS Kernel

Xiaojie Guo , Maxime Lesourd , Mengqi Liu , Lionel Rieg , Zhong Shao et al.
Computer Aided Verification, Jul 2019, New York, United States. pp.496-514, ⟨10.1007/978-3-030-25543-5_28⟩
Conference papers hal-02289494v1

A Static Analysis for the Minimization of Voters in Fault-Tolerant Circuits

Dmitry Burlyaev , Pascal Fradet , Alain Girault
Leibniz Transactions on Embedded Systems, 2018, 5 (1), pp.1-26. ⟨10.4230/LITES-v005-i001-a004⟩
Journal articles hal-02065630v1
Image document

Demo Abstract: Bounding Deadline Misses for Weakly-Hard Real-Time Systems Designed in CAPELLA

Rafik Henia , Laurent Rioux , Nicolas Sordon , Zain a H Hammadeh , Rolf Ernst et al.
RTAS 2017 - IEEE Real-Time and Embedded Technology and Applications Symposium, Apr 2017, Pittsburgh, United States. , pp.1-2
Conference poster hal-01674754v1
Image document

Budgeting Under-Specified Tasks for Weakly-Hard Real-Time Systems

Zain a H Hammadeh , Sophie Quinton , Marco Panunzio , Rafik Henia , Laurent Rioux et al.
ECRTS 2017 - 29th Euromicro Conference on Real-Time Systems, Jun 2017, Dubrovnik, Croatia. pp.1-22, ⟨10.4230/LIPIcs.ECRTS.2017.17⟩
Conference papers hal-01674742v1

A Survey of Parametric Dataflow Models of Computation

Adnan Bouakaz , Pascal Fradet , Alain Girault
ACM Transactions on Design Automation of Electronic Systems, 2017
Journal articles hal-01417126v1
Image document

Building Correct Cyber-Physical Systems: Why we need a Multiview Contract Theory

Susanne Graf , Sophie Quinton , Alain Girault , Gregor Gössler
FMICS 2018 - 23rd International Conference on Formal Methods for Industrial Critical Systems, Sep 2018, Dublin, Ireland. pp.19-31, ⟨10.1007/978-3-030-00244-2_2⟩
Conference papers hal-01891146v1
Image document

A Novel Framework for Quantifying Accuracy and Precision of Event Detection Algorithms in FES-Cycling

Ronan Le Guillou , Martin Schmoll , Benoît Sijobert , David Lobato Borges , Emerson Fachin-Martins et al.
Sensors, 2021, 21 (13), pp.1-13. ⟨10.3390/s21134571⟩
Journal articles hal-03278596v1
Image document

Formal Verification of Orchestration Templates for Reliable Deployment with OpenStack Heat

Adja Ndeye Sylla , Karine Guillouard , Frédéric Klamm , Meryem Ouzzif , Philippe Merle et al.
CNSM 2019 - 15th International Conference on Network and Service Management, Oct 2019, Halifax, Canada. pp.1-5, ⟨10.23919/CNSM46954.2019.9012739⟩
Conference papers hal-02375386v1
Image document

A Linear Time Algorithm Computing the Optimal Speeds Minimizing Energy Under Real-Time Constraints

Bruno Gaujal , Alain Girault , Stéphan Plassart
[Research Report] RR-9339, Inria Grenoble Rhône-Alpes. 2020
Reports hal-02540230v1