Pierre Yves Pillain

Information System Services Generation of Business Services Specification and Based on a System-of-Services Logical Architecture Pattern

Jacques Simonin, Pierre Yves Pillain, Didier Guériot, 2020, Int. J. Cooperative Inf. Syst..

Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation

Yves Le Traon, Benoit Baudry, Philippe Dhaussy, 2009, MoDELS.

Of Models, Rationales and Prototypes: Studying Designer Needs in an Airborne Maritime Surveillance Drawing Tool to Support Audio Communication

Catherine Letondal, Olivier Grisvard, Pierre Yves Pillain, 2014, BCS HCI.

A System Organic Architecture Based on Dynamic Functional Architecture Modeling

Jacques Simonin, Pierre Yves Pillain, P. Pillain, 2017, 2017 IEEE 21st International Enterprise Distributed Object Computing Workshop (EDOCW).

AADL Execution Semantics Transformation for Formal Verification

Philippe Dhaussy, Joël Champeau, Jean-Charles Roger, 2008, 13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008).

CARES, a framework for CPS simulation : application to autonomous underwater vehicle navigation function

Jean-Philippe Babau, Goulven Guillou, Pierre Yves Pillain, 2021, 2021 Forum on specification & Design Languages (FDL).