Pierre Yves Pillain

According to our database, Pierre Yves Pillain authored at least 6 papers between 2008 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2021

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

Loïc Salmon, Pierre Yves Pillain, Goulven Guillou, Jean-Philippe Babau

Proceedings of the 24th Forum on specification & Design Languages, 2021

2020

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, Johanne Vincent

Int. J. Cooperative Inf. Syst., 2020

2017

A System Organic Architecture Based on Dynamic Functional Architecture Modeling.

Jacques Simonin, Pierre Yves Pillain

Proceedings of the 21st IEEE International Enterprise Distributed Object Computing Workshop, 2017

2014

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

Catherine Letondal, Pierre Yves Pillain, Emile Verdurand, Daniel Prun, Olivier Grisvard

Proceedings of the BCS-HCI 2014 Proceedings of the 28th International BCS Human Computer Interaction Conference, 2014

2009

Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation.

Philippe Dhaussy, Pierre Yves Pillain, Stephen Creff, Amine Raji, Yves Le Traon, Benoit Baudry

Proceedings of the Model Driven Engineering Languages and Systems, 2009

2008

AADL Execution Semantics Transformation for Formal Verification.

Thomas Abdoul, Joël Champeau, Philippe Dhaussy, Pierre Yves Pillain, Jean-Charles Roger

Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008, 2008