Jean-Marie Cottin

According to our database, Jean-Marie Cottin authored at least 4 papers between 2002 and 2016.

Collaborative distances:

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

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

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

2002

Decidability of Safety Properties of Timed Multiset Rewriting.

Mitsuharu Yamamoto, Jean-Marie Cottin, Masami Hagiya

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2002