Decidability of Safety Properties of Timed Multiset Rewriting. - Mitsuharu Yamamoto; Jean-Marie Cottin; Masami Hagiya (FTRTFT, 2002)

Network-Aware Virtual Platform for the Verification of Embedded Software for Communications. - Calypso Barnes; Jean-Marie Cottin; Davide Quaglia; Enrico Fraccaroli; Alain Pegatoquet; François Verdier; Stefano Angeleri (DSD, 2015)

Wireless sensor network protocol property validation through the system's simulation in a dedicated framework. - Calypso Barnes; François Verdier; Alain Pegatoquet; Daniel Gaffé; Jean-Marie Cottin (ICSPCS, 2016)

Towards the verification of industrial communication protocols through a simulation environment based on QEMU and systemC. - Calypso Barnes; Jean-Marie Cottin; François Verdier; Alain Pegatoquet (MoDELS, 2016)