2013

Martinie De Almeida, Celia, Palanque, Philippe, Ragosta, Martina, Sujan, Mark-Alexander, Navarre, David and Pasquini, Alberto (2013) Understanding functional resonance through a federation of models : preliminary findings of an avionics case study. In: 32nd International Conference on Computer Safety, Reliability and Security (SAFECOMP 2013).

2014

Barboni, Eric, Martinie De Almeida, Celia, Navarre, David, Palanque, Philippe and Winckler, Marco Antonio (2014) Bridging the Gap between a Behavioural Formal Description Technique and User Interface description language: Enhancing ICO with a Graphical User Interface markup language. Science of Computer Programming, 86. pp. 3-29.

Martinie De Almeida, Celia, Navarre, David and Palanque, Philippe (2014) A multi-formalism approach for model-based dynamic distribution of user interfaces of critical interactive systems. International Journal of Human-Computer Studies, 72 (1). pp. 77-99.

2015

Ragosta, Martina, Martinie De Almeida, Celia, Palanque, Philippe, Navarre, David and Sujan, Mark-Alexander (2015) Concept Maps for Integrating Modeling Techniques for the Analysis and Re-Design of Partly-Autonomous Interactive Systems. In: International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS 2015).

2016

Hak, Jean-Luc, Winckler, Marco Antonio and Navarre, David (2016) PANDA: prototyping using annotation and decision analysis. In: 8th ACM SIGCHI conference Engineering Interactive Computing Systems (EICS 2016).