Pierre Yves Pillain
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2008–2021
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | FDL | CARES, a framework for CPS simulation : application to autonomous underwater vehicle navigation function. | Loc Salmon, Pierre Yves Pillain, Goulven Guillou, Jean-Philippe Babau |
| 2017 | EDOC | A System Organic Architecture Based on Dynamic Functional Architecture Modeling. | Jacques Simonin, Pierre Yves Pillain |
| 2009 | MODELS | 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 |
| 2008 | ICECCS | AADL Execution Semantics Transformation for Formal Verification. | Thomas Abdoul, Jol Champeau, Philippe Dhaussy, Pierre Yves Pillain, Jean-Charles Roger |