Alain Girault - RankMe

113 papers A* 1A 13B 8C 9Misc 7Journal 40Unranked 28

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