Travelled to:1 × Germany
2 × Cyprus
3 × France
Collaborated with:∅ K.Altisen G.Funchal T.Bouhadiba F.Maraninchi J.Henry D.Monniaux Y.Liu C.Helmstetter J.Cornet B.Galilée P.Vivet
Talks about:time (4) system (3) model (3) experiment (2) calculus (2) simul (2) level (2) evalu (2) real (2) base (2)
Person: Matthieu Moy
DBLP: Moy:Matthieu
Contributed to:
2013
20122011
2011
2010
2010Wrote 8 papers:
- DATE-2013-BouhadibaMM #energy #modelling #validation
- System-level modeling of energy in TLM for early validation of power and thermal management (TB, MM, FM), pp. 1609–1614.
- DATE-2013-HelmstetterCGMV #performance #simulation #using
- Fast and accurate TLM simulations using temporal decoupling for FIFO-based communications (CH, JC, BG, MM, PV), pp. 1185–1188.
- DATE-2013-Moy #approach #modelling #parallel #programming
- Parallel programming with SystemC for loosely timed models: a non-intrusive approach (MM), pp. 9–14.
- SAS-2012-HenryMM #abstract interpretation #algorithm #analysis #evaluation
- Succinct Representations for Abstract Interpretation — Combined Analysis Algorithms and Experimental Evaluation (JH, DM, MM), pp. 283–299.
- DATE-2011-FunchalM #framework #modelling #named #simulation #transaction
- jTLM: An experimentation framework for the simulation of transaction-level models of Systems-on-Chip (GF, MM), pp. 1184–1187.
- ITiCSE-2011-Moy #education #performance #student #tool support
- Efficient and playful tools to teach Unix to new students (MM), pp. 93–97.
- QAPL-2010-AltisenLM #automaton #calculus #component #evaluation #interface #performance #realtime #using
- Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata (KA, YL, MM), pp. 16–33.
- TACAS-2010-MoyA #calculus #problem #realtime
- Arrival Curves for Real-Time Calculus: The Causality Problem and Its Solutions (MM, KA), pp. 358–372.