|
Search the dblp DataBase
Alain Girault:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Charles Andre, Frédéric Boulanger, Alain Girault
Software Implementation of Synchronous Programs. [Citation Graph (0, 0)][DBLP] ACSD, 2001, pp:133-142 [Conf]
- 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]
- 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]
- 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]
- Alain Girault, Xavier Nicollin
Clock-Driven Automatic Distribution of Lustre Programs. [Citation Graph (0, 0)][DBLP] EMSOFT, 2003, pp:206-222 [Conf]
- 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]
- 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]
- Paul Caspi, Alain Girault
Execution of Distributed Reactive Systems. [Citation Graph (0, 0)][DBLP] Euro-Par, 1995, pp:15-26 [Conf]
- 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]
- Paul Caspi, Jean-Claude Fernandez, Alain Girault
An Algorithm for Reducing Binary Branchings. [Citation Graph (0, 0)][DBLP] FSTTCS, 1995, pp:279-293 [Conf]
- 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]
- 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]
- 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]
- Paul Caspi, Alain Girault
Distributing Finite Transition Systems Extended Abstract. [Citation Graph (0, 0)][DBLP] PARLE, 1992, pp:950-951 [Conf]
- 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]
- 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]
- Florence Maraninchi, Alain Girault, Éric Rutten
Preface. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:65, n:5, pp:- [Journal]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- Alain Girault, Huafeng Yu
A flexible method to tolerate value sensor failures. [Citation Graph (0, 0)][DBLP] ETFA, 2006, pp:86-93 [Conf]
Specification Enforcing Refinement for Convertibility Verification. [Citation Graph (, )][DBLP]
Probabilistic Contracts for Component-Based Design. [Citation Graph (, )][DBLP]
Deterministic, predictable and light-weight multithreading using PRET-C. [Citation Graph (, )][DBLP]
A type system for the automatic distribution of higher-order synchronous dataflow programs. [Citation Graph (, )][DBLP]
Elimination of Redundant Messages with a Two-Pass Static Analysis Algorithm. [Citation Graph (, )][DBLP]
Off-Line Real-Time Fault-Tolerant Scheduling. [Citation Graph (, )][DBLP]
A customizable multiprocessor for Globally Asynchronous Locally Synchronous execution. [Citation Graph (, )][DBLP]
SystemJ: A GALS language for system level design. [Citation Graph (, )][DBLP]
Preface. [Citation Graph (, )][DBLP]
Foreword. [Citation Graph (, )][DBLP]
Preface. [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.005secs
|