Jean-Marc Faure

According to our database1, Jean-Marc Faure authored at least 24 papers between 2001 and 2019.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
Discovering Systematic Relations between Alarms for Alarm Flows Reduction.
Proceedings of the 6th International Conference on Control, 2019

2018
Model-Based Testing of PLC Programs With Appropriate Conformance Relations.
IEEE Trans. Ind. Informatics, 2018

Safety-Level Aware Bin-Packing Heuristic for Automatic Assignment of Power Plants Control Functions.
IEEE Trans Autom. Sci. Eng., 2018

2017
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., 2017

Towards alarm flood reduction.
Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

2016
A Meta-Model to Support the Integration of Dependability Concerns Into Systems Engineering Processes: An Example From Power Production.
IEEE Syst. J., 2016

Overview of discrete event systems opacity: Models, validation, and quantification.
Annu. Rev. Control., 2016

Analysis of Timed Automata with Guards in dioids algebra.
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

2015
Fault-Tolerant Control of Discrete Event Systems: Comparison of two approaches on the same case study.
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

2014
Generation of Single Input Change Test Sequences for Conformance Test of Programmable Logic Controllers.
IEEE Trans. Ind. Informatics, 2014

A Conformance Relation for Model-Based Testing of PLC.
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Validation of logic controllers from events observation in a closed-loop system.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

2013
A meta-model for integrating safety concerns into systems engineering processes.
Proceedings of the IEEE International Systems Conference, 2013

Enforcing I/O sequences for PLC validation purposes.
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

Comparing detailed and abstract timed models of automated discrete manufacturing systems.
Proceedings of the 2013 IEEE International Conference on Automation Science and Engineering, 2013

2012
Coupling timed plant and controller models with urgent transitions without introducing deadlocks.
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

2011
Improving Dependability of Controlled Systems - A Challenge for Automation Science and Engineering.
Proceedings of the ICINCO 2011 - Proceedings of the 8th International Conference on Informatics in Control, Automation and Robotics, Volume 1, Noordwijkerhout, The Netherlands, 28, 2011

Using a meta-model to build operational architectures of automation systems for critical processes.
Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

A formal semantics for Grafcet specifications.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

Designing operational control architectures of critical systems by reachability analysis.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

2010
SIC-testability of sequential logic controllers.
Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

2007
Measuring the impact of vertical integration on response times in ethernet fieldbuses.
Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2007

2006
Evaluation of Response Time in Ethernet-based Automation Systems.
Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006

2001
Modelling and implementing the control of automated production systems using statecharts and PLC programming languages.
Proceedings of the 6th European Control Conference, 2001


  Loading...