Concepedia

Jean-Marc Faure

JF

21

Publications

796

Citations

15

H-Index

2001

Active since

Affiliations

École Normale Supérieure Paris-Saclay(Current)

Institut Supérieur de Mécanique de Paris

Université Paris-Saclay

Laboratoire Universitaire de Recherche en Production Automatisée

Électricité de France (France)

Jean-Marc Faure is an author at École Normale Supérieure Paris-Saclay specializing in engineering, systems engineering, and formal verification.

Top concepts

EngineeringSystems EngineeringVerificationFormal MethodsFormal VerificationComputer ScienceComputer EngineeringSoftware AnalysisAutomated ReasoningProcess Control

Publications per year

2001–2017

21

Publications

21

Overview of discrete event systems opacity: Models, validation, and quantification

Romain Jacob, Jean-Jacques Lesage, Jean-Marc Faure · Annual Reviews in Control · 2016 · 214 citations · Full text

Event-driven Architecture, Event Processing, Hybrid Event +5

Manufacturing plant control challenges and issues

Gérard Morel, Paul Valckenaers, Jean-Marc Faure et al. · Control Engineering Practice · 2007 · 99 citations · Full text

Industrial Design, Plant Control Challenges, Engineering +10

Efficient Representation for Formal Verification of PLC Programs

Vincent Gourcuff, Olivier de Smet, Jean-Marc Faure · 2006 · 56 citations

Program Checking, Engineering, Verification +17

Translating Grafcet specifications into Mealy machines for conformance test purposes

Julien Provost, Jean‐Marc Roussel, Jean-Marc Faure · Control Engineering Practice · 2010 · 46 citations · Full text

Industrial Design, Engineering, Industrial Engineering +5

LOGIC CONTROLLERS DEPENDABILITY VERIFICATION USING A PLANT MODEL

José Machado, Bruno Denis, Jean-Jaques Lesage et al. · IFAC Proceedings Volumes · 2006 · 40 citations

Engineering, Automated Reasoning, Verification +7

Rows per page

1–5 of 21