Publications

2024

Journal articles

titre

Congruent Indirect Touch vs. mouse pointing performance

auteur

François Bérard

article

International Journal of Human-Computer Studies, 2024, 187, pp.103261. ⟨10.1016/j.ijhcs.2024.103261⟩

Accès au texte intégral et bibtex

titre

Effets environnementaux de la 5G

auteur

Philippe Ciblat, Jacques Combaz, Marceau Coupechoux, Kevin Marquet, Anne-Cécile Orgerie

article

1024 : Bulletin de la Société Informatique de France, 2024, 23, pp.53-72. ⟨10.48556/SIF.1024.23.53⟩

Accès au texte intégral et bibtex

titre

Automated Buffer Sizing of Dataflow Applications in a High-Level Synthesis Workflow

auteur

Alexandre Honorat, Mickaël Dardaillon, Hugo Miomandre, Jean-François Nezan

article

ACM Transactions on Reconfigurable Technology and Systems (TRETS), 2024, 17 (1), pp.1-26. ⟨10.1145/3626103⟩

Accès au texte intégral et bibtex

Conference papers

titre

In-depth analysis of Kubernetes manifest verification tools for robust CNF deployment

auteur

Boubacar Diarra, Karine Guillouard, Meryem Ouzzif, Philippe Merle, Jean-Bernard Stefani

article

ICIN 2024 – Conference on Innovation in Clouds, Internet and Networks, DNAC, Mar 2024, Paris, France. pp.1-8

Accès au texte intégral et bibtex

titre

Taking conviviality seriously (extended abstract)

auteur

Sophie Quinton, Jean-Bernard Stefani

article

2024 – 1st conference on Undone Science in Computer Science, Feb 2024, Nantes, France. pp.1-4

Accès au texte intégral et bibtex

titre

Informatique et durabilité, une difficile transposition didactique

auteur

Baptiste de Goër, Hersch Micha, Sophie Quinton

article

DidaSTIC 2024 – Colloque Didapro 10 sur la Didactique de l’informatique et des STIC, Jan 2024, Louvain-La-Neuve, Belgique. pp.23-32

Accès au texte intégral et bibtex

titre

Informatique et durabilité, une difficile transposition didactique

auteur

Baptiste de Goër, Micha Hersch, Sophie Quinton

article

Didapro 10 2024 – Didactique de l’informatique et des STIC, Jan 2024, Louvain-la-Neuve, Belgique. pp.1-10

Accès au texte intégral et bibtex

2023

Journal articles

titre

Real-Time Fixed Priority Scheduling Synthesis using Affine DataFlow Graphs: from Theory to Practice

auteur

Alexandre Honorat, Hai Nam Tran, Thierry Gautier, Loïc Besnard, Shuvra S. Bhattacharyya, Jean-Pierre Talpin

article

ACM Transactions on Embedded Computing Systems (TECS), 2023, pp.1-30. ⟨10.1145/3615586⟩

Accès au texte intégral et bibtex

titre

Synchronous Deterministic Parallel Programming for Multi-Cores with ForeC

auteur

Eugene Yip, Alain Girault, Partha S Roop, Morteza Biglari-Abhari

article

ACM Transactions on Programming Languages and Systems (TOPLAS), 2023, 45 (2), pp.1-74. ⟨10.1145/3591594⟩

Accès au texte intégral et bibtex

titre

A long road ahead: a review of the state of knowledge of the environmental effects of digitization

auteur

Gauthier Roussilhe, Anne-Laure Ligozat, Sophie Quinton

article

Current Opinion in Environmental Sustainability, 2023, 62, pp.101296. ⟨10.1016/j.cosust.2023.101296⟩

Accès au texte intégral et bibtex

titre

CertiCAN : Certifying CAN Analyses and Their Results

auteur

Pascal Fradet, Xiaojie Guo, Sophie Quinton

article

Real-Time Systems, 2023, 59 (2), pp.160-198. ⟨10.1007/s11241-023-09393-2⟩

Accès au texte intégral et bibtex

Conference papers

titre

A Semantics of Core Erlang with Handling of Signals

auteur

Aurélie Kong Win Chang, Jerome Feret, Gregor Gössler

article

Erlang 2023 – 22nd ACM SIGPLAN International Workshop on Erlang, Sep 2023, Seattle WA, United States. pp.31-38, ⟨10.1145/3609022.3609417⟩

Accès au texte intégral et bibtex

titre

Sequential Scheduling of Dataflow Graphs for Memory Peak Minimization

auteur

Pascal Fradet, Alain Girault, Alexandre Honorat

article

LCTES 2023 – 24th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems, Jun 2023, Orlando (FL), United States. pp.76-86, ⟨10.1145/3589610.3596280⟩

Accès au texte intégral et bibtex

titre

Instrumentation de l’association de registres sémiotiques dans un assistant de preuve

auteur

Emmanuel Beffara, Martin Bodin, Nadine Mandran, Rémi Molinier

article

EIAH2023 – 11ème Conférence sur les Environnements Informatiques pour l’Apprentissage Humain, Association des Technologies de l’Information pour l’Éducation et la Formation, Jun 2023, Brest, France. pp.1-5

Accès au texte intégral et bibtex

titre

Assessing the Potential of Carpooling for Reducing Vehicle Kilometers Traveled

auteur

Aina Rasoldier, Alain Girault, Sophie Quinton, Jacques Combaz, Kevin Marquet

article

ICT4S 2023 – 9th International Conference on Information and Communications Technology for Sustainability, Jun 2023, Rennes, France. pp.120-131, ⟨10.1109/ICT4S58814.2023.00021⟩

Accès au texte intégral et bibtex

titre

Effectful Programming across Heterogeneous Computations -Work in Progress

auteur

Jean Abou-Samra, Yannick Zakowski, Martin Bodin

article

JFLA 2023 – 34èmes Journées Francophones des Langages Applicatifs, Jan 2023, Praz-sur-Arly, France. pp.7-23

Accès au texte intégral et bibtex

Reports

titre

A formally verified circuit transformation to tolerate SEMTs

auteur

Vincent Bonczak, Pascal Fradet

article

RR-9523, Inria Grenoble – Rhône-Alpes. 2023, pp.1-25

Accès au texte intégral et bibtex

titre

A Behavioral Theory For Crash Failures and Erlang-style Recoveries In Distributed Systems

auteur

Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani

article

RR-9511, Inria. 2023

Accès au texte intégral et bibtex

titre

Guide de bonnes pratiques numérique responsable pour les organisations

auteur

Agnès Comte, Alexandra Grout, Anne Crance, Maxime Nebule, Romain Cassiaux, Rachid Igouti, Anne-Cécile Orgerie, Anne-Laure Ligozat, Brigitte Tran, Catherine Petit, Yveline Baratta, Florence Launay, Didier Mallarino, Emmanuelle Frenoux, Francis Vivat, Françoise Berthoud, Frédéric Damiens, Hervé Le Luherne, Julie Delmas-Orgelet, Laurent Lefèvre, Laurent Pingault, Murielle Timsit, Richard Hanna, Olivier Joviado, Romuald Ribault, Sophie Quinton, Viviane Valla

