default search action
Philippe A. Palanque
Person information
- affiliation: Université Toulouse III - Paul Sabatier, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j45]Axel Carayon, Célia Martinie, Philippe A. Palanque, Eric Barboni, Sandra Steere:
A Systematic Process to Engineer Dependable Integration of Frame-based Input Devices in a Multimodal Input Chain: Application to Rehabilitation in Healthcare. Proc. ACM Hum. Comput. Interact. 8(EICS): 1-31 (2024) - [c222]José Creissac Campos, Kris Luyten, Laurence Nigay, Philippe A. Palanque, Fabio Paternò, Lucio Davide Spano, Jean Vanderdonckt:
50 years of Research in Engineering Interactive Computing Systems: the CCL 1974 to EICS 2024 journey. EICS (Companion) 2024: 92-96 - [c221]Alan J. Dix, Kris Luyten, Sven Mayer, Philippe A. Palanque, Emanuele Panizzi, Lucio Davide Spano, Jürgen Ziegler:
Second Workshop on Engineering Interactive Systems Embedding AI Technologies. EICS (Companion) 2024: 103-107 - [c220]Nathan Monsoro, Célia Martinie, Philippe A. Palanque, Théo Saubanère:
A Systematic Task and Knowledge-Based Process to Tune Cybersecurity Training to User Learning Groups: Application to Email Phishing Attacks. HAISA (1) 2024: 165-179 - [c219]Camille Fayollas, Célia Martinie, Philippe A. Palanque:
Taking into Account Human Error when Assessing the Impact of Dependability on Usability. ISSRE (Workshops) 2024: 271-278 - [e40]Michael D. Harrison, Célia Martinie, Nicholas Micallef, Philippe A. Palanque, Albrecht Schmidt, Marco Winckler, Enes Yigitbas, Luciana A. M. Zaina:
Engineering Interactive Computer Systems. EICS 2023 International Workshops and Doctoral Consortium - Swansea, UK, June 26-27, 2023, Selected Papers. Lecture Notes in Computer Science 14517, Springer 2024, ISBN 978-3-031-59234-8 [contents] - 2023
- [j44]Ismaïl Mendil, Yamine Aït-Ameur, Neeraj Kumar Singh, Guillaume Dupont, Dominique Méry, Philippe A. Palanque:
Formal domain-driven system development in Event-B: Application to interactive critical systems. J. Syst. Archit. 135: 102798 (2023) - [j43]Axel Carayon, Juan Enrique Garrido, Célia Martinie, Philippe A. Palanque, Eric Barboni, María Dolores Lozano, Victor M. Ruiz Penichet:
Engineering Rehabilitation: Blending Two Tool-supported Approaches to Close the Loop from Tasks-based Rehabilitation to Exercises and Back Again. Proc. ACM Hum. Comput. Interact. 7(EICS): 1-23 (2023) - [j42]Célia Martinie, Philippe A. Palanque, Eric Barboni:
Increasing engagement and well-being of operators working with automation by integrating task models and gameful design. Pers. Ubiquitous Comput. 27(6): 2339-2366 (2023) - [j41]Neeraj Kumar Singh, Yamine Aït-Ameur, Ismaïl Mendil, Dominique Méry, David Navarre, Philippe A. Palanque, Marc Pantel:
F3FLUID: A formal framework for developing safety-critical interactive systems in FLUID. J. Softw. Evol. Process. 35(7) (2023) - [c218]Peter Fröhlich, Matthias Baldauf, Philippe A. Palanque, Virpi Roto, Fabio Paternò, Wendy Ju, Manfred Tscheligi:
Intervening, Teaming, Delegating: Creating Engaging Automation Experiences. CHI Extended Abstracts 2023: 357:1-357:6 - [c217]Philippe A. Palanque:
Going Beyond Usability and UX: Adding Dependability, Safety and Security to Interactive Systems and Interactive Technologies. CHI Extended Abstracts 2023: 541:1-541:3 - [c216]Axel Carayon, Célia Martinie, Philippe A. Palanque:
MUMR-MIODMIT: A Generic Architecture Extending Standard Interactive Systems Architecture to Address Engineering Issues for Rehabilitation. EICS (Workshops) 2023: 28-40 - [c215]David Navarre, Philippe A. Palanque, Célia Martinie:
Engineering AI-Similar Designs: Should I Engineer My Interactive System with AI Technologies? EICS (Workshops) 2023: 72-89 - [c214]Alan J. Dix, Sven Mayer, Philippe A. Palanque, Emanuele Panizzi, Lucio Davide Spano:
Engineering Interactive Systems Embedding AI Technologies. EICS (Companion) 2023: 90-92 - [c213]José Manuel Negrete Ramírez, Célia Martinie, Philippe A. Palanque, Yudith Cardinale:
ADL Monitoring of Elderly People in Smart Homes Based on Task Models. Intelligent Environments (Workshops) 2023: 216-225 - [c212]Tilo Mentler, Philippe A. Palanque, Kristof Van Laerhoven, Margareta Holtensdotter Lützhöft, Nadine Flegel:
From One to Many, from Onsite to Remote: Control Rooms as Diverse Contexts of Use. INTERACT Workshops (1) 2023: 273-278 - [c211]Philippe A. Palanque, Fabio Paternò, Virpi Roto, Albrecht Schmidt, Simone Stumpf, Jürgen Ziegler:
A Multi-perspective Panel on User-Centred Transparency, Explainability, and Controllability in Automations. INTERACT (4) 2023: 349-353 - [c210]Axel Carayon, Célia Martinie, Philippe A. Palanque:
I Perform My Work with My Body Too: Integrating Body Representations in and with Task Models. INTERACT (2) 2023: 482-503 - [c209]Tilo Mentler, Philippe A. Palanque, Kristof Van Laerhoven, Margareta Holtensdotter Lützhöft, Nadine Flegel:
On Land, at Sea, and in the Air: Human-Computer Interaction in Safety-Critical Spaces of Control - IFIP WG 13.5 Workshop at INTERACT 2023. INTERACT (4) 2023: 657-661 - [c208]Arnaud Blouin, Silvia Abrahão, Philippe A. Palanque, Bran Selic:
7th International Workshop on Human Factors in Modeling / Modeling of Human Factors (HuFaMo 2023). MoDELS (Companion) 2023: 726-728 - [c207]Axel Carayon, Célia Martinie, Philippe A. Palanque:
Task Models as a Mean to Identify and Justify Automations in Development Tasks. MoDELS (Companion) 2023: 757-764 - [c206]Philippe A. Palanque, José Creissac Campos:
AMAN Case Study. ABZ 2023: 265-283 - [e39]Peter Fröhlich, Matthias Baldauf, Philippe A. Palanque, Virpi Roto, Fabio Paternò, Wendy Ju, Manfred Tscheligi:
Proceedings of the Workshop on Intervening, Teaming, Delegating co-located with the ACM Conference on Human Factors in Computing Systems (CHI 2023), Hamburg, Germany, April 23, 2023. CEUR Workshop Proceedings 3394, CEUR-WS.org 2023 [contents] - [e38]Uwe Glässer, José Creissac Campos, Dominique Méry, Philippe A. Palanque:
Rigorous State-Based Methods - 9th International Conference, ABZ 2023, Nancy, France, May 30 - June 2, 2023, Proceedings. Lecture Notes in Computer Science 14010, Springer 2023, ISBN 978-3-031-33162-6 [contents] - 2022
- [j40]Sebastian S. Feger, Felix Ehrentraut, Christopher Katins, Philippe A. Palanque, Thomas Kosch:
HCI for general aviation: current state and research challenges. Interactions 29(6): 60-65 (2022) - [j39]Kris Luyten, Philippe A. Palanque, Aaron J. Quigley, Marco Winckler:
Engineering Interactive Computing Systems 2022: Editorial Introduction. Proc. ACM Hum. Comput. Interact. 6(EICS): 149:1-149:3 (2022) - [j38]Célia Martinie, David Navarre, Philippe A. Palanque, Eric Barboni, Sandra Steere:
Engineering Operations-based Training. Proc. ACM Hum. Comput. Interact. 6(EICS): 164:1-164:25 (2022) - [j37]Marco Winckler, Philippe A. Palanque, Jean-Luc Hak, Eric Barboni, Olivier Nicolas, Laurent Goncalves:
Engineering Annotations: A Generic Framework for Gluing Design Artefacts of Interactive Systems. Proc. ACM Hum. Comput. Interact. 6(EICS): 174:1-174:36 (2022) - [c205]Ismaïl Mendil, Peter Riviere, Yamine Aït Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe A. Palanque:
Non-Intrusive Annotation-Based Domain-Specific Analysis to Certify Event-B Models Behaviours. APSEC 2022: 129-138 - [c204]Eva Geurts, Gustavo Alberto Rovelo Ruiz, Kris Luyten, Steven Houben, Benjamin Weyers, An Jacobs, Philippe A. Palanque:
HCI and worker well-being in manufacturing industry. AVI 2022: 87:1-87:2 - [c203]Matthias Baldauf, Peter Fröhlich, Virpi Roto, Philippe A. Palanque, Siân Lindley, Jon Rogers, Wendy Ju, Manfred Tscheligi:
Engaging with Automation: Understanding and Designing for Operation, Appropriation, and Behaviour Change. CHI Extended Abstracts 2022: 73:1-73:6 - [c202]Célia Martinie, Philippe A. Palanque:
Task Models Based Gameful Design as a Mean to Increase Engagement with Automation. AutomationXP@CHI 2022 - [c201]Philippe A. Palanque:
How to Design and Assess Automation for Interactive Applications and Interaction Techniques. CHI Extended Abstracts 2022: 144:1-144:3 - [c200]Juan Enrique Garrido, Philippe A. Palanque, Aaron Quigley, Marco Winckler:
Engineering Awareness in Interfaces: Focus on Automation and Visualization. EICS (Companion) 2022: 54-58 - [c199]Sebastian S. Feger, Christopher Katins, Philippe A. Palanque, Thomas Kosch:
Re-envisioning Interaction in the (General) Aviation Cockpit through Tangibles. ETIS 2022 - [c198]Sara Nikula, Célia Martinie, Philippe A. Palanque, Julius Hekkala, Outi-Marja Latvala, Kimmo Halunen:
Models-Based Analysis of Both User and Attacker Tasks: Application to EEVEHAC. HCSE 2022: 70-89 - [c197]Maxime Savary-Leblanc, Xavier Le Pallec, Philippe A. Palanque, Célia Martinie, Arnaud Blouin, Frédéric Jouault, Mickael Clavreul, Thibault Raffaillac:
Mining human factors general trends from +100k UML class diagrams. MoDELS (Companion) 2022: 913-922 - [c196]José Manuel Negrete Ramírez, Célia Martinie, Philippe A. Palanque, Yudith Cardinale:
A task-model based approach for detecting ADL-related anomalies. WiMob 2022: 57-62 - [e37]Matthias Baldauf, Peter Fröhlich, Virpi Roto, Philippe A. Palanque, Siân Lindley, Jon Rogers, Wendy Ju, Manfred Tscheligi:
Proceedings of the Workshop on Engaging with Automation co-located with the ACM Conference on Human Factors in Computing Systems (CHI 2022), New Orleans, LA, USA, April 30, 2022. CEUR Workshop Proceedings 3154, CEUR-WS.org 2022 [contents] - [i1]Marco Winckler, Philippe A. Palanque, Jean-Luc Hak, Eric Barboni, Olivier Nicolas, Laurent Goncalves:
Engineering Annotations: A Generic Framework For Gluing Design Artefacts in Models of Interactive Systems. CoRR abs/2205.01333 (2022) - 2021
- [j36]Yamine Aït Ameur, Judy Bowen, José Creissac Campos, Philippe A. Palanque, Benjamin Weyers:
Heterogeneous Models and Modelling Approaches for Engineering of Interactive Systems. Interact. Comput. 33(1): 1-2 (2021) - [j35]Giorgia Lallai, Giovanni Loi Zedda, Célia Martinie, Philippe A. Palanque, Mauro Pisano, Lucio Davide Spano:
Engineering Task-based Augmented Reality Guidance: Application to the Training of Aircraft Flight Procedures. Interact. Comput. 33(1): 17-39 (2021) - [j34]David Navarre, Philippe A. Palanque, Sven Coppers, Kris Luyten, Davy Vanacken:
Model-based Engineering of Feedforward Usability Function for GUI Widgets. Interact. Comput. 33(1): 73-91 (2021) - [j33]Neeraj Kumar Singh, Yamine Aït Ameur, Romain Geniet, Dominique Méry, Philippe A. Palanque:
On the Benefits of Using MVC Pattern for Structuring Event-B Models of WIMP Interactive Applications. Interact. Comput. 33(1): 92-114 (2021) - [j32]Mathias Funk, Rong-Hao Liang, Philippe A. Palanque, Jun Hu, Panos Markopoulos:
Designing and Engineering Interactive Computing Systems. Proc. ACM Hum. Comput. Interact. 5(EICS): 193:1-193:4 (2021) - [j31]Alexandre Canny, Célia Martinie, David Navarre, Philippe A. Palanque, Eric Barboni, Christine Gris:
Engineering Model-Based Software Testing of WIMP Interactive Applications: A Process based on Formal Models and the SQUAMATA Tool. Proc. ACM Hum. Comput. Interact. 5(EICS): 207:1-207:30 (2021) - [c195]Matthias Baldauf, Peter Fröhlich, Shadan Sadeghian, Philippe A. Palanque, Virpi Roto, Wendy Ju, Lynne Baillie, Manfred Tscheligi:
Automation Experience at the Workplace. CHI Extended Abstracts 2021: 89:1-89:6 - [c194]Elodie Bouzekri, Célia Martinie, Philippe A. Palanque:
From Human-Human Computer Mediated Communication to Human-Automation Collaboration in the Light of Large Civil Aircraft Workplace. AutomationXP@CHI 2021 - [c193]Philippe A. Palanque:
Introductory Course on Automation and its Use for Interactive Systems Design and Engineering. CHI Extended Abstracts 2021: 147:1-147:4 - [c192]Ismaïl Mendil, Yamine Aït Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe A. Palanque:
Standard Conformance-by-Construction with Event-B. FMICS 2021: 126-146 - [c191]Philippe A. Palanque, David Navarre:
Dependability and Safety: Two Clouds in the Blue Sky of Multimodal Interaction. ICMI 2021: 781-787 - [c190]Philippe A. Palanque:
POISE: A Framework for Designing Perfect Interactive Systems with and for Imperfect People. INTERACT (1) 2021: 39-59 - [c189]Sybille Caffiau, José Creissac Campos, Célia Martinie, Laurence Nigay, Philippe A. Palanque, Lucio Davide Spano:
Teaching HCI Engineering: Four Case Studies. INTERACT (Workshops) 2021: 195-210 - [c188]Philippe A. Palanque, Célia Martinie:
The Curriculum for Education in Engineering Interactive Systems at the Master in HCI of the University Toulouse III - Paul Sabatier. INTERACT (Workshops) 2021: 211-220 - [c187]Tilo Mentler, Philippe A. Palanque, Michael D. Harrison, Kristof Van Laerhoven, Paolo Masci:
Control Rooms from a Human-Computer Interaction Perspective. INTERACT (Workshops) 2021: 281-289 - [c186]Célia Martinie, Philippe A. Palanque, Sandra Steere, David Navarre, Eric Barboni:
A Generic Framework for Structuring Configuration Management for Socio-technical System: Application to Control Rooms. INTERACT (Workshops) 2021: 290-301 - [c185]Elodie Bouzekri, Célia Martinie, Philippe A. Palanque, Erwann Poupart, Sandra Steere:
UX for Some and Usability for Others: Issues of Blending Multi-user and Multi-property in Control Centers. INTERACT (Workshops) 2021: 357-367 - [c184]Elodie Bouzekri, Célia Martinie, Philippe A. Palanque, Katrina Atwood, Christine Gris:
Should I Add Recommendations to My Warning System? The RCRAFT Framework Can Answer This and Other Questions About Supporting the Assessment of Automation Designs. INTERACT (4) 2021: 405-429 - [c183]Tilo Mentler, Philippe A. Palanque, Susanne Boll, Chris Johnson, Kristof Van Laerhoven:
Control Rooms in Safety Critical Contexts: Design, Engineering and Evaluation Issues - IFIP WG 13.5 Workshop at INTERACT 2021. INTERACT (5) 2021: 530-535 - [c182]Konrad Baumann, José Creissac Campos, Alan J. Dix, Laurence Nigay, Philippe A. Palanque, Jean Vanderdonckt, Gerrit C. van der Veer, Benjamin Weyers:
HCI-E2: HCI Engineering Education - For Developers, Designers and More. INTERACT (5) 2021: 542-547 - [c181]Ismaïl Mendil, Yamine Aït Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe A. Palanque:
Leveraging Event-B Theories for Handling Domain Knowledge in Design Models. SETTA 2021: 40-58 - [e36]Matthias Baldauf, Peter Fröhlich, Shadan Sadeghian, Philippe A. Palanque, Virpi Roto, Wendy Ju, Lynne Baillie, Manfred Tscheligi:
Proceedings of the Workshop on Automation Experience at the Workplace, AutomationXP 2021, co-located with the ACM Conference on Human Factors in Computing Systems (CHI 2021), Online Workshop (originally Yokohama, Japan), May 7, 2021. CEUR Workshop Proceedings 2905, CEUR-WS.org 2021 [contents] - [e35]Panos Markopoulos, Jun Hu, Philippe A. Palanque:
EICS '21: ACM SIGCHI Symposium on Engineering Interactive Computing Systems, Virtual Event, The Netherlands, 8-11 June 2021. ACM 2021, ISBN 978-1-4503-8449-0 [contents] - 2020
- [j30]José Creissac Campos, Camille Fayollas, Michael D. Harrison, Célia Martinie, Paolo Masci, Philippe A. Palanque:
Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools. ACM Trans. Comput. Hum. Interact. 27(5): 35:1-35:48 (2020) - [c180]Ismaïl Mendil, Neeraj Kumar Singh, Yamine Aït Ameur, Dominique Méry, Philippe A. Palanque:
An Integrated Framework for the Formal Analysis of Critical Interactive Systems. APSEC 2020: 139-148 - [c179]Philippe A. Palanque:
Ten Objectives and Ten Rules for Designing Automations in Interaction Techniques, User Interfaces and Interactive Systems. AVI 2020: 2:1-2:10 - [c178]Susanne Boll, Philippe A. Palanque, Alexander G. Mirnig, Jessica R. Cauchard, Margareta Holtensdotter Lützhöft, Michael S. Feary:
Designing Safety Critical Interactions: Hunting Down Human Error. CHI Extended Abstracts 2020: 1-7 - [c177]Peter Fröhlich, Matthias Baldauf, Philippe A. Palanque, Virpi Roto, Thomas Meneweger, Manfred Tscheligi, Zoe M. Becerra, Fabio Paternò:
Automation Experience across Domains: Designing for Intelligibility, Interventions, Interplay and Integrity. CHI Extended Abstracts 2020: 1-8 - [c176]Philippe A. Palanque, Dong-Bach Vo, Stephen A. Brewster, Elodie Bouzekri, Célia Martinie:
A-RCRAFT: a Generic Framework for Automation Analysis and Design: Application to Automotive, Tactile in vehicle Interactions. AutomationXP@CHI 2020 - [c175]Célia Martinie, Philippe A. Palanque:
Task models based engineering of interactive systems. EICS 2020: 16:1-16:2 - [c174]Regina Bernhaupt, Célia Martinie, Philippe A. Palanque, Günter Wallner:
A Generic Visualization Approach Supporting Task-Based Evaluation of Usability and User Experience. HCSE 2020: 24-44 - [c173]Nicolas Broders, Célia Martinie, Philippe A. Palanque, Marco Winckler, Kimmo Halunen:
A Generic Multimodels-Based Approach for the Analysis of Usability and Security of Authentication Mechanisms. HCSE 2020: 61-83 - [c172]Alexandre Canny, Philippe A. Palanque, David Navarre:
Model-Based Testing of GUI Applications Featuring Dynamic Instanciation of Widgets. ICST Workshops 2020: 95-104 - [c171]Philippe A. Palanque:
User Tasks Description: a Retrospective, Recent Contributions and some Research Challenges. RoCHI 2020: 1-4 - [c170]Philippe A. Palanque, Andy Cockburn, Carl Gutwin:
A Classification of Faults Covering the Human-Computer Interaction Loop. SAFECOMP 2020: 434-448 - [e34]Peter Fröhlich, Matthias Baldauf, Philippe A. Palanque, Virpi Roto, Thomas Meneweger, Manfred Tscheligi, Zoe M. Becerra, Fabio Paternò:
Proceedings of the Workshop on Automation Experience across Domains, AutomationXP 2020, co-located with the ACM Conference on Human Factors in Computing Systems (CHI 2020), Honolulu, Hawaii, US, April 26, 2020. CEUR Workshop Proceedings 2700, CEUR-WS.org 2020 [contents]
2010 – 2019
- 2019
- [j29]Elodie Bouzekri, Alexandre Canny, Camille Fayollas, Célia Martinie, Philippe A. Palanque, Eric Barboni, Yannick Deleris, Christine Gris:
Engineering issues related to the development of a recommender system in a critical context: Application to interactive cockpits. Int. J. Hum. Comput. Stud. 121: 122-141 (2019) - [j28]Andy Cockburn, Damien Masson, Carl Gutwin, Philippe A. Palanque, Alix Goguey, Marcus Yung, Christine Gris, Catherine Trask:
Design and evaluation of braced touch for touchscreen input stabilisation. Int. J. Hum. Comput. Stud. 122: 21-37 (2019) - [j27]Helena M. Mentis, Cliff Lampe, Regina Bernhaupt, Anirudha Joshi, Susan R. Fussell, Susan M. Dray, Dan Olsen, Aaron Quigley, Julie R. Williamson, Eunice Ratna Sari, Loren Terveen, Allison Druin, Philippe A. Palanque:
The new SIGCHI EC's values and strategic initiatives. Interactions 26(1): 84-85 (2019) - [j26]Célia Martinie, Philippe A. Palanque, Elodie Bouzekri, Andy Cockburn, Alexandre Canny, Eric Barboni:
Analysing and Demonstrating Tool-Supported Customizable Task Notations. Proc. ACM Hum. Comput. Interact. 3(EICS): 12:1-12:26 (2019) - [j25]Sven Coppers, Kris Luyten, Davy Vanacken, David Navarre, Philippe A. Palanque, Christine Gris:
Fortunettes: Feedforward about the Future State of GUI Widgets. Proc. ACM Hum. Comput. Interact. 3(EICS): 20:1-20:20 (2019) - [c169]Damiano Distante, Marco Winckler, Regina Bernhaupt, Judy Bowen, José Creissac Campos, Florian Müller, Philippe A. Palanque, Jan Van den Bergh, Benjamin Weyers, Alexandra Voit:
Trends on engineering interactive systems: an overview of works presented in workshops at EICS 2019. EICS 2019: 22:1-22:6 - [c168]David Navarre, Philippe A. Palanque, Célia Martinie:
A Roadmap and Some Directions Towards the Engineering of Interactive Systems Deployable in Safety Critical Contexts. EICS Workshops 2019: 39-45 - [c167]Alexandre Canny, Elodie Bouzekri, Célia Martinie, Philippe A. Palanque:
On the Importance of Supporting Multiple Stakeholders Points of View for the Testing of Interactive Systems. EICS Workshops 2019: 113-121 - [c166]Jean-Luc Hak, Olivier Nicolas, Philippe A. Palanque, Marco Winckler:
An Attempt to Fathom the Role of Annotations in User-Centered Design Process. EICS Workshops 2019: 139-146 - [c165]Alexandre Canny, David Navarre, José Creissac Campos, Philippe A. Palanque:
Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-Nets. FM Workshops (1) 2019: 486-502 - [c164]David Navarre, Philippe A. Palanque, Sven Coppers, Kris Luyten, Davy Vanacken:
Fortune Nets for Fortunettes: Formal, Petri Nets-Based, Engineering of Feedforward for GUI Widgets. FM Workshops (1) 2019: 503-519 - [c163]Neeraj Kumar Singh, Yamine Aït Ameur, Dominique Méry, David Navarre, Philippe A. Palanque, Marc Pantel:
Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661. FTSCS 2019: 21-39 - [c162]Elodie Bouzekri, Alexandre Canny, Célia Martinie, Philippe A. Palanque:
Characterizing Sets of Systems: Representation and Analysis of Across-Systems Properties. INTERACT Workshops 2019: 84-96 - [c161]Philippe A. Palanque, Célia Martinie, Elodie Bouzekri:
Introduction to Automation and to Its Potential for Interactive Systems Design. INTERACT (4) 2019: 523-526 - [c160]Elodie Bouzekri, Alexandre Canny, Célia Martinie, Philippe A. Palanque, Christine Gris:
Deep System Knowledge Required: Revisiting UCD Contribution in the Design of Complex Command and Control Systems. INTERACT (1) 2019: 699-720 - [c159]Philippe A. Palanque, Pedro F. Campos, José L. Abdelnour-Nocera, Torkil Clemmensen, Virpi Roto:
User Experience in an Automated World. INTERACT (4) 2019: 706-710 - [c158]Carmelo Ardito, Regina Bernhaupt, Philippe A. Palanque, Stefan Sauer:
Handling Security, Usability, User Experience and Reliability in User-Centered Development Processes - IFIP WG 13.2 and WG 13.5 Workshop at INTERACT 2019. INTERACT (4) 2019: 759-762 - [c157]Alexandre Canny, Camille Fayollas, Célia Martinie, David Navarre, Philippe A. Palanque, Christine Gris, Yannick Deleris:
Divide to Conquer: Functional Decomposition to Support Model-Based Engineering of Command and Control of Cyber-Physical Systems. iThings/GreenCom/CPSCom/SmartData 2019: 694-701 - [c156]Philippe A. Palanque, Andy Cockburn, Léopold Désert-Legendre, Carl Gutwin, Yannick Deleris:
Brace Touch: A Dependable, Turbulence-Tolerant, Multi-touch Interaction Technique for Interactive Cockpits. SAFECOMP 2019: 53-68 - [e33]Cristian Bogdan, Kati Kuusinen, Marta Kristín Lárusdóttir, Philippe A. Palanque, Marco Winckler:
Human-Centered Software Engineering - 7th IFIP WG 13.2 International Working Conference, HCSE 2018, Sophia Antipolis, France, September 3-5, 2018, Revised Selected Papers. Lecture Notes in Computer Science 11262, Springer 2019, ISBN 978-3-030-05908-8 [contents] - 2018
- [j24]Loren G. Terveen, Helena M. Mentis, Aaron Quigley, Philippe A. Palanque:
The evolution of SIGCHI conferences and the future of CHI. Interactions 25(5): 84-85 (2018) - [c155]Alexander Meschtscherjakov, Manfred Tscheligi, Bastian Pfleging, Shadan Sadeghian Borojeni, Wendy Ju, Philippe A. Palanque, Andreas Riener, Bilge Mutlu, Andrew L. Kun:
Interacting with Autonomous Vehicles: Learning from other Domains. CHI Extended Abstracts 2018 - [c154]Philippe A. Palanque, Célia Martinie, Camille Fayollas:
Automation: Danger or Opportunity? Designing and Assessing Automation for Interactive Systems. CHI Extended Abstracts 2018 - [c153]Philippe A. Palanque:
Engineering Automations: From a Human Factor Perspective to Design, Implementation and Validation Challenges. EICS 2018: 2:1-2:2 - [c152]Célia Martinie, David Navarre, Philippe A. Palanque, Eric Barboni, Alexandre Canny:
TOUCAN: An IDE Supporting the Development of Effective Interactive Java Applications. EICS 2018: 4:1-4:7 - [c151]Martin Cronel, Bruno Dumas, Philippe A. Palanque, Alexandre Canny:
MIODMIT: A Generic Architecture for Dynamic Multimodal Interactive Systems. HCSE 2018: 109-129 - [c150]Regina Bernhaupt, Philippe A. Palanque, Dimitri Drouet, Célia Martinie:
Enriching Task Models with Usability and User Experience Evaluation Data. HCSE 2018: 146-163 - [c149]Alexandre Canny, Elodie Bouzekri, Célia Martinie, Philippe A. Palanque:
Rationalizing the Need of Architecture-Driven Testing of Interactive Systems. HCSE 2018: 164-186 - [c148]Elodie Bouzekri, Alexandre Canny, Célia Martinie, Philippe A. Palanque, Christine Gris:
Using Task Descriptions with Explicit Representation of Allocation of Functions, Authority and Responsibility to Design and Assess Automation. HWID 2018: 36-56 - [c147]Virpi Roto, Philippe A. Palanque, Hannu Karvonen:
Engaging Automation at Work - A Literature Review. HWID 2018: 158-172 - [e32]Adrian Sabou, Philippe A. Palanque:
15th International Conference on Human Computer Interaction, RoCHI 2018, Cluj-Napoca, Romania, September 3-4, 2018. Matrix Rom 2018 [contents] - 2017
- [j23]Jonathan Lazar, Elizabeth F. Churchill, Tovi Grossman, Gerrit C. van der Veer, Philippe A. Palanque, John Morris, Jennifer Mankoff:
Making the field of computing more inclusive. Commun. ACM 60(3): 50-59 (2017) - [j22]José Creissac Campos, Camille Fayollas, Marcelo Gonçalves, Célia Martinie, David Navarre, Philippe A. Palanque, Miguel Pinto:
A More Intelligent Test Case Generation Approach through Task Models Manipulation. Proc. ACM Hum. Comput. Interact. 1(EICS): 9:1-9:20 (2017) - [c146]Philippe A. Palanque, Célia Martinie, Camille Fayollas:
Automation: Danger or Opportunity? Designing and Assessing Automation for Interactive Systems. CHI Extended Abstracts 2017: 1257-1260 - [c145]Andy Cockburn, Carl Gutwin, Philippe A. Palanque, Yannick Deleris, Catherine Trask, Ashley Coveney, Marcus Yung, Karon E. MacLean:
Turbulent Touch: Touchscreen Input for Cockpit Flight Displays. CHI 2017: 6742-6753 - [c144]Elodie Bouzekri, Alexandre Canny, Camille Fayollas, Célia Martinie, Philippe A. Palanque, Eric Barboni, Yannick Deleris, Christine Gris:
A List of Pre-Requisites to Make Recommender Systems Deployable in Critical Context. EnCHIReS@EICS 2017: 42-55 - [c143]Camille Fayollas, Célia Martinie, Philippe A. Palanque, Yamine Aït Ameur:
QBP Notation for Explicit Representation of Properties, Their Refinement and Their Potential Conflicts: Application to Interactive Systems. INTERACT Workshops 2017: 91-105 - [c142]David Navarre, Philippe A. Palanque, Arnaud Hamon, Sabrina Della Pasqua:
Similarity as a Design Driver for User Interfaces of Dependable Critical Systems. INTERACT Workshops 2017: 114-122 - [c141]Philippe A. Palanque, Célia Martinie, Marco Winckler:
Designing and Assessing Interactive Systems Using Task Models. INTERACT (4) 2017: 383-386 - [c140]Alexander Meschtscherjakov, Manfred Tscheligi, Peter Fröhlich, Rod McCall, Andreas Riener, Philippe A. Palanque:
Mobile interaction with and in autonomous vehicles. MobileHCI 2017: 78:1-78:6 - [p10]Raquel Oliveira Prates, Philippe A. Palanque, Benjamin Weyers, Judy Bowen, Alan J. Dix:
State of the Art on Formal Methods for Interactive Systems. Handbook of Formal Methods in Human-Computer Interaction 2017: 3-55 - [p9]Judy Bowen, Alan J. Dix, Philippe A. Palanque, Benjamin Weyers:
Topics of Formal Methods in HCI. Handbook of Formal Methods in Human-Computer Interaction 2017: 57-64 - [p8]Alan J. Dix, Benjamin Weyers, Judy Bowen, Philippe A. Palanque:
Trends and Gaps. Handbook of Formal Methods in Human-Computer Interaction 2017: 65-88 - [p7]Benjamin Weyers, Michael D. Harrison, Judy Bowen, Alan J. Dix, Philippe A. Palanque:
Case Studies. Handbook of Formal Methods in Human-Computer Interaction 2017: 89-121 - [p6]Iñigo Aldalur, Marco Winckler, Oscar Díaz, Philippe A. Palanque:
Web Augmentation as a Promising Technology for End User Development. New Perspectives in End-User Development 2017: 433-459 - [p5]Camille Fayollas, Célia Martinie, Philippe A. Palanque, Eric Barboni, Racim Fahssi, Arnaud Hamon:
Exploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development Environment. Handbook of Formal Methods in Human-Computer Interaction 2017: 465-504 - [p4]Camille Fayollas, Philippe A. Palanque, Jean-Charles Fabre, Célia Martinie, Yannick Déléris:
Dealing with Faults During Operations: Beyond Classical Use of Formal Methods. Handbook of Formal Methods in Human-Computer Interaction 2017: 549-575 - [e31]Benjamin Weyers, Judy Bowen, Alan J. Dix, Philippe A. Palanque:
The Handbook of Formal Methods in Human-Computer Interaction. Springer International Publishing 2017, ISBN 978-3-319-51837-4 [contents] - 2016
- [j21]Célia Martinie, Philippe A. Palanque, Racim Fahssi, Jean-Paul Blanquart, Camille Fayollas, Christel Seguin:
Task Model-Based Systematic Analysis of Both System Failures and Human Errors. IEEE Trans. Hum. Mach. Syst. 46(2): 243-254 (2016) - [c139]Philippe A. Palanque, Célia Martinie:
Designing and Assessing Interactive Systems Using Task Models. CHI Extended Abstracts 2016: 976-979 - [c138]Michael Feary, Célia Martinie, Philippe A. Palanque, Manfred Tscheligi:
Multiple Views on Safety-Critical Automation: Aircrafts, Autonomous Vehicles, Air Traffic Management and Satellite Ground Segments Perspectives. CHI Extended Abstracts 2016: 1069-1072 - [c137]Camille Fayollas, Célia Martinie, Philippe A. Palanque, Eric Barboni, Yannick Deleris:
What Can Be Learnt from Engineering Safety Critical Partly-Autonomous Systems when Engineering Recommender Systems. EnCHIReS@EICS 2016: 14-25 - [c136]Camille Fayollas, Célia Martinie, David Navarre, Philippe A. Palanque:
Engineering mixed-criticality interactive applications. EICS 2016: 108-119 - [c135]José Creissac Campos, Camille Fayollas, Célia Martinie, David Navarre, Philippe A. Palanque, Miguel Pinto:
Systematic automation of scenario-based testing of user interfaces. EICS 2016: 138-148 - [c134]Camille Fayollas, Jean-Charles Fabre, Philippe A. Palanque, Martin Cronel, David Navarre, Yannick Deleris:
A three-fold approach towards increased assurance levels for interactive systems: a flight control unit case study. HCI-Aero 2016: 2:1-2:9 - [c133]Regina Bernhaupt, Philippe A. Palanque, François Manciet, Célia Martinie:
User-Test Results Injection into Task-Based Design Process for the Assessment and Improvement of Both Usability and User Experience. HCSE/HESSD 2016: 56-72 - [c132]Dorrit Billman, Camille Fayollas, Michael Feary, Célia Martinie, Philippe A. Palanque:
Complementary Tools and Techniques for Supporting Fitness-for-Purpose of Interactive Critical Systems. HCSE/HESSD 2016: 181-202 - [c131]Racim Fahssi, Célia Martinie, Philippe A. Palanque:
Embedding explicit representation of cyber-physical elements in task models. SMC 2016: 1969-1974 - [c130]Camille Fayollas, Célia Martinie, Philippe A. Palanque, Paolo Masci, Michael D. Harrison, José Creissac Campos, Saulo Rodrigues e Silva:
Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web. F-IDE@FM 2016: 1-19 - [e30]Kris Luyten, Philippe A. Palanque:
Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2016, Brussels, Belgium, June 21-24, 2016. ACM 2016, ISBN 978-1-4503-4322-0 [contents] - [e29]Cristian Bogdan, Jan Gulliksen, Stefan Sauer, Peter Forbrig, Marco Winckler, Chris W. Johnson, Philippe A. Palanque, Regina Bernhaupt, Filip Kis:
Human-Centered and Error-Resilient Systems Development - IFIP WG 13.2/13.5 Joint Working Conference 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016 Stockholm, Sweden, August 29-31, 2016, Proceedings. Lecture Notes in Computer Science 9856, Springer 2016, ISBN 978-3-319-44901-2 [contents] - 2015
- [j20]Camille Fayollas, Célia Martinie, David Navarre, Philippe A. Palanque:
A Generic Approach for Assessing Compatibility Between Task Descriptions and Interactive Systems: Application to the Effectiveness of a Flight Control Unit. i-com 14(3): 170-191 (2015) - [c129]Martina Ragosta, Célia Martinie, Philippe A. Palanque, David Navarre, Mark-Alexander Sujan:
Concept Maps for Integrating Modeling Techniques for the Analysis and Re-Design of Partly-Autonomous Interactive Systems. ATACCS 2015: 41-52 - [c128]Regina Bernhaupt, Martin Cronel, François Manciet, Célia Martinie, Philippe A. Palanque:
Transparent Automation for Assessing and Designing better Interactions between Operators and Partly-Autonomous Interactive Systems. ATACCS 2015: 129-139 - [c127]Philippe A. Palanque, Célia Martinie:
Designing and Assessing Interactive Systems Using Task Models. CHI Extended Abstracts 2015: 2465-2466 - [c126]Célia Martinie, David Navarre, Philippe A. Palanque, Camille Fayollas:
A generic tool-supported framework for coupling task models and interactive applications. EICS 2015: 244-253 - [c125]Benjamin Weyers, Judy Bowen, Alan J. Dix, Philippe A. Palanque:
Workshop on formal methods in human computer interaction. EICS 2015: 294-295 - [c124]Arnaud Hamon, Philippe A. Palanque, Martin Cronel:
Dependable multi-touch interactions in safety critical industrial contexts: Application to aeronautics. INDIN 2015: 980-987 - [c123]Racim Fahssi, Célia Martinie, Philippe A. Palanque:
Enhanced Task Modelling for Systematic Identification and Explicit Representation of Human Errors. INTERACT (4) 2015: 192-212 - [c122]Marco Winckler, Ricardo Andrade Cava, Eric Barboni, Philippe A. Palanque, Carla M. D. S. Freitas:
Usability Aspects of the Inside-in Approach for Ancillary Search Tasks on the Web. INTERACT (2) 2015: 211-230 - [c121]Jan Gulliksen, Simone Diniz Junqueira Barbosa, Anirudha Joshi, Shaun W. Lawson, Philippe A. Palanque:
Role of Conferences in Shaping the Field of HCI. INTERACT (4) 2015: 637-639 - [c120]Chris W. Johnson, Michael Feary, Célia Martinie, Philippe A. Palanque, Regina Peldszus:
IFIP WG 13.5 Workshop on Resilience, Reliability, Safety and Human Error in System Development. INTERACT (4) 2015: 663-664 - [c119]Célia Martinie, Philippe A. Palanque:
Design, Development and Evaluation Challenges for Future Mobile User Interfaces in Safety-Critical Contexts. FutureMobileUI@MobiSys 2015: 5-7 - [e28]Michael Feary, Thomas Feuerle, Cristina Gonzalez Rechea, Francisco Javier Saez, Chris W. Johnson, Célia Martinie, Philippe A. Palanque, Alberto Pasquini, Pim van Leeuwen, Marco Winckler:
Proceedings of the 5th International Conference on Application and Theory of Automation in Command and Control Systems, ATACCS 2015, Toulouse, France, September 30 - October 2, 2015. ACM 2015, ISBN 978-1-4503-3562-1 [contents] - [e27]Julio Abascal, Simone D. J. Barbosa, Mirko Fetter, Tom Gross, Philippe A. Palanque, Marco Winckler:
Human-Computer Interaction - INTERACT 2015 - 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part I. Lecture Notes in Computer Science 9296, Springer 2015, ISBN 978-3-319-22700-9 [contents] - [e26]Julio Abascal, Simone D. J. Barbosa, Mirko Fetter, Tom Gross, Philippe A. Palanque, Marco Winckler:
Human-Computer Interaction - INTERACT 2015 - 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part II. Lecture Notes in Computer Science 9297, Springer 2015, ISBN 978-3-319-22667-5 [contents] - [e25]Julio Abascal, Simone D. J. Barbosa, Mirko Fetter, Tom Gross, Philippe A. Palanque, Marco Winckler:
Human-Computer Interaction - INTERACT 2015 - 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part III. Lecture Notes in Computer Science 9298, Springer 2015, ISBN 978-3-319-22697-2 [contents] - [e24]Julio Abascal, Simone D. J. Barbosa, Mirko Fetter, Tom Gross, Philippe A. Palanque, Marco Winckler:
Human-Computer Interaction - INTERACT 2015 - 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part IV. Lecture Notes in Computer Science 9299, Springer 2015, ISBN 978-3-319-22722-1 [contents] - 2014
- [j19]Sergio Firmenich, Gustavo Rossi, Marco Winckler, Philippe A. Palanque:
An approach for supporting distributed user interface orchestration over the Web. Int. J. Hum. Comput. Stud. 72(1): 53-76 (2014) - [j18]Célia Martinie, David Navarre, Philippe A. Palanque:
A multi-formalism approach for model-based dynamic distribution of user interfaces of critical interactive systems. Int. J. Hum. Comput. Stud. 72(1): 77-99 (2014) - [j17]Eric Barboni, Célia Martinie, David Navarre, Philippe A. Palanque, Marco Winckler:
Bridging the gap between a behavioural formal description technique and a user interface description language: Enhancing ICO with a graphical user interface markup language. Sci. Comput. Program. 86: 3-29 (2014) - [c118]Célia Martinie, Philippe A. Palanque:
Fine Grain Modeling of Task Deviations for Assessing Qualitatively the Impact of Both System Failures and Human Error on Operator Performance. AAAI Spring Symposia 2014 - [c117]Camille Fayollas, Célia Martinie, Philippe A. Palanque, Yannick Deleris, Jean-Charles Fabre, David Navarre:
An Approach for Assessing the Impact of Dependability on Usability: Application to Interactive Cockpits. EDCC 2014: 198-209 - [c116]Arnaud Hamon, Eric Barboni, Philippe A. Palanque, Raphaël André:
Notation and a Layered Architecture to Model Dynamic Instantiation of Input Devices and Interaction Techniques: Application to Multi-Touch Interactions. EGMI@EICS 2014: 15-21 - [c115]Célia Martinie, Eric Barboni, David Navarre, Philippe A. Palanque, Racim Fahssi, Erwann Poupart, Eliane Cubero-Castan:
Multi-models-based engineering of collaborative systems: application to collision avoidance operations for spacecraft. EICS 2014: 85-94 - [c114]Arnaud Hamon, Philippe A. Palanque, Martin Cronel, Raphaël André, Eric Barboni, David Navarre:
Formal modelling of dynamic instantiation of input devices and interaction techniques: application to multi-touch interactions. EICS 2014: 173-178 - [c113]Peter Forbrig, Célia Martinie, Philippe A. Palanque, Marco Winckler, Racim Fahssi:
Rapid Task-Models Development Using Sub-models, Sub-routines and Generic Components. HCSE 2014: 144-163 - [c112]Camille Fayollas, Célia Martinie, David Navarre, Philippe A. Palanque, Racim Fahssi:
Fault-Tolerant User Interfaces for Critical Systems: Duplication, Redundancy and Diversity as New Dimensions of Distributed User Interfaces. DUI@ICWE 2014: 27-30 - [c111]Camille Fayollas, Philippe A. Palanque, Jean-Charles Fabre, David Navarre, Eric Barboni, Martin Cronel, Yannick Deleris:
A fault-tolerant architecture for resilient interactive systems. IHM 2014: 80-90 - [c110]Ricardo Andrade Cava, Carla Maria Dal Sasso Freitas, Eric Barboni, Philippe A. Palanque, Marco Winckler:
Inside-In Search: An Alternative for Performing Ancillary Search Tasks on the Web. LA-WEB 2014: 91-99 - [c109]Camille Fayollas, Jean-Charles Fabre, Philippe A. Palanque, Martin Cronel, David Navarre, Yannick Deleris:
A Software-Implemented Fault-Tolerance Approach for Control and Display Systems in Avionics. PRDC 2014: 21-30 - [e23]Matt Jones, Philippe A. Palanque, Albrecht Schmidt, Tovi Grossman:
CHI Conference on Human Factors in Computing Systems, CHI'14, Toronto, ON, Canada - April 26 - May 01, 2014. ACM 2014, ISBN 978-1-4503-2473-1 [contents] - [e22]Matt Jones, Philippe A. Palanque, Albrecht Schmidt, Tovi Grossman:
CHI Conference on Human Factors in Computing Systems, CHI'14, Toronto, ON, Canada - April 26 - May 01, 2014, Extended Abstracts. ACM 2014, ISBN 978-1-4503-2474-8 [contents] - 2013
- [j16]José Luís Silva, Camille Fayollas, Arnaud Hamon, Philippe A. Palanque, Célia Martinie, Eric Barboni:
Analysis of WIMP and Post WIMP Interactive Systems based on Formal Specification. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 69 (2013) - [j15]Camille Fayollas, Jean-Charles Fabre, Philippe A. Palanque, Eric Barboni, David Navarre, Yannick Deleris:
Interactive cockpits as critical applications: a model-based and a fault-tolerant approach. Int. J. Crit. Comput. Based Syst. 4(3): 202-226 (2013) - [c108]David Navarre, Célia Martinie, Philippe A. Palanque, Alberto Pasquini, Martina Ragosta:
Model-based dynamic distribution of user interfaces of critical interactive systems. ATACCS 2013: 66-75 - [c107]Philippe A. Palanque, Fabio Paternò, Jeffrey Nichols, Nuno Jardim Nunes, Brad A. Myers:
The role of engineering work in CHI. CHI Extended Abstracts 2013: 2477-2480 - [c106]Jonathan Lazar, Simone Diniz Junqueira Barbosa, Jan Gulliksen, Tom McEwan, Loïc Martínez Normand, Philippe A. Palanque, Raquel Oliveira Prates, Janice Y. Tsai, Marco Winckler, Volker Wulf:
Workshop on engaging the human-computer interaction community with public policymaking internationally. CHI Extended Abstracts 2013: 3279-3282 - [c105]Célia Martinie, Philippe A. Palanque, Martina Ragosta, Racim Fahssi:
Extending procedural task models by systematic explicit integration of objects, knowledge and information. ECCE 2013: 23:1-23:10 - [c104]Peter Forbrig, Michael Zaki, Philippe A. Palanque, Marco Winckler:
Supportive User Interfaces and Task Migratability in Smart Environments. DUI@EICS 2013: 42-45 - [c103]Hamon-Keromen Arnaud, Philippe A. Palanque, José Luís Silva, Yannick Deleris, Eric Barboni:
Formal description of multi-touch interactions. EICS 2013: 207-216 - [c102]Michel Galindo, Célia Martinie, Philippe A. Palanque, Marco Winckler, Peter Forbrig:
Tuning an HCI Curriculum for Master Students to Address Interactive Critical Systems Aspects. HCI (1) 2013: 51-60 - [c101]Guillaume Brat, Célia Martinie, Philippe A. Palanque:
V&V of Lexical, Syntactic and Semantic Properties for Interactive Systems through Model Checking of Formal Description of Dialog. HCI (1) 2013: 290-299 - [c100]Caio Stein D'Agostini, Ricardo Andrade Cava, Carina F. Dorneles, Sergio Firmenich, Carla M. D. S. Freitas, Philippe A. Palanque, Marco Winckler:
Proposta de um framework para visualização de dados agregados por similaridade para auxiliar consultas durante a navegação na web. IHC 2013: 148-157 - [c99]Célia Martinie, Philippe A. Palanque, Martina Ragosta, Mark-Alexander Sujan, David Navarre, Alberto Pasquini:
Understanding Functional Resonance through a Federation of Models: Preliminary Findings of an Avionics Case Study. SAFECOMP 2013: 216-227 - [c98]Romuald Deshayes, Philippe A. Palanque, Tom Mens:
A generic framework for executable gestural interaction models. VL/HCC 2013: 35-38 - [c97]Romuald Deshayes, Tom Mens, Philippe A. Palanque:
PetriNect: A tool for executable modeling of gestural interaction. VL/HCC 2013: 197-198 - [e21]Philippe A. Palanque, Françoise Détienne, André Tricot:
European Conference on Cognitive Ergonomics 2013, ECCE '13, Toulouse, France, August 26 - 28, 2013. ACM 2013, ISBN 978-1-4503-2251-5 [contents] - 2012
- [c96]Célia Martinie, Philippe A. Palanque, Alberto Pasquini, Martina Ragosta, E. Rigaud, Sara Silvagni:
Using complementary models-based approaches for representing and analysing ATM systems' variability. ATACCS 2012: 146-157 - [c95]Ruven Brooks, T. C. Nicholas Graham, Jeffrey Nichols, Philippe A. Palanque, Fabio Paternò:
Invited engineering community SIG: the role of engineering work in CHI. CHI Extended Abstracts 2012: 1205-1208 - [c94]Thomas Mirlacher, Philippe A. Palanque, Regina Bernhaupt:
Engineering animations in user interfaces. EICS 2012: 111-120 - [c93]Célia Martinie, Philippe A. Palanque, David Navarre, Eric Barboni, Marco Winckler:
Un processus de développement outillé pour l'exploitation systématique des bénéfices offerts par une conception des systèmes interactifs centrée tâches. Ergo'IHM 2012: 81 - [c92]Llúcia Masip, Célia Martinie, Marco Winckler, Philippe A. Palanque, Toni Granollers, Marta Oliva:
A Design Process for Exhibiting Design Choices and Trade-Offs in (Potentially) Conflicting User Interface Guidelines. HCSE 2012: 53-71 - [c91]Célia Martinie, Philippe A. Palanque, David Navarre, Eric Barboni:
A Development Process for Usable Large Scale Interactive Critical Systems: Application to Satellite Ground Segments. HCSE 2012: 72-93 - [c90]Camille Fayollas, Jean-Charles Fabre, David Navarre, Philippe A. Palanque, Yannick Deleris:
Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approach. SERENE 2012: 32-46 - [e20]Simone Diniz Junqueira Barbosa, José Creissac Campos, Rick Kazman, Philippe A. Palanque, Michael D. Harrison, Steve Reeves:
ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS'12, Copenhagen, Denmark - June 25 - 28, 2012. ACM 2012, ISBN 978-1-4503-1168-7 [contents] - 2011
- [j14]David Navarre, Philippe A. Palanque, Eric Barboni, Jean-François Ladry, Célia Martinie:
Designing for resilience to hardware failures in interactive systems: A model and simulation-based approach. Reliab. Eng. Syst. Saf. 96(1): 38-52 (2011) - [c89]Philippe A. Palanque, Regina Bernhaupt, Florent Montesano, Célia Martinie:
Exploiting gaming research and practice for engineering interactive critical systems. ATACCS 2011: 41-49 - [c88]Célia Martinie, Philippe A. Palanque, Eric Barboni, Marco Winckler, Martina Ragosta, Alberto Pasquini, Paola Lanzi:
Formal tasks and systems models as a tool for specifying and assessing automation designs. ATACCS 2011: 50-59 - [c87]Regina Bernhaupt, Guy A. Boy, Michael Feary, Philippe A. Palanque:
Engineering automation in interactive critical systems. CHI Extended Abstracts 2011: 69-72 - [c86]Philippe A. Palanque, Eric Barboni, Célia Martinie, David Navarre, Marco Winckler:
A model-based approach for supporting engineering usability evaluation of interaction techniques. EICS 2011: 21-30 - [c85]Célia Martinie, Philippe A. Palanque, David Navarre, Marco Winckler, Erwann Poupart:
Model-based training: an approach supporting operability of critical interactive systems. EICS 2011: 53-62 - [c84]A. Tankeu-Choitat, Jean-Charles Fabre, Philippe A. Palanque, David Navarre, Yannick Deleris:
Self-checking widgets for interactive cockpits. EWDC 2011: 43-48 - [c83]Célia Martinie, Philippe A. Palanque, Marco Winckler:
Structuring and Composition Mechanisms to Address Scalability Issues in Task Models. INTERACT (3) 2011: 589-609 - [c82]A. Tankeu-Choitat, David Navarre, Philippe A. Palanque, Yannick Deleris, Jean-Charles Fabre, Camille Fayollas:
Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques. PRDC 2011: 164-173 - [c81]Célia Martinie, Philippe A. Palanque, Eric Barboni, Martina Ragosta:
Task-model based assessment of automation levels: Application to space ground segments. SMC 2011: 3267-3273 - [p3]Philippe A. Palanque, Marco Winckler, Célia Martinie:
A Formal Model-Based Approach for Designing Interruptions-Tolerant Advanced User Interfaces. Model-Driven Development of Advanced User Interfaces 2011: 143-169 - [e19]Pedro F. Campos, T. C. Nicholas Graham, Joaquim A. Jorge, Nuno Jardim Nunes, Philippe A. Palanque, Marco Winckler:
Human-Computer Interaction - INTERACT 2011 - 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part I. Lecture Notes in Computer Science 6946, Springer 2011, ISBN 978-3-642-23773-7 [contents] - [e18]Pedro F. Campos, T. C. Nicholas Graham, Joaquim A. Jorge, Nuno Jardim Nunes, Philippe A. Palanque, Marco Winckler:
Human-Computer Interaction - INTERACT 2011 - 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part II. Lecture Notes in Computer Science 6947, Springer 2011, ISBN 978-3-642-23770-6 [contents] - [e17]Pedro F. Campos, T. C. Nicholas Graham, Joaquim A. Jorge, Nuno Jardim Nunes, Philippe A. Palanque, Marco Winckler:
Human-Computer Interaction - INTERACT 2011 - 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part III. Lecture Notes in Computer Science 6948, Springer 2011, ISBN 978-3-642-23764-5 [contents] - [e16]Pedro F. Campos, T. C. Nicholas Graham, Joaquim A. Jorge, Nuno Jardim Nunes, Philippe A. Palanque, Marco Winckler:
Human-Computer Interaction - INTERACT 2011 - 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part IV. Lecture Notes in Computer Science 6949, Springer 2011, ISBN 978-3-642-23767-6 [contents] - 2010
- [j13]María Dolores Lozano, José A. Gallud, Philippe A. Palanque:
Mobile Context-Aware Applications for Ubiquitous Computing. J. Univers. Comput. Sci. 16(15): 1927-1928 (2010) - [c80]Eric Barboni, Jean-François Ladry, David Navarre, Philippe A. Palanque, Marco Winckler:
Beyond modelling: an integrated environment supporting co-execution of tasks and systems models. EICS 2010: 165-174 - [c79]Jean-François Ladry, Philippe A. Palanque, David Navarre, Eric Barboni, Marco Winckler:
Une approche à base de modèles pour l'ingénierie logicielle de techniques d'interaction. IHM 2010: 81-88 - [c78]Célia Martinie, Philippe A. Palanque, Marco Winckler, Stéphane Conversy:
DREAMER: a design rationale environment for argumentation, modeling and engineering requirements. SIGDOC 2010: 73-80 - [e15]Philippe A. Palanque, Jean Vanderdonckt, Marco Winckler:
Human Error, Safety and Systems Development, 7th IFIP WG 13.5 Working Conference, HESSD 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers. Lecture Notes in Computer Science 5962, Springer 2010, ISBN 978-3-642-11749-7 [contents] - [e14]David England, Philippe A. Palanque, Jean Vanderdonckt, Peter J. Wild:
Task Models and Diagrams for User Interface Design, 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers. Lecture Notes in Computer Science 5963, Springer 2010, ISBN 978-3-642-11796-1 [contents]
2000 – 2009
- 2009
- [j12]David Navarre, Philippe A. Palanque, Jean-François Ladry, Eric Barboni:
ICOs: A model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability. ACM Trans. Comput. Hum. Interact. 16(4): 18:1-18:56 (2009) - [c77]David Navarre, Philippe A. Palanque:
The future of design specification and verification of safety critical interactive systems.: can our systems be sure (safe, usable, reliable and evolvable)? EICS 2009: 155-156 - [c76]Philippe A. Palanque, Marco Winckler, Jean-François Ladry, Maurice H. ter Beek, Giorgio P. Faconti, Mieke Massink:
A formal approach supporting the comparative predictive assessment of the interruption-tolerance of interactive systems. EICS 2009: 211-220 - [c75]Philippe A. Palanque, Jean-François Ladry, David Navarre, Eric Barboni:
High-Fidelity Prototyping of Interactive Systems Can Be Formal Too. HCI (1) 2009: 667-676 - [c74]Denis Lalanne, Laurence Nigay, Philippe A. Palanque, Peter Robinson, Jean Vanderdonckt, Jean-François Ladry:
Fusion engines for multimodal input: a survey. ICMI 2009: 153-160 - [c73]Jean-François Ladry, David Navarre, Philippe A. Palanque:
Formal description techniques to support the design, construction and evaluation of fusion engines for sure (safe, usable, reliable and evolvable) multimodal interfaces. ICMI 2009: 185-192 - [c72]Philippe A. Palanque, Jean-François Ladry, Eric Barboni, David Navarre, Marco Winckler:
Une approche formelle pour i'evaluation de la tolérance aux interruptions des système interactifs. IHM 2009: 141-150 - [c71]Maurice H. ter Beek, Giorgio P. Faconti, Mieke Massink, Philippe A. Palanque, Marco Winckler:
Resilience of Interaction Techniques to Interrupts: A Formal Model-Based Approach. INTERACT (1) 2009: 494-509 - [p2]David Navarre, Philippe A. Palanque, Marco Winckler:
Task Models and System Models as A Bridge Between Hci and Software Engineering. Human-Centered Software Engineering 2009: 357-385 - [e13]Gaëlle Calvary, Joëlle Coutaz, Philippe A. Palanque:
Proceedings of the 21st International Conference of the Association Francophone d'Interaction Homme-Machine, Grenoble, France, October 13-16, 2009. ACM International Conference Proceeding Series, ACM 2009, ISBN 978-1-60558-461-4 [contents] - [e12]Tom Gross, Jan Gulliksen, Paula Kotzé, Lars Oestreicher, Philippe A. Palanque, Raquel Oliveira Prates, Marco Winckler:
Human-Computer Interaction - INTERACT 2009, 12th IFIP TC 13 International Conference, Uppsala, Sweden, August 24-28, 2009, Proceedings, Part I. Lecture Notes in Computer Science 5726, Springer 2009, ISBN 978-3-642-03654-5 [contents] - [e11]Tom Gross, Jan Gulliksen, Paula Kotzé, Lars Oestreicher, Philippe A. Palanque, Raquel Oliveira Prates, Marco Winckler:
Human-Computer Interaction - INTERACT 2009, 12th IFIP TC 13 International Conference, Uppsala, Sweden, August 24-28, 2009, Proceedings, Part II. Lecture Notes in Computer Science 5727, Springer 2009, ISBN 978-3-642-03657-6 [contents] - 2008
- [c70]David Navarre, Philippe A. Palanque, Jean-François Ladry, Sandra Basnyat:
An Architecture and a Formal Description Technique for the Design and Implementation of Reconfigurable User Interfaces. DSV-IS 2008: 208-224 - [c69]David Navarre, Philippe A. Palanque, Sandra Basnyat:
A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems. SAFECOMP 2008: 373-386 - [p1]Regina Bernhaupt, David Navarre, Philippe A. Palanque, Marco Winckler:
Tailoring Usability into Agile Software Development Projects. Maturing Usability 2008: 96-119 - [e10]T. C. Nicholas Graham, Philippe A. Palanque:
Interactive Systems. Design, Specification, and Verification, 15th International Workshop, DSV-IS 2008, Kingston, Canada, July 16-18, 2008, Revised Papers. Lecture Notes in Computer Science 5136, Springer 2008, ISBN 978-3-540-70568-0 [contents] - [e9]Jan Gulliksen, Morten Borup Harning, Philippe A. Palanque, Gerrit C. van der Veer, Janet Wesson:
Engineering Interactive Systems - EIS 2007 Joint Working Conferences, EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers. Lecture Notes in Computer Science 4940, Springer 2008, ISBN 978-3-540-92697-9 [contents] - 2007
- [c68]Philippe A. Palanque, Sandra Basnyat, Regina Bernhaupt, Ronald L. Boring, Chris W. Johnson, Peter Johnson:
Beyond usability for safety critical systems: how to be sure (safe, usable, reliable, and evolvable)? CHI Extended Abstracts 2007: 2133-2136 - [c67]Stéphane Conversy, Eric Barboni, David Navarre, Philippe A. Palanque:
Improving Modularity of Interactive Software with the MDPC Architecture. EHCI/DS-VIS 2007: 321-338 - [c66]Regina Bernhaupt, Philippe A. Palanque, Marco Winckler, David Navarre:
Usability Study of Multi-modal Interfaces Using Eye-Tracking. INTERACT (2) 2007: 412-424 - [c65]Xavier Lacaze, Philippe A. Palanque:
DREAM & TEAM: A Tool and a Notation Supporting Exploration of Options and Traceability of Choices for Safety Critical Interactive Systems. INTERACT (2) 2007: 525-540 - [c64]Eric Barboni, David Navarre, Philippe A. Palanque, Sandra Basnyat:
A Formal Description Technique for Interactive Cockpit Applications Compliant with ARINC Specification 661. SIES 2007: 250-257 - [c63]David Navarre, Philippe A. Palanque, Eric Barboni, Tomasz Mistrzyk:
On the Benefit of Synergistic Model-Based Approach for Safety Critical Interactive System Testing. TAMODIA 2007: 140-154 - [c62]Philippe A. Palanque, Sandra Basnyat, David Navarre:
Improving Interactive Systems Usability Using Formal Description Techniques: Application to HealthCare. USAB 2007: 21-40 - [e8]Maria Cecília Calani Baranauskas, Philippe A. Palanque, Julio Abascal, Simone Diniz Junqueira Barbosa:
Human-Computer Interaction - INTERACT 2007, 11th IFIP TC 13 International Conference, Rio de Janeiro, Brazil, September 10-14, 2007, Proceedings, Part I. Lecture Notes in Computer Science 4662, Springer 2007, ISBN 978-3-540-74794-9 [contents] - [e7]Maria Cecília Calani Baranauskas, Philippe A. Palanque, Julio Abascal, Simone Diniz Junqueira Barbosa:
Human-Computer Interaction - INTERACT 2007, 11th IFIP TC 13 International Conference, Rio de Janeiro, Brazil, September 10-14, 2007, Proceedings, Part II. Lecture Notes in Computer Science 4663, Springer 2007, ISBN 978-3-540-74799-4 [contents] - [e6]Marco Winckler, Hilary Johnson, Philippe A. Palanque:
Task Models and Diagrams for User Interface Design, 6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007, Proceedings. Lecture Notes in Computer Science 4849, Springer 2007, ISBN 978-3-540-77221-7 [contents] - 2006
- [j11]David Navarre, Philippe A. Palanque, Pierre Dragicevic, Rémi Bastide:
An approach integrating two complementary model-based environments for the construction of multimodal interactive applications. Interact. Comput. 18(5): 910-941 (2006) - [j10]Sandra Basnyat, Nick Chozos, Philippe A. Palanque:
Multidisciplinary perspective on accident investigation. Reliab. Eng. Syst. Saf. 91(12): 1502-1520 (2006) - [c61]Eric Barboni, Stéphane Conversy, David Navarre, Philippe A. Palanque:
Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification. DSV-IS 2006: 25-38 - [c60]T. C. Nicholas Graham, Paul Curzon, Gavin J. Doherty, Philippe A. Palanque, Richard Potter, Christopher Roast, Shamus P. Smith:
Usability and Computer Games: Working Group Report. DSV-IS 2006: 265-268 - 2005
- [c59]Sandra Basnyat, Nick Chozos, Chris W. Johnson, Philippe A. Palanque:
Incident and Accident Investigation Techniques to Inform Model-Based Design of Safety-Critical Interactive Systems. DSV-IS 2005: 51-66 - [c58]David Navarre, Philippe A. Palanque, Rémi Bastide, Amélie Schyn, Marco Winckler, Luciana Porcher Nedel, Carla Maria Dal Sasso Freitas:
A Formal Description of Multimodal Interaction Techniques for Immersive Virtual Reality Applications. INTERACT 2005: 170-183 - [c57]Effie Lai-Chong Law, Ebba Thora Hvannberg, Gilbert Cockton, Philippe A. Palanque, Dominique L. Scapin, Mark Springett, Christian Stary, Jean Vanderdonckt:
Towards the Maturation of IT Usability Evaluation (MAUSE). INTERACT 2005: 1134-1137 - [c56]Sandra Basnyat, Rémi Bastide, Philippe A. Palanque:
Extending the Boundaries of Model-Based Development to Account for Errors. MDDAUI@MoDELS 2005 - [c55]Marco Winckler, Eric Barboni, Philippe A. Palanque, Christelle Farenc:
What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications? WWV 2005: 33-36 - [c54]Marco Winckler, Eric Barboni, Philippe A. Palanque, Christelle Farenc:
What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications? WWV 2005: 207-211 - [e5]Rémi Bastide, Philippe A. Palanque, Jörg Roth:
Engineering Human Computer Interaction and Interactive Systems, Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3425, Springer 2005, ISBN 3-540-26097-8 [contents] - 2004
- [c53]Marco Winckler, Eric Barboni, Christelle Farenc, Philippe A. Palanque:
SWCEDITOR: a Model-Based Tool for Interactive Modelling of Web Navigation. CADUI 2004: 55-66 - [c52]Philippe A. Palanque, Floor Koornneef, Chris W. Johnson, Gerd Szwillus, Peter C. Wright:
Safety-critical interaction: usability in incidents and accidents. CHI Extended Abstracts 2004: 1600-1601 - [c51]David Navarre, Pierre Dragicevic, Philippe A. Palanque, Rémi Bastide, Amélie Schyn:
Very-High-Fidelity Prototyping for Both Presentation and Dialogue Parts of Multimodal Interactive Systems. EHCI/DS-VIS 2004: 179-199 - [c50]Rémi Bastide, David Navarre, Philippe A. Palanque, Amélie Schyn, Pierre Dragicevic:
A model-based approach for real-time embedded multimodal systems in military aircrafts. ICMI 2004: 243-250 - [c49]Philippe A. Palanque, Sandra Basnyat:
Task Patterns for Taking Into Account in an Efficient and Systematic Way Both Standard and Erroneous User Behaviours. Human Error, Safety and Systems Development 2004: 109-130 - [c48]Marco Winckler, Philippe A. Palanque, Carla Maria Dal Sasso Freitas:
Tasks and scenario-based evaluation of information visualization techniques. TAMODIA 2004: 165-172 - [e4]Chris W. Johnson, Philippe A. Palanque:
Human Error, Safety and Systems Development, IFIP 18th World Computer Congress, TC13 / WG13.5 7th Working Conference on Human Error, Safety and Systems Development, 22-27 August 2004, Toulouse, France. IFIP 152, Kluwer/Springer 2004, ISBN 1-4020-8152-9 [contents] - [e3]Pavel Slavík, Philippe A. Palanque:
Task Models and Diagrams for User Interface Design: Proceedings of the Third International Workshop on Task Models and Diagrams for User Interface Design - TAMODIA 2004, November 15 - 16, 2004, Prague, Czech Republic. ACM 2004 [contents] - 2003
- [j9]Rémi Bastide, David Navarre, Philippe A. Palanque:
A tool-supported design framework for safety critical interactive systems. Interact. Comput. 15(3): 309-328 (2003) - [c47]Marco Winckler, Philippe A. Palanque:
StateWebCharts: A Formal Description Technique Dedicated to Navigation Modelling of Web Applications. DSV-IS 2003: 61-76 - [c46]Philippe A. Palanque, Rémi Bastide:
User-Centered Point of View to End-User Development. HCI (4) 2003: 577-581 - [c45]Marco Winckler, Philippe A. Palanque, Christelle Farenc, Marcelo Soares Pimenta:
Who does what with whom in Web Development? HCI (4) 2003: 1549-1554 - [c44]Amélie Schyn, David Navarre, Philippe A. Palanque, Luciana Porcher Nedel:
Formal description of a multimodal interaction technique in an immersive virtual reality application. IHM 2003: 150-157 - [c43]Philippe A. Palanque, Amélie Schyn:
A Model-Based Approach for Engineering Multimodal Interactive Systems. INTERACT 2003 - 2002
- [c42]David Navarre, Philippe A. Palanque, Rémi Bastide:
Model-Based Interactive Prototyping of Highly Interactive Applications. CADUI 2002: 205-216 - [c41]Rémi Bastide, David Navarre, Philippe A. Palanque:
A model-based tool for interactive prototyping of highly interactive applications. CHI Extended Abstracts 2002: 516-517 - [c40]Xavier Lacaze, Philippe A. Palanque, David Navarre, Rémi Bastide:
Performance Evaluation as a Tool for Quantitative Assessment of Complexity of Interactive Systems. DSV-IS 2002: 208-222 - [c39]Xavier Lacaze, Philippe A. Palanque, David Navarre:
Analyse de performance et modéles de Tâches comme support â la conception rationnelle des systèmes interactifs. IHM 2002: 17-24 - [c38]Marco Winckler, Christelle Farenc, Philippe A. Palanque:
Une démarche structurée pour la conception et l'évaluation d'applications Web par l'exploitation synergique des modèles de tâche et de navigation. IHM 2002: 153-160 - [c37]Marco Winckler, Philippe A. Palanque, Christelle Farenc, Marcelo Soares Pimenta:
Task-Based Assessment of Web Navigation Design. TAMODIA 2002: 161-169 - 2001
- [j8]Philippe A. Palanque, Fabio Paternò:
Design, specification, and verification of interactive systems. ACM SIGSOFT Softw. Eng. Notes 26(1): 74-75 (2001) - [c36]Rémi Bastide, Philippe A. Palanque:
Modeling a Groupware Editing Tool with Cooperative Objects. Concurrent Object-Oriented Programming and Petri Nets 2001: 305-318 - [c35]Rémi Bastide, Charles Lakos, Philippe A. Palanque:
A Cooperative Petri Net Editor. Concurrent Object-Oriented Programming and Petri Nets 2001: 534-535 - [c34]David Navarre, Philippe A. Palanque, Fabio Paternò, Carmen Santoro, Rémi Bastide:
A Tool Suite for Integrating Task and System Models through Scenarios. DSV-IS 2001: 88-113 - [c33]Christelle Farenc, Philippe A. Palanque, J. M. Christian Bastien, Dominique L. Scapin, Marco Winckler:
Towards a general guidance and support tool for usability optimization. HCI 2001: 160-164 - [c32]David Navarre, Philippe A. Palanque, Rémi Bastide, Ousmane Sy:
A Model-Based Tool for Interactive Prototyping of Highly Interactive Applications. IEEE International Workshop on Rapid System Prototyping 2001: 136-141 - 2000
- [j7]Rémi Bastide, Ousmane Sy, Philippe A. Palanque:
A formal notation and tool for the engineering of CORBA systems. Concurr. Pract. Exp. 12(14): 1379-1403 (2000) - [c31]David Navarre, Philippe A. Palanque, Rémi Bastide, Ousmane Sy:
Structuring Interactive Systems Specifications for Executability and Prototypability. DSV-IS 2000: 97-119 - [c30]Rémi Bastide, Ousmane Sy, David Navarre, Philippe A. Palanque:
A Formal Specification of the CORBA Event Service. FMOODS 2000: 371-395 - [c29]Philippe A. Palanque, Fabio Paternò:
Design, specification, and verification of interactive systems (workshop session). ICSE 2000: 803-804 - [c28]Rémi Bastide, Philippe A. Palanque, Ousmane Sy, David Navarre:
Formal specification of CORBA services: experience and lessons learned. OOPSLA 2000: 105-117 - [c27]Dominique L. Scapin, Jean Vanderdonckt, Christelle Farenc, Rémi Bastide, J. M. Christian Bastien, Corinne Leulier, Céline Mariage, Philippe A. Palanque:
Transferring Knowledge of User Interfaces Guidelines to the Web. TFWWG 2000: 293-304 - [e2]Philippe A. Palanque, Fabio Paternò:
Interactive Systems: Design, Specification, and Verification, 7th International Workshop DSV-IS, Limerick, Ireland, June 5-6, 2000, Proceedings. Lecture Notes in Computer Science 1946, Springer 2000, ISBN 3-540-41663-3 [contents]
1990 – 1999
- 1999
- [j6]Wayne D. Gray, Philippe A. Palanque, Fabio Paternò:
Introduction to the special issue on interface issues and designs for safety-critical interactive systems: when there is no room for user error. ACM Trans. Comput. Hum. Interact. 6(4): 309-310 (1999) - [j5]Rémi Bastide, Philippe A. Palanque:
A Visual and Formal Glue between Application and Interaction. J. Vis. Lang. Comput. 10(4): 481-507 (1999) - [c26]Rémi Bastide, Philippe A. Palanque, Ousmane Sy, Duc-Hoa Le, David Navarre:
Petri Net Based Behavioural Specification of CORBA Systems. ICATPN 1999: 66-85 - [c25]Christelle Farenc, Philippe A. Palanque:
A Generic Framework based on Ergonomics Rules for Computer Aided Design of User Interface. CADUI 1999: 281-292 - [c24]Rémi Bastide, Ousmane Sy, Philippe A. Palanque:
Formal Support for the Engineering of CORBA-based Distributed Object Systems. DOA 1999: 264-272 - [c23]Rémi Bastide, Ousmane Sy, Philippe A. Palanque:
Formal Specification and Prototyping of CORBA Systems. ECOOP 1999: 474-494 - [c22]Christelle Farenc, Philippe A. Palanque:
An Extensible Architecture to Support the Structuring and the efficient Exploitation of Ergonomic Rules. HCI (1) 1999: 1038-1042 - [c21]Philippe A. Palanque, Christelle Farenc, Rémi Bastide:
Embedding Ergonomic Rules as Generic Requirements in a Formal Development Process of Interactive Software. INTERACT 1999: 408-416 - 1998
- [j4]Philippe A. Palanque, Fabio Paternò, Bob Fields:
Designing user interfaces for safety critical systems. ACM SIGCHI Bull. 30(4): 37-39 (1998) - [c20]Philippe A. Palanque, Fabio Paternò, Peter C. Wright:
Designing user interfaces for safety critical systems. CHI Conference Summary 1998: 200 - [c19]Rémi Bastide, Philippe A. Palanque, Duc-Hoa Le, Jaime Munoz:
Integrating Rendering Specifications into a Formalism for the Design of Interactive Systems. DSV-IS 1998: 171-190 - 1997
- [j3]Philippe A. Palanque, Rémi Bastide:
Synergistic Modelling of Tasks, Users and Systems using Formal Specification Techniques. Interact. Comput. 9(2): 129-153 (1997) - [c18]Michelle Jacomi, Stéphane Chatty, Philippe A. Palanque:
A Making-Movies Metaphor for Structuring Software Components in Highly Interactive Applications. BCS HCI 1997: 155-173 - [c17]Johnny Accot, Stéphane Chatty, Sébastien Maury, Philippe A. Palanque:
Formal transducers: Models of devices and building bricks for the design of highly interactive systems. DSV-IS 1997: 143-159 - [c16]Philippe A. Palanque, Rémi Bastide, Fabio Paternò:
Formal Specification as a Tool for Objective Assessment of Safety-Critical Interactive Systems. INTERACT 1997: 323-330 - 1996
- [j2]Philippe A. Palanque, Rémi Bastide:
Time modelling in Petri nets for the design of interaction active. ACM SIGCHI Bull. 28(2): 43-46 (1996) - [j1]Fabio Paternò, Philippe A. Palanque:
Formal methods in computer human interaction: comparison, benefits, open questions. ACM SIGCHI Bull. 28(4): 46-48 (1996) - [c15]Rémi Bastide, Philippe A. Palanque:
Implementation Techniques for Petri Net Based Specifications of Human-Computer Dialogues. CADUI 1996: 285-302 - [c14]Fabio Paternò, Gregory D. Abowd, Philippe A. Palanque:
Formal methods in computer human interaction: comparison, benefits, open questions. CHI Conference Companion 1996: 424 - [c13]Johnny Accot, Stéphane Chatty, Philippe A. Palanque:
A Formal Description of Low Level Interaction and its Application to Multimodal Interactive Systems. DSV-IS 1996: 92-104 - [c12]Philippe A. Palanque, Fabio Paternò, Rémi Bastide, M. Mezzanotte:
Towards an Integrated Proposal for Interactive Systems Design Based on TLIM and ICO. DSV-IS 1996: 162-187 - [c11]Tom Moher, Victor Dirda, Rémi Bastide, Philippe A. Palanque:
Monolingual, Articulated Modeling of Users, Devices, and Interfaces. DSV-IS 1996: 312-329 - 1995
- [c10]Rémi Bastide, Philippe A. Palanque:
A Petri Net based Environment for the Design of Event-driven Interfaces. Application and Theory of Petri Nets 1995: 66-83 - [c9]Philippe A. Palanque, Rémi Bastide:
Formal Specification and Verification of CSCW using the Interactive Cooperative Object Formalism. BCS HCI 1995: 213-231 - [c8]Philippe A. Palanque, Rémi Bastide, V. Sengès:
Validating interactive system design through the verification of formal task and system models. EHCI 1995: 189-212 - [c7]Olivier Esteban, Stéphane Chatty, Philippe A. Palanque:
Whizz'Ed: a visual environment for building highly interactive software. INTERACT 1995: 121-126 - [c6]Philippe A. Palanque, Rémi Bastide:
Verification of an interactive software by analysis of its formal specification. INTERACT 1995: 191-196 - [c5]Olivier Esteban, Stéphane Chatty, Philippe A. Palanque:
Visual Construction of Highly Interactive Applications. VDB 1995: 304-316 - [e1]Philippe A. Palanque, Rémi Bastide:
Design, Specification and Verification of Interactive Systems '95, Proceedings of the Eurographics Workshop in Toulouse, France June 7-9, 1995. Springer 1995, ISBN 3-211-82739-0 [contents] - 1994
- [c4]Philippe A. Palanque, Rémi Bastide:
Petri net based Design of User-driven Interfaces Using the Interactive Cooperative Objects Formalism. DSV-IS 1994: 383-400 - 1993
- [c3]Philippe A. Palanque, Rémi Bastide, Louis Dourte, Christophe Sibertin-Blanc:
Design of User-Driven Interfaces Using Petri Nets and Objects. CAiSE 1993: 569-585 - [c2]Philippe A. Palanque, Rémi Bastide, Louis Dourte:
Contextual Help for Free with Formal Dialogue Design. HCI (2) 1993: 615-620 - 1990
- [c1]Rémi Bastide, Philippe A. Palanque:
Petri net objects for the design, validation and prototyping of user-driven interfaces. INTERACT 1990: 625-631
Coauthor Index
aka: Yamine Aït Ameur
aka: Simone Diniz Junqueira Barbosa
aka: Yannick Déléris
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:14 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint