Jean-Marc Roussel

13 papers Journal 7Unranked 6
YearRankTypeTitle / Venue / Authors
2024 J jnl
Fish as a Deformable Solid: An Innovative Method to Characterize Fish Swimming Behavior on Acoustic Videos.
IEEE Access
Azénor Le Quinio, François Martignac, Alexandre Girard, Jean Guillard, Jean-Marc Roussel, Eric de Oliveira
2017 — conf
A language proposition for system requirements.
SysCon
Benoît Lebeaupin, Antoine Rauzy, Jean-Marc Roussel
2016 J jnl
Quantitative Analysis of Dynamic Fault Trees Based on the Coupling of Structure Functions and Monte Carlo Simulation.
Qual. Reliab. Eng. Int.
Guillaume Merle, Jean-Marc Roussel, Jean-Jacques Lesage, Vianney Perchet, Nicolas Vayatis
2015 J jnl
Automated generation of partial Markov chain from high level descriptions.
Reliab. Eng. Syst. Saf.
P.-A. Brameret, Antoine Rauzy, Jean-Marc Roussel
2014 J jnl
Generation of Single Input Change Test Sequences for Conformance Test of Programmable Logic Controllers.
IEEE Trans. Ind. Informatics
Julien Provost, Jean-Marc Roussel, Jean-Marc Faure
2014 J jnl
Quantitative Analysis of Dynamic Fault Trees Based on the Structure Function.
Qual. Reliab. Eng. Int.
Guillaume Merle, Jean-Marc Roussel, Jean-Jacques Lesage
2012 — conf
Algebraic synthesis of logical controllers despite inconsistencies in specifications.
WODES
Jean-Marc Roussel, Jean-Jacques Lesage
2011 — conf
A formal semantics for Grafcet specifications.
CASE
Julien Provost, Jean-Marc Roussel, Jean-Marc Faure
2011 J jnl
Algebraic determination of the structure function of Dynamic Fault Trees.
Reliab. Eng. Syst. Saf.
Guillaume Merle, Jean-Marc Roussel, Jean-Jacques Lesage
2010 J jnl
Probabilistic Algebraic Analysis of Fault Trees With Priority Dynamic Gates and Repeated Events.
IEEE Trans. Reliab.
Guillaume Merle, Jean-Marc Roussel, Jean-Jacques Lesage, Andrea Bobbio
2010 — conf
SIC-testability of sequential logic controllers.
WODES
Julien Provost, Jean-Marc Roussel, Jean-Marc Faure
2001 — conf
Modelling and implementing the control of automated production systems using statecharts and PLC programming languages.
ECC
José M. Machado, Farid Louni, Jean-Marc Faure, Jean-Jacques Lesage, Jaime C. L. Ferreira da Silva, Jean-Marc Roussel
1999 — conf
Formal validation of PLC programs: A survey.
ECC
S. Lampérière-Couffin, O. Rossi, Jean-Marc Roussel, Jean-Jacques Lesage