article

Direction interministérielle du numérique (DINUM); MiNumEco, mission interministérielle numérique écoresponsable; Ministère de la Transition écologique et de la Cohésion des territoires; Institut du Numérique Responsable (INR); EcoInfo. 2023

Accès au texte intégral et bibtex

2022

Journal articles

titre

RDF: A Reconfigurable Dataflow Model of Computation

auteur

Pascal Fradet, Alain Girault, Ruby Krishnaswamy, Xavier Nicollin, Arash Shafiei

article

ACM Transactions on Embedded Computing Systems (TECS), 2022, ⟨10.1145/3544972⟩

Accès au texte intégral et bibtex

titre

Extending the Wait-free Hierarchy to Multi-Threaded Systems

auteur

Matthieu Perrin, Achour Mostefaoui, Grégoire Bonin, Ludmila Courtillat-Piazza

article

Distributed Computing, 2022, 35, pp.375-398. ⟨10.1007/s00446-022-00425-x⟩

Accès au texte intégral et bibtex

titre

The crisis of the scientific mind : an investigation, a tragedy and a collective redistribution of roles

auteur

Eric Tannier, Vincent Daubin, Sophie Quinton

article

Les Cahiers de Framespa : e-Storia, 2022, 40, ⟨10.4000/framespa.13150⟩

Accès au texte intégral et bibtex

Conference papers

titre

Generation of a Reversible Semantics for Erlang in Maude

auteur

Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani

article

ICFEM 2022 – 23rd International Conference on Formal Engineering Methods, Oct 2022, Madrid, Spain. pp.106-122, ⟨10.1007/978-3-031-17244-1_7⟩

Accès au texte intégral et bibtex

titre

Reversibility in Erlang: Imperative Constructs

auteur

Pietro Lami, Ivan Lanese, Jean-Bernard Stefani, Claudio Sacerdoti Coen, Giovanni Fabbretti

article

RC 2022 – 14th International Conference on Reversible Computation, Jul 2022, Urbino, Italy. pp.187-203, ⟨10.1007/978-3-031-09005-9_13⟩

Accès au texte intégral et bibtex

titre

A Formal Link Between Response Time Analysis and Network Calculus

auteur

Pierre Roux, Sophie Quinton, Marc Boyer

article

ECRTS 2022 – 34th Euromicro Conference on Real-Time Systems, Jul 2022, Modene, Italy. ⟨10.4230/DARTS.8.1.3⟩

Accès au texte intégral et bibtex

titre

How realistic are claims about the benefits of using digital technologies for GHG emissions mitigation?

auteur

Aina Rasoldier, Jacques Combaz, Alain Girault, Kevin Marquet, Sophie Quinton

article

LIMITS 2022 – Eighth Workshop on Computing within Limits, Jun 2022, Virtual, France

Accès au texte intégral et bibtex

titre

Influence of Dataflow Graph Moldable Parameters on Optimization Criteria

auteur

Alexandre Honorat, Thomas Bourgoin, Hugo Miomandre, Karol Desnos, Daniel Menard, Jean-François Nezan

article

DASIP 2022 – Workshop on Design and Architectures for Signal and Image Processing, Jun 2022, Budapest, Hungary. pp.83-95, ⟨10.1007/978-3-031-12748-9_7⟩

Accès au texte intégral et bibtex

Reports

titre

Reversibility in Erlang: Imperative Constructs -Technical Report

auteur

Pietro Lami, Ivan Lanese, Jean-Bernard Stefani, Claudio Sacerdoti Coen, Giovanni Fabbretti

article

[Research Report] Inria – Research Centre Grenoble – Rhône-Alpes. 2022, pp.1-28

Accès au texte intégral et bibtex

titre

Generation of a reversible semantics for Erlang in Maude

auteur

Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani

article

[Research Report] RR-9468, Inria – Research Centre Grenoble – Rhône-Alpes. 2022, pp.1-22

Accès au texte intégral et bibtex

2021

Journal articles

titre

SFC Self-Modeling and Active Diagnosis

auteur

Sihem Cherrared, Sofiane Imadali, Eric Fabre, Gregor Gössler

article

IEEE Transactions on Network and Service Management, 2021, 18 (3), pp.2515-2530. ⟨10.1109/TNSM.2021.3086424⟩

Accès au bibtex

titre

System-level Logical Execution Time: Augmenting the Logical Execution Time Paradigm for Distributed Real-Time Automotive Software

auteur

Kai-Björn Gemlau, Leonie Köhler, Rolf Ernst, Sophie Quinton

article

ACM Transactions on Cyber-Physical Systems, 2021, 5 (2), pp.1-27. ⟨10.1145/3381847⟩

Accès au texte intégral et bibtex

titre

A Pseudo-Linear Time Algorithm for the Optimal Discrete Speed Minimizing Energy Consumption

auteur

Bruno Gaujal, Alain Girault, Stéphan Plassart

article

Discrete Event Dynamic Systems, 2021, 31, pp.163-184. ⟨10.1007/s10626-020-00327-9⟩

Accès au texte intégral et bibtex

Conference papers

titre

Two Mechanisations of WebAssembly 1.0

auteur

Conrad Watt, Xiaojia Rao, Jean Pichon-Pharabod, Martin Bodin, Philippa Gardner

article

FM 2021 – Formal Methods, Nov 2021, Beijing, China. pp.1-19

Accès au bibtex

titre

Explaining Safety Violations in Real-Time Systems

auteur

Thomas Mari, Thao Dang, Gregor Gössler

article

FORMATS 2021 – Formal Modeling and Analysis of Timed Systems, Aug 2021, Paris, France. pp.100-116, ⟨10.1007/978-3-030-85037-1_7⟩

Accès au bibtex

titre

A generic approach for the certified schedulability analysis of software systems

auteur

Xiaojie Guo, Lionel Rieg, Paolo Torrini

article

RTCSA 2021 – 27th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Aug 2021, Houston (online), United States. pp.1-10

Accès au texte intégral et bibtex

titre

Causal-Consistent Debugging of Distributed Erlang Programs

auteur

Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani

article

RC 2021 – 13th Conference on Reversible Computation, Jul 2021, Nagoya, Japan. pp.79-95, ⟨10.1007/978-3-030-79837-6_5⟩

Accès au texte intégral et bibtex

Reports

titre

RDF: A Reconfigurable Dataflow Model of Computation

auteur

Pascal Fradet, Alain Girault, Ruby Krishnaswamy, Xavier Nicollin, Arash Shafiei

article

[Research Report] RR-9439, Inria Grenoble Rhône-Alpes, Université de Grenoble. 2021

