Calypso Barnes

Verification and validation of wireless sensor network protocol properties through the system’s emulation

Calypso Barnes, Calypso Barnes, 2017 .

Towards the verification of industrial communication protocols through a simulation environment based on QEMU and systemC

Alain Pegatoquet, François Verdier, Jean-Marie Cottin, 2016, MoDELS.

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 .

Network-Aware Virtual Platform for the Verification of Embedded Software for Communications

Alain Pegatoquet, Davide Quaglia, François Verdier, 2015, 2015 Euromicro Conference on Digital System Design.

Developing a Framework Dedicated to Wireless Protocol Property Validation during Simulation

Alain Pegatoquet, François Verdier, Jean-Marie Cottin, 2016 .

An ESL framework for low power architecture design space exploration

Michel Auguin, Amal Ben Ameur, Hend Affes, 2016, 2016 IEEE 27th International Conference on Application-specific Systems, Architectures and Processors (ASAP).

Validating a Wireless Protocol Implementation at Binary Level through Simulation Using High Level Description of Protocol Properties in Light Esterel

Alain Pegatoquet, Jean-Marie Cottin, Daniel Gaffé, 2016, ICWMC 2016.

Modeling a Node’s System-On-Chip for a More Reliable Simulation of Wireless Sensor Networks

Alain Pegatoquet, Jean-Marie Cottin, Francois Verdier, 2014 .

Wireless sensor network protocol property validation through the system's simulation in a dedicated framework

Alain Pegatoquet, François Verdier, Jean-Marie Cottin, 2016, 2016 10th International Conference on Signal Processing and Communication Systems (ICSPCS).