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: 16.

Article

Coppers, Sven and Luyten, Kris and Vanacken, Davy and Navarre, David and Palanque, Philippe and Gris, Christine. Fortunettes: Feedforward about the Future State of GUI Widgets. (2019) Proceedings of the ACM on Human-Computer Interaction, 3 (20). 1-20. ISSN 2573-0142

Campos, José Creissac and Fayollas, Camille and Gonçalves, Marcelo and Martinie De Almeida, Célia and Navarre, David and Palanque, Philippe and Pinto, Miguel. A more intelligent test case generation approach through task models manipulation. (2017) Proceedings of the ACM on Human-Computer Interaction, 1 (9). 1-20. ISSN 2573-0142

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

Bouzekri, Elodie and Canny, Alexandre and Martinie De Almeida, Célia and Palanque, Philippe and Barboni, Eric and Navarre, David and Gris, Christine and Deleris, Yannick. Revisiting system's pages in engine indication and alerting system for flight crew using the DSCU architecture and the OQCR system generic state description. (2019) In: INCOSE International Conference on Human System Integration (INCOSE HSI 2019), 11 September 2019 - 13 September 2019 (Biarritz, France).

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 Fabre, Jean-Charles and Palanque, Philippe and Cronel, Martin and Navarre, David and Deleris, Yannick. A Three-fold Approach towards Increased Assurance Levels for Interactive Systems: A Flight Control Unit Case Study. (2016) In: International Conference on Human-Computer Interaction in Aeronautics (HCI'Aero 2016), 14 September 2016 - 16 September 2016 (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 Fri Jun 5 03:09:20 2020 CEST.