Accès au texte intégral et bibtex

titre

CertiCAN: Certifying CAN Analyses and Their Results

auteur

Pascal Fradet, Xiaojie Guo, Sophie Quinton

article

[Research Report] RR-9443, Inria – Research Centre Grenoble – Rhône-Alpes. 2021, pp.1-32

Accès au texte intégral et bibtex

titre

Explaining Safety Violations in Real-Time Systems

auteur

Thomas Mari, Thao Dang, Gregor Gössler

article

[Research Report] RR-9420, INRIA; Verimag, Université Grenoble Alpes. 2021

Accès au texte intégral et bibtex

titre

Causal-Consistent Debugging of Distributed Erlang Programs – Technical Report

auteur

Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani

article

[Research Report] Inria – Research Centre Grenoble – Rhône-Alpes. 2021

Accès au texte intégral et bibtex

Theses

titre

RDF : A Reconfigurable Dataflow Model of Computation

auteur

Arash Shafiei

article

Embedded Systems. Université Grenoble – Alpes, 2021. English. ⟨NNT : ⟩

Accès au texte intégral et bibtex

2020

Journal articles

titre

Dynamic Speed Scaling Minimizing Expected Energy Consumption for Real-Time Tasks

auteur

Bruno Gaujal, Alain Girault, Stéphan Plassart

article

Journal of Scheduling, 2020, pp.1-25. ⟨10.1007/s10951-020-00660-9⟩

Accès au texte intégral et bibtex

titre

Feasibility of on-line speed policies in real-time systems

auteur

Bruno Gaujal, Alain Girault, Stéphan Plassart

article

Real-Time Systems, 2020, ⟨10.1007/s11241-020-09347-y⟩

Accès au texte intégral et bibtex

titre

Weakly-hard Real-time Guarantees for Earliest Deadline First Scheduling of Independent Tasks

auteur

Zain a H Hammadeh, Sophie Quinton, Rolf Ernst

article

ACM Transactions on Embedded Computing Systems (TECS), 2020, 18 (6), pp.1-25. ⟨10.1145/3356865⟩

Accès au texte intégral et bibtex

titre

Causality analysis and fault ascription in component-based systems

auteur

Gregor Gössler, Jean-Bernard Stefani

article

Theoretical Computer Science, 2020, 837, pp.158-180. ⟨10.1016/j.tcs.2020.06.010⟩

Accès au texte intégral et bibtex

Conference papers

titre

Discrete and Continuous Optimal Control for Energy Minimization in Real-Time Systems

auteur

Bruno Gaujal, Alain Girault, Stéphan Plassart

article

EBCCSP 2020 – 6th International Conference on Event-Based Control, Communication, and Signal Processing, Sep 2020, Krakow, Poland. pp.1-8, ⟨10.1109/EBCCSP51266.2020.9291353⟩

Accès au texte intégral et bibtex

Reports

titre

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

auteur

Bruno Gaujal, Alain Girault, Stéphan Plassart

article

[Research Report] RR-9339, Inria Grenoble Rhône-Alpes. 2020

Accès au texte intégral et bibtex

titre

Towards a formal reference computational model for cloud configuration management

auteur

Philippe Merle, Souha Ben Rayana, Lionel Seinturier, Roger Pissard-Gibollet, Jean-Bernard Stefani, Adja Ndeye Sylla

article

[Research Report] RR-9317, INRIA. 2020

Accès au texte intégral et bibtex

Theses

titre

Fault management of programmable multi-tenant networks

auteur

Sihem Cherrared

article

Networking and Internet Architecture [cs.NI]. Université Rennes 1, 2020. English. ⟨NNT : 2020REN1S016⟩

Accès au texte intégral et bibtex

titre

Online optimization in dynamic real-time systems

auteur

Stéphan Plassart

article

Operating Systems [cs.OS]. Université Grenoble Alpes [2020-..], 2020. English. ⟨NNT : 2020GRALM017⟩

Accès au texte intégral et bibtex

2019

Journal articles

titre

A Survey of Fault Management in Network Virtualization Environments: Challenges and Solutions

auteur

Sihem Cherrared, Sofiane Imadali, Eric Fabre, Gregor Gössler, Imen Grida Ben Yahia

article

IEEE Transactions on Network and Service Management, 2019, pp.1-15. ⟨10.1109/TNSM.2019.2948420⟩

Accès au texte intégral et bibtex

titre

ERPOT: A Quad-Criteria Scheduling Heuristic to Optimize Execution Time, Reliability, Power Consumption and Temperature in Multicores

auteur

Athena Abdi, Alain Girault, Hamid Zarandi

article

IEEE Transactions on Parallel and Distributed Systems, 2019, 30 (10), pp.2193-2210. ⟨10.1109/TPDS.2019.2906172⟩

Accès au texte intégral et bibtex

titre

Attributing and Referencing (Research) Software: Best Practices and Outlook from Inria

auteur

Pierre Alliez, Roberto Di Cosmo, Benjamin Guedj, Alain Girault, Mohand-Said Hacid, Arnaud Legrand, Nicolas P. Rougier

article

Computing in Science and Engineering, 2019, pp.1-14. ⟨10.1109/MCSE.2019.2949413⟩

Accès au texte intégral et bibtex

Conference papers

titre

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

auteur

Bruno Gaujal, Alain Girault, Stéphan Plassart

article

MSR 2019 – 12ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2019, Angers, France. pp.1-14

Accès au texte intégral et bibtex

titre

Towards Causal Explanations of Property Violations in Discrete Event Systems

auteur

Gregor Gössler, Thomas Mari, Yannick Pencolé, Louise Travé-Massuyès

article

DX’19 – 30th International Workshop on Principles of Diagnosis, Nov 2019, Klagenfurt, Austria. pp.1-8

Accès au texte intégral et bibtex

titre

Formal Verification of Orchestration Templates for Reliable Deployment with OpenStack Heat

auteur

Adja Ndeye Sylla, Karine Guillouard, Frédéric Klamm, Meryem Ouzzif, Philippe Merle, Souha Ben Rayana, Jean-Bernard Stefani

article

CNSM 2019 – 15th International Conference on Network and Service Management, Oct 2019, Halifax, Canada. pp.1-5, ⟨10.23919/CNSM46954.2019.9012739⟩

Accès au texte intégral et bibtex

titre

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

auteur

Alain Girault, Nicolas Hili, Éric Jenn, Eugene Yip

article

FDL 2019 – Forum for Specification and Design Languages, Sep 2019, Southampton, United Kingdom. pp.1-8, ⟨10.1109/FDL.2019.8876950⟩

Accès au texte intégral et bibtex

titre

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

auteur

Nicolas Hili, Alain Girault, Eric Jenn

article

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⟩

Accès au texte intégral et bibtex

titre

Integrating Formal Schedulability Analysis into a Verified OS Kernel

auteur

