Pierre Yves Pillain

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 4

Top Topics

Service Architecture

Vehicle Navigation

Mediated Communication

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

Loïc Salmon, Pierre Yves Pillain, Goulven Guillou, Jean-Philippe Babau
NAVIDRO, a CARES architectural style for configuring drone co-simulation. ACM Trans. Embed. Comput. Syst. 23 (3) (2024)
Loïc Salmon, Pierre Yves Pillain, Goulven Guillou, Jean-Philippe Babau
CARES, a framework for CPS simulation : application to autonomous underwater vehicle navigation function. FDL (2021)
Jacques Simonin, Pierre Yves Pillain, Didier Guériot, Johanne Vincent
Information System Services Generation of Business Services Specification and Based on a System-of-Services Logical Architecture Pattern. Int. J. Cooperative Inf. Syst. 29 (3) (2020)
Jacques Simonin, Pierre Yves Pillain
A System Organic Architecture Based on Dynamic Functional Architecture Modeling. EDOC Workshops (2017)
Catherine Letondal, Pierre Yves Pillain, Emile Verdurand, Daniel Prun, Olivier Grisvard
Of Models, Rationales and Prototypes: Studying Designer Needs in an Airborne Maritime Surveillance Drawing Tool to Support Audio Communication. BCS HCI (2014)
Philippe Dhaussy, Pierre Yves Pillain, Stephen Creff, Amine Raji, Yves Le Traon, Benoit Baudry
Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation. MoDELS (2009)
Thomas Abdoul, Joël Champeau, Philippe Dhaussy, Pierre Yves Pillain, Jean-Charles Roger
AADL Execution Semantics Transformation for Formal Verification. ICECCS (2008)