Jean-Marc Roussel

Publication Activity (10 Years)

Years Active: 1999-2017
Publications (10 Years): 2

Top Topics

Programmable Logic

Logical Formulas

Fault Detection

Top Venues

Qual. Reliab. Eng. Int.

IEEE Trans. Ind. Informatics

Reliab. Eng. Syst. Saf.

Publications

Benoît Lebeaupin, Antoine Rauzy, Jean-Marc Roussel
A language proposition for system requirements. SysCon (2017)
Guillaume Merle, Jean-Marc Roussel, Jean-Jacques Lesage, Vianney Perchet, Nicolas Vayatis
Quantitative Analysis of Dynamic Fault Trees Based on the Coupling of Structure Functions and Monte Carlo Simulation. Qual. Reliab. Eng. Int. 32 (1) (2016)
P.-A. Brameret, Antoine Rauzy, Jean-Marc Roussel
Automated generation of partial Markov chain from high level descriptions. Reliab. Eng. Syst. Saf. 139 (2015)
Guillaume Merle, Jean-Marc Roussel, Jean-Jacques Lesage
Quantitative Analysis of Dynamic Fault Trees Based on the Structure Function. Qual. Reliab. Eng. Int. 30 (1) (2014)
Julien Provost, Jean-Marc Roussel, Jean-Marc Faure
Generation of Single Input Change Test Sequences for Conformance Test of Programmable Logic Controllers. IEEE Trans. Ind. Informatics 10 (3) (2014)
Jean-Marc Roussel, Jean-Jacques Lesage
Algebraic synthesis of logical controllers despite inconsistencies in specifications. WODES (2012)
Julien Provost, Jean-Marc Roussel, Jean-Marc Faure
A formal semantics for Grafcet specifications. CASE (2011)
Guillaume Merle, Jean-Marc Roussel, Jean-Jacques Lesage
Algebraic determination of the structure function of Dynamic Fault Trees. Reliab. Eng. Syst. Saf. 96 (2) (2011)
Guillaume Merle, Jean-Marc Roussel, Jean-Jacques Lesage, Andrea Bobbio
Probabilistic Algebraic Analysis of Fault Trees With Priority Dynamic Gates and Repeated Events. IEEE Trans. Reliab. 59 (1) (2010)
Julien Provost, Jean-Marc Roussel, Jean-Marc Faure
SIC-testability of sequential logic controllers. WODES (2010)
José M. Machado, Farid Louni, Jean-Marc Faure, Jean-Jacques Lesage, Jaime C. L. Ferreira da Silva, Jean-Marc Roussel
Modelling and implementing the control of automated production systems using statecharts and PLC programming languages. ECC (2001)
S. Lampérière-Couffin, O. Rossi, Jean-Marc Roussel, Jean-Jacques Lesage
Formal validation of PLC programs: A survey. ECC (1999)