Login / Signup
Jean-Marie Cottin
Publication Activity (10 Years)
Years Active: 2002-2016
Publications (10 Years): 3
Top Topics
Formal Methods
Asynchronous Circuits
Embedded Software
Simulation Tools
Top Venues
MoDELS
ICSPCS
DSD
</>
Publications
</>
Calypso Barnes
,
Jean-Marie Cottin
,
François Verdier
,
Alain Pegatoquet
Towards the verification of industrial communication protocols through a simulation environment based on QEMU and systemC.
MoDELS
(2016)
Calypso Barnes
,
François Verdier
,
Alain Pegatoquet
,
Daniel Gaffé
,
Jean-Marie Cottin
Wireless sensor network protocol property validation through the system's simulation in a dedicated framework.
ICSPCS
(2016)
Calypso Barnes
,
Jean-Marie Cottin
,
Davide Quaglia
,
Enrico Fraccaroli
,
Alain Pegatoquet
,
François Verdier
,
Stefano Angeleri
Network-Aware Virtual Platform for the Verification of Embedded Software for Communications.
DSD
(2015)
Mitsuharu Yamamoto
,
Jean-Marie Cottin
,
Masami Hagiya
Decidability of Safety Properties of Timed Multiset Rewriting.
FTRTFT
(2002)