Project Publications
- Célia Martinie, Philippe Palanque, Marco Antonio Winckler. Structuring
and Composition Mechanism to Address Scalability Issues in Task Models.
IFIP TC13 Conference on Human-Computer Interaction (INTERACT 2011), Lisboa,
Portugal, 05/09/2011-09/09/2011, Springer, 2011.
- Célia Martinie, Philippe Palanque, Marco Winckler, David Navarre
& Erwann Poupart Model-Based Training: An Approach Supporting Operability
of Critical Interactive Systems: Application to Satellite Ground Segments.
ACM SIGCHI conference Engineering Interactive Computing Systems (EICS 2011),
Pisa, Italy, 13/06/2011-16/06/2011, ACM SIGCHI, 2011.
- Martinie
C., Palanque P., Navarre D., Winckler M. A formal approach supporting effective
and efficient training program for improving operators' reliability. Safety
and Reliability for managing Risk (ESREL 2010), Rhodes Grece, 05/09/2010-09/09/2010,
Taylor & Francis Group, p. 234-243, 2010.
- Steere S., Palanque P., Pourpart E. (2009)
An operator-centered, model-based framework for ground segment design, supporting
training and operations. Ground System Architecture Workshop (GSAW). March 23-26, 2009. Torrance Marriott, Torrance, California
- Palanque,
P., Basnyat, S., Poupart, P. (2008) A Model-Based Approach Centred on Operational
Procedures for the Development of Reliable and Usable Ground Segment Systems.
SpaceOps 2008 12-16 May 2008, Heidelberg, Germany
- Basnyat,
S., Palanque, P., Poupart, E. Formal Modelling of Incidents and Accidents
as a Means for Enriching Training Material for Satellite Control Operations.
Joint ESREL 2008 and 17th SRA-Europe Conference. 22 - 25 September, Valencia,
Spain.