Alain Girault

According to our database, Alain Girault authored at least 97 papers between 1992 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Report on the 2023 Embedded Systems Week (ESWEEK).

Xiaobo Sharon Hu, Alain Girault, Heiko Falk

IEEE Des. Test, 2024

2023

Synchronous Deterministic Parallel Programming for Multi-Cores with ForeC.

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

ACM Trans. Program. Lang. Syst., June, 2023

RDF: A Reconfigurable Dataflow Model of Computation.

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

ACM Trans. Embed. Comput. Syst., 2023

Sequential Scheduling of Dataflow Graphs for Memory Peak Minimization.

Pascal Fradet, Alain Girault, Alexandre Honorat

Proceedings of the 24th ACM SIGPLAN/SIGBED International Conference on Languages, 2023

Assessing the Potential of Carpooling for Reducing Vehicle Kilometers Traveled.

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

Proceedings of the International Conference on ICT for Sustainability, 2023

2021

Introduction to the Special Issue on Specification and Design Languages (FDL 2019).

Alain Girault, Reinhard von Hanxleden

ACM Trans. Embed. Comput. Syst., 2021

A pseudo-linear time algorithm for the optimal discrete speed minimizing energy consumption.

Bruno Gaujal, Alain Girault, Stéphan Plassart

Discret. Event Dyn. Syst., 2021

2020

Dynamic speed scaling minimizing expected energy consumption for real-time tasks.

Bruno Gaujal, Alain Girault, Stéphan Plassart

J. Sched., 2020

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

Bruno Gaujal, Alain Girault, Stéphan Plassart

Real Time Syst., 2020

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

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

Comput. Sci. Eng., 2020

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

Bruno Gaujal, Alain Girault, Stéphan Plassart

Proceedings of the 6th International Conference on Event-Based Control, 2020

2019

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

Athena Abdi, Alain Girault, Hamid R. Zarandi

IEEE Trans. Parallel Distributed Syst., 2019

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

Nicolas Hili, Alain Girault, Eric Jenn

Proceedings of the 25th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2019

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

Alain Girault, Nicolas Hili, Eric Jenn, Eugene Yip

Proceedings of the 2019 Forum for Specification and Design Languages, 2019

RDF: Reconfigurable Dataflow.

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

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

2018

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

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

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

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

Dmitry Burlyaev, Pascal Fradet, Alain Girault

Leibniz Trans. Embed. Syst., 2018

Monotonic Prefix Consistency in Distributed Systems.

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

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2018

Building Correct Cyber-Physical Systems: Why We Need a Multiview Contract Theory.

Susanne Graf, Sophie Quinton, Alain Girault, Gregor Gößler

Proceedings of the Formal Methods for Industrial Critical Systems, 2018

Lossy Channels in a Dataflow Model of Computation.

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

Proceedings of the Principles of Modeling, 2018

2017

Symbolic Analyses of Dataflow Graphs.

Adnan Bouakaz, Pascal Fradet, Alain Girault

ACM Trans. Design Autom. Electr. Syst., 2017

A Survey of Parametric Dataflow Models of Computation.

Adnan Bouakaz, Pascal Fradet, Alain Girault

ACM Trans. Design Autom. Electr. Syst., 2017

Why You Can't Beat Blockchains: Consistency and High Availability in Distributed Systems.

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

CoRR, 2017

Adaptive Mapping for Multiple Applications on Parallel Architectures.

Ismail Assayad, Alain Girault

Proceedings of the Ubiquitous Networking - Third International Symposium, 2017

Real-time ticks for synchronous programming.

Reinhard von Hanxleden, Timothy Bourke, Alain Girault

Proceedings of the 2017 Forum on Specification and Design Languages, 2017

2016

Symbolic Buffer Sizing for Throughput-Optimal Scheduling of Dataflow Graphs.

Adnan Bouakaz, Pascal Fradet, Alain Girault

Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016

The ForeC Synchronous Deterministic Parallel Programming Language for Multicores.

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

Proceedings of the 10th IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip, 2016

Energy and timing aware synchronous programming.

Jia Jie Wang, Partha S. Roop, Alain Girault

