Concepedia

Jean-Jacques Lesage

JL

48

Publications

1.6K

Citations

21

H-Index

1996

Active since

Affiliations

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

Laboratoire Universitaire de Recherche en Production Automatisée

University of Kaiserslautern

Université Paris-Saclay

Université Paris-Sud

Jean-Jacques Lesage is an author at École Normale Supérieure Paris-Saclay specializing in systems engineering, engineering, and computer science.

Top concepts

EngineeringSystems EngineeringComputer ScienceFormal MethodsProcess ControlFormal VerificationComputer EngineeringIndustrial InformaticsReliability EngineeringVerification

Publications per year

1996–2020

48

Publications

48

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

Probabilistic Algebraic Analysis of Fault Trees With Priority Dynamic Gates and Repeated Events

Guillaume Merle, Jean‐Marc Roussel, Jean-Jacques Lesage et al. · IEEE Transactions on Reliability · 2010 · 136 citations · Full text

Engineering, Computational Complexity, Probabilistic Computation +20

Towards the automatic verification of PLC programs written in Instruction List

Géraud Canet, S. Couffin, Jean-Jacques Lesage et al. · 2002 · 120 citations

Program Checking, Engineering, Verification +25

Algebraic determination of the structure function of Dynamic Fault Trees

Guillaume Merle, Jean‐Marc Roussel, Jean-Jacques Lesage · Reliability Engineering & System Safety · 2010 · 71 citations · Full text

Algebraic Determination, Reliability Engineering, Engineering +6

FAULT DETECTION OF DISCRETE EVENT SYSTEMS USING AN IDENTIFICATION APPROACH

Stéphane Klein, Lothar Litz, Jean-Jacques Lesage · IFAC Proceedings Volumes · 2005 · 61 citations

Reliability Engineering, Engineering, Discrete Event System +9

Rows per page

1–5 of 48