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).

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).

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.

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).