Jean-Marc Faure

Publication Activity (10 Years)

Years Active: 2001-2019
Publications (10 Years): 8

Top Topics

Safety Analysis

Systems Engineering

Top Venues

IEEE Trans. Ind. Informatics

Annu. Rev. Control.

Publications

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