Alain Girault

	2012
50		Pascal Fradet, Alain Girault, Peter Poplavkoy: SPDF: A schedulable parametric data-flow MoC. DATE 2012: 769-774
	2011
49		Avinash Malik, Alain Girault, Zoran Salcic: A GALS Language for Dynamic Distributed and Reactive Programs. ACSD 2011: 173-182
48		Lies Lakhdar-Chaouch, Bertrand Jeannet, Alain Girault: Widening with Thresholds for Programs with Complex Control Graphs. ATVA 2011: 492-502
47		Sidharta Andalam, Partha S. Roop, Alain Girault: Pruning infeasible paths for tight WCRT analysis of synchronous programs. DATE 2011: 204-209
46		Ismail Assayad, Alain Girault, Hamoudi Kalla: Tradeoff Exploration between Reliability, Power Consumption, and Execution Time. SAFECOMP 2011: 437-451
	2010
45		Dana N. Xu, Gregor Gößler, Alain Girault: Probabilistic Contracts for Component-Based Design. ATVA 2010: 325-340
44		Sidharta Andalam, Partha S. Roop, Alain Girault: Deterministic, predictable and light-weight multithreading using PRET-C. DATE 2010: 1653-1656
43		Anne Benoit, Fanny Dufossé, Alain Girault, Yves Robert: Reliability and Performance Optimization of Pipelined Real-Time Systems. ICPP 2010: 150-159
42		Sidharta Andalam, Partha S. Roop, Alain Girault: Predictable multithreading of embedded applications using PRET-C. MEMOCODE 2010: 159-168
41		Avinash Malik, Zoran Salcic, Partha S. Roop, Alain Girault: SystemJ: A GALS language for system level design. Computer Languages, Systems & Structures 36(4): 317-344 (2010)
	2009
40		Partha S. Roop, Alain Girault, Roopak Sinha, Gregor Goessler: Specification Enforcing Refinement for Convertibility Verification. ACSD 2009: 148-157
39		Mouaiad Alras, Paul Caspi, Alain Girault, Pascal Raymond: Model-Based Design of Embedded Control Systems by Means of a Synchronous Intermediate Model. ICESS 2009: 3-10
38		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
37		Alain Girault, Éric Rutten: Preface. Electr. Notes Theor. Comput. Sci. 238(1): 1-2 (2009)
36		Alain Girault, Éric Rutten: Automating the addition of fault tolerance with discrete controller synthesis. Formal Methods in System Design 35(2): 190-225 (2009)
35		Alain Girault, Hamoudi Kalla: A Novel Bicriteria Scheduling Heuristics Providing a Guaranteed Global System Failure Rate. IEEE Trans. Dependable Sec. Comput. 6(4): 241-254 (2009)
34		Alain Girault, Erik Saule, Denis Trystram: Reliability versus performance for critical applications. J. Parallel Distrib. Comput. 69(3): 326-336 (2009)
	2008
33		Gwenaël Delaval, Alain Girault, Marc Pouzet: A type system for the automatic distribution of higher-order synchronous dataflow programs. LCTES 2008: 101-110
32		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)
31		Alain Girault, Hamoudi Kalla: Bicriteria Multi-Processor Static Scheduling. ERCIM News 2008(75): (2008)
30		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. Emb. Sys. 2008: (2008)
29		Alain Girault, Robert de Simone: Preface. Electr. Notes Theor. Comput. Sci. 200(1): 1-2 (2008)
	2007
28		Massimo Tivoli, Pascal Fradet, Alain Girault, Gregor Gößler: Adaptor Synthesis for Real-Time Components. TACAS 2007: 185-200
27		Alain Girault, S. Ramesh, Jean-Pierre Talpin: Synchronous Paradigm in Embedded Systems. EURASIP J. Emb. Sys. 2007: (2007)
	2006
26		Alain Girault, Hamoudi Kalla, Yves Sorel: Transient Processor/Bus Fault Tolerance for Embedded Systems. DIPES 2006: 135-144
25		Tolga Ayav, Pascal Fradet, Alain Girault: Implementing fault-tolerance in real-time systems by automatic program transformations. EMSOFT 2006: 205-214
24		Alain Girault, Huafeng Yu: A flexible method to tolerate value sensor failures. ETFA 2006: 86-93
23		Alain Girault, Xavier Nicollin, Marc Pouzet: Automatic rate desynchronization of embedded reactive programs. ACM Trans. Embedded Comput. Syst. 5(3): 687-717 (2006)
22		Florence Maraninchi, Alain Girault, Marc Pouzet: Preface. Electr. Notes Theor. Comput. Sci. 153(4): 1-2 (2006)
	2005
