Skip to Main content

Researcher identifiers

Export Publications

Export the displayed publications:

Production year

Number of documents

5

Matthieu Moy


https://matthieu-moy.fr/


SYNCHRONE    VERIMAG [1993-2015]   

Journal articles2 documents

  • Karine Altisen, Matthieu Moy. Causality problem in real-time calculus. Formal Methods in System Design, Springer Verlag, 2016, 48, pp.1 - 45. ⟨10.1007/s10703-016-0250-y⟩. ⟨hal-01406162⟩
  • Matthieu Moy. Compte-rendu d'habilitation : Modélisation à haut niveau d'abstraction pour les systèmes embarqués. Technique et Science Informatiques, Hermès-Lavoisier, 2014, 33 (3), pp.285-293. ⟨hal-00986536⟩

Conference papers3 documents

  • Julien Henry, David Monniaux, Matthieu Moy. Succinct Representations for Abstract Interpretation. Static analysis symposium (SAS), Sep 2012, Deauville, France. pp.283-299, ⟨10.1007/978-3-642-33125-1_20⟩. ⟨hal-00709833⟩
  • Julien Henry, David Monniaux, Matthieu Moy. PAGAI: a path sensitive static analyzer. Tools for Automatic Program AnalysiS (TAPAS 2012), Sep 2012, Deauville, France. pp.3. ⟨hal-00718438⟩
  • 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⟩