Alain Girault

	2009
31		Avinash Malik, Zoran A. Salcic, Alain Girault, Adam Walker, Sung Chul Lee: A customizable multiprocessor for Globally Asynchronous Locally Synchronous execution. JTRES 2009: 120-129
30		Alain Girault, Éric Rutten: Preface. Electr. Notes Theor. Comput. Sci. 238(1): 1-2 (2009)
29		Alain Girault, Erik Saule, Denis Trystram: Reliability versus performance for critical applications. J. Parallel Distrib. Comput. 69(3): 326-336 (2009)
	2008
28		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		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		Alain Girault, Robert de Simone: Preface. Electr. Notes Theor. Comput. Sci. 200(1): 1-2 (2008)
	2007
25		Massimo Tivoli, Pascal Fradet, Alain Girault, Gregor Gößler: Adaptor Synthesis for Real-Time Components. TACAS 2007: 185-200
	2006
24		Alain Girault, Hamoudi Kalla, Yves Sorel: Transient Processor/Bus Fault Tolerance for Embedded Systems. DIPES 2006: 135-144
23		Tolga Ayav, Pascal Fradet, Alain Girault: Implementing fault-tolerance in real-time systems by automatic program transformations. EMSOFT 2006: 205-214
22		Alain Girault, Huafeng Yu: A flexible method to tolerate value sensor failures. ETFA 2006: 86-93
21		Alain Girault, Xavier Nicollin, Marc Pouzet: Automatic rate desynchronization of embedded reactive programs. ACM Trans. Embedded Comput. Syst. 5(3): 687-717 (2006)
20		Florence Maraninchi, Alain Girault, Marc Pouzet: Preface. Electr. Notes Theor. Comput. Sci. 153(4): 1-2 (2006)
	2005
19		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		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		Jean-Louis Colaço, Alain Girault, Grégoire Hamon, Marc Pouzet: Towards a higher-order synchronous data-flow language. EMSOFT 2004: 230-239
15		Catalin Dima, Alain Girault, Yves Sorel: Static Fault-Tolerant Real-Time Scheduling with "Pseudo-topological" Orders. FORMATS/FTRTFT 2004: 215-230
14		Florence Maraninchi, Alain Girault, Éric Rutten: Foreword. Electr. Notes Theor. Comput. Sci. 88: 1-2 (2004)
	2003
13		Alain Girault, Hamoudi Kalla, Mihaela Sighireanu, Yves Sorel: An Algorithm for Automatically Obtaining Distributed and Fault-Tolerant Static Schedules. DSN 2003: 159-
12		Alain Girault, Xavier Nicollin: Clock-Driven Automatic Distribution of Lustre Programs. EMSOFT 2003: 206-222
	2002
11		Alain Girault, Clément Ménier: Automatic Production of Globally Asynchronous Locally Synchronous Systems. EMSOFT 2002: 266-281
10		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		Charles Andre, Frédéric Boulanger, Alain Girault: Software Implementation of Synchronous Programs. ACSD 2001: 133-142
7		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		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		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

Coauthor Index

1	Charles Andre	[8]
2	Ismail Assayad	[17]
3	Tolga Ayav	[23] [27]
4	Frédéric Boulanger	[8]
5	Paul Caspi	[1] [2] [3] [5]
6	Jean-Louis Colaço	[16]
7	Gwenaël Delaval	[28]
8	Catalin Dima	[15]
9	Jean-Claude Fernandez	[2]
10	Pascal Fradet	[23] [25] [27]
11	Gregor Gößler	[25]
12	Grégoire Hamon	[16]
13	Hamoudi Kalla	[13] [17] [18] [24]
14	Christophe Lavarenne	[6] [7]
15	Bilung Lee	[4]
16	Edward A. Lee	[4]
17	Sung Chul Lee	[31]
18	Avinash Malik	[31]
19	Florence Maraninchi	[10] [14] [20]
20	Clément Ménier	[11]
21	Xavier Nicollin	[12] [21]
22	Daniel Pilaud	[5]
23	Marc Pouzet	[16] [20] [21] [28]
24	Éric Rutten	[10] [14] [19] [30]
25	Zoran A. Salcic (Zoran Salcic)	[31]
26	Erik Saule	[29]
27	Mihaela Sighireanu	[6] [7] [13]
28	Robert de Simone	[26]
29	Yves Sorel	[6] [7] [13] [15] [18] [24]
30	Massimo Tivoli	[25]
31	Denis Trystram	[29]
32	Adam Walker	[31]
33	Huafeng Yu	[22]

Colors in the list of coauthors