ICOs: A model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability D Navarre, P Palanque, JF Ladry, E Barboni ACM Transactions on Computer-Human Interaction (TOCHI) 16 (4), 1-56, 2009 | 249 | 2009 |
Beyond modelling: an integrated environment supporting co-execution of tasks and systems models E Barboni, JF Ladry, D Navarre, P Palanque, M Winckler Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive …, 2010 | 120 | 2010 |
Task-model based assessment of automation levels: application to space ground segments C Martinie, P Palanque, E Barboni, M Ragosta 2011 IEEE International Conference on Systems, Man, and Cybernetics, 3267-3273, 2011 | 74 | 2011 |
Model-based engineering of widgets, user applications and servers compliant with ARINC 661 specification E Barboni, S Conversy, D Navarre, P Palanque Interactive Systems. Design, Specification, and Verification: 13th …, 2007 | 68 | 2007 |
A model-based approach for supporting engineering usability evaluation of interaction techniques P Palanque, E Barboni, C Martinie, D Navarre, M Winckler Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive …, 2011 | 59 | 2011 |
Formal description of multi-touch interactions A Hamon, P Palanque, JL Silva, Y Deleris, E Barboni Proceedings of the 5th ACM SIGCHI symposium on engineering interactive …, 2013 | 52 | 2013 |
Analysing and demonstrating tool-supported customizable task notations C Martinie, P Palanque, E Bouzekri, A Cockburn, A Canny, E Barboni Proceedings of the ACM on human-computer interaction 3 (EICS), 1-26, 2019 | 41 | 2019 |
High-fidelity prototyping of interactive systems can be formal too P Palanque, JF Ladry, D Navarre, E Barboni Human-Computer Interaction. New Trends: 13th International Conference, HCI …, 2009 | 37 | 2009 |
Multi-models-based engineering of collaborative systems: application to collision avoidance operations for spacecraft C Martinie, E Barboni, D Navarre, P Palanque, R Fahssi, E Poupart, ... Proceedings of the 2014 ACM SIGCHI symposium on Engineering interactive …, 2014 | 36 | 2014 |
A development process for usable large scale interactive critical systems: application to satellite ground segments C Martinie, P Palanque, D Navarre, E Barboni Human-Centered Software Engineering: 4th International Conference, HCSE 2012 …, 2012 | 32 | 2012 |
Formal tasks and systems models as a tool for specifying and assessing automation designs C Martinie, P Palanque, E Barboni, M Winckler, M Ragosta, A Pasquini, ... International Conference on Application and Theory of Automation in Command …, 2011 | 32 | 2011 |
Engineering issues related to the development of a recommender system in a critical context: Application to interactive cockpits E Bouzekri, A Canny, C Fayollas, C Martinie, P Palanque, E Barboni, ... International Journal of Human-Computer Studies 121, 122-141, 2019 | 27 | 2019 |
From DREAM to reality: specificities of interactive systems development with respect to rationale management X Lacaze, P Palanque, E Barboni, R Bastide, D Navarre Rationale Management in Software Engineering, 155-172, 2006 | 24 | 2006 |
Software components: A formal semantics based on coloured petri nets R Bastide, E Barboni Electronic Notes in Theoretical Computer Science 160, 57-73, 2006 | 22 | 2006 |
Analysis of WIMP and post WIMP interactive systems based on formal specification JL Silva, C Fayollas, A Hamon, C Martiinie, E Barboni Electronic Communications of the EASST 69, 2014 | 20 | 2014 |
Bridging the gap between a behavioural formal description technique and a user interface description language: Enhancing ICO with a graphical user interface markup language E Barboni, C Martinie, D Navarre, P Palanque, M Winckler Science of Computer Programming 86, 3-29, 2014 | 20 | 2014 |
SWCEditor: a model-based tool for interactive modelling of web navigation M Winckler, E Barboni, C Farenc, P Palanque Computer-Aided Design of User Interfaces IV: Proceedings of the Fifth …, 2005 | 20 | 2005 |
A formal description technique for interactive cockpit applications compliant with ARINC specification 661 E Barboni, D Navarre, P Palanque, S Basnyat 2007 International Symposium on Industrial Embedded Systems, 250-257, 2007 | 19 | 2007 |
Improving modularity of interactive software with the MDPC architecture S Conversy, E Barboni, D Navarre, P Palanque Engineering Interactive Systems: EIS 2007 Joint Working Conferences, EHCI …, 2008 | 16 | 2008 |
Exploitation of formal specification techniques for ARINC 661 interactive cockpit applications E Barboni, D Navarre, P Palanque, S Basnyat Proceedings of HCI aero conference,(HCI Aero 2006), Seatle, USA, p81-89, 2006 | 16 | 2006 |