OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Person is "Navarre, David"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 12.

Article

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

Martinie, Célia and Navarre, David and Palanque, Philippe. A multi-formalism approach for model-based dynamic distribution of user interfaces of critical interactive systems. (2014) International Journal of Human-Computer Studies, 72 (1). 77-99. ISSN 1071-5819

Conference or Workshop Item

Martinie De Almeida, Célia and Navarre, David and Palanque, Philippe and Barboni, Eric and Canny, Alexandre. TOUCAN: An IDE Supporting the Development of Effective Interactive Java Applications. (2018) In: ACM SIGCHI conference Engineering Interactive Computing Systems (EICS 2018), 19 June 2018 - 22 June 2018 (Paris, France).

Fayollas, Camille and Martinie De Almeida, Celia and Navarre, David and Palanque, Philippe. Engineering mixed-criticality interactive applications. (2016) In: 8th ACM SIGCHI conference Engineering Interactive Computing Systems (EICS 2016), 21 June 2016 - 24 June 2016 (Bruxelles, Belgium).

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

Campos, José Creissac and Fayollas, Camille and Martinie De Almeida, Celia and Navarre, David and Palanque, Philippe and Pinto, Miguel. Systematic automation of scenario-based testing of user interfaces. (2016) In: 8th ACM SIGCHI conference Engineering Interactive Computing Systems (EICS 2016), 21 June 2016 - 24 June 2016 (Bruxelles, Belgium).

Martinie De Almeida, Celia and Navarre, David and Palanque, Philippe and Fayollas, Camille. A Generic Tool-Supported Framework for Coupling Task Models and Interactive Applications. (2015) In: 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2015), 23 June 2015 - 26 June 2015 (Duisburg, Germany).

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

Hamon, Arnaud and Palanque, Philippe and Cronel, Martin and André, Raphaël and Barboni, Eric and Navarre, David. Formal Modelling of Dynamic Instantiation of Input Devices and Interaction Techniques: Application to Multi-Touch Interactions. (2014) In: The sixth ACM SIGCHI Symposium on Engineering Interactive Computing Systems - EICS 2014, 17 June 2014 - 20 June 2014 (Roma, Italy).

Martinie, Célia and Barboni, Eric and Navarre, David and Palanque, Philippe and Fahssi, Racim Mehdi and Poupart, Erwann and Cubero-Castan, Eliane. Multi-Models-Based Engineering of Collaborative Systems: Application to Collision Avoidance Operations for Spacecrafts. (2014) In: ACM SIGCHI conference Engineering Interactive Computing Systems - EICS 2014, 17 June 2014 - 20 June 2014 (Roma, Italy).

Navarre, David and Martinie, Célia and Palanque, Philippe and Pasquini, Alberto and Ragosta, Martina. Model-based dynamic distribution of user interfaces of critical interactive systems. (2013) In: 3rd International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS 2013), 28 May 2013 - 30 May 2013 (Naples, Italy).

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

This list was generated on Mon Jul 22 05:46:02 2019 CEST.