Laurent Maillet-Contoz

18 papers A* 1A 2B 2C 1Misc 1Journal 2Unranked 9
YearRankTypeTitle / Venue / Authors
2020 — conf
End-to-end security validation of IoT systems based on digital twins of end-devices.
GIoTS
Laurent Maillet-Contoz, Emmanuel Michel, Mario Diaz-Nava, Paul-Emmanuel Brun, Kevin Leprêtre, Guillemette Massot
2020 — conf
Model Based Methodology and Framework for Design and Management of Next-Gen IoT Systems.
SAM IoT
Xu Tao, Davide Conzon, Enrico Ferrera, Shuai Li, Jürgen Götz, Laurent Maillet-Contoz, Emmanuel Michel, Mario Diaz-Nava, Abdelhakim Baouya, Salim Chehida
2017 C conf
Use of Architecture Description to Maintain Consistency in Agile Processes.
MODELSWARD
Aurélien Chichignoud, Florian Noyrit, Laurent Maillet-Contoz, François Terrier
2013 — conf
Co-simulation of Functional SystemC TLM Models with Power/Thermal Solvers.
IPDPS Workshops
Tayeb Bouhadiba, Matthieu Moy, Florence Maraninchi, Jérôme Cornet, Laurent Maillet-Contoz, Ilija Materic
2010 — conf
A Design Flow for Critical Embedded Systems.
SIES
Vincent Lefftz, Jean Bertrand, Hugues Cassé, Christophe Clienti, Philippe Coussy, Laurent Maillet-Contoz, Philippe Mercier, Pierre Moreau, Laurence Pierre, Emmanuel Vaumorin
2010 — conf
OPENTLM and SOCKET: Creating an Open EcoSystem for Virtual Prototyping of Complex SOCs.
PATMOS
Laurent Maillet-Contoz
2010 A conf
Standards for System Level Design.
ICCAD
Laurent Maillet-Contoz
2009 J jnl
Full simulation coverage for SystemC transaction-level models of systems-on-a-chip.
Formal Methods Syst. Des.
Claude Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz
2008 A conf
A Method for the Efficient Development of Timed and Untimed Transaction-Level Models of Systems-on-Chip.
DATE
Jérôme Cornet, Florence Maraninchi, Laurent Maillet-Contoz
2007 — conf
Rendezvous-based MoC for untimed TLM.
SoC
Rohit Jindal, Laurent Maillet-Contoz
2007 A* conf
TLM: Crossing Over From Buzz To Adoption.
DAC
Francine Bacchini, Daniel D. Gajski, Laurent Maillet-Contoz, Haruhisa Kashiwagi, Jack Donovan, Tommi Mäkeläinen, Jack Greenbaum, Rishiyur S. Nikhil
2006 B conf
Automatic Generation of Schedulings for Improving the Test Coverage of Systems-on-a-Chip.
FMCAD
Claude Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz, Matthieu Moy
2006 — conf
Test Coverage for Loose Timing Annotations.
FMICS/PDMC
Claude Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz
2005 — conf
LusSy: A Toolbox for the Analysis of Systems-on-a-Chip at the Transactional Level.
ACSD
Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz
2005 J jnl
LusSy: An open tool for the analysis of systems-on-a-chip at the transaction level.
Des. Autom. Embed. Syst.
Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz
2005 Misc conf
Pinapa: an extraction tool for SystemC descriptions of systems-on-a-chip.
EMSOFT
Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz
1997 B conf
An Assistant for a Design Project: Application to the Design of a Mixed Hardware/Software Architecture.
EKAW
Laurent Maillet-Contoz, Jean Sallantin
1997 — conf
High speed intelligent machine through programmable hardware: application to genomic systems.
KES (2)
Eric Lemoine, Laurent Maillet-Contoz, David Merceron, Jean Sallantin