Martial Chabot

According to our database, Martial Chabot authored at least 6 papers between 2014 and 2018.

Collaborative distances:

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

2018

Tests automatisés dirigés par les exigences pour systèmes cyber-physiques. (Requirement driven automated tests for cyber-physical systems).

Martial Chabot

PhD thesis, 2018

Automated Testing for Cyber-physical Systems: From Scenarios to Executable Tests.

Martial Chabot, Laurence Pierre, Alexandre Nabais-Moreno

Proceedings of the 2018 Forum on Specification & Design Languages, 2018

2017

Assertion-Based Verification for SoC Models and Identification of Key Events.

Laurence Pierre, Martial Chabot

Proceedings of the Euromicro Conference on Digital System Design, 2017

2016

A requirement driven testing method for multi-disciplinary system design.

Martial Chabot, Laurence Pierre, Alexandre Nabais-Moreno

Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, 2016

2015

Automatic and configurable instrumentation of C programs with temporal assertion checkers.

Martial Chabot, Kévin Mazet, Laurence Pierre

Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015

2014

A Customizable Monitoring Infrastructure for Hardware/Software Embedded Systems.

Martial Chabot, Laurence Pierre

Proceedings of the Testing Software and Systems, 2014