Distributing Finite Transition Systems Extended Abstract. - Paul Caspi; Alain Girault (PARLE, 1992)

Sur la répartition de programmes synchrones. - Alain Girault (1994)

Execution of Distributed Reactive Systems. - Paul Caspi; Alain Girault (Euro-Par, 1995)

An Algorithm for Reducing Binary Branchings. - Paul Caspi; Jean-Claude Fernandez; Alain Girault (FSTTCS, 1995)

Sensor Modeling for a Walking Robot Simulation. - L. France; Alain Girault; Jean-Dominique Gascuel; Bernard Espiau (Computer Animation and Simulation, 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)

Automatic Distribution of Reactive Systems for Asynchronous Networks of Processors. - Paul Caspi; Alain Girault; Daniel Pilaud (IEEE Trans. Software Eng., 1999)

Software Implementation of Synchronous Programs. - Charles Andre; Frédéric Boulanger; Alain Girault (ACSD, 2001)

Synchronous programming of automatic control applications using ORCCAD and ESTEREL. - Daniel Simon; Alain Girault (CDC, 2001)

Fault-Tolerant Static Scheduling for Real-Time Distributed Embedded Systems. - Alain Girault; Christophe Lavarenne; Yves Sorel; Mihaela Sighireanu (ICDCS, 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 (IPDPS, 2001)

Off-Line Real-Time Fault-Tolerant Scheduling. - Catalin Dima; Alain Girault; Christophe Lavarenne; Yves Sorel (PDP, 2001)

Automatic Production of Globally Asynchronous Locally Synchronous Systems. - Alain Girault; Clément Ménier (EMSOFT, 2002)

Preface. - Florence Maraninchi; Alain Girault; Éric Rutten (SLAP@ETAPS, 2002)

Elimination of redundant messages with a two-pass static analysis algorithm. - Alain Girault (Parallel Comput., 2002)

An Algorithm for Automatically Obtaining Distributed and Fault-Tolerant Static Schedules. - Alain Girault; Hamoudi Kalla; Mihaela Sighireanu; Yves Sorel (DSN, 2003)

Clock-Driven Automatic Distribution of Lustre Programs. - Alain Girault; Xavier Nicollin (EMSOFT, 2003)

Foreword. - Florence Maraninchi; Alain Girault; Éric Rutten (SLAP, 2003)

A Bi-Criteria Scheduling Heuristic for Distributed Embedded Systems under Reliability and Real-Time Constraints. - Ismail Assayad; Alain Girault; Hamoudi Kalla (DSN, 2004)

Towards a higher-order synchronous data-flow language. - Jean-Louis Colaço; Alain Girault; Grégoire Hamon; Marc Pouzet (EMSOFT, 2004)

Static Fault-Tolerant Real-Time Scheduling with "Pseudo-topological" Orders. - Catalin Dima; Alain Girault; Yves Sorel (FORMATS/FTRTFT, 2004)

An Active Replication Scheme that Tolerates Failures in Distributed Embedded Real-Time Systems. - Alain Girault; Hamoudi Kalla; Yves Sorel (DIPES, 2004)

Modeling Fault-tolerant Distributed Systems for Discrete Controller Synthesis. - Alain Girault; Éric Rutten (FMICS, 2004)

Preface. - Florence Maraninchi; Alain Girault; Marc Pouzet (SLAP@ETAPS, 2004)

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

Implementing fault-tolerance in real-time systems by automatic program transformations. - Tolga Ayav; Pascal Fradet; Alain Girault (EMSOFT, 2006)

A flexible method to tolerate value sensor failures. - Alain Girault; Huafeng Yu (ETFA, 2006)

Transient Processor/Bus Fault Tolerance for Embedded Systems. - Alain Girault; Hamoudi Kalla; Yves Sorel (DIPES, 2006)

Automatic rate desynchronization of embedded reactive programs. - Alain Girault; Xavier Nicollin; Marc Pouzet (ACM Trans. Embed. Comput. Syst., 2006)

Adaptor Synthesis for Real-Time Components. - Massimo Tivoli; Pascal Fradet; Alain Girault; Gregor Gößler (TACAS, 2007)

Synchronous Paradigm in Embedded Systems. - Alain Girault; S. Ramesh; Jean-Pierre Talpin (EURASIP J. Embed. Syst., 2007)

Preface. - Alain Girault; Robert de Simone (FMGALS@MEMOCODE, 2007)

A type system for the automatic distribution of higher-order synchronous dataflow programs. - Gwenaël Delaval; Alain Girault; Marc Pouzet (LCTES, 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)

Preface. - Alain Girault; Éric Rutten (SLAP@ETAPS, 2008)

Bicriteria Multi-Processor Static Scheduling. - Alain Girault; Hamoudi Kalla (ERCIM News, 2008)

Implementing fault-tolerance in real-time programs by automatic program transformations. - Tolga Ayav; Pascal Fradet; Alain Girault (ACM Trans. Embed. Comput. Syst., 2008)

Specification Enforcing Refinement for Convertibility Verification. - Partha S. Roop; Alain Girault; Roopak Sinha; Gregor Goessler (ACSD, 2009)

Model-Based Design of Embedded Control Systems by Means of a Synchronous Intermediate Model. - Mouaiad Alras; Paul Caspi; Alain Girault; Pascal Raymond (ICESS, 2009)

A customizable multiprocessor for Globally Asynchronous Locally Synchronous execution. - Avinash Malik; Zoran A. Salcic; Alain Girault; Adam Walker; Sung Chul Lee (JTRES, 2009)

Automating the addition of fault tolerance with discrete controller synthesis. - Alain Girault; Éric Rutten (Formal Methods Syst. Des., 2009)

Reliability versus performance for critical applications. - Alain Girault; Erik Saule; Denis Trystram (J. Parallel Distributed Comput., 2009)

A Novel Bicriteria Scheduling Heuristics Providing a Guaranteed Global System Failure Rate. - Alain Girault; Hamoudi Kalla (IEEE Trans. Dependable Secur. Comput., 2009)

Deterministic, predictable and light-weight multithreading using PRET-C. - Sidharta Andalam; Partha S. Roop; Alain Girault (DATE, 2010)

Predictable multithreading of embedded applications using PRET-C. - Sidharta Andalam; Partha S. Roop; Alain Girault (MEMOCODE, 2010)

Multicriteria optimal reconfiguration of fault-tolerant real-time tasks. - Emil Dumitrescu; Alain Girault; Hervé Marchand; Éric Rutten (WODES, 2010)

SystemJ: A GALS language for system level design. - Avinash Malik; Zoran Salcic; Partha S. Roop; Alain Girault (Comput. Lang. Syst. Struct., 2010)

A GALS Language for Dynamic Distributed and Reactive Programs. - Avinash Malik; Alain Girault; Zoran Salcic (ACSD, 2011)

Widening with Thresholds for Programs with Complex Control Graphs. - Lies Lakhdar-Chaouch; Bertrand Jeannet; Alain Girault (ATVA, 2011)

Pruning infeasible paths for tight WCRT analysis of synchronous programs. - Sidharta Andalam; Partha S. Roop; Alain Girault (DATE, 2011)

Tradeoff Exploration between Reliability, Power Consumption, and Execution Time. - Ismail Assayad; Alain Girault; Hamoudi Kalla (SAFECOMP, 2011)

SPDF: A schedulable parametric data-flow MoC. - Pascal Fradet; Alain Girault; Peter Poplavko (DATE, 2012)

Probabilistic contracts for component-based design. - Gregor Gößler; Dana N. Xu; Alain Girault (Formal Methods Syst. Des., 2012)

Formal Semantics, Compilation and Execution of the GALS Programming Language DSystemJ. - Avinash Malik; Alain Girault; Zoran Salcic (IEEE Trans. Parallel Distributed Syst., 2012)

Programming and Timing Analysis of Parallel Programs on Multicores. - Eugene Yip; Partha S. Roop; Morteza Biglari-Abhari; Alain Girault (ACSD, 2013)

Precise timing analysis for direct-mapped caches. - Sidharta Andalam; Alain Girault; Roopak Sinha; Partha S. Roop; Jan Reineke 001 (DAC, 2013)

BPDF: A statically analyzable dataflow model with integer and boolean parameters. - Vagelis Bebelis; Pascal Fradet; Alain Girault; Bruno Lavigueur (EMSOFT, 2013)

Synchronous Programming (Dagstuhl Seminar 13471). - Stephen A. Edwards; Alain Girault; Klaus Schneider 001 (Dagstuhl Reports, 2013)

Reliability and performance optimization of pipelined real-time systems. - Anne Benoit; Fanny Dufossé; Alain Girault; Yves Robert (J. Parallel Distributed Comput., 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)

Verification-guided voter minimization in triple-modular redundant circuits. - Dmitry Burlyaev; Pascal Fradet; Alain Girault (DATE, 2014)

A framework to schedule parametric dataflow applications on many-core platforms. - Vagelis Bebelis; Pascal Fradet; Alain Girault (LCTES, 2014)

libDGALS: A library-based approach to design dynamic GALS systems. - Wei-Tsun Sun; Zoran A. Salcic; Alain Girault; Avinash Malik (SIES, 2014)

A Predictable Framework for Safety-Critical Embedded Systems. - Sidharta Andalam; Partha S. Roop; Alain Girault; Claus Traulsen (IEEE Trans. Computers, 2014)

Building timing predictable embedded systems. - Philip Axer; Rolf Ernst; Heiko Falk; Alain Girault; Daniel Grund; Nan Guan; Bengt Jonsson 001; Peter Marwedel; Jan Reineke 001; Christine Rochange; Maurice Sebastian; Reinhard von Hanxleden; et al. (ACM Trans. Embed. Comput. Syst., 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)

Time-redundancy transformations for adaptive fault-tolerant circuits. - Dmitry Burlyaev; Pascal Fradet; Alain Girault (AHS, 2015)

Automatic Time-Redundancy Transformation for Fault-Tolerant Circuits. - Dmitry Burlyaev; Pascal Fradet; Alain Girault (FPGA, 2015)

A formal approach for the synthesis and implementation of fault-tolerant industrial embedded systems. - Wei-Tsun Sun; Alain Girault; Gwenaël Delaval (SIES, 2015)

Energy and timing aware synchronous programming. - Jia Jie Wang; Partha S. Roop; Alain Girault (EMSOFT, 2016)

The ForeC Synchronous Deterministic Parallel Programming Language for Multicores. - Eugene Yip; Alain Girault; Partha S. Roop; Morteza Biglari-Abhari (MCSoC, 2016)

Symbolic Buffer Sizing for Throughput-Optimal Scheduling of Dataflow Graphs. - Adnan Bouakaz; Pascal Fradet; Alain Girault (RTAS, 2016)

Real-time ticks for synchronous programming. - Reinhard von Hanxleden; Timothy Bourke; Alain Girault (FDL, 2017)

Adaptive Mapping for Multiple Applications on Parallel Architectures. - Ismail Assayad; Alain Girault (UNet, 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)

A Survey of Parametric Dataflow Models of Computation. - Adnan Bouakaz; Pascal Fradet; Alain Girault (ACM Trans. Design Autom. Electr. Syst., 2017)

Symbolic Analyses of Dataflow Graphs. - Adnan Bouakaz; Pascal Fradet; Alain Girault (ACM Trans. Design Autom. Electr. Syst., 2017)

Lossy Channels in a Dataflow Model of Computation. - Pascal Fradet; Alain Girault; Leila Jamshidian; Xavier Nicollin; Arash Shafiei 001 (Principles of Modeling, 2018)

Building Correct Cyber-Physical Systems: Why We Need a Multiview Contract Theory. - Susanne Graf; Sophie Quinton; Alain Girault; Gregor Gößler (FMICS, 2018)

Monotonic Prefix Consistency in Distributed Systems. - Alain Girault; Gregor Gößler; Rachid Guerraoui; Jad Hamza; Dragos-Adrian Seredinschi (FORTE, 2018)

A Static Analysis for the Minimization of Voters in Fault-Tolerant Circuits. - Dmitry Burlyaev; Pascal Fradet; Alain Girault (Leibniz Trans. Embed. Syst., 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)

RDF: Reconfigurable Dataflow. - Pascal Fradet; Alain Girault; Ruby Krishnaswamy; Xavier Nicollin; Arash Shafiei 001 (DATE, 2019)

A Multi-Rate Precision Timed Programming Language for Multi-Cores. - Alain Girault; Nicolas Hili; Eric Jenn; Eugene Yip (FDL, 2019)

Worst-Case Reaction Time Optimization on Deterministic Multi-Core Architectures with Synchronous Languages. - Nicolas Hili; Alain Girault; Eric Jenn (RTCSA, 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)

Discrete and Continuous Optimal Control for Energy Minimization in Real-Time Systems. - Bruno Gaujal; Alain Girault; Stéphan Plassart (EBCCSP, 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)

Feasibility of on-line speed policies in real-time systems. - Bruno Gaujal; Alain Girault; Stéphan Plassart (Real Time Syst., 2020)

Dynamic speed scaling minimizing expected energy consumption for real-time tasks. - Bruno Gaujal; Alain Girault; Stéphan Plassart (J. Sched., 2020)

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)