Proceedings of the 2016 International Conference on Embedded Software, 2016

2015

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

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

Proceedings of the 10th IEEE International Symposium on Industrial Embedded Systems, 2015

Automatic Time-Redundancy Transformation for Fault-Tolerant Circuits.

Dmitry Burlyaev, Pascal Fradet, Alain Girault

Proceedings of the 2015 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, 2015

Time-redundancy transformations for adaptive fault-tolerant circuits.

Dmitry Burlyaev, Pascal Fradet, Alain Girault

Proceedings of the 2015 NASA/ESA Conference on Adaptive Hardware and Systems, 2015

2014

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

Roopak Sinha, Alain Girault, Gregor Goessler, Partha S. Roop

ACM Trans. Design Autom. Electr. Syst., 2014

Building timing predictable embedded systems.

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

ACM Trans. Embed. Comput. Syst., 2014

A Predictable Framework for Safety-Critical Embedded Systems.

Sidharta Andalam, Partha S. Roop, Alain Girault, Claus Traulsen

IEEE Trans. Computers, 2014

libDGALS: A library-based approach to design dynamic GALS systems.

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

Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems, 2014

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

Vagelis Bebelis, Pascal Fradet, Alain Girault

Proceedings of the SIGPLAN/SIGBED Conference on Languages, 2014

Verification-guided voter minimization in triple-modular redundant circuits.

Dmitry Burlyaev, Pascal Fradet, Alain Girault

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

2013

Tradeoff exploration between reliability, power consumption, and execution time for embedded systems - The TSH tricriteria scheduling heuristic.

Ismail Assayad, Alain Girault, Hamoudi Kalla

Int. J. Softw. Tools Technol. Transf., 2013

Reliability and performance optimization of pipelined real-time systems.

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

J. Parallel Distributed Comput., 2013

Synchronous Programming (Dagstuhl Seminar 13471).

Stephen A. Edwards, Alain Girault, Klaus Schneider

Dagstuhl Reports, 2013

BPDF: A statically analyzable dataflow model with integer and boolean parameters.

Vagelis Bebelis, Pascal Fradet, Alain Girault, Bruno Lavigueur

Proceedings of the International Conference on Embedded Software, 2013

Precise timing analysis for direct-mapped caches.

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

Proceedings of the 50th Annual Design Automation Conference 2013, 2013

Programming and Timing Analysis of Parallel Programs on Multicores.

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

Proceedings of the 13th International Conference on Application of Concurrency to System Design, 2013

2012

Formal Semantics, Compilation and Execution of the GALS Programming Language DSystemJ.

Avinash Malik, Alain Girault, Zoran Salcic

IEEE Trans. Parallel Distributed Syst., 2012

Probabilistic contracts for component-based design.

Gregor Gößler, Dana N. Xu, Alain Girault

Formal Methods Syst. Des., 2012

SPDF: A schedulable parametric data-flow MoC.

Pascal Fradet, Alain Girault, Peter Poplavko

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

2011

Tradeoff Exploration between Reliability, Power Consumption, and Execution Time.

Ismail Assayad, Alain Girault, Hamoudi Kalla

Proceedings of the Computer Safety, Reliability, and Security, 2011

Pruning infeasible paths for tight WCRT analysis of synchronous programs.

Sidharta Andalam, Partha S. Roop, Alain Girault

Proceedings of the Design, Automation and Test in Europe, 2011

Widening with Thresholds for Programs with Complex Control Graphs.

Lies Lakhdar-Chaouch, Bertrand Jeannet, Alain Girault

Proceedings of the Automated Technology for Verification and Analysis, 2011

A GALS Language for Dynamic Distributed and Reactive Programs.

Avinash Malik, Alain Girault, Zoran Salcic

Proceedings of the 11th International Conference on Application of Concurrency to System Design, 2011

2010

SystemJ: A GALS language for system level design.

Avinash Malik, Zoran Salcic, Partha S. Roop, Alain Girault

Comput. Lang. Syst. Struct., 2010

Multicriteria optimal reconfiguration of fault-tolerant real-time tasks.

