| Overview of discrete event systems opacity: Models, validation, and quantification R Jacob, JJ Lesage, JM Faure Annual reviews in control 41, 135-146, 2016 | 201 | 2016 |
| Manufacturing plant control challenges and issues G Morel, P Valckenaers, JM Faure, CE Pereira, C Diedrich Control Engineering Practice 15 (11), 1321-1331, 2007 | 134 | 2007 |
| Efficient representation for formal verification of PLC programs V Gourcuff, O De Smet, JM Faure 2006 8th International Workshop on Discrete Event Systems, 182-187, 2006 | 79 | 2006 |
| Translating Grafcet specifications into Mealy machines for conformance test purposes J Provost, JM Roussel, JM Faure Control Engineering Practice 19 (9), 947-957, 2011 | 61 | 2011 |
| Towards IEC 61499 function blocks diagrams verification C Schnakenbourg, JM Faure, JJ Lesage IEEE International conference on systems, man and cybernetics 3, 6 pp. vol. 3, 2002 | 53 | 2002 |
| Logic controllers dependability verification using a plant model JM Machado, B Denis, JJ Lesage, JM Faure, JCLF Da Silva IFAC Proceedings Volumes 39 (17), 37-42, 2006 | 50 | 2006 |
| Relationship between endodontic preparations and human dentin permeability measured in situ P Guignes, J Faure, A Maurette Journal of endodontics 22 (2), 60-67, 1996 | 50 | 1996 |
| Evaluation of response time in Ethernet-based automation systems G Marsal, B Denis, JM Faure, G Frey 2006 IEEE Conference on Emerging Technologies and Factory Automation, 380-387, 2006 | 48 | 2006 |
| Performance analysis of industrial Ethernet networks by means of timed model-checking D Witsch, B Vogel-Heuser, JM Faure, G Marsal IFAC Proceedings Volumes 39 (3), 101-106, 2006 | 41 | 2006 |
| Measuring the impact of vertical integration on response times in Ethernet fieldbuses B Denis, S Ruel, JM Faure, G Frey, G Marsal 2007 IEEE Conference on Emerging Technologies and Factory Automation (EFTA …, 2007 | 39 | 2007 |
| Improving large-sized PLC programs verification using abstractions V Gourcuff, O De Smet, JM Faure IFAC Proceedings Volumes 41 (2), 5101-5106, 2008 | 35 | 2008 |
| A formal semantics for Grafcet specifications J Provost, JM Roussel, JM Faure 2011 IEEE International conference on automation science and engineering …, 2011 | 33 | 2011 |
| Generation of single input change test sequences for conformance test of programmable logic controllers J Provost, JM Roussel, JM Faure IEEE Transactions on Industrial Informatics 10 (3), 1696-1704, 2014 | 28 | 2014 |
| An algebraic approach for PLC programs verification JM Roussel, JM Faure Sixth International Workshop on Discrete Event Systems, 2002. Proceedings …, 2002 | 28 | 2002 |
| Methods for safe control systems design and implementation JM Faure, JJ Lesage IFAC Proceedings Volumes 34 (17), 171-176, 2001 | 27 | 2001 |
| Generalized Boolean logic driven Markov processes: A powerful modeling framework for model-based safety analysis of dynamic repairable and reconfigurable systems PY Piriou, JM Faure, JJ Lesage Reliability Engineering & System Safety 163, 57-68, 2017 | 26 | 2017 |
| Opacity of discrete event systems: models, validation and quantification R Jacob, JJ Lesage, JM Faure IFAC-PapersOnLine 48 (7), 174-181, 2015 | 23 | 2015 |
| Building meaningful timed models of closed-loop DES for verification purposes M Perin, JM Faure Control Engineering Practice 21 (11), 1620-1639, 2013 | 23 | 2013 |
| Comportement temporel du Grafcet P Lhoste, JM Faure, JJ Lesage, J Zaytoon Journal Européen des Systèmes Automatisés (JESA) 31 (4), 695-711, 1997 | 22 | 1997 |
| Survey paper on manufacturing plant control challenges and issues G Morel, P Valckenaers, JM Faure, C Pereira, CH Diedrich Proceedings of the 16th IFAC World Congress, 2005 | 16 | 2005 |
