Yves Sorel

Available identifiers

zbMath Open sorel.yvesMaRDI QIDQ940871

List of research outcomes

Publication	Date of Publication	Type
From concurrent multi-clock programs to deterministic asynchronous implementations	2012-07-04	Paper
Periodic real-time scheduling: From deadline-based model to latency-based model	2008-09-03	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/Q4330381	2002-07-02	Paper
A denotational theory of synchronous reactive systems	1992-09-27	Paper

Research outcomes over time

This page was built for person: Yves Sorel