Search the dblp DataBase

Publications of Author

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