Alain Girault

Available identifiers

Publication	Date of Publication	Type
Monotonic Prefix Consistency in Distributed Systems	2023-03-10	Paper
A pseudo-linear time algorithm for the optimal discrete speed minimizing energy consumption	2021-12-09	Paper
Dynamic speed scaling minimizing expected energy consumption for real-time tasks	2020-12-11	Paper
A Predictable Framework for Safety-Critical Embedded Systems	2017-06-20	Paper
An algorithm for reducing binary branchings	2017-01-19	Paper
Reliability and performance optimization of pipelined real-time systems	2014-04-02	Paper
Probabilistic contracts for component-based design	2014-03-28	Paper
Widening with Thresholds for Programs with Complex Control Graphs	2011-10-07	Paper
Probabilistic Contracts for Component-Based Design	2010-10-04	Paper
Automating the addition of fault tolerance with discrete controller synthesis	2009-12-02	Paper
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems	2005-08-19	Paper
A scheduling heuristics for distributed real-time embedded systems tolerant to processor and communication media failures	2005-04-26	Paper
https://portal.mardi4nfdi.de/entity/Q4439587	2003-12-14	Paper
Elimination of redundant messages with a two-pass static analysis algorithm	2002-03-03	Paper

This page was built for person: Alain Girault