Yves Sorel

From MaRDI portal



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!

PublicationDate of PublicationType
From concurrent multi-clock programs to deterministic asynchronous implementations
Fundamenta Informaticae
2012-07-04Paper
Periodic real-time scheduling: From deadline-based model to latency-based model
Annals of Operations Research
2008-09-03Paper
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
Lecture Notes in Computer Science
2005-08-19Paper
A scheduling heuristics for distributed real-time embedded systems tolerant to processor and communication media failures
International Journal of Production Research
2005-04-26Paper
scientific article; zbMATH DE number 1742157 (Why is no real title available?)2002-07-02Paper
A denotational theory of synchronous reactive systems
Information and Computation
1992-09-27Paper


Research outcomes over time


This page was built for person: Yves Sorel