Jean-Marc Roussel

According to our database, Jean-Marc Roussel authored at least 12 papers between 1999 and 2017.

Collaborative distances:

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

2017

A language proposition for system requirements.

Benoît Lebeaupin, Antoine Rauzy, Jean-Marc Roussel

Proceedings of the 2017 Annual IEEE International Systems Conference, 2017

2016

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

2015

Automated generation of partial Markov chain from high level descriptions.

P.-A. Brameret, Antoine Rauzy, Jean-Marc Roussel

Reliab. Eng. Syst. Saf., 2015

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

Quantitative Analysis of Dynamic Fault Trees Based on the Structure Function.

Guillaume Merle, Jean-Marc Roussel, Jean-Jacques Lesage

Qual. Reliab. Eng. Int., 2014

2012

Algebraic synthesis of logical controllers despite inconsistencies in specifications.

Jean-Marc Roussel, Jean-Jacques Lesage

Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

2011

Algebraic determination of the structure function of Dynamic Fault Trees.

Guillaume Merle, Jean-Marc Roussel, Jean-Jacques Lesage

Reliab. Eng. Syst. Saf., 2011

A formal semantics for Grafcet specifications.

Julien Provost, Jean-Marc Roussel, Jean-Marc Faure

Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

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

SIC-testability of sequential logic controllers.

Julien Provost, Jean-Marc Roussel, Jean-Marc Faure

Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

2001

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

Proceedings of the 6th European Control Conference, 2001

1999

Formal validation of PLC programs: A survey.

S. Lampérière-Couffin, O. Rossi, Jean-Marc Roussel, Jean-Jacques Lesage

Proceedings of the 5th European Control Conference, 1999