Xiaojie Guo, Maxime Lesourd, Mengqi Liu, Lionel Rieg, Zhong Shao

article

Computer Aided Verification, Jul 2019, New York, United States. pp.496-514, ⟨10.1007/978-3-030-25543-5_28⟩

Accès au bibtex

titre

Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework

auteur

Jean-Bernard Stefani, Martin Vassor

article

FORTE 2019 – 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.242-260, ⟨10.1007/978-3-030-21759-4_14⟩

Accès au texte intégral et bibtex

titre

CertiCAN: A Tool for the Coq Certification of CAN Analysis Results

auteur

Pascal Fradet, Xiaojie Guo, Jean-François Monin, Sophie Quinton

article

RTAS 2019 – 25th IEEE Real-Time and Embedded Technology and Applications Symposium, Apr 2019, Montreal, Canada. pp.1-10, ⟨10.1109/RTAS.2019.00023⟩

Accès au texte intégral et bibtex

titre

RDF: Reconfigurable Dataflow

auteur

Pascal Fradet, Alain Girault, Ruby Krishnaswamy, Xavier Nicollin, Arash Shafiei

article

DATE 2019 – Design, Automation & Test in Europe Conference & Exhibition, Mar 2019, Florence, Italy. pp.1709-1714, ⟨10.23919/DATE.2019.8714987⟩

Accès au bibtex

Book sections

titre

From Behavioural Contracts to Session Types

auteur

Alessandro Fantechi, Elie Najm, Jean-Bernard Stefani

article

Models, Languages, and Tools for Concurrent and Distributed Programming, pp.278-297, 2019, ⟨10.1007/978-3-030-21485-2_16⟩

Accès au bibtex

Poster communications

titre

SAKURA a Model Based Root Cause Analysis Framework for vIMS

auteur

Sihem Cherrared, Sofiane Imadali, Eric Fabre, Gregor Gössler

article

MobiSys 2019 – 17th ACM International Conference on Mobile Systems, Applications, and Services, Jun 2019, Seoul, South Korea. ACM Press, pp.594-595

Accès au texte intégral et bibtex

Reports

titre

A Discrete Time Markov Decision Process for Energy Minimization Under Deadline Constraints

auteur

Bruno Gaujal, Alain Girault, Stéphan Plassart

article

[Research Report] RR-9309, Grenoble Alpes; Inria Grenoble Rhône-Alpes, Université de Grenoble. 2019, pp.46

Accès au texte intégral et bibtex

titre

Exploiting Job Variability to Minimize Energy Consumption under Real-Time Constraints

auteur

Bruno Gaujal, Alain Girault, Stéphan Plassart

article

[Research Report] RR-9300, Inria Grenoble Rhône-Alpes, Université de Grenoble; Université Grenoble – Alpes. 2019, pp.23

Accès au texte intégral et bibtex

titre

Feasibility of on-line speed policies in real-time systems

auteur

Bruno Gaujal, Alain Girault, Stéphan Plassart

article

[Research Report] RR-9301, Inria Grenoble Rhône-Alpes, Université de Grenoble; Univ. Grenoble Alpes. 2019, pp.38

Accès au texte intégral et bibtex

titre

Sciences, Environnements et Sociétés

auteur

Françoise Berthoud, Pascal Guitton, Laurent Lefèvre, Sophie Quinton, Antoine Rousseau, Jacques Sainte-Marie, Céline Serrano, Jean-Bernard Stefani, Peter Sturm, Eric Tannier

article

[0] Inria. 2019

Accès au texte intégral et bibtex

titre

Causality Analysis and Fault Ascription in Component-Based Systems

auteur

Gregor Gössler, Jean-Bernard Stefani

article

[Research Report] RR-9279, Inria – Research Centre Grenoble – Rhône-Alpes. 2019, pp.1-28

Accès au texte intégral et bibtex

titre

ERPOT: A quad-criteria scheduling heuristic to optimize the execution time, failure rate, power consumption and temperature in multicores

auteur

Athena Abdi, Alain Girault, Hamid Zarandi

article

[Research Report] RR-9196, Inria; 37. 2019, pp.1-37

Accès au texte intégral et bibtex

Theses

titre

Analyses pour l’ordonnançabilité et la flexibilité de systèmes temps-réel

auteur

Christophe Prévot

article

Systèmes embarqués. Université Grenoble Alpes, 2019. Français. ⟨NNT : 2019GREAM045⟩

Accès au texte intégral et bibtex

2018

Journal articles

titre

Improving and Estimating the Precision of Bounds on the Worst-Case Latency of Task Chains

auteur

Alain Girault, Christophe Prévot, Sophie Quinton, Rafik Henia, Nicolas Sordon

article

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2018, 37 (11), pp.2578-2589. ⟨10.1109/TCAD.2018.2861016⟩

Accès au texte intégral et bibtex

titre

The Logical Execution Time Paradigm: New Perspectives for Multicore Systems (Dagstuhl Seminar 18092)

auteur

Rolf Ernst, Stefan Kuntz, Sophie Quinton, Martin Simons

article

Dagstuhl Reports, 2018, 8, pp.122 – 149. ⟨10.4230/DagRep.8.2.122⟩

Accès au texte intégral et bibtex

titre

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

auteur

Dmitry Burlyaev, Pascal Fradet, Alain Girault

article

Leibniz Transactions on Embedded Systems, 2018, 5 (1), pp.1-26. ⟨10.4230/LITES-v005-i001-a004⟩

Accès au bibtex

Conference papers

titre

A Generic Coq Proof of Typical Worst-Case Analysis

auteur

Pascal Fradet, Maxime Lesourd, Jean-François Monin, Sophie Quinton

article

RTSS 2018 – 39th IEEE Real-Time Systems Symposium, Dec 2018, Nashville, United States. pp.1-12

Accès au texte intégral et bibtex

titre

A Generalized Digraph Model for Expressing Dependencies

auteur

Pascal Fradet, Xiaojie Guo, Jean-François Monin, Sophie Quinton

article

RTNS ’18 – 26th International Conference on Real-Time Networks and Systems, Oct 2018, Chasseneuil-du-Poitou, France. pp.1-11, ⟨10.1145/3273905.3273918⟩

Accès au texte intégral et bibtex

titre

Checkpoint/rollback vs causally-consistent reversibility

auteur

Martin Vassor, Jean-Bernard Stefani

article

RC 2018 – 10th International Conference on Reversible Computation, Sep 2018, Leicester, United Kingdom. pp.286-303, ⟨10.1007/978-3-319-99498-7_20⟩

Accès au texte intégral et bibtex

titre

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

auteur

Susanne Graf, Sophie Quinton, Alain Girault, Gregor Gössler

article

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⟩

Accès au texte intégral et bibtex

titre

Evaluation and Comparison of Real-Time Systems Analysis Methods and Tools

auteur

Sophie Quinton

article