Introduction to the Special Issue on Specification and Design Languages (FDL 2019). - Alain Girault; Reinhard von Hanxleden (ACM Trans. Embed. Comput. Syst., 2021)

Assessing the Potential of Carpooling for Reducing Vehicle Kilometers Traveled. - Aina Rasoldier; Alain Girault; Sophie Quinton; Jacques Combaz; Kevin Marquet (ICT4S, 2023)

Sequential Scheduling of Dataflow Graphs for Memory Peak Minimization. - Pascal Fradet; Alain Girault; Alexandre Honorat (LCTES, 2023)

RDF: A Reconfigurable Dataflow Model of Computation. - Pascal Fradet; Alain Girault; Ruby Krishnaswamy; Xavier Nicollin; Arash Shafiei 001 (ACM Trans. Embed. Comput. Syst., 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., 2023)

Report on the 2023 Embedded Systems Week (ESWEEK). - Xiaobo Sharon Hu; Alain Girault; Heiko Falk (IEEE Des. Test, 2024)

Introduction to the Special Issue on Specification and Design Languages (FDL 2021). - Julien Deantoni; Alain Girault; Daniel Große (ACM Trans. Embed. Comput. Syst., 2024)

Parallel Scheduling of Task Graphs with Minimal Memory Requirements. - Pascal Fradet; Alain Girault; Alexandre Honorat (IPDPS, 2025)

Report on the 2024 Embedded Systems Week (ESWEEK). - Alain Girault; Tei-Wei Kuo; Frank Mueller 001 (IEEE Des. Test, 2025)

An MDP-based solution for the energy minimization of non-clairvoyant hard real-time systems. - Bruno Gaujal; Alain Girault; Stéphan Plassart (Real Time Syst., 2025)