Accéder directement au contenu

Matthieu Moy

Maître de conférences à l'UCBL/LIP
4
Documents
Identifiants chercheurs

Présentation

<https://matthieu-moy.fr/>

Publications

832502
Image document

Causality closure for a new class of curves in real-time calculus

 Karine Altisen , Matthieu Moy
Proceedings of the 1st International Workshop on Worst-Case Traversal Time, Nov 2011, Vienna, Austria. pp.3--10, ⟨10.1145/2071589.2071590⟩
Communication dans un congrès hal-00648628v1
Image document

Arrival Curves for Real-Time Calculus: the Causality Problem and its Solutions

 Matthieu Moy , Karine Altisen
Tools and Algorithms for the Construction and Analysis of Systems, Mar 2010, Paphos, Cyprus. pp.358
Communication dans un congrès hal-00442257v1
Image document

Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata

 Karine Altisen , Yanhong Liu , Matthieu Moy
8th Workshop on Quantitative Aspects of Programming Languages, Mar 2010, Paphos, Cyprus. pp.166, ⟨10.4204/EPTCS⟩
Communication dans un congrès hal-00450292v1
Image document

ac2lus: Bringing SMT-solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustre

 Karine Altisen , Matthieu Moy
2010
Pré-publication, Document de travail hal-00475745v1