Skip to Main content

Researcher identifiers

Export Publications

Export the displayed publications:

Production year

Number of documents


Matthieu Moy


Conference papers5 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⟩
  • Giovanni Funchal, Matthieu Moy. Modeling of Time in Discrete-Event Simulation of Systems-on-Chip. MEMOCODE, Jul 2011, Cambridge, United Kingdom. ⟨hal-00595637⟩
  • Matthieu Moy. Efficient and Playful Tools to Teach Unix to New Students. ITiCSE, Jun 2011, Darmstadt, Germany. pp.0. ⟨hal-00574783⟩
  • Kevin Marquet, Matthieu Moy, Bertrand Jeannet. Efficient Encoding of SystemC/TLM in Promela. DATICS-IMECS, Mar 2011, Hong Kong SAR China. ⟨hal-00557515⟩
  • Giovanni Funchal, Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz. Faithfulness Considerations for Virtual Prototyping of Systems-on-Chip. 3rd Workshop on: Rapid Simulation and Performance Evaluation: Methods and Tools, Jan 2011, Greece. ⟨hal-00559986⟩