- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j21 |      | Ismail Assayad, Alain Girault, Hamoudi Kalla: Tradeoff exploration between reliability, power consumption, and execution time for embedded systems - The TSH tricriteria scheduling heuristic. STTT 15(3): 229-245 (2013) |
| 2012 | ||
| j20 | | Gregor Gößler, Dana N. Xu, Alain Girault: Probabilistic contracts for component-based design. Formal Methods in System Design 41(2): 211-231 (2012) |
| j19 | | Avinash Malik, Alain Girault, Zoran Salcic: Formal Semantics, Compilation and Execution of the GALS Programming Language DSystemJ. IEEE Trans. Parallel Distrib. Syst. 23(7): 1240-1254 (2012) |
| c32 | | Pascal Fradet, Alain Girault, Peter Poplavkoy: SPDF: A schedulable parametric data-flow MoC. DATE 2012: 769-774 |
| i1 | | Gwenaël Delaval, Alain Girault, Marc Pouzet: A Type System for the Automatic Distribution of Higher-order Synchronous Dataflow Programs. CoRR abs/1211.2776 (2012) |
| 2011 | ||
| c31 | | Avinash Malik, Alain Girault, Zoran Salcic: A GALS Language for Dynamic Distributed and Reactive Programs. ACSD 2011: 173-182 |
| c30 | | Lies Lakhdar-Chaouch, Bertrand Jeannet, Alain Girault: Widening with Thresholds for Programs with Complex Control Graphs. ATVA 2011: 492-502 |
| c29 | | Sidharta Andalam, Partha S. Roop, Alain Girault: Pruning infeasible paths for tight WCRT analysis of synchronous programs. DATE 2011: 204-209 |
| c28 | | Ismail Assayad, Alain Girault, Hamoudi Kalla: Tradeoff Exploration between Reliability, Power Consumption, and Execution Time. SAFECOMP 2011: 437-451 |
| 2010 | ||
| j18 | | 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) |
| c27 | | Dana N. Xu, Gregor Gößler, Alain Girault: Probabilistic Contracts for Component-Based Design. ATVA 2010: 325-340 |
| c26 | | Sidharta Andalam, Partha S. Roop, Alain Girault: Deterministic, predictable and light-weight multithreading using PRET-C. DATE 2010: 1653-1656 |
| c25 | | Anne Benoit, Fanny Dufossé, Alain Girault, Yves Robert: Reliability and Performance Optimization of Pipelined Real-Time Systems. ICPP 2010: 150-159 |
| c24 | | Sidharta Andalam, Partha S. Roop, Alain Girault: Predictable multithreading of embedded applications using PRET-C. MEMOCODE 2010: 159-168 |
| 2009 | ||
| j17 | | |
| j16 | | Alain Girault, Éric Rutten: Automating the addition of fault tolerance with discrete controller synthesis. Formal Methods in System Design 35(2): 190-225 (2009) |
| j15 | | Alain Girault, Erik Saule, Denis Trystram: Reliability versus performance for critical applications. J. Parallel Distrib. Comput. 69(3): 326-336 (2009) |
| j14 | | 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) |
| c23 | | Partha S. Roop, Alain Girault, Roopak Sinha, Gregor Goessler: Specification Enforcing Refinement for Convertibility Verification. ACSD 2009: 148-157 |
| c22 | | 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 |
| c21 | | 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 |
| 2008 | ||
| j13 | | 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) |
| j12 | | |
| j11 | | Alain Girault, Hamoudi Kalla: Bicriteria Multi-Processor Static Scheduling. ERCIM News 2008(75) (2008) |
| j10 | | 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) |
| c20 | | Gwenaël Delaval, Alain Girault, Marc Pouzet: A type system for the automatic distribution of higher-order synchronous dataflow programs. LCTES 2008: 101-110 |
| 2007 | ||
| j9 | | Alain Girault, S. Ramesh, Jean-Pierre Talpin: Synchronous Paradigm in Embedded Systems. EURASIP J. Emb. Sys. 2007 (2007) |
| c19 | | Massimo Tivoli, Pascal Fradet, Alain Girault, Gregor Gößler: Adaptor Synthesis for Real-Time Components. TACAS 2007: 185-200 |
| 2006 | ||
| j8 | | Florence Maraninchi, Alain Girault, Marc Pouzet: Preface. Electr. Notes Theor. Comput. Sci. 153(4): 1-2 (2006) |
| j7 | | Alain Girault, Xavier Nicollin, Marc Pouzet: Automatic rate desynchronization of embedded reactive programs. ACM Trans. Embedded Comput. Syst. 5(3): 687-717 (2006) |
| c18 | | Tolga Ayav, Pascal Fradet, Alain Girault: Implementing fault-tolerance in real-time systems by automatic program transformations. EMSOFT 2006: 205-214 |
| c17 | | |
| c16 | | Alain Girault, Hamoudi Kalla, Yves Sorel: Transient Processor/Bus Fault Tolerance for Embedded Systems. DIPES 2006: 135-144 |
| 2005 | ||
| j6 | | Alain Girault, Éric Rutten: Modeling Fault-tolerant Distributed Systems for Discrete Controller Synthesis. Electr. Notes Theor. Comput. Sci. 133: 81-100 (2005) |
| 2004 | ||
| j5 | | Florence Maraninchi, Alain Girault, Éric Rutten: Foreword. Electr. Notes Theor. Comput. Sci. 88: 1-2 (2004) |
| c15 | | 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 |
| c14 | | Jean-Louis Colaço, Alain Girault, Grégoire Hamon, Marc Pouzet: Towards a higher-order synchronous data-flow language. EMSOFT 2004: 230-239 |
| c13 | | Catalin Dima, Alain Girault, Yves Sorel: Static Fault-Tolerant Real-Time Scheduling with "Pseudo-topological" Orders. FORMATS/FTRTFT 2004: 215-230 |
| c12 |  | Alain Girault, Hamoudi Kalla, Yves Sorel: An Active Replication Scheme that Tolerates Failure in Distributed Embedded Real-Time Systems. DIPES 2004: 83-92 |
| 2003 | ||
| c11 | | Alain Girault, Hamoudi Kalla, Mihaela Sighireanu, Yves Sorel: An Algorithm for Automatically Obtaining Distributed and Fault-Tolerant Static Schedules. DSN 2003: 159-168 |
| c10 | | Alain Girault, Xavier Nicollin: Clock-Driven Automatic Distribution of Lustre Programs. EMSOFT 2003: 206-222 |
| 2002 | ||
| j4 | | Florence Maraninchi, Alain Girault, Éric Rutten: Preface. Electr. Notes Theor. Comput. Sci. 65(5): 1-2 (2002) |
| j3 | | Alain Girault: Elimination of redundant messages with a two-pass static analysis algorithm. Parallel Computing 28(3): 433-453 (2002) |
| c9 | | Alain Girault, Clément Ménier: Automatic Production of Globally Asynchronous Locally Synchronous Systems. EMSOFT 2002: 266-281 |
| 2001 | ||
| c8 | | Charles Andre, Frédéric Boulanger, Alain Girault: Software Implementation of Synchronous Programs. ACSD 2001: 133-142 |
| c7 | | Alain Girault, Christophe Lavarenne, Yves Sorel, Mihaela Sighireanu: Fault-Tolerant Static Scheduling for Real-Time Distributed Embedded Systems. ICDCS 2001: 695-698 |
| c6 | | 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 |
| c5 | | Alain Girault: Elimination of Redundant Messages with a Two-Pass Static Analysis Algorithm. PDP 2001: 178-185 |
| c4 | | Catalin Dima, Alain Girault, Christophe Lavarenne, Yves Sorel: Off-Line Real-Time Fault-Tolerant Scheduling. PDP 2001: 410-417 |
| 1999 | ||
| j2 | | 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) |
| j1 | | 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) |
| 1995 | ||
| c3 | | |
| c2 | | Paul Caspi, Jean-Claude Fernandez, Alain Girault: An Algorithm for Reducing Binary Branchings. FSTTCS 1995: 279-293 |
| 1992 | ||
| c1 | | Paul Caspi, Alain Girault: Distributing Finite Transition Systems Extended Abstract. PARLE 1992: 950-951 |
Colors in the list of coauthors
Last update Sun May 26 00:28:06 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page