FMICS 2018 – 23rd International Conference on Formal Methods for Industrial Critical Systems, Sep 2018, Maynooth, Ireland. pp.284-290, ⟨10.1007/978-3-030-00244-2_19⟩

Accès au texte intégral et bibtex

titre

Verifying Weakly-Hard Real-Time Properties of Traffic Streams in Switched Networks

auteur

Leonie Ahrendts, Sophie Quinton, Thomas Boroske, Rolf Ernst

article

ECRTS 2018 – 30th Euromicro Conference on Real-Time Systems, Jul 2018, Barcelona, Spain. pp.1-22, ⟨10.4230/LIPIcs.ECRTS.2018.15⟩

Accès au texte intégral et bibtex

titre

Monotonic Prefix Consistency in Distributed Systems

auteur

Alain Girault, Gregor Gössler, Rachid Guerraoui, Jad Hamza, Dragos-Adrian Seredinschi

article

FORTE 2018 – 38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Jun 2018, Madrid, Spain. pp.41-57, ⟨10.1007/978-3-319-92612-4_3⟩

Accès au texte intégral et bibtex

titre

LUMEN: A Global Fault Management Framework For Network Virtualization Environments

auteur

Sihem Cherrared, Sofiane Imadali, Eric Fabre, Gregor Gössler

article

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⟩

Accès au texte intégral et bibtex

Reports

titre

RDF: Reconfigurable Dataflow (extended version)

auteur

Pascal Fradet, Alain Girault, Ruby Krishnaswamy, Xavier Nicollin, Arash Shafiei

article

[Research Report] RR-9227, INRIA Grenoble – Rhône-Alpes. 2018, pp.1-19

Accès au texte intégral et bibtex

titre

System Level LET with Application to Automotive Design

auteur

Rolf Ernst, Leonie Ahrendts, Kai-Björn Gemlau, Sophie Quinton, Hermann von Hasseln, Julien Hennig

article

[Research Report] TU Braunschweig. 2018, pp.1-11

Accès au texte intégral et bibtex

2017

Journal articles

titre

Exploiting Execution Dynamics in Timing Analysis Using Job Sequences

auteur

Leonie Ahrendts, Sophie Quinton, Rolf Ernst

article

IEEE Design & Test, 2017, 35 (4), pp.16-22. ⟨10.1109/MDAT.2017.2746638⟩

Accès au texte intégral et bibtex

titre

A Survey of Parametric Dataflow Models of Computation

auteur

Adnan Bouakaz, Pascal Fradet, Alain Girault

article

ACM Transactions on Design Automation of Electronic Systems, 2017

Accès au bibtex

titre

Symbolic Analyses of Dataflow Graphs

auteur

Adnan Bouakaz, Pascal Fradet, Alain Girault

article

ACM Transactions on Design Automation of Electronic Systems, 2017

Accès au bibtex

Conference papers

titre

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

auteur

Xiaojie Guo, Sophie Quinton, Pascal Fradet, Jean-François Monin

article

RTSS 2017 – IEEE Real-Time Systems Symposium, Dec 2017, Paris, France. pp.1-3

Accès au texte intégral et bibtex

titre

Lossy channels in a dataflow model of computation

auteur

Pascal Fradet, Alain Girault, Leila Jamshidian, Xavier Nicollin, Arash Shafiei

article

Principles of Modeling, Festschrift in Honor of Edward A. Lee, Oct 2017, Berkeley, United States. pp.13

Accès au bibtex

titre

Finite Ready Queues As a Mean for Overload Reduction in Weakly-Hard Real-Time Systems

auteur

Sophie Quinton, Leonie Ahrendts, Rolf Ernst

article

RTNS 2017 – 25th International Conference on Real-Time Networks and Systems, Oct 2017, Grenoble, France. pp.88-97, ⟨10.1145/3139258.3139259⟩

Accès au texte intégral et bibtex

titre

Real-Time Ticks for Synchronous Programming

auteur

Reinhard von Hanxleden, Timothy Bourke, Alain Girault

article

FDL 2017 – 12th Forum on Specification and Design Languages, Electronic Chips & System Design Initiative (ECSI), Sep 2017, Vérone, Italy

Accès au texte intégral et bibtex

titre

A Framework for Evaluating Schedulability Analysis Tools

auteur

Lijun Shan, Susanne Graf, Sophie Quinton, Loïc Fejoz

article

Models, Algorithms, Logics and Tools – Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday, Aug 2017, Aalborg, Denmark

Accès au texte intégral et bibtex

titre

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

auteur

Zain a H Hammadeh, Sophie Quinton, Marco Panunzio, Rafik Henia, Laurent Rioux, Rolf Ernst

article

ECRTS 2017 – 29th Euromicro Conference on Real-Time Systems, Jun 2017, Dubrovnik, Croatia. pp.1-22, ⟨10.4230/LIPIcs.ECRTS.2017.17⟩

Accès au texte intégral et bibtex

titre

Adaptive Mapping for Multiple Applications on Parallel Architectures

auteur

Ismail Assayad, Alain Girault

article

Third International Symposium on Ubiquitous Networking, UNET’17, May 2017, Casablanca, Morocco

Accès au texte intégral et bibtex

titre

Bounding Deadline Misses in Weakly-Hard Real-Time Systems with Task Dependencies

auteur

Zain A. H. Hammadeh, Rolf Ernst, Sophie Quinton, Rafik Henia, Laurent Rioux

article

Design, Automation & Test in Europe Conference & Exhibition (DATE 2017), Mar 2017, Lausanne, Switzerland

Accès au texte intégral et bibtex

titre

Counterfactual Causality from First Principles?

auteur

Gregor Gössler, Oleg Sokolsky, Jean-Bernard Stefani

article

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⟩

Accès au bibtex

Poster communications

titre

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

auteur

Rafik Henia, Laurent Rioux, Nicolas Sordon, Zain a H Hammadeh, Rolf Ernst, Sophie Quinton

article

RTAS 2017 – IEEE Real-Time and Embedded Technology and Applications Symposium, Apr 2017, Pittsburgh, United States. , pp.1-2

Accès au texte intégral et bibtex

Reports

titre

Dynamic Speed Scaling Minimizing Expected Energy Consumption for Real-Time Tasks

auteur

Bruno Gaujal, Alain Girault, Stéphan Plassart

article

[Research Report] RR-9101, UGA – Université Grenoble Alpes; Inria Grenoble Rhône-Alpes; Université de Grenoble. 2017, pp.1-35

Accès au texte intégral et bibtex

2016

Journal articles

titre

Reversibility in the higher-order π-calculus

auteur

Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani

article

Theoretical Computer Science, 2016, 625, pp.25-84. ⟨10.1016/j.tcs.2016.02.019⟩

Accès au texte intégral et bibtex

titre

Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models

auteur

Antoine Girard, Gregor Gössler, Sebti Mouelhi

article

IEEE Transactions on Automatic Control, 2016, 61 (6), pp.1537-1549. ⟨10.1109/TAC.2015.2478131⟩

