Alain Girault

ORCID

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 32

Top Venues

ACM Trans. Design Autom. Electr. Syst.

ACM Trans. Embed. Comput. Syst.

FDL

DATE

Grenoble Institute of Technology, France (PHD)

Education History

Grenoble Institute of Technology, France

PHD

Publications

Xiaobo Sharon Hu, Alain Girault, Heiko Falk
Report on the 2023 Embedded Systems Week (ESWEEK). IEEE Des. Test 41 (2) (2024)
Eugene Yip, Alain Girault, Partha S. Roop, Morteza Biglari-Abhari
Synchronous Deterministic Parallel Programming for Multi-Cores with ForeC. ACM Trans. Program. Lang. Syst. 45 (2) (2023)
Pascal Fradet, Alain Girault, Ruby Krishnaswamy, Xavier Nicollin, Arash Shafiei
RDF: A Reconfigurable Dataflow Model of Computation. ACM Trans. Embed. Comput. Syst. 22 (1) (2023)
Pascal Fradet, Alain Girault, Alexandre Honorat
Sequential Scheduling of Dataflow Graphs for Memory Peak Minimization. LCTES (2023)
Aina Rasoldier, Alain Girault, Sophie Quinton, Jacques Combaz, Kevin Marquet
Assessing the Potential of Carpooling for Reducing Vehicle Kilometers Traveled. ICT4S (2023)
Bruno Gaujal, Alain Girault, Stéphan Plassart
A pseudo-linear time algorithm for the optimal discrete speed minimizing energy consumption. Discret. Event Dyn. Syst. 31 (2) (2021)
Alain Girault, Reinhard von Hanxleden
Introduction to the Special Issue on Specification and Design Languages (FDL 2019). ACM Trans. Embed. Comput. Syst. 20 (4) (2021)
Bruno Gaujal, Alain Girault, Stéphan Plassart
Discrete and Continuous Optimal Control for Energy Minimization in Real-Time Systems. EBCCSP (2020)
Pierre Alliez, Roberto Di Cosmo, Benjamin Guedj, Alain Girault, Mohand-Saïd Hacid, Arnaud Legrand, Nicolas P. Rougier
Attributing and Referencing (Research) Software: Best Practices and Outlook From Inria. Comput. Sci. Eng. 22 (1) (2020)
Bruno Gaujal, Alain Girault, Stéphan Plassart
Feasibility of on-line speed policies in real-time systems. Real Time Syst. 56 (3) (2020)
Bruno Gaujal, Alain Girault, Stéphan Plassart
Dynamic speed scaling minimizing expected energy consumption for real-time tasks. J. Sched. 23 (5) (2020)
Pascal Fradet, Alain Girault, Ruby Krishnaswamy, Xavier Nicollin, Arash Shafiei
RDF: Reconfigurable Dataflow. DATE (2019)
Nicolas Hili, Alain Girault, Eric Jenn
Worst-Case Reaction Time Optimization on Deterministic Multi-Core Architectures with Synchronous Languages. RTCSA (2019)
Athena Abdi, Alain Girault, Hamid R. Zarandi
ERPOT: A Quad-Criteria Scheduling Heuristic to Optimize Execution Time, Reliability, Power Consumption and Temperature in Multicores. IEEE Trans. Parallel Distributed Syst. 30 (10) (2019)
Alain Girault, Nicolas Hili, Eric Jenn, Eugene Yip
A Multi-Rate Precision Timed Programming Language for Multi-Cores. FDL (2019)
Pierre Alliez, Roberto Di Cosmo, Benjamin Guedj, Alain Girault, Mohand-Said Hacid, Arnaud Legrand, Nicolas P. Rougier
Attributing and Referencing (Research) Software: Best Practices and Outlook from Inria. CoRR (2019)
Alain Girault, Christophe Prévot, Sophie Quinton, Rafik Henia, Nicolas Sordon
Improving and Estimating the Precision of Bounds on the Worst-Case Latency of Task Chains. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37 (11) (2018)
Dmitry Burlyaev, Pascal Fradet, Alain Girault
A Static Analysis for the Minimization of Voters in Fault-Tolerant Circuits. Leibniz Trans. Embed. Syst. 5 (1) (2018)
Alain Girault, Gregor Gößler, Rachid Guerraoui, Jad Hamza, Dragos-Adrian Seredinschi
Monotonic Prefix Consistency in Distributed Systems. FORTE (2018)
Susanne Graf, Sophie Quinton, Alain Girault, Gregor Gößler
Building Correct Cyber-Physical Systems: Why We Need a Multiview Contract Theory. FMICS (2018)
Pascal Fradet, Alain Girault, Leila Jamshidian, Xavier Nicollin, Arash Shafiei
Lossy Channels in a Dataflow Model of Computation. Principles of Modeling (2018)
Adnan Bouakaz, Pascal Fradet, Alain Girault
Symbolic Analyses of Dataflow Graphs. ACM Trans. Design Autom. Electr. Syst. 22 (2) (2017)
Alain Girault, Gregor Gößler, Rachid Guerraoui, Jad Hamza, Dragos-Adrian Seredinschi
Why You Can't Beat Blockchains: Consistency and High Availability in Distributed Systems. CoRR (2017)
Ismail Assayad, Alain Girault
Adaptive Mapping for Multiple Applications on Parallel Architectures. UNet (2017)
Adnan Bouakaz, Pascal Fradet, Alain Girault
A Survey of Parametric Dataflow Models of Computation. ACM Trans. Design Autom. Electr. Syst. 22 (2) (2017)
Reinhard von Hanxleden, Timothy Bourke, Alain Girault
Real-time ticks for synchronous programming. FDL (2017)
Eugene Yip, Alain Girault, Partha S. Roop, Morteza Biglari-Abhari
The ForeC Synchronous Deterministic Parallel Programming Language for Multicores. MCSoC (2016)
Jia Jie Wang, Partha S. Roop, Alain Girault
Energy and timing aware synchronous programming. EMSOFT (2016)
Adnan Bouakaz, Pascal Fradet, Alain Girault
Symbolic Buffer Sizing for Throughput-Optimal Scheduling of Dataflow Graphs. RTAS (2016)
Wei-Tsun Sun, Alain Girault, Gwenaël Delaval
A formal approach for the synthesis and implementation of fault-tolerant industrial embedded systems. SIES (2015)
Dmitry Burlyaev, Pascal Fradet, Alain Girault
Time-redundancy transformations for adaptive fault-tolerant circuits. AHS (2015)
Dmitry Burlyaev, Pascal Fradet, Alain Girault
Automatic Time-Redundancy Transformation for Fault-Tolerant Circuits. FPGA (2015)
Roopak Sinha, Alain Girault, Gregor Goessler, Partha S. Roop
A Formal Approach to Incremental Converter Synthesis for System-on-Chip Design. ACM Trans. Design Autom. Electr. Syst. 20 (1) (2014)
Sidharta Andalam, Partha S. Roop, Alain Girault, Claus Traulsen
A Predictable Framework for Safety-Critical Embedded Systems. IEEE Trans. Computers 63 (7) (2014)
Dmitry Burlyaev, Pascal Fradet, Alain Girault
Verification-guided voter minimization in triple-modular redundant circuits. DATE (2014)
Wei-Tsun Sun, Zoran A. Salcic, Alain Girault, Avinash Malik
libDGALS: A library-based approach to design dynamic GALS systems. SIES (2014)
Vagelis Bebelis, Pascal Fradet, Alain Girault
A framework to schedule parametric dataflow applications on many-core platforms. LCTES (2014)
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
Building timing predictable embedded systems. ACM Trans. Embed. Comput. Syst. 13 (4) (2014)
Ismail Assayad, Alain Girault, Hamoudi Kalla
Tradeoff exploration between reliability, power consumption, and execution time for embedded systems - The TSH tricriteria scheduling heuristic. Int. J. Softw. Tools Technol. Transf. 15 (3) (2013)
Vagelis Bebelis, Pascal Fradet, Alain Girault, Bruno Lavigueur
BPDF: A statically analyzable dataflow model with integer and boolean parameters. EMSOFT (2013)
Anne Benoit, Fanny Dufossé, Alain Girault, Yves Robert
Reliability and performance optimization of pipelined real-time systems. J. Parallel Distributed Comput. 73 (6) (2013)
Stephen A. Edwards, Alain Girault, Klaus Schneider
Synchronous Programming (Dagstuhl Seminar 13471). Dagstuhl Reports 3 (11) (2013)
Sidharta Andalam, Alain Girault, Roopak Sinha, Partha S. Roop, Jan Reineke
Precise timing analysis for direct-mapped caches. DAC (2013)
Eugene Yip, Partha S. Roop, Morteza Biglari-Abhari, Alain Girault
Programming and Timing Analysis of Parallel Programs on Multicores. ACSD (2013)
Avinash Malik, Alain Girault, Zoran Salcic
Formal Semantics, Compilation and Execution of the GALS Programming Language DSystemJ. IEEE Trans. Parallel Distributed Syst. 23 (7) (2012)
Pascal Fradet, Alain Girault, Peter Poplavko
SPDF: A schedulable parametric data-flow MoC. DATE (2012)
Gwenaël Delaval, Alain Girault, Marc Pouzet
A Type System for the Automatic Distribution of Higher-order Synchronous Dataflow Programs CoRR (2012)
Gregor Gößler, Dana N. Xu, Alain Girault
Probabilistic contracts for component-based design. Formal Methods Syst. Des. 41 (2) (2012)
Sidharta Andalam, Partha S. Roop, Alain Girault
Pruning infeasible paths for tight WCRT analysis of synchronous programs. DATE (2011)
Avinash Malik, Alain Girault, Zoran Salcic
A GALS Language for Dynamic Distributed and Reactive Programs. ACSD (2011)
Lies Lakhdar-Chaouch, Bertrand Jeannet, Alain Girault
Widening with Thresholds for Programs with Complex Control Graphs. ATVA (2011)
Ismail Assayad, Alain Girault, Hamoudi Kalla
Tradeoff Exploration between Reliability, Power Consumption, and Execution Time. SAFECOMP (2011)
Emil Dumitrescu, Alain Girault, Hervé Marchand, Éric Rutten
Multicriteria optimal reconfiguration of fault-tolerant real-time tasks. WODES (2010)
Anne Benoit, Fanny Dufossé, Alain Girault, Yves Robert
Reliability and Performance Optimization of Pipelined Real-Time Systems. ICPP (2010)
Dana N. Xu, Gregor Gößler, Alain Girault
Probabilistic Contracts for Component-Based Design. ATVA (2010)
Sidharta Andalam, Partha S. Roop, Alain Girault
Predictable multithreading of embedded applications using PRET-C. MEMOCODE (2010)
Avinash Malik, Zoran Salcic, Partha S. Roop, Alain Girault
SystemJ: A GALS language for system level design. Comput. Lang. Syst. Struct. 36 (4) (2010)
Sidharta Andalam, Partha S. Roop, Alain Girault
Deterministic, predictable and light-weight multithreading using PRET-C. DATE (2010)
Alain Girault, Éric Rutten
Automating the addition of fault tolerance with discrete controller synthesis. Formal Methods Syst. Des. 35 (2) (2009)
Avinash Malik, Zoran A. Salcic, Alain Girault, Adam Walker, Sung Chul Lee
A customizable multiprocessor for Globally Asynchronous Locally Synchronous execution. JTRES (2009)
Mouaiad Alras, Paul Caspi, Alain Girault, Pascal Raymond
Model-Based Design of Embedded Control Systems by Means of a Synchronous Intermediate Model. ICESS (2009)
Partha S. Roop, Alain Girault, Roopak Sinha, Gregor Goessler
Specification Enforcing Refinement for Convertibility Verification. ACSD (2009)
Alain Girault, Hamoudi Kalla
A Novel Bicriteria Scheduling Heuristics Providing a Guaranteed Global System Failure Rate. IEEE Trans. Dependable Secur. Comput. 6 (4) (2009)
Alain Girault, Erik Saule, Denis Trystram
Reliability versus performance for critical applications. J. Parallel Distributed Comput. 69 (3) (2009)
Alain Girault, Éric Rutten
Preface. Electron. Notes Theor. Comput. Sci. 238 (1) (2009)
Florence Maraninchi, Michael Mendler, Marc Pouzet, Alain Girault, Éric Rutten
Selected Papers from SLA++P 07 and 08 Model-Driven High-Level Programming of Embedded Systems. EURASIP J. Embed. Syst. 2008 (2008)
Gwenaël Delaval, Alain Girault, Marc Pouzet
A type system for the automatic distribution of higher-order synchronous dataflow programs. LCTES (2008)
Alain Girault, Hamoudi Kalla
Bicriteria Multi-Processor Static Scheduling. ERCIM News 2008 (75) (2008)
Tolga Ayav, Pascal Fradet, Alain Girault
Implementing fault-tolerance in real-time programs by automatic program transformations. ACM Trans. Embed. Comput. Syst. 7 (4) (2008)
Alain Girault, Robert de Simone
Preface. Electron. Notes Theor. Comput. Sci. 200 (1) (2008)
Alain Girault, S. Ramesh, Jean-Pierre Talpin
Synchronous Paradigm in Embedded Systems. EURASIP J. Embed. Syst. 2007 (2007)
Massimo Tivoli, Pascal Fradet, Alain Girault, Gregor Gößler
Adaptor Synthesis for Real-Time Components. TACAS (2007)
Tolga Ayav, Pascal Fradet, Alain Girault
Implementing fault-tolerance in real-time systems by automatic program transformations. EMSOFT (2006)
Alain Girault, Huafeng Yu
A flexible method to tolerate value sensor failures. ETFA (2006)
Alain Girault, Hamoudi Kalla, Yves Sorel
Transient Processor/Bus Fault Tolerance for Embedded Systems. DIPES (2006)
Florence Maraninchi, Alain Girault, Marc Pouzet
Preface. Electron. Notes Theor. Comput. Sci. 153 (4) (2006)
Alain Girault, Xavier Nicollin, Marc Pouzet
Automatic rate desynchronization of embedded reactive programs. ACM Trans. Embed. Comput. Syst. 5 (3) (2006)
Alain Girault, Éric Rutten
Modeling Fault-tolerant Distributed Systems for Discrete Controller Synthesis. Electron. Notes Theor. Comput. Sci. 133 (2005)
Ismail Assayad, Alain Girault, Hamoudi Kalla
A Bi-Criteria Scheduling Heuristic for Distributed Embedded Systems under Reliability and Real-Time Constraints. DSN (2004)
Catalin Dima, Alain Girault, Yves Sorel
Static Fault-Tolerant Real-Time Scheduling with "Pseudo-topological" Orders. FORMATS/FTRTFT (2004)
Jean-Louis Colaço, Alain Girault, Grégoire Hamon, Marc Pouzet
Towards a higher-order synchronous data-flow language. EMSOFT (2004)
Florence Maraninchi, Alain Girault, Éric Rutten
Foreword. Electron. Notes Theor. Comput. Sci. 88 (2004)
Alain Girault, Hamoudi Kalla, Yves Sorel
An Active Replication Scheme that Tolerates Failures in Distributed Embedded Real-Time Systems. DIPES (2004)
Alain Girault, Hamoudi Kalla, Mihaela Sighireanu, Yves Sorel
An Algorithm for Automatically Obtaining Distributed and Fault-Tolerant Static Schedules. DSN (2003)
Alain Girault, Xavier Nicollin
Clock-Driven Automatic Distribution of Lustre Programs. EMSOFT (2003)
Alain Girault, Clément Ménier
Automatic Production of Globally Asynchronous Locally Synchronous Systems. EMSOFT (2002)
Florence Maraninchi, Alain Girault, Éric Rutten
Preface. Electron. Notes Theor. Comput. Sci. 65 (5) (2002)
Alain Girault
Elimination of redundant messages with a two-pass static analysis algorithm. Parallel Comput. 28 (3) (2002)
Charles Andre, Frédéric Boulanger, Alain Girault
Software Implementation of Synchronous Programs. ACSD (2001)
Daniel Simon, Alain Girault
Synchronous programming of automatic control applications using ORCCAD and ESTEREL. CDC (2001)
Alain Girault, Christophe Lavarenne, Yves Sorel, Mihaela Sighireanu
Fault-Tolerant Static Scheduling for Real-Time Distributed Embedded Systems. ICDCS (2001)
Catalin Dima, Alain Girault, Christophe Lavarenne, Yves Sorel
Off-Line Real-Time Fault-Tolerant Scheduling. PDP (2001)
Alain Girault, Christophe Lavarenne, Mihaela Sighireanu, Yves Sorel
Generation of Fault-Tolerant Static Scheduling for Real-Time Distributed Embedded Systems with Multi-Point Links. IPDPS (2001)
Alain Girault
Elimination of Redundant Messages with a Two-Pass Static Analysis Algorithm. PDP (2001)
L. France, Alain Girault, Jean-Dominique Gascuel, Bernard Espiau
Sensor Modeling for a Walking Robot Simulation. Computer Animation and Simulation (1999)
Alain Girault, Bilung Lee, Edward A. Lee
Hierarchical finite state machines with multiple concurrency models. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 18 (6) (1999)
Paul Caspi, Alain Girault, Daniel Pilaud
Automatic Distribution of Reactive Systems for Asynchronous Networks of Processors. IEEE Trans. Software Eng. 25 (3) (1999)
Paul Caspi, Jean-Claude Fernandez, Alain Girault
An Algorithm for Reducing Binary Branchings. FSTTCS (1995)
Paul Caspi, Alain Girault
Execution of Distributed Reactive Systems. Euro-Par (1995)
Paul Caspi, Alain Girault
Distributing Finite Transition Systems Extended Abstract. PARLE (1992)

Alain Girault.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Alain Girault