Alain Girault

According to our database1, Alain Girault authored at least 82 papers between 1992 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Monotonic Prefix Consistency in Distributed Systems.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2018

Building Correct Cyber-Physical Systems: Why We Need a Multiview Contract Theory.
Proceedings of the Formal Methods for Industrial Critical Systems, 2018

Lossy Channels in a Dataflow Model of Computation.
Proceedings of the Principles of Modeling, 2018

2017
Symbolic Analyses of Dataflow Graphs.
ACM Trans. Design Autom. Electr. Syst., 2017

A Survey of Parametric Dataflow Models of Computation.
ACM Trans. Design Autom. Electr. Syst., 2017

Why You Can't Beat Blockchains: Consistency and High Availability in Distributed Systems.
CoRR, 2017

Adaptive Mapping for Multiple Applications on Parallel Architectures.
Proceedings of the Ubiquitous Networking - Third International Symposium, 2017

Real-time ticks for synchronous programming.
Proceedings of the 2017 Forum on Specification and Design Languages, 2017

2016
Symbolic Buffer Sizing for Throughput-Optimal Scheduling of Dataflow Graphs.
Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016

The ForeC Synchronous Deterministic Parallel Programming Language for Multicores.
Proceedings of the 10th IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip, 2016

Energy and timing aware synchronous programming.
Proceedings of the 2016 International Conference on Embedded Software, 2016

2015
A formal approach for the synthesis and implementation of fault-tolerant industrial embedded systems.
Proceedings of the 10th IEEE International Symposium on Industrial Embedded Systems, 2015

Automatic Time-Redundancy Transformation for Fault-Tolerant Circuits.
Proceedings of the 2015 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, 2015

Time-redundancy transformations for adaptive fault-tolerant circuits.
Proceedings of the 2015 NASA/ESA Conference on Adaptive Hardware and Systems, 2015

2014
A Formal Approach to Incremental Converter Synthesis for System-on-Chip Design.
ACM Trans. Design Autom. Electr. Syst., 2014

Building timing predictable embedded systems.
ACM Trans. Embedded Comput. Syst., 2014

A Predictable Framework for Safety-Critical Embedded Systems.
IEEE Trans. Computers, 2014

libDGALS: A library-based approach to design dynamic GALS systems.
Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems, 2014

A framework to schedule parametric dataflow applications on many-core platforms.
Proceedings of the SIGPLAN/SIGBED Conference on Languages, 2014

Verification-guided voter minimization in triple-modular redundant circuits.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

2013
Tradeoff exploration between reliability, power consumption, and execution time for embedded systems - The TSH tricriteria scheduling heuristic.
STTT, 2013

Reliability and performance optimization of pipelined real-time systems.
J. Parallel Distrib. Comput., 2013

Synchronous Programming (Dagstuhl Seminar 13471).
Dagstuhl Reports, 2013

BPDF: A statically analyzable dataflow model with integer and boolean parameters.
Proceedings of the International Conference on Embedded Software, 2013

Precise timing analysis for direct-mapped caches.
Proceedings of the 50th Annual Design Automation Conference 2013, 2013

Programming and Timing Analysis of Parallel Programs on Multicores.
Proceedings of the 13th International Conference on Application of Concurrency to System Design, 2013

2012
Formal Semantics, Compilation and Execution of the GALS Programming Language DSystemJ.
IEEE Trans. Parallel Distrib. Syst., 2012

Probabilistic contracts for component-based design.
Formal Methods in System Design, 2012

A Type System for the Automatic Distribution of Higher-order Synchronous Dataflow Programs
CoRR, 2012

SPDF: A schedulable parametric data-flow MoC.
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

2011
Tradeoff Exploration between Reliability, Power Consumption, and Execution Time.
Proceedings of the Computer Safety, Reliability, and Security, 2011

Pruning infeasible paths for tight WCRT analysis of synchronous programs.
Proceedings of the Design, Automation and Test in Europe, 2011

Widening with Thresholds for Programs with Complex Control Graphs.
Proceedings of the Automated Technology for Verification and Analysis, 2011

A GALS Language for Dynamic Distributed and Reactive Programs.
Proceedings of the 11th International Conference on Application of Concurrency to System Design, 2011

2010
SystemJ: A GALS language for system level design.
Computer Languages, Systems & Structures, 2010

Multicriteria optimal reconfiguration of fault-tolerant real-time tasks.
Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

Predictable multithreading of embedded applications using PRET-C.
Proceedings of the 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), 2010

Reliability and Performance Optimization of Pipelined Real-Time Systems.
Proceedings of the 39th International Conference on Parallel Processing, 2010

Deterministic, predictable and light-weight multithreading using PRET-C.
Proceedings of the Design, Automation and Test in Europe, 2010

Probabilistic Contracts for Component-Based Design.
Proceedings of the Automated Technology for Verification and Analysis, 2010

