A Customizable Monitoring Infrastructure for Hardware/Software Embedded Systems. - Martial Chabot; Laurence Pierre (ICTSS, 2014)

Automatic and configurable instrumentation of C programs with temporal assertion checkers. - Martial Chabot; Kévin Mazet; Laurence Pierre (MEMOCODE, 2015)

A requirement driven testing method for multi-disciplinary system design. - Martial Chabot; Laurence Pierre; Alexandre Nabais-Moreno (MoDELS, 2016)

Assertion-Based Verification for SoC Models and Identification of Key Events. - Laurence Pierre; Martial Chabot (DSD, 2017)

Automated Testing for Cyber-physical Systems: From Scenarios to Executable Tests. - Martial Chabot; Laurence Pierre; Alexandre Nabais-Moreno (FDL, 2018)

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