Skip to Main content

Researcher identifiers

Export Publications

Export the displayed publications:

Production year

Number of documents


Matthieu Moy

"Karine Altisen"   

Journal articles1 document

Conference papers3 documents

  • Karine Altisen, Matthieu Moy. Causality closure for a new class of curves in real-time calculus. Proceedings of the 1st International Workshop on Worst-Case Traversal Time, Nov 2011, Vienna, Austria. pp.3--10, ⟨10.1145/2071589.2071590⟩. ⟨hal-00648628⟩
  • Matthieu Moy, Karine Altisen. Arrival Curves for Real-Time Calculus: the Causality Problem and its Solutions. Tools and Algorithms for the Construction and Analysis of Systems, Mar 2010, Paphos, Cyprus. pp.358. ⟨hal-00442257⟩
  • Karine Altisen, Yanhong Liu, Matthieu Moy. Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata. 8th Workshop on Quantitative Aspects of Programming Languages, Mar 2010, Paphos, Cyprus. pp.166, ⟨10.4204/EPTCS⟩. ⟨hal-00450292⟩

Preprints, Working Papers, ...1 document

  • Karine Altisen, Matthieu Moy. ac2lus: Bringing SMT-solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustre. 2010. ⟨hal-00475745⟩