2009
A Novel Bicriteria Scheduling Heuristics Providing a Guaranteed Global System Failure Rate.
IEEE Trans. Dependable Sec. Comput., 2009

Reliability versus performance for critical applications.
J. Parallel Distrib. Comput., 2009

Automating the addition of fault tolerance with discrete controller synthesis.
Formal Methods in System Design, 2009

Preface.
Electr. Notes Theor. Comput. Sci., 2009

A customizable multiprocessor for Globally Asynchronous Locally Synchronous execution.
Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2009

Model-Based Design of Embedded Control Systems by Means of a Synchronous Intermediate Model.
Proceedings of the International Conference on Embedded Software and Systems, 2009

Specification Enforcing Refinement for Convertibility Verification.
Proceedings of the Ninth International Conference on Application of Concurrency to System Design, 2009

2008
Implementing fault-tolerance in real-time programs by automatic program transformations.
ACM Trans. Embedded Comput. Syst., 2008

Bicriteria Multi-Processor Static Scheduling.
ERCIM News, 2008

Preface.
Electr. Notes Theor. Comput. Sci., 2008

Selected Papers from SLA++P 07 and 08 Model-Driven High-Level Programming of Embedded Systems.
EURASIP J. Emb. Sys., 2008

A type system for the automatic distribution of higher-order synchronous dataflow programs.
Proceedings of the 2008 ACM SIGPLAN/SIGBED Conference on Languages, 2008

2007
Synchronous Paradigm in Embedded Systems.
EURASIP J. Emb. Sys., 2007

Adaptor Synthesis for Real-Time Components.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

2006
Automatic rate desynchronization of embedded reactive programs.
ACM Trans. Embedded Comput. Syst., 2006

Preface.
Electr. Notes Theor. Comput. Sci., 2006

Transient Processor/Bus Fault Tolerance for Embedded Systems.
Proceedings of the From Model-Driven Design to Resource Management for Distributed Embedded Systems, 2006

A flexible method to tolerate value sensor failures.
Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006

Implementing fault-tolerance in real-time systems by automatic program transformations.
Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

Contributions à la conception sûre des systèmes embarqués sûrs. (Contributions to the safe design of safe embedded systems).
, 2006

2005
Modeling Fault-tolerant Distributed Systems for Discrete Controller Synthesis.
Electr. Notes Theor. Comput. Sci., 2005

2004
Foreword.
Electr. Notes Theor. Comput. Sci., 2004

An Active Replication Scheme that Tolerates Failures in Distributed Embedded Real-Time Systems.
Proceedings of the Design Methods and Applications for Distributed Embedded Systems, 2004

Static Fault-Tolerant Real-Time Scheduling with "Pseudo-topological" Orders.
Proceedings of the Formal Techniques, 2004

Towards a higher-order synchronous data-flow language.
Proceedings of the EMSOFT 2004, 2004

A Bi-Criteria Scheduling Heuristic for Distributed Embedded Systems under Reliability and Real-Time Constraints.
Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004

2003
Clock-Driven Automatic Distribution of Lustre Programs.
Proceedings of the Embedded Software, Third International Conference, 2003

An Algorithm for Automatically Obtaining Distributed and Fault-Tolerant Static Schedules.
Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

2002
Elimination of redundant messages with a two-pass static analysis algorithm.
Parallel Computing, 2002

Preface.
Electr. Notes Theor. Comput. Sci., 2002

Automatic Production of Globally Asynchronous Locally Synchronous Systems.
Proceedings of the Embedded Software, Second International Conference, 2002

2001
Elimination of Redundant Messages with a Two-Pass Static Analysis Algorithm.
Proceedings of the Ninth Euromicro Workshop on Parallel and Distributed Processing, 2001

Off-Line Real-Time Fault-Tolerant Scheduling.
Proceedings of the Ninth Euromicro Workshop on Parallel and Distributed Processing, 2001

Generation of Fault-Tolerant Static Scheduling for Real-Time Distributed Embedded Systems with Multi-Point Links.
Proceedings of the 15th International Parallel & Distributed Processing Symposium (IPDPS-01), 2001

Fault-Tolerant Static Scheduling for Real-Time Distributed Embedded Systems.
Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS 2001), 2001

Software Implementation of Synchronous Programs.
Proceedings of the 2nd International Conference on Application of Concurrency to System Design (ACSD 2001), 2001

1999
Automatic Distribution of Reactive Systems for Asynchronous Networks of Processors.
IEEE Trans. Software Eng., 1999

Hierarchical finite state machines with multiple concurrency models.
IEEE Trans. on CAD of Integrated Circuits and Systems, 1999

1995
An Algorithm for Reducing Binary Branchings.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1995

Execution of Distributed Reactive Systems.
Proceedings of the Euro-Par '95 Parallel Processing, 1995

1994
Sur la répartition de programmes synchrones.
PhD thesis, 1994

1992
Distributing Finite Transition Systems Extended Abstract.
Proceedings of the PARLE '92: Parallel Architectures and Languages Europe, 1992


  Loading...