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)

An ESL framework for low power architecture design space exploration. - Hend Affes; Amal Ben Ameur; Michel Auguin; François Verdier; Calypso Barnes (ASAP, 2016)

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)

Verification and Validation of Wireless Sensor Network Protocol Properties through the System's Emulation. (Vérification et Validation de Propriétés de Protocoles pour Réseaux de Capteurs sans Fil grâce au Couplage de la Simulation et de l'Emulation du Système). - Calypso Barnes (2017)