Pierre Yves Pillain

Orcid: 0009-0005-6235-8627

According to our database1, Pierre Yves Pillain authored at least 7 papers between 2008 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
NAVIDRO, a CARES architectural style for configuring drone co-simulation.
ACM Trans. Embed. Comput. Syst., May, 2024

2021
CARES, a framework for CPS simulation : application to autonomous underwater vehicle navigation function.
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.
Int. J. Cooperative Inf. Syst., 2020

2017
A System Organic Architecture Based on Dynamic Functional Architecture Modeling.
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.
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.
Proceedings of the Model Driven Engineering Languages and Systems, 2009

2008
AADL Execution Semantics Transformation for Formal Verification.
Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008, 2008


  Loading...