Accès au texte intégral et bibtex

titre

Contextual equivalences in configuration structures and reversibility

auteur

Clément Aubert, Ioana Cristescu

article

Journal of Logical and Algebraic Methods in Programming, 2016

Accès au texte intégral et bibtex

Conference papers

titre

Quantifying the Flexibility of Real-Time Systems

auteur

Rafik Henia, Alain Girault, Christophe Prévot, Sophie Quinton, Laurent Rioux

article

10th Junior Researcher Workshop on Real-Time Computing , Oct 2016, Brest, France

Accès au texte intégral et bibtex

titre

Energy and timing aware synchronous programming

auteur

Jiajie Wang, Partha S Roop, Alain Girault

article

International Conference on Embedded Software, EMSOFT’16, Oct 2016, Pittsburgh, United States. pp.10, ⟨10.1145/2968478.2968500⟩

Accès au texte intégral et bibtex

titre

The ForeC Synchronous Deterministic Parallel Programming Language for Multicores

auteur

Eugene Yip, Alain Girault, Partha S Roop, Morteza Biglari-Abhari

article

IEEE 10th International Symposium on Embedded Multicore/Many-core Systems-on-Chip, MCSoC’16, Sep 2016, Lyon, France

Accès au texte intégral et bibtex

titre

Using Multi-Viewpoint Contracts for Negotiation of Embedded Software Updates

auteur

Sönke Holthusen, Sophie Quinton, Ina Schaefer, Johannes Schlatow, Martin Wegner

article

Workshop on Pre- and Post-Deployment Verification Techniques, Jun 2016, Reykjavik, Iceland. ⟨10.4204/EPTCS.208.3⟩

Accès au texte intégral et bibtex

titre

Symbolic Buffer Sizing for Throughput-Optimal Scheduling of Dataflow Graphs

auteur

Adnan Bouakaz, Pascal Fradet, Alain Girault

article

RTAS 2016 – 22nd IEEE Real-Time Embedded Technology & Applications Symposium, Apr 2016, Vienne, Austria. ⟨10.1109/RTAS.2016.7461360⟩

Accès au texte intégral et bibtex

titre

Symbolic computation of the latency for dataflow graphs

auteur

Adnan Bouakaz, Pascal Fradet, Alain Girault

article

Integrating Dataflow, Embedded computing and Architecture (IDEA’2016), Apr 2016, Vienne, Austria

Accès au bibtex

Proceedings

titre

Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies

auteur

Gregor Gössler, Oleg Sokolsky

article

Gregor Gössler; Oleg Sokolsky. First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, Apr 2016, Eindhoven, Netherlands. 224, , 2016, EPTCS, ⟨10.4204/EPTCS.224⟩

Accès au bibtex

titre

Work-in-Progress and Demo Proceedings – 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)

auteur

Vincent Nélis, Sophie Quinton

article

2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Apr 2016, Vienna, Austria. , 2016

Accès au texte intégral et bibtex

Reports

titre

A static analysis for the minimization of voters in fault-tolerant circuits

auteur

Dmitry Burlyaev, Pascal Fradet, Alain Girault

article

[Research Report] RR-9004, Inria – Research Centre Grenoble – Rhône-Alpes. 2016, pp.1-27

Accès au texte intégral et bibtex

titre

RTLib: A Library of Timed Automata for Modeling Real-Time Systems

auteur

Lijun Shan, Susanne Graf, Sophie Quinton

article

[Research Report] Grenoble 1 UGA – Université Grenoble Alpe; INRIA Grenoble – Rhone-Alpes. 2016

Accès au texte intégral et bibtex

titre

Synchronous Deterministic Parallel Programming for Multicores with ForeC

auteur

Eugene Yip, Partha S. Roop, Alain Girault, Morteza Biglari-Abhari

article

[Research Report] RR-8943, Inria – Research Centre Grenoble – Rhône-Alpes. 2016

Accès au texte intégral et bibtex

titre

Symbolic Analysis of Dataflow Graphs (Extended Version)

auteur

Adnan Bouakaz, Pascal Fradet, Alain Girault

article

[Research Report] 8742, Inria – Research Centre Grenoble – Rhône-Alpes. 2016

Accès au texte intégral et bibtex

2015

Journal articles

titre

A general framework for blaming in component-based systems

auteur

Gregor Gössler, Daniel Le Métayer

article

Science of Computer Programming, 2015, 113 (Part 3), pp.223-235. ⟨10.1016/j.scico.2015.06.010⟩

Accès au texte intégral et bibtex

titre

Knowledge-based construction of distributed constrained systems

auteur

Susanne Graf, Sophie Quinton

article

Software and Systems Modeling, 2015, ⟨10.1007/s10270-014-0451-z⟩

Accès au bibtex

Conference papers

titre

Mixed criticality systems with weakly-hard constraints

auteur

Oliver Gettings, Sophie Quinton, Robert Davis

article

International Conference on Real Time and Networks Systems, Nov 2015, Lille, France. ⟨10.1145/2834848.2834850⟩

Accès au bibtex

titre

Formal Verification of Automatic Circuit Transformations for Fault-Tolerance

auteur

Dmitry Burlyaev, Pascal Fradet

article

Formal Methods in Computer-Aided Design (FMCAD 2015), Sep 2015, Austin, Texas, United States

Accès au bibtex

titre

A Hybrid Approach to Causality Analysis

auteur

Shaohui Wang, Yoann Geoffroy, Gregor Gössler, Oleg Sokolsky, Insup Lee

article

RV 2015 – 6th International Conference on Runtime Verification, Sep 2015, Vienna, Austria. ⟨10.1007/978-3-319-23820-3_16⟩

Accès au bibtex

titre

Improved Deadline Miss Models for Real-Time Systems Using Typical Worst-Case Analysis

auteur

Xu Wenbo, Zain A. H. Hammadeh, Kröller Alexander, Sophie Quinton, Rolf Ernst

article

Euromicro Conference on Real-Time Systems, Jul 2015, Lund, Sweden. ⟨10.1109/ECRTS.2015.29⟩

Accès au bibtex

titre

Time-redundancy transformations for adaptive fault-tolerant circuits

auteur

Dmitry Burlyaev, Pascal Fradet, Alain Girault

article

2015 NASA/ESA Conference on Adaptive Hardware and Systems (AHS), Jun 2015, Montreal, Canada. ⟨10.1109/AHS.2015.7231164⟩

Accès au bibtex

titre

A formal approach for the synthesis and implementation of fault-tolerant industrial embedded systems

auteur

Wei-Tsun Sun, Alain Girault, Gwenaël Delaval

article

SIES’2015: 10th IEEE International Symposium on Industrial Embedded Systems, Jun 2015, Siegen, Germany

Accès au texte intégral et bibtex

titre

Reversible Barbed Congruence on Configuration Structures

