| 2019 | DATE | RDF: Reconfigurable Dataflow. | Pascal Fradet, Alain Girault, Ruby Krishnaswamy, Xavier Nicollin, Arash Shafiei |
| 2019 | FDL | A Multi-Rate Precision Timed Programming Language for Multi-Cores. | Alain Girault, Nicolas Hili, Eric Jenn, Eugene Yip |
| 2019 | RTCSA | Worst-Case Reaction Time Optimization on Deterministic Multi-Core Architectures with Synchronous Languages. | Nicolas Hili, Alain Girault, Eric Jenn |
| 2018 | FMICS | Building Correct Cyber-Physical Systems: Why We Need a Multiview Contract Theory. | Susanne Graf, Sophie Quinton, Alain Girault, Gregor Gler |
| 2018 | FORTE | Monotonic Prefix Consistency in Distributed Systems. | Alain Girault, Gregor Gler, Rachid Guerraoui, Jad Hamza, Dragos-Adrian Seredinschi |
| 2017 | FDL | Real-time ticks for synchronous programming. | Reinhard von Hanxleden, Timothy Bourke, Alain Girault |
| 2016 | EMSOFT | Energy and timing aware synchronous programming. | Jia Jie Wang, Partha S. Roop, Alain Girault |
| 2016 | RTAS | Symbolic Buffer Sizing for Throughput-Optimal Scheduling of Dataflow Graphs. | Adnan Bouakaz, Pascal Fradet, Alain Girault |
| 2015 | FPGA | Automatic Time-Redundancy Transformation for Fault-Tolerant Circuits. | Dmitry Burlyaev, Pascal Fradet, Alain Girault |
| 2014 | DATE | Verification-guided voter minimization in triple-modular redundant circuits. | Dmitry Burlyaev, Pascal Fradet, Alain Girault |
| 2013 | DAC | Precise timing analysis for direct-mapped caches. | Sidharta Andalam, Alain Girault, Roopak Sinha, Partha S. Roop, Jan Reineke |
| 2013 | EMSOFT | BPDF: A statically analyzable dataflow model with integer and boolean parameters. | Vagelis Bebelis, Pascal Fradet, Alain Girault, Bruno Lavigueur |
| 2012 | DATE | SPDF: A schedulable parametric data-flow MoC. | Pascal Fradet, Alain Girault, Peter Poplavko |
| 2011 | ATVA | Widening with Thresholds for Programs with Complex Control Graphs. | Lies Lakhdar-Chaouch, Bertrand Jeannet, Alain Girault |
| 2011 | DATE | Pruning infeasible paths for tight WCRT analysis of synchronous programs. | Sidharta Andalam, Partha S. Roop, Alain Girault |
| 2011 | SAFECOMP | Tradeoff Exploration between Reliability, Power Consumption, and Execution Time. | Ismail Assayad, Alain Girault, Hamoudi Kalla |
| 2010 | ATVA | Probabilistic Contracts for Component-Based Design. | Dana N. Xu, Gregor Gler, Alain Girault |
| 2010 | DATE | Deterministic, predictable and light-weight multithreading using PRET-C. | Sidharta Andalam, Partha S. Roop, Alain Girault |
| 2010 | ICPP | Reliability and Performance Optimization of Pipelined Real-Time Systems. | Anne Benoit, Fanny Dufoss, Alain Girault, Yves Robert |
| 2010 | MEMOCODE | Predictable multithreading of embedded applications using PRET-C. | Sidharta Andalam, Partha S. Roop, Alain Girault |
| 2007 | TACAS | Adaptor Synthesis for Real-Time Components. | Massimo Tivoli, Pascal Fradet, Alain Girault, Gregor Gler |
| 2006 | EMSOFT | Implementing fault-tolerance in real-time systems by automatic program transformations. | Tolga Ayav, Pascal Fradet, Alain Girault |
| 2006 | ETFA | A flexible method to tolerate value sensor failures. | Alain Girault, Huafeng Yu |
| 2004 | DSN | A Bi-Criteria Scheduling Heuristic for Distributed Embedded Systems under Reliability and Real-Time Constraints. | Ismail Assayad, Alain Girault, Hamoudi Kalla |
| 2004 | EMSOFT | Towards a higher-order synchronous data-flow language. | Jean-Louis Colao, Alain Girault, Grgoire Hamon, Marc Pouzet |
| 2003 | DSN | An Algorithm for Automatically Obtaining Distributed and Fault-Tolerant Static Schedules. | Alain Girault, Hamoudi Kalla, Mihaela Sighireanu, Yves Sorel |
| 2003 | EMSOFT | Clock-Driven Automatic Distribution of Lustre Programs. | Alain Girault, Xavier Nicollin |
| 2002 | EMSOFT | Automatic Production of Globally Asynchronous Locally Synchronous Systems. | Alain Girault, Clment Mnier |
| 2001 | ICDCS | Fault-Tolerant Static Scheduling for Real-Time Distributed Embedded Systems. | Alain Girault, Christophe Lavarenne, Yves Sorel, Mihaela Sighireanu |
| 2001 | PDP | Off-Line Real-Time Fault-Tolerant Scheduling. | Catalin Dima, Alain Girault, Christophe Lavarenne, Yves Sorel |
| 2001 | PDP | Elimination of Redundant Messages with a Two-Pass Static Analysis Algorithm. | Alain Girault |
| 1995 | EuroPar | Execution of Distributed Reactive Systems. | Paul Caspi, Alain Girault |