21		Alain Girault, Éric Rutten: Modeling Fault-tolerant Distributed Systems for Discrete Controller Synthesis. Electr. Notes Theor. Comput. Sci. 133: 81-100 (2005)
	2004
20		Alain Girault, Hamoudi Kalla, Yves Sorel: An Active Replication Scheme that Tolerates Failure in Distributed Embedded Real-Time Systems. DIPES 2004: 83-92
19		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
18		Jean-Louis Colaço, Alain Girault, Grégoire Hamon, Marc Pouzet: Towards a higher-order synchronous data-flow language. EMSOFT 2004: 230-239
17		Catalin Dima, Alain Girault, Yves Sorel: Static Fault-Tolerant Real-Time Scheduling with "Pseudo-topological" Orders. FORMATS/FTRTFT 2004: 215-230
16		Florence Maraninchi, Alain Girault, Éric Rutten: Foreword. Electr. Notes Theor. Comput. Sci. 88: 1-2 (2004)
	2003
15		Alain Girault, Hamoudi Kalla, Mihaela Sighireanu, Yves Sorel: An Algorithm for Automatically Obtaining Distributed and Fault-Tolerant Static Schedules. DSN 2003: 159-168
14		Alain Girault, Xavier Nicollin: Clock-Driven Automatic Distribution of Lustre Programs. EMSOFT 2003: 206-222
	2002
13		Alain Girault, Clément Ménier: Automatic Production of Globally Asynchronous Locally Synchronous Systems. EMSOFT 2002: 266-281
12		Florence Maraninchi, Alain Girault, Éric Rutten: Preface. Electr. Notes Theor. Comput. Sci. 65(5): 1-2 (2002)
11		Alain Girault: Elimination of redundant messages with a two-pass static analysis algorithm. Parallel Computing 28(3): 433-453 (2002)
	2001
10		Charles Andre, Frédéric Boulanger, Alain Girault: Software Implementation of Synchronous Programs. ACSD 2001: 133-142
9		Alain Girault, Christophe Lavarenne, Yves Sorel, Mihaela Sighireanu: Fault-Tolerant Static Scheduling for Real-Time Distributed Embedded Systems. ICDCS 2001: 695-698
8		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
7		Alain Girault: Elimination of Redundant Messages with a Two-Pass Static Analysis Algorithm. PDP 2001: 178-185
6		Catalin Dima, Alain Girault, Christophe Lavarenne, Yves Sorel: Off-Line Real-Time Fault-Tolerant Scheduling. PDP 2001: 410-417
	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	Mouaiad Alras	[39]
2	Sidharta Andalam	[42] [44] [47]
3	Charles Andre	[10]
4	Ismail Assayad	[19] [46]
5	Tolga Ayav	[25] [32]
6	Anne Benoit	[43]
7	Frédéric Boulanger	[10]
8	Paul Caspi	[1] [2] [3] [5] [39]
9	Jean-Louis Colaço	[18]
10	Gwenaël Delaval	[33]
11	Catalin Dima	[6] [17]
12	Fanny Dufossé	[43]
13	Jean-Claude Fernandez	[2]
14	Pascal Fradet	[25] [28] [32] [50]
15	Gregor Gößler (Gregor Goessler)	[28] [40] [45]
16	Grégoire Hamon	[18]
17	Bertrand Jeannet	[48]
18	Hamoudi Kalla	[15] [19] [20] [26] [31] [35] [46]
19	Lies Lakhdar-Chaouch	[48]
20	Christophe Lavarenne	[6] [8] [9]
21	Bilung Lee	[4]
22	Edward A. Lee	[4]
23	Sung Chul Lee	[38]
24	Avinash Malik	[38] [41] [49]
25	Florence Maraninchi	[12] [16] [22] [30]
26	Michael Mendler	[30]
27	Clément Ménier	[13]
28	Xavier Nicollin	[14] [23]
29	Daniel Pilaud	[5]
30	Peter Poplavkoy	[50]
31	Marc Pouzet	[18] [22] [23] [30] [33]
32	S. Ramesh (Sethu Ramesh)	[27]
33	Pascal Raymond	[39]
34	Yves Robert	[43]
35	Partha S. Roop	[40] [41] [42] [44] [47]
36	Éric Rutten	[12] [16] [21] [30] [36] [37]
37	Zoran A. Salcic (Zoran Salcic)	[38] [41] [49]
38	Erik Saule	[34]
39	Mihaela Sighireanu	[8] [9] [15]
40	Robert de Simone	[29]
41	Roopak Sinha	[40]
42	Yves Sorel	[6] [8] [9] [15] [17] [20] [26]
43	Jean-Pierre Talpin	[27]
44	Massimo Tivoli	[28]
45	Denis Trystram	[34]
46	Adam Walker	[38]
47	Dana N. Xu	[45]
48	Huafeng Yu	[24]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page