auteur

Clément Aubert, Ioana Cristescu

article

8th Interaction and Concurrency Experience (ICE 2015) Satellite workshop of DisCoTec 2015, Jun 2015, Grenoble, France. pp.68-85, ⟨10.4204/EPTCS.189.7⟩

Accès au texte intégral et bibtex

titre

Simple Isolation for an Actor Abstract Machine

auteur

Benoit Claudel, Quentin Sabah, Jean-Bernard Stefani

article

35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.213-227, ⟨10.1007/978-3-319-19195-9_14⟩

Accès au texte intégral et bibtex

titre

An in-between “implicit” and “explicit” complexity: Automata

auteur

Clément Aubert

article

DICE 2015 – Developments in Implicit Computational Complexity, Apr 2015, Londres, United Kingdom

Accès au texte intégral et bibtex

titre

Automatic Time-Redundancy Transformation for Fault-Tolerant Circuits

auteur

Dmitry Burlyaev, Pascal Fradet, Alain Girault

article

23rd ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, FPGA’15, Feb 2015, Monterey, United States. ⟨10.1145/2684746.2689058⟩

Accès au bibtex

titre

Fault Ascription in Concurrent Systems

auteur

Gregor Gössler, Jean-Bernard Stefani

article

Trustworthy Global Computing, 2015, Madrid, Spain. pp.16, ⟨10.1007/978-3-319-28766-96⟩

Accès au texte intégral et bibtex

Books

titre

2015 International Conference on Embedded Software, EMSOFT’15

auteur

Alain Girault, Guan Nan

article

Alain Girault; Nan Guan. IEEE, 2015, 978-1-4673-8079-9

Accès au bibtex

Proceedings

titre

Reversible Computation

auteur

Jean Krivine, Jean-Bernard Stefani

article

Krivine, Jean; Stefani, Jean-Bernard. Reversible Computation, Jul 2015, Grenoble, France. 9138, Springer, 2015, Lecture Notes in Computer Science, 978-3-319-20859-6. ⟨10.1007/978-3-319-20860-2⟩

Accès au bibtex

Reports

titre

Fault Ascription in Concurrent Systems

auteur

Gregor Gössler, Jean-Bernard Stefani

article

[Research Report] RR-8772, INRIA Grenoble – Rhône-Alpes. 2015

Accès au texte intégral et bibtex

titre

Memoization for Unary Logic Programming: Characterizing PTIME

auteur

Clément Aubert, Marc Bagnol, Thomas Seiller

article

[Research Report] RR-8796, INRIA Grenoble – Rhône-Alpes; Université Paris-Est, LACL (EA 4219), UPEC, F-94010 Créteil, France; Aix Marseille Université, CNRS, Centrale Marseille, I2M UMR 7373, 13453, Marseille, France; IHÉS. 2015, pp.28

Accès au texte intégral et bibtex

2014

Journal articles

titre

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

auteur

Loïc Besnard, Adnan Bouakaz, Thierry Gautier, Paul Le Guernic, Yue Ma, Jean-Pierre Talpin, Huafeng Yu

article

Science of Computer Programming, 2014, Science of Computer Programming, pp.20

Accès au bibtex

titre

A Predictable Framework for Safety-Critical Embedded Systems

auteur

Sidharta Andalam, Partha Roop, Alain Girault, Claus Traulsen

article

IEEE Transactions on Computers, 2014, pp.13. ⟨10.1109/tc.2013.28⟩

Accès au bibtex

titre

Building Timing Predictable Embedded Systems

auteur

Philip Axer, Rolf Ernst, Heiko Falk, Alain Girault, Daniel Grund, Nan Guan, Bengt Jonsson, Peter Marwedel, Jan Reineke, Christine Rochange, Maurice Sebastian, Reinhard von Hanxleden, Reinhard Wilhelm, Wang Yi

article

ACM Transactions on Embedded Computing Systems (TECS), 2014, 13 (4), pp.38. ⟨10.1145/2560033⟩

Accès au bibtex

titre

A Formal Approach to Incremental Converter Synthesis for System-on-Chip Design

auteur

Roopak Sinha, Alain Girault, Gregor Gössler, Partha Roop

article

ACM Transactions on Design Automation of Electronic Systems, 2014, 20, pp.30. ⟨10.1145/2663344⟩

Accès au bibtex

titre

Apport des méthodes formelles pour l’exploitation de logs informatiques dans un contexte contractuel

auteur

Gregor Gössler, Daniel Le Métayer, Eduardo Mazza, Marie-Laure Potet, Lacramioara Astefanoaei

article

Revue des Sciences et Technologies de l’Information – Série TSI : Technique et Science Informatiques, 2014, 33 (1-2), pp.63-84. ⟨10.3166/tsi.33.63-84⟩

Accès au bibtex

Conference papers

titre

Formal Analysis of Timing Effects on Closed-loop Properties of Control Software

auteur

Goran Frehse, Arne Hamann, Sophie Quinton, Matthias Wöhrle

article

35th IEEE Real-Time Systems Symposium 2014 (RTSS), Dec 2014, Rome, Italy

Accès au bibtex

titre

Blaming in component-based real-time systems

auteur

Gregor Gössler, Lacramioara Astefanoaei

article

Proceedings of the 14th International Conference on Embedded Software – EMSOFT’14, Oct 2014, Delhi, India. ⟨10.1145/2656045.2656048⟩

Accès au texte intégral et bibtex

titre

Extending typical worst-case analysis using response-time dependencies to bound deadline misses

auteur

Zain A. H. Hammadeh, Sophie Quinton, Rolf Ernst

article

14th International Conference on Embedded Software 2014 (EMSOFT), Oct 2014, New Delhi, India. ⟨10.1145/2656045.2656059⟩

Accès au bibtex

titre

Components as Location Graphs

auteur

Jean-Bernard Stefani

article

11th International Symposium on Formal Aspects of Component Software, Sep 2014, Bertinoro, Italy

Accès au texte intégral et bibtex

titre

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

auteur

Wei-Tsun Sun, Alain Girault, Zoran Salcic, Avinash Malik

article

9th IEEE International Symposium on Industrial Embedded Systems (SIES 2014), Jun 2014, Pisa, Italy

Accès au texte intégral et bibtex

titre

A framework to schedule parametric dataflow applications on many-core platforms

auteur

Vagelis Bebelis, Pascal Fradet, Alain Girault

article

Proceedings of the 2014 SIGPLAN/SIGBED conference on Languages, Compilers and Tools for Embedded Systems, LCTES’14, Jun 2014, Edinburgh, United Kingdom. ⟨10.1145/2666357.2597819⟩

Accès au bibtex

titre

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

auteur

Sophie Quinton, Julien Hennig, Torsten Bone, Moritz Neukirchner, Rolf Ernst, Mircea Negrean

article

The 51st Annual Design Automation Conference 2014, Jun 2014, San Francisco, CA, United States. ⟨10.1145/2593069.2602977⟩

