- This paper studies the semantics of hierarchical finitestate machines that are composed using various concurrency mod
- Static fault-tolerant real-time scheduling with "pseudo-topological" orders
- Distributing Reactive Systems Paul Caspi Alain Girault Daniel Pilaud
- Offline realtime faulttolerant scheduling \Lambda Catalin Dima, Alain Girault,
- FMICS 2004 Preliminary Version Modeling faulttolerant distributed systems for
- de r eche r che INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
- Circuit Generation and Verification of ESTEREL \Lambda Alain Girault 1 Gerard Berry 2
- AN ACTIVE REPLICATION SCHEME THAT TOLERATES FAILURES IN DISTRIBUTED
- Circuit Generation and Verification of ESTEREL Alain Girault Gerard Berry
- FaultTolerant Static Scheduling for RealTime Distributed Embedded Systems \Lambda Alain Girault y Christophe Lavarenne z Mihaela Sighireanu x Yves Sorel --
- Synthse optimale de contrleurs discrets et systmes rpartis tolrants aux fautes
- A flexible method to tolerate value sensor failures Alain Girault
- A Hybrid Controller for Autonomous Vehicles Driving on Automated Highways #
- MICROSIMULATION ANALYSIS OF MULTIPLE MERGE JUNCTIONS UNDER AUTONOMOUS AHS OPERATION
- Execution of Distributed Reactive Systems \Lambda Paul Caspi y Alain Girault z
- pr'esent'ee par Alain GIRAULT
- A. Girault / Parallel Computing, 28(2002), 433453 1 Elimination of Redundant Messages with a
- FMICS 2004 Preliminary Version Modeling fault-tolerant distributed systems for
- Towards a Higher-Order Synchronous Data-Flow Language Jean-Louis Colaco
- Towards a HigherOrder Synchronous DataFlow Language JeanLouis Colaco
- An Algorithm for Reducing Binary Branchings Paul Caspiy Jean-Claude Fernandezy Alain Giraultz
- A Type System for the Automatic Distribution of Higherorder Synchronous Dataflow Programs
- Distributing Reactive Systems \Lambda Paul Caspi Alain Girault Daniel Pilaud
- Microsimulation analysis of a hybrid system model of multiple merge junction highway and semiautomatic vehicles
- presentee par Alain GIRAULT
- Elimination of Redundant Messages with a TwoPass Static Analysis Algorithm \Lambda
- Generation of FaultTolerant Static Scheduling for RealTime Distributed Embedded Systems with MultiPoint Links \Lambda
- IEEE Conference on Decision and Control, Phoenix, USA, December 1999 1 Stability Analysis of a Longitudinal Control Law for
- ELE POUR LA R ' EPARTITION D'AUTOMATES
- Elimination of Redundant Messages with a Two-Pass Static Analysis Algorithm
- An Algorithm for Reducing Binary Branchings \Lambda Paul Caspi y JeanClaude Fernandez y Alain Girault z
- Automatic Rate Desynchronization of Embedded Reactive Alain Girault 1 , Xavier Nicollin 2 , and Marc Pouzet 3
- Implementing FaultTolerance in RealTime Programs by Automatic Program Transformations
- Generation of Walk Transient Trajectories for a Biped Robot Laure France 1;2 , Alain Girault 1 , Bernard Espiau 1
- OPTIMAL DISCRETE CONTROLLER SYNTHESIS FOR MODELING FAULTTOLERANT DISTRIBUTED SYSTEMS
- SLAP'05 Preliminary Version A Survey of Automatic Distribution Method
- Implementing Fault-Tolerance in Real-Time Systems by Automatic Program Transformations
- de r eche r che INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
- An Algorithm for Automatically Obtaining Distributed and FaultTolerant Static Alain Girault, Hamoudi Kalla
- A flexible method to tolerate value sensor failures Alain Girault # Huafeng Yu +
- Automatic Production of Globally Asynchronous Locally Synchronous Systems ###
- A. Girault / Parallel Computing, 28(2002), 433--453 1 Elimination of Redundant Messages with a
- Une heuristique d'ordonnancement et de distribution tolrante aux pannes pour
- Alain GIRAULT Born November 21 st , 1968 in Paris, France
- A Hybrid Controller for Autonomous Vehicles Driving on Automated Highways
- Implementing Fault-Tolerance in Real-Time Programs by Automatic Program Transformations
- Adaptor synthesis for realtime components # Massimo Tivoli 1 , Pascal Fradet 2 , Alain Girault 2 , and Gregor Goessler 2
- Static faulttolerant realtime scheduling with ``pseudotopological'' orders #
- Generation of Fault-Tolerant Static Scheduling for Real-Time Distributed Embedded Systems with Multi-Point Links
- Distributing Automata for Asynchronous Networks of Processors
- Software Implementation of Synchronous Programs \Lambda Charles Andre y Frederic Boulanger z Alain Girault x
- ClockDriven Automatic Distribution of Lustre Programs #
- Distributing Automata for Asynchronous Networks of Processors \Lambda
- Synchronous Programming: A Formal Approach for Specifying and Implementing Automatic Control Software
- Implementing FaultTolerance in RealTime Systems by Automatic Program Transformations
- "!#$!%$'&()01324&65789@&(ABC 3D8BCEF0GHI7PBHQBCRB S !%T7"!#2R2VUWX&Y$!%8#`Ba3cbd$(3 feBC2B
- SLAP'05 Preliminary Version A Survey of Automatic Distribution Method
- TRANSIENTPROCESSOR/BUS FAULTTOLERANCE FOR EMBEDDED SYSTEMS
- A BiCriteria Scheduling Heuristics for Distributed Embedded Systems under Reliability and RealTime Constraints
- Execution of Distributed Reactive Systems Alain Girault
- UN MOD ELE POUR LA R EPARTITION DAUTOMATES R EACTIFS SUR R ESEAU ASYNCHRONEDE PROCESSEURS
- Automatic Production of Globally Asynchronous Locally Synchronous Systems
- Clock-Driven Automatic Distribution of Lustre Programs
- Automatic Rate Desynchronization of Embedded Reactive Alain Girault1
- Software Implementation of Synchronous Programs Charles Andre
- AL FINITE STATE MACHIN Alain Girauw
- Off-line real-time fault-tolerant scheduling Catalin Dima, Alain Girault,
- TRANSIENT PROCESSOR/BUS FAULT TOLERANCE FOR EMBEDDED SYSTEMS
- A Type System for the Automatic Distribution of Higher-order Synchronous Dataflow Programs
- A scheduling heuristics for distributed realtime embedded systems tolerant to processor and communication media failures
- VALIDATING FAULTTOLERANT BEHAVIORS OF SYNCHRONOUS SYSTEM SPECIFICATIONS BY DISCRETE CONTROLLER SYNTHESIS 1,2
