2008 |
28 | EE | Gwenaël Delaval,
Alain Girault,
Marc Pouzet:
A type system for the automatic distribution of higher-order synchronous dataflow programs.
LCTES 2008: 101-110 |
27 | EE | Tolga Ayav,
Pascal Fradet,
Alain Girault:
Implementing fault-tolerance in real-time programs by automatic program transformations.
ACM Trans. Embedded Comput. Syst. 7(4): (2008) |
26 | EE | Alain Girault,
Robert de Simone:
Preface.
Electr. Notes Theor. Comput. Sci. 200(1): 1-2 (2008) |
2007 |
25 | EE | Massimo Tivoli,
Pascal Fradet,
Alain Girault,
Gregor Gößler:
Adaptor Synthesis for Real-Time Components.
TACAS 2007: 185-200 |
2006 |
24 | EE | Alain Girault,
Hamoudi Kalla,
Yves Sorel:
Transient Processor/Bus Fault Tolerance for Embedded Systems.
DIPES 2006: 135-144 |
23 | EE | Tolga Ayav,
Pascal Fradet,
Alain Girault:
Implementing fault-tolerance in real-time systems by automatic program transformations.
EMSOFT 2006: 205-214 |
22 | EE | Alain Girault,
Huafeng Yu:
A flexible method to tolerate value sensor failures.
ETFA 2006: 86-93 |
21 | EE | Alain Girault,
Xavier Nicollin,
Marc Pouzet:
Automatic rate desynchronization of embedded reactive programs.
ACM Trans. Embedded Comput. Syst. 5(3): 687-717 (2006) |
20 | EE | Florence Maraninchi,
Alain Girault,
Marc Pouzet:
Preface.
Electr. Notes Theor. Comput. Sci. 153(4): 1-2 (2006) |
2005 |
19 | EE | Alain Girault,
Éric Rutten:
Modeling Fault-tolerant Distributed Systems for Discrete Controller Synthesis.
Electr. Notes Theor. Comput. Sci. 133: 81-100 (2005) |
2004 |
18 | | Alain Girault,
Hamoudi Kalla,
Yves Sorel:
An Active Replication Scheme that Tolerates Failure in Distributed Embedded Real-Time Systems.
DIPES 2004: 83-92 |
17 | EE | Ismail Assayad,
Alain Girault,
Hamoudi Kalla:
A Bi-Criteria Scheduling Heuristic for Distributed Embedded Systems under Reliability and Real-Time Constraints.
DSN 2004: 347-356 |
16 | EE | Jean-Louis Colaço,
Alain Girault,
Grégoire Hamon,
Marc Pouzet:
Towards a higher-order synchronous data-flow language.
EMSOFT 2004: 230-239 |
15 | EE | Catalin Dima,
Alain Girault,
Yves Sorel:
Static Fault-Tolerant Real-Time Scheduling with "Pseudo-topological" Orders.
FORMATS/FTRTFT 2004: 215-230 |
14 | EE | Florence Maraninchi,
Alain Girault,
Éric Rutten:
Foreword.
Electr. Notes Theor. Comput. Sci. 88: 1-2 (2004) |
2003 |
13 | EE | Alain Girault,
Hamoudi Kalla,
Mihaela Sighireanu,
Yves Sorel:
An Algorithm for Automatically Obtaining Distributed and Fault-Tolerant Static Schedules.
DSN 2003: 159- |
12 | EE | Alain Girault,
Xavier Nicollin:
Clock-Driven Automatic Distribution of Lustre Programs.
EMSOFT 2003: 206-222 |
2002 |
11 | EE | Alain Girault,
Clément Ménier:
Automatic Production of Globally Asynchronous Locally Synchronous Systems.
EMSOFT 2002: 266-281 |
10 | EE | Florence Maraninchi,
Alain Girault,
Éric Rutten:
Preface.
Electr. Notes Theor. Comput. Sci. 65(5): (2002) |
9 | | Alain Girault:
Elimination of redundant messages with a two-pass static analysis algorithm.
Parallel Computing 28(3): 433-453 (2002) |
2001 |
8 | EE | Charles Andre,
Frédéric Boulanger,
Alain Girault:
Software Implementation of Synchronous Programs.
ACSD 2001: 133-142 |
7 | EE | Alain Girault,
Christophe Lavarenne,
Yves Sorel,
Mihaela Sighireanu:
Fault-Tolerant Static Scheduling for Real-Time Distributed Embedded Systems.
ICDCS 2001: 695-698 |
6 | | 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: 125 |
1999 |
5 | EE | Paul Caspi,
Alain Girault,
Daniel Pilaud:
Automatic Distribution of Reactive Systems for Asynchronous Networks of Processors.
IEEE Trans. Software Eng. 25(3): 416-427 (1999) |
4 | EE | Alain Girault,
Bilung Lee,
Edward A. Lee:
Hierarchical finite state machines with multiple concurrency models.
IEEE Trans. on CAD of Integrated Circuits and Systems 18(6): 742-760 (1999) |
1995 |
3 | | Paul Caspi,
Alain Girault:
Execution of Distributed Reactive Systems.
Euro-Par 1995: 15-26 |
2 | | Paul Caspi,
Jean-Claude Fernandez,
Alain Girault:
An Algorithm for Reducing Binary Branchings.
FSTTCS 1995: 279-293 |
1992 |
1 | | Paul Caspi,
Alain Girault:
Distributing Finite Transition Systems Extended Abstract.
PARLE 1992: 950-951 |