Accès au bibtex

titre

Verification-guided Voter Minimization in Triple-Modular Redundant Circuits

auteur

Dmitry Burlyaev, Pascal Fradet, Alain Girault

article

Design, Automation and Test in Europe Conference, DATE’14, Mar 2014, Dresden, Germany

Accès au bibtex

Habilitation à diriger des recherches

titre

Formal Techniques for Component-based Design of Embedded Systems

auteur

Gregor Gössler

article

Embedded Systems. Grenoble University, 2014

Accès au texte intégral et bibtex

Patents

titre

Procédé de fabrication automatisée d’un circuit électronique adapté pour détecter ou masquer des fautes par redondance temporelle, programme d’ordinateur et circuit électronique associés

auteur

Dmitry Burlyaev, Pascal Fradet, Alain Girault

article

France, N° de brevet: 1456080. 2014

Accès au bibtex

Preprints, Working Papers, …

titre

Reversibility in the higher-order π-calculus

auteur

Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani

article

2014

Accès au texte intégral et bibtex

2013

Journal articles

titre

Tradeoff exploration between reliability, power consumption, and execution time for embedded systems

auteur

Ismail Assayad, Alain Girault, Hamoudi Kalla

article

International Journal on Software Tools for Technology Transfer, 2013, 15 (3), pp.229-245. ⟨10.1007/s10009-012-0263-9⟩

Accès au texte intégral et bibtex

titre

Reliability and performance optimization of pipelined real-time systems

auteur

Anne Benoit, Fanny Dufossé, Alain Girault, Yves Robert

article

Journal of Parallel and Distributed Computing, 2013, 73 (6), pp.851-865. ⟨10.1016/j.jpdc.2013.02.009⟩

Accès au texte intégral et bibtex

Conference papers

titre

Mode Sequences as Symbolic States in Abstractions of Incrementally Stable Switched Systems

auteur

Euriell Le Corronc, Antoine Girard, Gregor Gössler

article

CDC 2013 – 52nd Conference on Decision and Control, Dec 2013, Florence, Italy. pp.3225-3230, ⟨10.1109/CDC.2013.6760375⟩

Accès au bibtex

titre

BPDF: A Statically Analyzable Dataflow Model with Integer and Boolean Parameters

auteur

Vagelis Bebelis, Pascal Fradet, Alain Girault, Bruno Lavigueur

article

The Tenth Biennial Ptolemy Miniconference, Nov 2013, Berkeley, United States

Accès au bibtex

titre

BPDF: A Statically Analyzable Dataflow Model with Integer and Boolean Parameters

auteur

Vagelis Bebelis, Pascal Fradet, Alain Girault, Bruno Lavigueur

article

EMSOFT’13 – Eleventh ACM International Conference on Embedded Software, Sep 2013, Montreal, Canada. pp.10, ⟨10.1109/EMSOFT.2013.6658581⟩

Accès au bibtex

titre

A Framework to Schedule Parametric Dataflow Applications on Many-Core Platforms

auteur

Vagelis Bebelis, Pascal Fradet, Alain Girault, Bruno Lavigueur

article

CPC 2013, 17th Workshop on Compilers for Parallel Computing, Jul 2013, Lyon, France

Accès au bibtex

titre

Programming and Timing Analysis of Parallel Programs on Multicores

auteur

Eugene Yip, Partha Roop, Morteza Biglari-Abhari, Alain Girault

article

International Conference on Application of Concurrency to System Design, ACSD’13, Jul 2013, Barcelona, Spain. pp.167–176

Accès au texte intégral et bibtex

titre

Precise timing analysis for direct-mapped caches

auteur

Sidharta Andalam, Roopak Sinha, Partha Roop, Alain Girault, Jan Reineke

article

Design Automaton Conference, DAC, Jun 2013, Austin, TX, United States. ⟨10.1145/2463209.2488917⟩

Accès au texte intégral et bibtex

titre

CoSyMA: a tool for controller synthesis using multi-scale abstractions

auteur

Sebti Mouelhi, Antoine Girard, Gregor Goessler

article

HSCC’13 – 16th International Conference on Hybrid systems: computation and control, Apr 2013, Philadelphie, United States. pp.83-88, ⟨10.1145/2461328.2461343⟩

Accès au bibtex

titre

Concurrent Flexible Reversibility

auteur

Ivan Lanese, Michaël Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani

article

22nd European Symposium on Programming, ESOP 2013, Mar 2013, Rome, Italy. pp.370-390, ⟨10.1007/978-3-642-37036-6_21⟩

Accès au texte intégral et bibtex

titre

A General Trace-Based Framework of Logical Causality

auteur

Gregor Gössler, Daniel Le Métayer

article

FACS – 10th International Symposium on Formal Aspects of Component Software – 2013, 2013, Nanchang, China

Accès au texte intégral et bibtex

titre

A Causality Analysis Framework for Component-based Real-time Systems

auteur

Shaohui Wang, Anaheed Ayoub, Baekgyu Kim, Gregor Gössler, Oleg Sokolsky, Insup Lee

article

RV – 4th International Conference on Runtime Verification – 2013, 2013, Rennes, France. pp.285-303

Accès au bibtex

Other publications

titre

Abstract Acceleration of General Linear Loops

auteur

Bertrand Jeannet, Peter Schrammel, Sriram Sankaranarayanan

article

2013, pp.1-18

Accès au bibtex

titre

A Flexible Approach for Scheduling Parametric Data Flow Applications on Sthorm

auteur

Vagelis Bebelis, Pascal Fradet, Alain Girault, Bruno Lavigueur

article

2013

Accès au bibtex

Reports

titre

A General Trace-Based Framework of Logical Causality

auteur

Gregor Gössler, Daniel Le Métayer

article

[Research Report] RR-8378, INRIA. 2013

Accès au texte intégral et bibtex

titre

Unified Functional Safety Assessment of Industrial Automation Systems

auteur

Zeeshan Ejaz Bhatti, Roopak Sinha, Partha Roop

article

[Research Report] RR-8357, Inria. 2013

Accès au bibtex

titre

BPDF: Boolean Parametric Data Flow

auteur

Vagelis Bebelis, Pascal Fradet, Alain Girault, Bruno Lavigueur

article

[Research Report] RR-8333, INRIA. 2013, pp.21

Accès au texte intégral et bibtex

titre

Precise Modelling of Instruction Cache Behaviour

auteur

Sidharta Andalam, Roopak Sinha, Partha S. Roop, Alain Girault, Jan Reineke

article

[Research Report] RR-8214, INRIA. 2013, 62 p

Accès au texte intégral et bibtex

Theses

titre

SIAAM: Simple Isolation for an Abstract Actor Machine

auteur

Quentin Sabah

article

Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Grenoble, 2013. English. ⟨NNT : ⟩

Accès au texte intégral et bibtex