Alain Girault

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
An MDP-based solution for the energy minimization of non-clairvoyant hard real-time systems Real-Time Systems	2025-08-05	Paper
Monotonic Prefix Consistency in Distributed Systems Formal Techniques for Distributed Objects, Components, and Systems	2023-03-10	Paper
A pseudo-linear time algorithm for the optimal discrete speed minimizing energy consumption Discrete Event Dynamic Systems	2021-12-09	Paper
Dynamic speed scaling minimizing expected energy consumption for real-time tasks Journal of Scheduling	2020-12-11	Paper
A Predictable Framework for Safety-Critical Embedded Systems IEEE Transactions on Computers	2017-06-20	Paper
An algorithm for reducing binary branchings Lecture Notes in Computer Science	2017-01-19	Paper
Reliability and performance optimization of pipelined real-time systems Journal of Parallel and Distributed Computing	2014-04-02	Paper
Probabilistic contracts for component-based design Formal Methods in System Design	2014-03-28	Paper
Widening with Thresholds for Programs with Complex Control Graphs Automated Technology for Verification and Analysis	2011-10-07	Paper
Probabilistic Contracts for Component-Based Design Automated Technology for Verification and Analysis	2010-10-04	Paper
Automating the addition of fault tolerance with discrete controller synthesis Formal Methods in System Design	2009-12-02	Paper
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems Lecture Notes in Computer Science	2005-08-19	Paper
A scheduling heuristics for distributed real-time embedded systems tolerant to processor and communication media failures International Journal of Production Research	2005-04-26	Paper
scientific article; zbMATH DE number 2017356 (Why is no real title available?)	2003-12-14	Paper
Elimination of redundant messages with a two-pass static analysis algorithm Parallel Computing	2002-03-03	Paper

Research outcomes over time

This page was built for person: Alain Girault