Calypso Barnes

According to our database, Calypso Barnes authored at least 5 papers between 2015 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2017

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

PhD thesis, 2017

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

Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, 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

Proceedings of the 10th International Conference on Signal Processing and Communication Systems, 2016

An ESL framework for low power architecture design space exploration.

Hend Affes, Amal Ben Ameur, Michel Auguin, François Verdier, Calypso Barnes

Proceedings of the 27th IEEE International Conference on Application-specific Systems, 2016

2015

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

Proceedings of the 2015 Euromicro Conference on Digital System Design, 2015