Search results for "Alain Girault"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Pascal Fradet, Alain Girault, Peter Poplavkoy	SPDF: A schedulable parametric data-flow MoC.	DATE	2012	DBLP BibTeX RDF
1	Avinash Malik, Alain Girault, Zoran Salcic	A GALS Language for Dynamic Distributed and Reactive Programs.	ACSD	2011	DBLP DOI BibTeX RDF
1	Lies Lakhdar-Chaouch, Bertrand Jeannet, Alain Girault	Widening with Thresholds for Programs with Complex Control Graphs.	ATVA	2011	DBLP DOI BibTeX RDF
1	Ismail Assayad, Alain Girault, Hamoudi Kalla	Tradeoff Exploration between Reliability, Power Consumption, and Execution Time.	SAFECOMP	2011	DBLP DOI BibTeX RDF
1	Sidharta Andalam, Partha S. Roop, Alain Girault	Pruning infeasible paths for tight WCRT analysis of synchronous programs.	DATE	2011	DBLP DOI BibTeX RDF
1	Avinash Malik, Zoran Salcic, Partha S. Roop, Alain Girault	SystemJ: A GALS language for system level design.	Computer Languages, Systems & Structures	2010	DBLP DOI BibTeX RDF
1	Sidharta Andalam, Partha S. Roop, Alain Girault	Predictable multithreading of embedded applications using PRET-C.	MEMOCODE	2010	DBLP DOI BibTeX RDF
1	Dana N. Xu, Gregor Gößler, Alain Girault	Probabilistic Contracts for Component-Based Design.	ATVA	2010	DBLP DOI BibTeX RDF
1	Anne Benoit, Fanny Dufossé, Alain Girault, Yves Robert	Reliability and Performance Optimization of Pipelined Real-Time Systems.	ICPP	2010	DBLP DOI BibTeX RDF
1	Sidharta Andalam, Partha S. Roop, Alain Girault	Deterministic, predictable and light-weight multithreading using PRET-C.	DATE	2010	DBLP BibTeX RDF
1	Alain Girault, Hamoudi Kalla	A Novel Bicriteria Scheduling Heuristics Providing a Guaranteed Global System Failure Rate.	IEEE Trans. Dependable Sec. Comput.	2009	DBLP DOI BibTeX RDF
1	Alain Girault, Éric Rutten	Preface.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Alain Girault, Erik Saule, Denis Trystram	Reliability versus performance for critical applications.	J. Parallel Distrib. Comput.	2009	DBLP DOI BibTeX RDF
1	Alain Girault, Éric Rutten	Automating the addition of fault tolerance with discrete controller synthesis.	Formal Methods in System Design	2009	DBLP DOI BibTeX RDF
1	Partha S. Roop, Alain Girault, Roopak Sinha, Gregor Goessler	Specification Enforcing Refinement for Convertibility Verification.	ACSD	2009	DBLP DOI BibTeX RDF	forced simulation, discrete controller synthesis, Protocol conversion
1	Avinash Malik, Zoran A. Salcic, Alain Girault, Adam Walker, Sung Chul Lee	A customizable multiprocessor for Globally Asynchronous Locally Synchronous execution.	JTRES	2009	DBLP DOI BibTeX RDF	synchronous and asynchronous concurrency, multiprocessor, GALS, reactivity
1	Mouaiad Alras, Paul Caspi, Alain Girault, Pascal Raymond	Model-Based Design of Embedded Control Systems by Means of a Synchronous Intermediate Model.	ICESS	2009	DBLP DOI BibTeX RDF
1	Tolga Ayav, Pascal Fradet, Alain Girault	Implementing fault-tolerance in real-time programs by automatic program transformations.	ACM Trans. Embedded Comput. Syst.	2008	DBLP DOI BibTeX RDF	Fault-tolerance, program transformations, checkpointing, correctness proofs, heartbeating
1	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	DBLP DOI BibTeX RDF
1	Alain Girault, Robert de Simone	Preface.	Electr. Notes Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Alain Girault, Hamoudi Kalla	Bicriteria Multi-Processor Static Scheduling.	ERCIM News	2008	DBLP BibTeX RDF
1	Gwenaël Delaval, Alain Girault, Marc Pouzet	A type system for the automatic distribution of higher-order synchronous dataflow programs.	LCTES	2008	DBLP DOI BibTeX RDF	distribution, functional programming, type systems, synchronous programming
1	Alain Girault, S. Ramesh, Jean-Pierre Talpin	Synchronous Paradigm in Embedded Systems.	EURASIP J. Emb. Sys.	2007	DBLP DOI BibTeX RDF
1	Massimo Tivoli, Pascal Fradet, Alain Girault, Gregor Gößler	Adaptor Synthesis for Real-Time Components.	TACAS	2007	DBLP DOI BibTeX RDF
1	Alain Girault, Xavier Nicollin, Marc Pouzet	Automatic rate desynchronization of embedded reactive programs.	ACM Trans. Embedded Comput. Syst.	2006	DBLP DOI BibTeX RDF	Embedded programs, long-duration tasks, parallelization algorithm, reactive systems, desynchronization, automatic distribution
1	Florence Maraninchi, Alain Girault, Marc Pouzet	Preface.	Electr. Notes Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Tolga Ayav, Pascal Fradet, Alain Girault	Implementing fault-tolerance in real-time systems by automatic program transformations.	EMSOFT	2006	DBLP DOI BibTeX RDF	fault-tolerance, program transformations, checkpointing, heartbeating
1	Alain Girault, Hamoudi Kalla, Yves Sorel	Transient Processor/Bus Fault Tolerance for Embedded Systems.	DIPES	2006	DBLP DOI BibTeX RDF	hybrid redundancy, safety-critical systems, transient faults, real-time embedded systems, scheduling heuristics, heterogeneous architectures, data fragmentation
1	Alain Girault, Huafeng Yu	A flexible method to tolerate value sensor failures.	ETFA	2006	DBLP DOI BibTeX RDF
1	Alain Girault, Éric Rutten	Modeling Fault-tolerant Distributed Systems for Discrete Controller Synthesis.	Electr. Notes Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Florence Maraninchi, Alain Girault, Éric Rutten	Foreword.	Electr. Notes Theor. Comput. Sci.	2004	DBLP DOI BibTeX RDF
1	Jean-Louis Colaço, Alain Girault, Grégoire Hamon, Marc Pouzet	Towards a higher-order synchronous data-flow language.	EMSOFT	2004	DBLP DOI BibTeX RDF	Kahn processes, stream functions, synchronous data-flow programming language, functional programming, type system, dynamic reconfiguration
1	Ismail Assayad, Alain Girault, Hamoudi Kalla	A Bi-Criteria Scheduling Heuristic for Distributed Embedded Systems under Reliability and Real-Time Constraints.	DSN	2004	DBLP DOI BibTeX RDF	multi-criteria scheduling, active software replication, reliability, safety-critical systems, heterogeneous systems, Distributed real-time systems
1	Catalin Dima, Alain Girault, Yves Sorel	Static Fault-Tolerant Real-Time Scheduling with "Pseudo-topological" Orders.	FORMATS/FTRTFT	2004	DBLP DOI BibTeX RDF
1	Alain Girault, Hamoudi Kalla, Yves Sorel	An Active Replication Scheme that Tolerates Failure in Distributed Embedded Real-Time Systems.	DIPES	2004	DBLP BibTeX RDF
1	Alain Girault, Xavier Nicollin	Clock-Driven Automatic Distribution of Lustre Programs.	EMSOFT	2003	DBLP DOI BibTeX RDF	synchronous abstraction, data-flow languages, long duration tasks, reactive systems, clocks, Automatic distribution
1	Alain Girault, Hamoudi Kalla, Mihaela Sighireanu, Yves Sorel	An Algorithm for Automatically Obtaining Distributed and Fault-Tolerant Static Schedules.	DSN	2003	DBLP DOI BibTeX RDF	Fault Tolerance in Distributed and Real-Time Systems, multi-component architectures, distribution heuristics, Safety-Critical Systems, software implemented fault-tolerance
1	Alain Girault	Elimination of redundant messages with a two-pass static analysis algorithm.	Parallel Computing	2002	DBLP DOI BibTeX RDF
1	Florence Maraninchi, Alain Girault, Éric Rutten	Preface.	Electr. Notes Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
1	Alain Girault, Clément Ménier	Automatic Production of Globally Asynchronous Locally Synchronous Systems.	EMSOFT	2002	DBLP DOI BibTeX RDF	Globally synchronous-locally asynchronous (GALS), asynchronous communications, hardware/software codesign, distributed architectures, synchronous circuits, automatic distribution
1	Charles Andre, Frédéric Boulanger, Alain Girault	Software Implementation of Synchronous Programs.	ACSD	2001	DBLP DOI BibTeX RDF
1	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	DBLP BibTeX RDF
1	Alain Girault	Elimination of Redundant Messages with a Two-Pass Static Analysis Algorithm.	PDP	2001	DBLP DOI BibTeX RDF
1	Catalin Dima, Alain Girault, Christophe Lavarenne, Yves Sorel	Off-Line Real-Time Fault-Tolerant Scheduling.	PDP	2001	DBLP DOI BibTeX RDF
1	Alain Girault, Christophe Lavarenne, Yves Sorel, Mihaela Sighireanu	Fault-Tolerant Static Scheduling for Real-Time Distributed Embedded Systems.	ICDCS	2001	DBLP DOI BibTeX RDF	distribution heuristics, Real-time embedded systems, static scheduling, software implemented fault-tolerance
1	Paul Caspi, Alain Girault, Daniel Pilaud	Automatic Distribution of Reactive Systems for Asynchronous Networks of Processors.	IEEE Trans. Software Eng.	1999	DBLP DOI BibTeX RDF	distributed processing, reactive systems, Asynchronous communications, synchronous languages, automatic distribution
1	Alain Girault, Bilung Lee, Edward A. Lee	Hierarchical finite state machines with multiple concurrency models.	IEEE Trans. on CAD of Integrated Circuits and Systems	1999	DBLP DOI BibTeX RDF
1	Paul Caspi, Alain Girault	Execution of Distributed Reactive Systems.	Euro-Par	1995	DBLP DOI BibTeX RDF	parallel computing, reactive system, synchronous language, program interface
1	Paul Caspi, Jean-Claude Fernandez, Alain Girault	An Algorithm for Reducing Binary Branchings.	FSTTCS	1995	DBLP DOI BibTeX RDF	object code optimization, on the fly bisimulation, observational equivalence
1	Paul Caspi, Alain Girault	Distributing Finite Transition Systems Extended Abstract.	PARLE	1992	DBLP DOI BibTeX RDF

Publications of "Alain Girault" ( http://dblp.L3S.de/Authors/Alain_Girault )