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 (ECC, 2001)

Evaluation of Response Time in Ethernet-based Automation Systems. - Gaëlle Marsal; Bruno Denis; Jean-Marc Faure; Georg Frey (ETFA, 2006)

Measuring the impact of vertical integration on response times in ethernet fieldbuses. - Bruno Denis; Silvain Ruel; Jean-Marc Faure; Gaëlle Marsal; Georg Frey (ETFA, 2007)

SIC-testability of sequential logic controllers. - Julien Provost; Jean-Marc Roussel; Jean-Marc Faure (WODES, 2010)

Designing operational control architectures of critical systems by reachability analysis. - Thibault Lemattre; Bruno Denis; Jean-Marc Faure; Jean-François Pétin; Patrick Salaün (CASE, 2011)

A formal semantics for Grafcet specifications. - Julien Provost; Jean-Marc Roussel; Jean-Marc Faure (CASE, 2011)

Using a meta-model to build operational architectures of automation systems for critical processes. - Thibault Lemattre; Bruno Denis; Jean-Marc Faure; Patrick Salaün; Jean-François Pétin (ETFA, 2011)

Improving Dependability of Controlled Systems - A Challenge for Automation Science and Engineering. - Jean-Marc Faure; Jean-Jacques Lesage (ICINCO (1), 2011)

Coupling timed plant and controller models with urgent transitions without introducing deadlocks. - Matthieu Perin; Jean-Marc Faure (ETFA, 2012)

Comparing detailed and abstract timed models of automated discrete manufacturing systems. - Matthieu Perin; Jean-Marc Faure (CASE, 2013)

Enforcing I/O sequences for PLC validation purposes. - Anaïs Guignard; Jean-Marc Faure (ETFA, 2013)

A meta-model for integrating safety concerns into systems engineering processes. - Pierre-Yves Piriou; Jean-Marc Faure; Gilles Deleuze (SysCon, 2013)

Validation of logic controllers from events observation in a closed-loop system. - Anaïs Guignard; Jean-Marc Faure (ETFA, 2014)

A Conformance Relation for Model-Based Testing of PLC. - Anaïs Guignard; Jean-Marc Faure (WODES, 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)

Fault-Tolerant Control of Discrete Event Systems: Comparison of two approaches on the same case study. - Julien Niguez; Saïd Amari; Jean-Marc Faure (ETFA, 2015)

Analysis of Timed Automata with Guards in dioids algebra. - Julien Niguez; Saïd Amari; Jean-Marc Faure (WODES, 2016)

Overview of discrete event systems opacity: Models, validation, and quantification. - Romain Jacob; Jean-Jacques Lesage; Jean-Marc Faure (Annu. Rev. Control., 2016)

A Meta-Model to Support the Integration of Dependability Concerns Into Systems Engineering Processes: An Example From Power Production. - Pierre-Yves Piriou; Jean-Marc Faure; Gilles Deleuze (IEEE Syst. J., 2016)

Towards alarm flood reduction. - Yannick Laumonier; Jean-Marc Faure; Jean-Jacques Lesage; H. Sabot (ETFA, 2017)

Generalized Boolean logic Driven Markov Processes: A powerful modeling framework for Model-Based Safety Analysis of dynamic repairable and reconfigurable systems. - Pierre-Yves Piriou; Jean-Marc Faure; Jean-Jacques Lesage (Reliab. Eng. Syst. Saf., 2017)

Safety-Level Aware Bin-Packing Heuristic for Automatic Assignment of Power Plants Control Functions. - Mohamed Benazouz; Jean-Marc Faure (IEEE Trans Autom. Sci. Eng., 2018)

Model-Based Testing of PLC Programs With Appropriate Conformance Relations. - Anaïs Guignard; Jean-Marc Faure; Gregory Faraut (IEEE Trans. Ind. Informatics, 2018)

Discovering Systematic Relations between Alarms for Alarm Flows Reduction. - Yannick Laumonier; Jean-Marc Faure; Jean-Jacques Lesage; H. Sabot (CoDIT, 2019)