default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMatthieu Moy
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c30]Oussama Oulkaid, Bruno Ferres, Matthieu Moy, Pascal Raymond, Mehdi Khosravian, Ludovic Henrio, Gabriel Radanne:
A Transistor Level Relational Semantics for Electrical Rule Checking by SMT Solving. DATE 2024: 1-6- 2023
- [c29]Bruno Ferres, Oussama Oulkaid, Ludovic Henrio, Mehdi Khosravian Ghadikolaei, Matthieu Moy, Gabriel Radanne, Pascal Raymond:
Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo Theory. DATE 2023: 1-2 - 2022
- [j7]Nicolas Chappe
, Ludovic Henrio, Amaury Maillé, Matthieu Moy, Hadrien Renaud:
An Optimised Flow for Futures: From Theory to Practice. Art Sci. Eng. Program. 6(1): 3 (2022) - 2021
- [j6]Gabriel Busnot, Tanguy Sassolas, Nicolas Ventroux, Matthieu Moy:
Standard-compliant parallel SystemC simulation of loosely-timed transaction level models: From baremetal to Linux-based applications support. Integr. 79: 23-40 (2021) - [c28]Amaury Maillé, Ludovic Henrio, Matthieu Moy:
Promise Plus: Flexible Synchronization for Parallel Computations on Arrays. FSEN 2021: 190-196 - [c27]Julien Emmanuel, Matthieu Moy, Ludovic Henrio, Grégoire Pichon:
S4BXI: the MPI-ready Portals 4 Simulator. MASCOTS 2021: 1-8 - [i5]Nicolas Chappe, Ludovic Henrio, Amaury Maillé, Matthieu Moy, Hadrien Renaud:
An Optimised Flow for Futures: From Theory to Practice. CoRR abs/2107.07298 (2021) - 2020
- [c26]Gabriel Busnot, Tanguy Sassolas, Nicolas Ventroux, Matthieu Moy:
Standard-compliant Parallel SystemC simulation of Loosely-Timed Transaction Level Models. ASP-DAC 2020: 363-368 - [c25]Maximilien Dupont de Dinechin, Matheus Schuh, Matthieu Moy, Claire Maiza:
Scaling Up the Memory Interference Analysis for Hard Real-Time Many-Core Systems. DATE 2020: 330-333
2010 – 2019
- 2019
- [c24]Amaury Graillat, Claire Maiza, Matthieu Moy, Pascal Raymond, Benoît Dupont de Dinechin:
Response time analysis of dataflow applications on a many-core processor with shared-memory and network-on-chip. RTNS 2019: 61-69 - 2018
- [c23]Amaury Graillat, Matthieu Moy, Pascal Raymond, Benoît Dupont de Dinechin:
Parallel code generation of synchronous programs for a many-core architecture. DATE 2018: 1139-1142 - [c22]Tristan Delizy, Stephane Gros, Kevin Marquet, Matthieu Moy, Tanguy Risset, Guillaume Salagnac:
Estimating the Impact of Architectural and Software Design Choices on Dynamic Allocation of Heterogeneous Memories. RSP 2018: 15-21 - 2016
- [j5]Karine Altisen, Matthieu Moy:
Causality problem in real-time calculus. Formal Methods Syst. Des. 48(1-2): 1-45 (2016) - [j4]Matthieu Moy, Claude Helmstetter, Tayeb Bouhadiba, Florence Maraninchi:
Modeling Power Consumption and Temperature in TLM Models. Leibniz Trans. Embed. Syst. 3(1): 03:1-03:29 (2016) - [c21]Hamza Rihani, Matthieu Moy, Claire Maiza, Robert I. Davis, Sebastian Altmeyer:
Response Time Analysis of Synchronous Data Flow Programs on a Many-Core Processor. RTNS 2016: 67-76 - 2015
- [c20]Denis Becker, Matthieu Moy, Jérôme Cornet:
Challenges for the parallelization of loosely timed SystemC programs. RSP 2015: 54-60 - [c19]Hamza Rihani, Matthieu Moy, Claire Maiza, Sebastian Altmeyer:
WCET analysis in shared resources real-time systems with TDMA buses. RTNS 2015: 183-192 - 2014
- [b2]Matthieu Moy:
Modélisation à haut niveau d'abstraction pour les systèmes embarqués. (High-level Models for Embedded Systems). Grenoble Alpes University, France, 2014 - [j3]Matthieu Moy:
Modélisation à haut niveau d'abstraction pour les systèmes embarqués. Tech. Sci. Informatiques 33(3): 285-293 (2014) - 2013
- [c18]Matthieu Moy:
Parallel programming with SystemC for loosely timed models: a non-intrusive approach. DATE 2013: 9-14 - [c17]Claude Helmstetter, Jérôme Cornet, Bruno Galilée, Matthieu Moy, Pascal Vivet:
Fast and accurate TLM simulations using temporal decoupling for FIFO-based communications. DATE 2013: 1185-1188 - [c16]Tayeb Bouhadiba, Matthieu Moy, Florence Maraninchi:
System-level modeling of energy in TLM for early validation of power and thermal management. DATE 2013: 1609-1614 - [c15]Tayeb Bouhadiba, Matthieu Moy, Florence Maraninchi, Jérôme Cornet, Laurent Maillet-Contoz, Ilija Materic:
Co-simulation of Functional SystemC TLM Models with Power/Thermal Solvers. IPDPS Workshops 2013: 2176-2181 - 2012
- [c14]Julien Henry, David Monniaux, Matthieu Moy:
Succinct Representations for Abstract Interpretation - Combined Analysis Algorithms and Experimental Evaluation. SAS 2012: 283-299 - [c13]Julien Henry, David Monniaux, Matthieu Moy:
PAGAI: A Path Sensitive Static Analyser. TAPAS@SAS 2012: 15-25 - [i4]Julien Henry, David Monniaux, Matthieu Moy:
Succinct Representations for Abstract Interpretation. CoRR abs/1206.4234 (2012) - [i3]Julien Henry, David Monniaux, Matthieu Moy:
PAGAI: a path sensitive static analyzer. CoRR abs/1207.3937 (2012) - 2011
- [c12]Giovanni Funchal, Matthieu Moy:
jTLM: An experimentation framework for the simulation of transaction-level models of Systems-on-Chip. DATE 2011: 1184-1187 - [c11]Matthieu Moy:
Efficient and playful tools to teach Unix to new students. ITiCSE 2011: 93-97 - [c10]Giovanni Funchal, Matthieu Moy:
Modeling of time in discrete-event simulation of systems-on-chip. MEMOCODE 2011: 171-180 - [i2]Matthieu Moy:
Efficient and Playful Tools to Teach Unix to New Students. CoRR abs/1103.1717 (2011) - 2010
- [c9]Karine Altisen, Matthieu Moy:
ac2lus: Bringing SMT-Solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustre. ECRTS 2010: 207-216 - [c8]Kevin Marquet, Matthieu Moy:
PinaVM: a systemC front-end based on an executable intermediate representation. EMSOFT 2010: 79-88 - [c7]Kevin Marquet, Bageshri Karkare, Matthieu Moy:
A Theoretical and Experimental Review of SystemC Front-ends. FDL 2010: 124-129 - [c6]Matthieu Moy, Karine Altisen:
Arrival Curves for Real-Time Calculus: The Causality Problem and Its Solutions. TACAS 2010: 358-372 - [c5]Karine Altisen, Yanhong Liu, Matthieu Moy:
Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata. QAPL 2010: 16-33 - [i1]Karine Altisen, Yanhong Liu, Matthieu Moy:
Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata. CoRR abs/1004.2637 (2010)
2000 – 2009
- 2009
- [j2]Loïc Besnard, Thierry Gautier, Matthieu Moy, Jean-Pierre Talpin, Kenneth Johnson, Florence Maraninchi:
Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 23 (2009) - 2007
- [c4]Claus Traulsen, Jérôme Cornet, Matthieu Moy, Florence Maraninchi:
A SystemC/TLM Semantics in Promelaand Its Possible Applications. SPIN 2007: 204-222 - 2006
- [c3]Claude Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz, Matthieu Moy:
Automatic Generation of Schedulings for Improving the Test Coverage of Systems-on-a-Chip. FMCAD 2006: 171-178 - 2005
- [b1]Matthieu Moy:
Techniques and Tools for the Verification of Systems-on-a-Chip at the Transaction Level. (Techniques et outils pour la vérification de Systèmes-sur-Puce au niveau transaction). Grenoble Institute of Technology, France, 2005 - [j1]Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz:
LusSy: An open tool for the analysis of systems-on-a-chip at the transaction level. Des. Autom. Embed. Syst. 10(2-3): 73-104 (2005) - [c2]Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz:
LusSy: A Toolbox for the Analysis of Systems-on-a-Chip at the Transactional Level. ACSD 2005: 26-35 - [c1]Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz:
Pinapa: an extraction tool for SystemC descriptions of systems-on-a-chip. EMSOFT 2005: 317-324
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
