Skip to Main content

Researcher identifiers

Export Publications

Export the displayed publications:

Production year

Number of documents


Matthieu Moy


Conference papers3 documents

  • 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⟩
  • Kevin Marquet, Matthieu Moy. PinaVM: a SystemC Front-End Based on an Executable Intermediate Representation. International Conference on Embedded Software, Oct 2010, Scottsdale, United States. pp.79. ⟨hal-00495874⟩
  • 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, ...2 documents

  • Karine Altisen, Matthieu Moy. ac2lus: Bringing SMT-solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustre. 2010. ⟨hal-00475745⟩
  • Kevin Marquet, Matthieu Moy, Bageshri Karkare. A Theoretical and Experimental Review of SystemC Front-ends. 2010. ⟨hal-00495886⟩