Emil Dumitrescu, Alain Girault, Hervé Marchand, Éric Rutten

Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

Predictable multithreading of embedded applications using PRET-C.

Sidharta Andalam, Partha S. Roop, Alain Girault

Proceedings of the 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), 2010

Deterministic, predictable and light-weight multithreading using PRET-C.

Sidharta Andalam, Partha S. Roop, Alain Girault

Proceedings of the Design, Automation and Test in Europe, 2010

2009

A Novel Bicriteria Scheduling Heuristics Providing a Guaranteed Global System Failure Rate.

Alain Girault, Hamoudi Kalla

IEEE Trans. Dependable Secur. Comput., 2009

Reliability versus performance for critical applications.

Alain Girault, Erik Saule, Denis Trystram

J. Parallel Distributed Comput., 2009

Automating the addition of fault tolerance with discrete controller synthesis.

Alain Girault, Éric Rutten

Formal Methods Syst. Des., 2009

A customizable multiprocessor for Globally Asynchronous Locally Synchronous execution.

Avinash Malik, Zoran A. Salcic, Alain Girault, Adam Walker, Sung Chul Lee

Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2009

Model-Based Design of Embedded Control Systems by Means of a Synchronous Intermediate Model.

Mouaiad Alras, Paul Caspi, Alain Girault, Pascal Raymond

Proceedings of the International Conference on Embedded Software and Systems, 2009

Specification Enforcing Refinement for Convertibility Verification.

Partha S. Roop, Alain Girault, Roopak Sinha, Gregor Goessler

Proceedings of the Ninth International Conference on Application of Concurrency to System Design, 2009

2008

Implementing fault-tolerance in real-time programs by automatic program transformations.

Tolga Ayav, Pascal Fradet, Alain Girault

ACM Trans. Embed. Comput. Syst., 2008

Bicriteria Multi-Processor Static Scheduling.

Alain Girault, Hamoudi Kalla

ERCIM News, 2008

Preface.

Alain Girault, Éric Rutten

Proceedings of the Third International Workshop on Model-driven High-level Programming of Embedded Systems, 2008

Selected Papers from SLA++P 07 and 08 Model-Driven High-Level Programming of Embedded Systems.

Florence Maraninchi, Michael Mendler, Marc Pouzet, Alain Girault, Éric Rutten

EURASIP J. Embed. Syst., 2008

A type system for the automatic distribution of higher-order synchronous dataflow programs.

Gwenaël Delaval, Alain Girault, Marc Pouzet

Proceedings of the 2008 ACM SIGPLAN/SIGBED Conference on Languages, 2008

2007

Preface.

Alain Girault, Robert de Simone

Proceedings of the Third International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design, 2007

Synchronous Paradigm in Embedded Systems.

Alain Girault, S. Ramesh, Jean-Pierre Talpin

EURASIP J. Embed. Syst., 2007

Adaptor Synthesis for Real-Time Components.

Massimo Tivoli, Pascal Fradet, Alain Girault, Gregor Gößler

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

2006

Automatic rate desynchronization of embedded reactive programs.

Alain Girault, Xavier Nicollin, Marc Pouzet

ACM Trans. Embed. Comput. Syst., 2006

Transient Processor/Bus Fault Tolerance for Embedded Systems.

Alain Girault, Hamoudi Kalla, Yves Sorel

Proceedings of the From Model-Driven Design to Resource Management for Distributed Embedded Systems, 2006

A flexible method to tolerate value sensor failures.

Alain Girault, Huafeng Yu

Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006

Implementing fault-tolerance in real-time systems by automatic program transformations.

Tolga Ayav, Pascal Fradet, Alain Girault

Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

Contributions à la conception sûre des systèmes embarqués sûrs. (Contributions to the safe design of safe embedded systems).

Alain Girault

, 2006

2004

Preface.

Florence Maraninchi, Alain Girault, Marc Pouzet

Proceedings of the Third International Workshop on Synchronous Languages, 2004

Modeling Fault-tolerant Distributed Systems for Discrete Controller Synthesis.

Alain Girault, Éric Rutten

Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, 2004

