Article

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.

Conference or Workshop Item

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

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