Jean-Philippe Lerat

发表

Developing Software for Dancing Tango in Compás

Emmanuel Amiot, Jean-Philippe Lerat, Bérenger Recoules, 2017, MCM.

IV. SE Process Capability Assessment

Jean-Philippe Lerat, Jerry Lake, 2002 .

5.5.2 Three Reasons why Document‐based SE (usually) works better than (most of) MBSE

Jean-Philippe Lerat, 2010 .

11.3.1 Formal Verification in System Design Process: From EFFBDs to Petri nets

Jean-Philippe Lerat, Olivier Roux, Charlotte Seidner, 2008 .

Usability of formal verification on EFFBD models: Applying {P}etri nets to Systems Engineering issues

Jean-Philippe Lerat, Olivier H. Roux, Charlotte Seidner, 2007 .

ModelIntegration withModelWeaving: aCaseStudyinSystem Architecture

Jean-Philippe Lerat, 2007 .

5.4.3 Usability of formal verification on EFFBD models: Applying Petri nets to Systems Engineering issues

Jean-Philippe Lerat, Olivier Roux, Charlotte Seidner, 2007 .

5.4.1 Simulation and Verification of [Dys]functional Behavior Models: Model Checking for SE

Jean-Philippe Lerat, Olivier Roux, Charlotte Seidner, 2010 .

A Citizen's View of the Civil Disorders in Paris, France

Jean-Philippe Lerat, J. Lerat, 2006 .

Behavior Diagrams Model-Checking: Formal Methods Applied to {S}ystems {E}ngineering and Design

Jean-Philippe Lerat, Olivier Roux, Charlotte Seidner, 2008 .

Model Integration with Model Weaving: a Case Study in System Architecture

Jean Bézivin, Jean-Philippe Lerat, Frédéric Jouault, 2007, 2007 International Conference on Systems Engineering and Modeling.

Usability and Usefulness of Formal Verification in a System Design Process

Jean-Philippe Lerat, Olivier Roux, Charlotte Seidner, 2008 .