An Active Replication Scheme that Tolerates Failures in Distributed Embedded Real-Time Systems.

Alain Girault, Hamoudi Kalla, Yves Sorel

Proceedings of the Design Methods and Applications for Distributed Embedded Systems, 2004

Static Fault-Tolerant Real-Time Scheduling with "Pseudo-topological" Orders.

Catalin Dima, Alain Girault, Yves Sorel

Proceedings of the Formal Techniques, 2004

Towards a higher-order synchronous data-flow language.

Jean-Louis Colaço, Alain Girault, Grégoire Hamon, Marc Pouzet

Proceedings of the EMSOFT 2004, 2004

A Bi-Criteria Scheduling Heuristic for Distributed Embedded Systems under Reliability and Real-Time Constraints.

Ismail Assayad, Alain Girault, Hamoudi Kalla

Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004

2003

Foreword.

Florence Maraninchi, Alain Girault, Éric Rutten

Proceedings of the Synchronous Languages, Applications and Programming, 2003

Clock-Driven Automatic Distribution of Lustre Programs.

Alain Girault, Xavier Nicollin

Proceedings of the Embedded Software, Third International Conference, 2003

An Algorithm for Automatically Obtaining Distributed and Fault-Tolerant Static Schedules.

Alain Girault, Hamoudi Kalla, Mihaela Sighireanu, Yves Sorel

Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

2002

Elimination of redundant messages with a two-pass static analysis algorithm.

Alain Girault

Parallel Comput., 2002

Preface.

Florence Maraninchi, Alain Girault, Éric Rutten

Proceedings of the Synchronous Languages, Applications, and Programming, 2002

Automatic Production of Globally Asynchronous Locally Synchronous Systems.

Alain Girault, Clément Ménier

Proceedings of the Embedded Software, Second International Conference, 2002

2001

Off-Line Real-Time Fault-Tolerant Scheduling.

Catalin Dima, Alain Girault, Christophe Lavarenne, Yves Sorel

Proceedings of the Ninth Euromicro Workshop on Parallel and Distributed Processing, 2001

Generation of Fault-Tolerant Static Scheduling for Real-Time Distributed Embedded Systems with Multi-Point Links.

Alain Girault, Christophe Lavarenne, Mihaela Sighireanu, Yves Sorel

Proceedings of the 15th International Parallel & Distributed Processing Symposium (IPDPS-01), 2001

Fault-Tolerant Static Scheduling for Real-Time Distributed Embedded Systems.

Alain Girault, Christophe Lavarenne, Yves Sorel, Mihaela Sighireanu

Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS 2001), 2001

Synchronous programming of automatic control applications using ORCCAD and ESTEREL.

Daniel Simon, Alain Girault

Proceedings of the 40th IEEE Conference on Decision and Control, 2001

Software Implementation of Synchronous Programs.

Charles Andre, Frédéric Boulanger, Alain Girault

Proceedings of the 2nd International Conference on Application of Concurrency to System Design (ACSD 2001), 2001

1999

Automatic Distribution of Reactive Systems for Asynchronous Networks of Processors.

Paul Caspi, Alain Girault, Daniel Pilaud

IEEE Trans. Software Eng., 1999

Hierarchical finite state machines with multiple concurrency models.

Alain Girault, Bilung Lee, Edward A. Lee

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1999

Sensor Modeling for a Walking Robot Simulation.

L. France, Alain Girault, Jean-Dominique Gascuel, Bernard Espiau

Proceedings of the Eurographics Workshop on Computer Animation and Simulation 1999, 1999

1995

An Algorithm for Reducing Binary Branchings.

Paul Caspi, Jean-Claude Fernandez, Alain Girault

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1995

Execution of Distributed Reactive Systems.

Paul Caspi, Alain Girault

Proceedings of the Euro-Par '95 Parallel Processing, 1995

1994

Sur la répartition de programmes synchrones.

Alain Girault

PhD thesis, 1994

1992

Distributing Finite Transition Systems Extended Abstract.

Paul Caspi, Alain Girault

Proceedings of the PARLE '92: Parallel Architectures and Languages Europe, 1992