Formal validation of PLC programs: A survey. - S. Lampérière-Couffin; O. Rossi; Jean-Marc Roussel; Jean-Jacques Lesage (ECC, 1999)

Modelling and implementing the control of automated production systems using statecharts and PLC programming languages. - José M. Machado; Farid Louni; Jean-Marc Faure; Jean-Jacques Lesage; Jaime C. L. Ferreira da Silva; Jean-Marc Roussel (ECC, 2001)

SIC-testability of sequential logic controllers. - Julien Provost; Jean-Marc Roussel; Jean-Marc Faure (WODES, 2010)

Probabilistic Algebraic Analysis of Fault Trees With Priority Dynamic Gates and Repeated Events. - Guillaume Merle; Jean-Marc Roussel; Jean-Jacques Lesage; Andrea Bobbio (IEEE Trans. Reliab., 2010)

A formal semantics for Grafcet specifications. - Julien Provost; Jean-Marc Roussel; Jean-Marc Faure (CASE, 2011)

Algebraic determination of the structure function of Dynamic Fault Trees. - Guillaume Merle; Jean-Marc Roussel; Jean-Jacques Lesage (Reliab. Eng. Syst. Saf., 2011)

Algebraic synthesis of logical controllers despite inconsistencies in specifications. - Jean-Marc Roussel; Jean-Jacques Lesage (WODES, 2012)

Quantitative Analysis of Dynamic Fault Trees Based on the Structure Function. - Guillaume Merle; Jean-Marc Roussel; Jean-Jacques Lesage (Qual. Reliab. Eng. Int., 2014)

Generation of Single Input Change Test Sequences for Conformance Test of Programmable Logic Controllers. - Julien Provost; Jean-Marc Roussel; Jean-Marc Faure (IEEE Trans. Ind. Informatics, 2014)

Automated generation of partial Markov chain from high level descriptions. - P.-A. Brameret; Antoine Rauzy; Jean-Marc Roussel (Reliab. Eng. Syst. Saf., 2015)

Quantitative Analysis of Dynamic Fault Trees Based on the Coupling of Structure Functions and Monte Carlo Simulation. - Guillaume Merle; Jean-Marc Roussel; Jean-Jacques Lesage; Vianney Perchet; Nicolas Vayatis (Qual. Reliab. Eng. Int., 2016)

A language proposition for system requirements. - Benoît Lebeaupin; Antoine Rauzy; Jean-Marc Roussel (SysCon, 2017)

Fish as a Deformable Solid: An Innovative Method to Characterize Fish Swimming Behavior on Acoustic Videos. - Azénor Le Quinio; François Martignac; Alexandre Girard; Jean Guillard; Jean-Marc Roussel; Eric de Oliveira (IEEE Access, 2024)