Jean-Marc Faure

25 papers C 9Journal 6Unranked 9
YearRankTypeTitle / Venue / Authors
2019 C conf
Discovering Systematic Relations between Alarms for Alarm Flows Reduction.
CoDIT
Yannick Laumonier, Jean-Marc Faure, Jean-Jacques Lesage, H. Sabot
2018 J jnl
Model-Based Testing of PLC Programs With Appropriate Conformance Relations.
IEEE Trans. Ind. Informatics
Anaïs Guignard, Jean-Marc Faure, Gregory Faraut
2018 J jnl
Safety-Level Aware Bin-Packing Heuristic for Automatic Assignment of Power Plants Control Functions.
IEEE Trans Autom. Sci. Eng.
Mohamed Benazouz, Jean-Marc Faure
2017 J jnl
Generalized Boolean logic Driven Markov Processes: A powerful modeling framework for Model-Based Safety Analysis of dynamic repairable and reconfigurable systems.
Reliab. Eng. Syst. Saf.
Pierre-Yves Piriou, Jean-Marc Faure, Jean-Jacques Lesage
2017 C conf
Towards alarm flood reduction.
ETFA
Yannick Laumonier, Jean-Marc Faure, Jean-Jacques Lesage, H. Sabot
2016 J jnl
A Meta-Model to Support the Integration of Dependability Concerns Into Systems Engineering Processes: An Example From Power Production.
IEEE Syst. J.
Pierre-Yves Piriou, Jean-Marc Faure, Gilles Deleuze
2016 — conf
Analysis of Timed Automata with Guards in dioids algebra.
WODES
Julien Niguez, Saïd Amari, Jean-Marc Faure
2016 J jnl
Overview of discrete event systems opacity: Models, validation, and quantification.
Annu. Rev. Control.
Romain Jacob, Jean-Jacques Lesage, Jean-Marc Faure
2015 C conf
Fault-Tolerant Control of Discrete Event Systems: Comparison of two approaches on the same case study.
ETFA
Julien Niguez, Saïd Amari, Jean-Marc Faure
2014 — ed.
12th International Workshop on Discrete Event Systems, WODES 2014, Cachan, France, May 14-16, 2014.
WODES
Jean-Jacques Lesage, Jean-Marc Faure, José E. R. Cury, Bengt Lennartson
2014 — conf
A Conformance Relation for Model-Based Testing of PLC.
WODES
Anaïs Guignard, Jean-Marc Faure
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 C conf
Validation of logic controllers from events observation in a closed-loop system.
ETFA
Anaïs Guignard, Jean-Marc Faure
2013 — conf
A meta-model for integrating safety concerns into systems engineering processes.
SysCon
Pierre-Yves Piriou, Jean-Marc Faure, Gilles Deleuze
2013 — conf
Comparing detailed and abstract timed models of automated discrete manufacturing systems.
CASE
Matthieu Perin, Jean-Marc Faure
2013 C conf
Enforcing I/O sequences for PLC validation purposes.
ETFA
Anaïs Guignard, Jean-Marc Faure
2012 C conf
Coupling timed plant and controller models with urgent transitions without introducing deadlocks.
ETFA
Matthieu Perin, Jean-Marc Faure
2011 — conf
A formal semantics for Grafcet specifications.
CASE
Julien Provost, Jean-Marc Roussel, Jean-Marc Faure
2011 — conf
Designing operational control architectures of critical systems by reachability analysis.
CASE
Thibault Lemattre, Bruno Denis, Jean-Marc Faure, Jean-François Pétin, Patrick Salaün
2011 — conf
Improving Dependability of Controlled Systems - A Challenge for Automation Science and Engineering.
ICINCO (1)
Jean-Marc Faure, Jean-Jacques Lesage
2011 C conf
Using a meta-model to build operational architectures of automation systems for critical processes.
ETFA
Thibault Lemattre, Bruno Denis, Jean-Marc Faure, Patrick Salaün, Jean-François Pétin
2010 — conf
SIC-testability of sequential logic controllers.
WODES
Julien Provost, Jean-Marc Roussel, Jean-Marc Faure
2007 C conf
Measuring the impact of vertical integration on response times in ethernet fieldbuses.
ETFA
Bruno Denis, Silvain Ruel, Jean-Marc Faure, Gaëlle Marsal, Georg Frey
2006 C conf
Evaluation of Response Time in Ethernet-based Automation Systems.
ETFA
Gaëlle Marsal, Bruno Denis, Jean-Marc Faure, Georg Frey
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