The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Alain Girault: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.067secs, Finished in 0.069secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002