Publications of Philippe PALANQUE
Célia Martinie, Philippe Palanque, David Navarre, Eric Barboni
Towards MBSE engineering dedicated to socio-technical interactive systems
CEAS Space Journal, 2024, ⟨10.1007/s12567-024-00536-0⟩
Célia Martinie, Philippe Palanque, Eric Barboni
Increasing engagement and well-being of operators working with automation by integrating task models and gameful design
Personal and Ubiquitous Computing, 2023, pp.1–28. ⟨10.1007/s00779-023-01783-4⟩
Carayon Axel, Juan Garrido, Célia Martinie, Philippe Palanque, Eric Barboni, María Dolores Lozano, Víctor Penichet
Engineering Rehabilitation: Blending Two Tool-supported Approaches to Close the Loop from Tasks-based Rehabilitation to Exercises and Back Again
Proceedings of the ACM on Human-Computer Interaction , 2023, 7: EICS (Article 177), pp.1-23. ⟨10.1145/3593229⟩
Neeraj Kumar Singh, Yamine Aït-Ameur, Ismail Mendil, Dominique Méry, David Navarre, Philippe Palanque, Marc Pantel
F3FLUID: A formal framework for developing safety‐critical interactive systems in FLUID
Journal of Software: Evolution and Process, In press, ⟨10.1002/smr.2439⟩
Ismail Mendil, Yamine Aït-Ameur, Neeraj Kumar Singh, Guillaume Dupont, Dominique Méry, Philippe Palanque
Formal domain-driven system development in Event-B: Application to interactive critical systems
Journal of Systems Architecture, 2023, 135, pp.102798. ⟨10.1016/j.sysarc.2022.102798⟩
Célia Martinie, David Navarre, Philippe Palanque
Approche à base de modèles pour l’ingénierie des systèmes interactifs
Les Techniques de l’Ingenieur, 2022, ⟨10.51257/a-v1-h3290⟩
Sebastian S. Feger, Felix Ehrentraut, Christopher Katins, Philippe Palanque, Thomas Kosch
HCI for general aviation: current state and research challenges
Interactions, 2022, 29 (6), pp.60-65. ⟨10.1145/3564040⟩
Kris Luyten, Philippe Palanque, Aaron John Quigley, Marco Winckler
Engineering Interactive Computing Systems 2022: Editorial Introduction
Proceedings of the ACM on Human-Computer Interaction , 2022, EICS, 6 (EICS), pp.1-3. ⟨10.1145/3532089⟩
Célia Martinie, David Navarre, Philippe Palanque, Eric Barboni, Sandra Steere
Engineering Operations-based Training
Proceedings of the ACM on Human-Computer Interaction , 2022, ACM Journals, 6 : EICS (Article 164), pp.1-25. ⟨10.1145/3534518⟩
Marco Winckler, Philippe Palanque, Jean Luc Hak, Eric Barboni, Olivier Nicolas, Laurent Goncalves
Engineering Annotations: A Generic Framework For Gluing Design Artefacts in Models of Interactive Systems
Proceedings of the ACM on Human-Computer Interaction , In press, Journal PACM EICS series, EICS 2022 (EICS), pp.1-36. ⟨10.1145/3535063⟩
Alexandre Canny, Célia Martinie, David Navarre, Philippe Palanque, Eric Barboni, Christine Gris
Engineering Model-Based Software Testing of WIMP Interactive Applications: A Process based on Formal Models and the SQUAMATA Tool
Proceedings of the ACM on Human-Computer Interaction , 2021, 5 (EICS, article 207), pp.1-30. ⟨10.1145/3461729⟩
Mathias Funk, Rong-Hao Liang, Philippe Palanque, Jun Hu, Panos Markopoulos
Designing and Engineering Interactive Computing Systems
Proceedings of the ACM on Human-Computer Interaction , 2021, 5 (EICS, article 193), pp.1-4. ⟨10.1145/3457140⟩
Neeraj Kumar Singh, Yamine Aït-Ameur, Romain Geniet, Dominique Méry, Philippe Palanque
On the Benefits of Using MVC Pattern for Structuring Event-B Models of WIMP Interactive Applications
Interacting with Computers, 2021, ⟨10.1093/iwcomp/iwab016⟩
Giorgia Lallai, Giovanni Loi Zedda, Célia Martinie, Philippe Palanque, Mauro Pisano, Lucio Davide Spano
Engineering Task-based Augmented Reality Guidance: Application to the Training of Aircraft Flight Procedures
Interacting with Computers, 2021, pp.iwab007. ⟨10.1093/iwcomp/iwab007⟩
David Navarre, Philippe Palanque, Sven Coppers, Kris Luyten, Davy Vanacken
Model-based Engineering of Feedforward Usability Function for GUI Widgets
Interacting with Computers, 2021, 33 (1), pp.73-91. ⟨10.1093/iwcomp/iwab014⟩
Yamine Aït-Ameur, Judy Bowen, José Campos, Philippe Palanque, Benjamin Weyers
Heterogeneous Models and Modelling Approaches for Engineering of Interactive Systems
Interacting with Computers, 2021, Special Issue: Heterogeneous Models and Modelling Approaches for Engineering of Interactive Systems, 33 (1), pp.1-2. ⟨10.1093/iwc/iwab005⟩
José Creissac Campos, Camille Fayollas, Michael Harrison, Célia Martinie, Paolo Masci, Philippe Palanque
Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools
ACM Transactions on Computer-Human Interaction, 2020, 27 (5), pp.1-48. ⟨10.1145/3404199⟩
Célia Martinie, Philippe Palanque, Elodie Bouzekri, Andy Cockburn, Alexandre Canny, Eric Barboni
Analysing and Demonstrating Tool-Supported Customizable Task Notations
Proceedings of the ACM on Human-Computer Interaction , 2019, 3 (12), pp.1-26. ⟨10.1145/3331154⟩
Andy J. G. Cockburn, Damien Masson, Carl Gutwin, Philippe Palanque, Alix Goguey, Marcus Yung, Christine Gris, Catherine Trask
Design and evaluation of braced touch for touchscreen input stabilisation.
International Journal of Human-Computer Studies, 2019, 122, pp.21-37. ⟨10.1016/j.ijhcs.2018.08.005⟩
Sven Coppers, Kris Luyten, Davy Vanacken, Philippe Palanque, David Navarre, Christine Gris
Fortunettes: Feedforward about the Future State of GUI Widgets
Proceedings of the ACM on Human-Computer Interaction , 2019, 3 (EICS), pp.article20. ⟨10.1145/3331162⟩
Elodie Bouzekri, Alexandre Canny, Camille Fayollas, Célia Martinie, Philippe 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
International Journal of Human-Computer Studies, 2019, 121, pp.122-141. ⟨10.1016/j.ijhcs.2018.05.001⟩
Helena Mentis, Cliff Lampe, Regina Bernhaupt, Anirudha Joshi, Susan R. Fussel, Susan Dray, Dan Olsen, Aaron Quigley, Julie R Williamson, Eunice Ratna Sari, Loren G. Terveen, Allison Druin, Philippe Palanque
The new SIGCHI EC’s values and strategic initiatives.
Interactions, 2019, 26 (1), pp.84-85. ⟨10.1145/3292013⟩
Loren Terveen, Helena Mentis, Aaron Quigley, Philippe Palanque
The evolution of SIGCHI conferences and the future of CHI
Interactions, 2018, 25 (5), pp.84-85. ⟨10.1145/3264436⟩
Loren G. Terveen, Helena Mentis, Aaron Quigley, Philippe Palanque
The Evolution of SIGCHI conferences and the future of CHI
Interactions, 2018, 25 (5), pp.84-85. ⟨10.1145/3264436⟩
José Creissac Campos, Camille Fayollas, Marcelo Gonçalves, Célia Martinie, David Navarre, Philippe Palanque, Miguel Pinto
A more intelligent test case generation approach through task models manipulation
Proceedings of the ACM on Human-Computer Interaction , 2017, 1 (EICS, article 9), pp.1-20. ⟨10.1145/3095811⟩
Jonathan Lazar, Elizabeth F. Churchill, Tovi Grossman, Gerrit van Der Veer, Philippe Palanque, John “scooter” Morris, Jennifer Mankoff
Making the field of computing more inclusive.
Communications of the ACM, 2017, vol. 60 (n° 3), pp. 50-59. ⟨10.1145/2993420⟩
Camille Fayollas, Célia Martinie, David Navarre, Philippe Palanque
A Generic Approach for Assessing Compatibility Between Task Descriptions and Interactive Systems: Application to the Effectiveness of a Flight Control Unit
i-com, 2015, 14 (3), ⟨10.1515/icom-2015-0037⟩
Célia Martinie, Philippe Palanque, Racim Fahssi, Jean-Paul Blanquart, Camille Fayollas, Christel Seguin
Task Model-Based Systematic Analysis of Both System Failures and Human Errors
IEEE Transactions on Human-Machine Systems, 2015, 46 (2), pp.243-254. ⟨10.1109/THMS.2014.2365956⟩
Eric Barboni, Célia Martinie, David Navarre, Philippe Palanque, Marco Winckler
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, 2014, Special issue on Software Support for User Interface Description Languages (UIDL 2011), 86, Suppl C, pp.3-29. ⟨10.1016/j.scico.2013.04.001⟩
Célia Martinie, David Navarre, Philippe Palanque
A multi-formalism approach for model-based dynamic distribution of user interfaces of critical interactive systems.
International Journal of Human-Computer Studies, 2014, 72 (1), pp.77-99. ⟨10.1016/j.ijhcs.2013.08.013⟩
Sergio Firmenich, Gustavo Rossi, Marco Winckler, Philippe Palanque
An approach for supporting distributed user interface orchestration over the Web
International Journal of Human-Computer Studies, 2014, vol. 72 (n° 1), pp. 53-76. ⟨10.1016/j.ijhcs.2013.08.014⟩
Celia Martinie De Almeida, David Navarre, Philippe Palanque
A Multi-Formalism Approach for Model-Based Dynamic Distribution of User Interfaces of Critical Interactive Systems
In : International Journal of Human-Computer Studies, Elsevier, Vol. 2013.08, (on line), September 2013.
URL : http://dx.doi.org/10.1016/j.ijhcs.2013.08.013 – https://oatao.univ-toulouse.fr/12676/
BibTeXCamille Fayollas, Jean-Charles Fabre, Philippe Palanque, Eric Barboni, David Navarre, Yannick Deleris
Interactive Cockpits as Critical Applications: a Model-Based and a Fault-Tolerant Approach
In : International Journal of Critical Computer-Based Systems, Inderscience Publishers, Special issue Special Issue on Fault-Tolerant Computer Systems, Vol. 4 N. 3, pp. 202-226, 2013.
URL : http://www.inderscience.com/info/inarticle.php?artid=58407
BibTeXDavid Navarre, Philippe Palanque, Eric Barboni, Jean-François Ladry, Celia Martinie De Almeida
Designing for resilience to hardware failures in interactive systems: A model and simulation-based approach
In : Elsevier’s Safety Science, Elsevier, Special issue Reliability Engineering and System Safety, Vol. 96, pp. 38-52, January 2011.
David Navarre, Philippe Palanque, Jean-François Ladry, Eric Barboni
ICOs: a Model-Based User Interface Description Technique dedicated to Interactive Systems Addressing Usability, Reliability and Scalability
In : Transactions on Computer-Human Interaction, ACM SIGCHI, USA, Special issue User Interface Description Languages for Next Generation User Interfaces, Vol. 16 N. 4, pp. 1-56, November 2009.
Sandra Basnyat, Philippe Palanque, Bastiaan Schupp, Peter Wright
Formal socio-technical barrier modelling for safety-critical interactive systems design
In : Elsevier’s Safety Science, Elsevier, Vol. 45 N. 5, pp. 545-565, June 2007.
URL : http://www.sciencedirect.com/science?_ob=ArticleURL&_udi=B6VF9-4N7RD52-1&_user=3521029&_coverDate=06%2F30%2F2007&_rdoc=1&_fmt=&_orig=search&_sort=d&view=c&_acct
BibTeXMarco Antonio Winckler, Eric Barboni, Philippe Palanque, Christelle Farenc
What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications?
In : Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier, Vol. 157 N. 2, pp. 207-211, 2006.
David Navarre, Philippe Palanque, Pierre Dragicevic, Rémi Bastide
An Approach Integrating two Complementary Model-based Environments for the Construction of Multimodal Interactive Applications
In : Interacting with Computers, Elsevier, Vol. 18 N. 5, pp. 910-941, 2006.
Sandra Basnyat, Nick Chozos, Philippe Palanque
Multidisciplinary perspective on accident investigation
In : Special edition of Elsevier’s Reliability Engineering and System Safety journal, Elsevier, Vol. 91 N. 12, pp. 1502-1520, 2005.
Rémi Bastide, David Navarre, Philippe Palanque
A tool-supported design framework for safety critical interactive systems
In : Interacting with Computers, Elsevier, Vol. 15 N. 3, pp. 309-328, June 2003.
URL : http://dx.doi.org/10.1016/S0953-5438(03)00011-0
BibTeX
Axel Carayon, Célia Martinie, Philippe Palanque
Task Models as a Mean to Identify and Justify Automations in Development Tasks
26th International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C 2023), ACM; IEEE, Oct 2023, Västerås, Sweden. pp.757-764, ⟨10.1109/MODELS-C59198.2023.00122⟩
Tilo Mentler, Philippe 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
19th IFIP TC13 International Conference on Human-Computer Interaction (INTERACT 2023), International Federation for Information Processing (IFIP) Technical Committee on Human–Computer Interaction (IFIP TC13), Aug 2023, York (GB), United Kingdom. pp.657-661, ⟨10.1007/978-3-031-42293-5_89⟩
Philippe 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
19th IFIP TC13 International Conference on Human-Computer Interaction (INTERACT 2023), International Federation for Information Processing (IFIP) Technical Committee on Human–Computer Interaction (IFIP TC13), Aug 2023, York (Great Britain), United Kingdom. pp.349-353, ⟨10.1007/978-3-031-42293-5_34⟩
Axel Carayon, Célia Martinie, Philippe Palanque
I Perform My Work with My Body Too: Integrating Body Representations in and with Task Models
19th IFIP TC13 International Conference on Human-Computer Interaction (INTERACT 2023), International Federation for Information Processing (IFIP) Technical Committee on Human–Computer Interaction (IFIP TC13), Aug 2023, York, United Kingdom. pp.482-503, ⟨10.1007/978-3-031-42283-6_26⟩
Jose Manuel Negrete Ramírez, Célia Martinie, Philippe Palanque, Yudith Cardinale
ADL Monitoring of Elderly People in Smart Homes Based on Task Models
Workshop @ 19th International Conference on Intelligent Environments (IE 2023), Jun 2023, Mauritius, Mauritius. pp.216 – 225, ⟨10.3233/AISE230034⟩
Alan Dix, Sven Mayer, Philippe Palanque, Emanuele Panizzi, Lucio Davide Spano
Engineering Interactive Systems Embedding AI Technologies
15th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2023), ACM Special Interest Group on Computer-Human Interaction (SIGCHI), Jun 2023, Swansea, United Kingdom. pp.90–92, ⟨10.1145/3596454.3597195⟩
Philippe Palanque, José Creissac Campos
AMAN Case Study
9th International Conference on Rigorous State-Based Methods (ABZ 2023), May 2023, Nancy, France. pp.265-283, ⟨10.1007/978-3-031-33163-3_21⟩
Going Beyond Usability and UX: Adding Dependability, Safety and Security to Interactive Systems and Interactive Technologies
CHI Conference on Human Factors in Computing Systems (CHI 2023), May 2023, Hamburg, Germany. pp.1–3, ⟨10.1145/3544549.3574186⟩
Peter Fröhlich, Matthias Baldauf, Philippe Palanque, Virpi Roto, Fabio Paternò, Wendy Ju, Manfred Tscheligi
Intervening, Teaming, Delegating: Creating Engaging Automation Experiences
CHI Conference on Human Factors in Computing Systems (CHI 2023), May 2023, Hamburg, Germany. pp.1-6, ⟨10.1145/3544549.3573799⟩
Ismail Mendil, Peter Riviere, Yamine Aït-Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe Palanque
Non-Intrusive Annotation-Based Domain-Specific Analysis to Certify Event-B Models Behaviours
2022 29th Asia-Pacific Software Engineering Conference (APSEC), Dec 2022, Japan, Japan. pp.129-138, ⟨10.1109/APSEC57359.2022.00025⟩
Sandra Steere, Eric Barboni, Célia Martinie, David Navarre, Philippe Palanque, Daniel Rodriguez-Hernando, Francesc Tinto
Operator-centered and model-based design for critical HMIS
3rd Ground-Based Space Facilities Symposium (GBSF 2022), Dec 2022, Marseille, France. pp.1-9
Ismail Mendil, Peter Riviere, Yamine Aït-Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe Palanque
Non-Intrusive Annotation-Based Domain-Specific Analysis to Certify Event-B Models Behaviours
29th Asia-Pacific Software Engineering Conference (APSEC 2022), Dec 2022, x, Japan. pp.129-138, ⟨10.1109/APSEC57359.2022.00025⟩
Sebastian S. Feger, Christopher Katins, Philippe Palanque, Thomas Kosch
Re-envisioning Interaction in the (General) Aviation Cockpit through Tangibles
5th European Tangible Interaction Studio (ETIS 2022), Nov 2022, Toulouse, France
User Tasks Description: a Retrospective, Recent Contributions and some Research Challenges @ RoCHI 2020
17th International Conference on Human–Computer Interaction (RoCHI 2020), Oct 2022, Sibiu, Romania. pp.1-4, ⟨10.37789/rochi.2020.1.1.1⟩
Célia Martinie, Philippe Palanque, Marco Winckler
Usability and User Experience are not Enough: Gaps to Fill to Design for and Assess Well-Being and Engagement
VIII Iberoamerican Conference on Human-Computer Interaction 2022, Oct 2022, La Havane, Cuba. pp.1-14
Jose Manuel Negrete Ramírez, Célia Martinie, Philippe Palanque, Yudith Cardinale
A task-model based approach for detecting ADL-related anomalies
10th International Workshop on e-Health Pervasive Wireless Applications and Service @ WiMob 2022, IEEE ComSoc, Oct 2022, Thessaloniki, Greece. pp.57-62, ⟨10.1109/WiMob55322.2022.9941688⟩
Maxime Savary-Leblanc, Xavier Le Pallec, Philippe Palanque, Célia Martinie, Arnaud Blouin, Frédéric Jouault, Mickaël Clavreul, Thibault Raffaillac
Mining human factors general trends from +100k UML class diagrams
25th International Conference on Model Driven Engineering Languages and Systems (MODELS 2022), ACM SIGSOFT: Special Interest Group on Software Engineering; IEEE, Sep 2022, Montréal, Québec, Canada. pp.913-922, ⟨10.1145/3550356.3559098⟩
Sara Nikula, Célia Martinie, Philippe Palanque, Julius Hekkala, Outi-Marja Latvala, Kimmo Halunen
Models-Based Analysis of Both User and Attacker Tasks: Application to EEVEHAC
9th IFIP WG 13.2 International Working Conference on Human-Centered Software Engineering (HCSE 2022), Aug 2022, Eindhoven, Netherlands. pp.70-89, ⟨10.1007/978-3-031-14785-2_5⟩
Juan Enrique Garrido, Philippe Palanque, Aaron Quigley, Marco Winckler
Engineering Awareness in Interfaces: Focus on Automation and Visualization
14th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2022), ACM SIGCHI: Special Interest Group on Computer-Human Interaction, Jun 2022, Sophia Antipolis, France. pp.54-58, ⟨10.1145/3531706.3536453⟩
Eva Geurts, Gustavo Rovelo Ruiz, Kris Luyten, Steven Houben, Benjamin Weyers, An Jacobs, Philippe Palanque
HCI and worker well-being in manufacturing industry
International Conference on Advanced Visual Interfaces (AVI 2022), Sapienza Università di Roma, Jun 2022, Frascati, Italy. pp.1-2, ⟨10.1145/3531073.3535257⟩
How to Design and Assess Automation for Interactive Applications and Interaction Techniques (Extended Abstract)
ACM Conference on Human Factors in Computing Systems (CHI 2022), ACM, May 2022, New Orleans, LA, United States. pp.1-3, ⟨10.1145/3491101.3503769⟩
Célia Martinie, Philippe Palanque
Task Models Based Gameful Design as a Mean to Increase Engagement with Automation
Workshop on Engaging with Automation (AutomationXP 2022) co-located CHI 2022, Apr 2022, New Orleans, United States
Matthias Baldauf, Peter Fröhlich, Virpi Roto, Philippe Palanque, Siân E. Lindley, Jon Rogers, Wendy G. Ju, Manfred Tscheligi
Engaging with Automation: Understanding and Designing for Operation, Appropriation, and Behaviour Change (Extended Abstract)
Conference on Human Factors in Computing Systems (CHI 2022), ACM SIGCHI: Special Interest Group on Computer-Human Interaction, Apr 2022, New Orleans, LA, United States. pp.1-6, ⟨10.1145/3491101.3503735⟩
Ismail Mendil, Yamine Aït-Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe Palanque
Leveraging Event-B Theories for Handling Domain Knowledge in Design Models
7th International Symposium on Dependable Software Engineering. Theories, Tools, and Applications (SETTA 2021), Nov 2021, Beijing, China. pp.40-58, ⟨10.1007/978-3-030-91265-9_3⟩
Célia Martinie, Philippe Palanque
Interactive Systems: a Unique Place for Human‐Hardware‐Software Integration and their Vulnerability to Human‐Made and Natural Faults
International Symposium on Human System Integration (INCOSE 2021), International Council on Systems Engineering (INCOSE), Nov 2021, San Diego (Virtual), United States. pp.224-233, ⟨10.1002/iis2.12889⟩
Philippe Palanque, David Navarre
Dependability and Safety: Two Clouds in the Blue Sky of Multimodal Interaction
23rd ACM International Conference on Multimodal Interaction (ICMI 2021), ACM SIGCHI: Special Interest Group on Computer-Human Interaction, Nov 2021, Montréal, QC, Canada. pp.781-787, ⟨10.1145/3462244.3479881⟩
Philippe Palanque, Célia Martinie
The Curriculum for Education in Engineering Interactive Systems at the Master in HCI of the University Toulouse III – Paul Sabatier
IFIP WG 2.7/13.4 and WG 13.1 joint workshops on HCI Engineering Education – for developers, designers and more (WS12. HCI-E^2) @ INTERACT 2021, IFIP TC 13; ACM, Aug 2021, Bari, Italy. pp.211-220, ⟨10.1007/978-3-030-98388-8_19⟩
Konrad Baumann, José Creissac Campos, Alan Dix, Laurence Nigay, Philippe Palanque, Jean Vanderdonckt, Gerrit Van der Veer, Benjamin Weyers
HCI-E²: HCI Engineering Education: For Developers, Designers and More
18th IFIP TC 13 International Conference on Human-Computer-Interaction (INTERACT 2021), IFIP: International Federation for Information Processing, Aug 2021, Bary, Italy. pp.542-547, ⟨10.1007/978-3-030-85607-6_74⟩
Tilo Mentler, Philippe Palanque, Michael Harrison, Kristof Van Laerhoven, Paolo Masci
Control Rooms from a Human-Computer Interaction Perspective
IFIP TC 13 Workshops (INTERACT 2021), International Federation for Information Processing (IFIP) Technical Committee on Human–Computer Interaction (IFIP TC13), Aug 2021, Bari, Italy. pp.281-289, ⟨10.1007/978-3-030-98388-8_25⟩
Sybille Caffiau, José Campos, Célia Martinie, Laurence Nigay, Philippe Palanque, Lucio Davide Spano
Teaching HCI Engineering: Four Case Studies
IFIP WG 2.7/13.4 and WG 13.1 joint workshop on HCI Engineering Education – for developers, designers and more (HCI-E2) @ INTERACT 2021, IFIP (International Federation for Information Processing) Technical Committee 13 on Human–Computer Interaction; ACM, Aug 2021, Bari, Italy. pp.195-210, ⟨10.1007/978-3-030-98388-8_18⟩
Elodie Bouzekri, Célia Martinie, Philippe Palanque, Erwann Poupart, Sandra Steere
UX for Some and Usability for Others: Issues of Blending Multi-user and Multi-property in Control Centers
IFIP WG 13.5 Workshop on Control Rooms in Safety Critical Contexts: Design, Engineering and Evaluation Issues (WS07) @ INTERACT 2021, IFIP TC 13; ACM, Aug 2021, Bari, Italy. pp.357-367, ⟨10.1007/978-3-030-98388-8_31⟩
Tilo Mentler, Philippe Palanque, Susanne Boll, Chris Johnson, Kristof van Laerhoven
Control Rooms in Safety Critical Contexts: Design, Engineering and Evaluation Issues
IFIP WG 13.5 Workshop @18th IFIP TC 13 International Conference on Human-Computer-Interaction (INTERACT 2021), IFIP: International Federation for Information Processing, Aug 2021, Bari, Italy. pp.542-547, ⟨10.1007/978-3-030-85607-6_72⟩
Elodie Bouzekri, Célia Martinie, Philippe 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
18th IFIP Conference on Human-Computer Interaction (INTERACT 2021), IFIP Technical Committee 13 on Human–Computer Interaction, Aug 2021, Bari, Italy. pp.405-429, ⟨10.1007/978-3-030-85610-6_24⟩
POISE: A Framework for Designing Perfect Interactive Systems with and for Imperfect People
18th IFIP Conference on Human-Computer Interaction (INTERACT 2021), Aug 2021, Bari, Italy. pp.39-59, ⟨10.1007/978-3-030-85623-6_5⟩
Célia Martinie, Philippe Palanque, Sandra Steere, David Navarre, Eric Barboni
A Generic Framework for Structuring Configuration Management for Socio-technical System: Application to Control Rooms
IFIP WG 13.5 Workshop: Control Rooms in Safety Critical Contexts: Design, Engineering and Evaluation Issues (WS07) @ INTERACT 2021, IFIP (International Federation for Information Processing) Technical Committee 13 on Human–Computer Interaction; ACM, Aug 2021, Bari, Italy. pp.290-301, ⟨10.1007/978-3-030-98388-8_26⟩
Ismail Mendil, Yamine Aït-Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe Palanque
Standard Conformance-by-Construction with Event-B
FMICS 2021 – 26th International Conference on Formal Methods for Industrial Critical Systems, Aug 2021, Paris, France. pp.126-146, ⟨10.1007/978-3-030-85248-1_8⟩
Introductory Course on Automation and its Use for Interactive Systems Design and Engineering
Conference on Human Factors in Computing Systems (CHI 2021), May 2021, Yokohama (virtual), Japan. pp.1-4, ⟨10.1145/3411763.3445003⟩
Matthias Baldauf, Peter Fröhlich, Shadan Sadeghian, Philippe Palanque, Virpi Roto, Wendy Ju, Lynne Baillie, Manfred Tscheligi
Automation Experience at the Workplace
Conference on Human Factors in Computing Systems (CHI 2021), May 2021, Yokohama, Japan. pp.1-6, ⟨10.1145/3411763.3441332⟩
Célia Martinie, Elodie Bouzekri, Philippe Palanque
From Human-Human Computer Mediated Communication to Human-Automation Collaboration in the light of Large Civil Aircraft Workplace
Workshop on Automation Experience at the Workplace, AutomationXP 2021, co-located with the ACM Conference on Human Factors in Computing Systems (CHI 2021), May 2021, Yokohama, Japan
Ismail Mendil, Neeraj Kumar Singh, Yamine Aït-Ameur, Dominique Méry, Philippe Palanque
An Integrated Framework for the Formal Analysis of Critical Interactive Systems
The 27th Asia-Pacific Software Engineering Conference, Jun Sun, Dec 2020, Singapour, Singapore. pp.10
Nicolas Broders, Célia Martinie, Philippe Palanque, Marco Winckler, Kimmo Halunen
A Generic Multimodels-Based Approach for the Analysis of Usability and Security of Authentication Mechanisms
HCSE 2020 – 8th International Conference on Human-Centered Software Engineering – IFIP WG 13.2 International Working Conference, Nov 2020, Eindhoven/ Online, Netherlands. pp.61-83, ⟨10.1007/978-3-030-64266-2_4⟩
Regina Bernhaupt, Célia Martinie, Philippe Palanque, Günter Wallner
A Generic Visualization Approach Supporting Task-Based Evaluation of Usability and User Experience
8th International Conference on Human-Centered Software Engineering – IFIP WG 13.2 International Working Conference, HCSE 2020, Nov 2020, Eindhoven, Netherlands. pp.24-44, ⟨10.1007/978-3-030-64266-2_2⟩
Alexandre Canny, Philippe Palanque, David Navarre
Model-Based Testing of GUI Applications Featuring Dynamic Instanciation of Widgets
IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2020), Oct 2020, Porto (virtual), Portugal. pp.95-104, ⟨10.1109/ICSTW50294.2020.00029⟩
Ten Objectives and Ten Rules for Designing Automations in Interaction Techniques, User Interfaces and Interactive Systems
International Conference on Advanced Visual Interfaces (AVI 2020), Sep 2020, Salerno, Italy. pp.1-10, ⟨10.1145/3399715.3400872⟩
Célia Martinie, Philippe Palanque
Task models based engineering of interactive systems
13th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2020), Jun 2020, Virtual, Netherlands. pp.1-2, ⟨10.1145/3393672.3398647⟩
Philippe 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
Workshop on Automation Experience across Domains co-located with the ACM Conference on Human Factors in Computing Systems 2020, Apr 2020, Honolulu, United States
Peter Fröhlich, Matthias Baldauf, Philippe Palanque, Virpi Roto, Thomas Meneweger, Manfred Tscheligi, Zoe Becerra, Fabio Paternò
Automation Experience across Domains: Designing for Intelligibility, Interventions, Interplay and Integrity
CHI Conference on Human Factors in Computing Systems (CHI 2020), Apr 2020, Honolulu HI, United States. pp.1-8, ⟨10.1145/3334480.3375178⟩
Susanne Boll, Philippe Palanque, Alexander Mirnig, Jessica R. Cauchard, Margareta Holtensdotter Lützhöft, Michael S. Feary
Designing Safety Critical Interactions: Hunting Down Human Error
CHI Conference on Human Factors in Computing Systems (CHI 2020), Apr 2020, Honolulu HI, United States. pp.1-7, ⟨10.1145/3334480.3375148⟩
Neeraj Kumar Singh, Yamine Aït-Ameur, Dominique Méry, David Navarre, Philippe Palanque, Marc Pantel
Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661
7th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2019), Nov 2019, Shenzhen, China. pp.21-39, ⟨10.1007/978-3-030-46902-3_2⟩
Alexandre Canny, David Navarre, José Creissac Campos, Philippe Palanque
Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-nets
International Workshop on Formal Methods for Interactive Systems (FMIS 2019), Oct 2019, Porto, Portugal. pp.486-502, ⟨10.1007/978-3-030-54994-7_35⟩
David Navarre, Philippe Palanque, Sven Coppers, Kris Luyten, Davy Vanacken
Fortune Nets for Fortunettes: Formal, Petri Nets-Based, Engineering of Feedforward for GUI Widgets
8th Formal Methods for Interactive Systems Workshop (FMIS 2019) co-located with Formal Methods 2019, Oct 2019, Porto, Portugal. pp.503-519, ⟨10.1007/978-3-030-54994-7_36⟩
Elodie Bouzekri, Alexandre Canny, Célia Martinie, Philippe Palanque, Eric Barboni, David Navarre, Christine Gris, Yannick Deleris
Revisiting system’s pages in engine indication and alerting system for flight crew using the DSCU architecture and the OQCR system generic state description
INCOSE International Conference on Human System Integration (INCOSE HSI 2019), Sep 2019, Biarritz, France. pp.1-9
Philippe Palanque, Andy Cockburn, Léopold Desert-Legendre, Carl Gutwin, Yannick Deleris
Brace Touch: a Dependable, Turbulence-Tolerant, Multi-Touch Interaction Technique for Interactive Cockpits
39th International Conference on Computer Safety, Reliability and Security – SafeComp 2019, Sep 2019, Turku, Finland. pp.53–68, ⟨10.1007/978-3-030-26601-1_4⟩
Philippe Palanque, Célia Martinie, Elodie Bouzekri
Introduction to Automation and to Its Potential for Interactive Systems Design
17th IFIP Conference on Human-Computer Interaction (INTERACT 2019), Sep 2019, Paphos, Cyprus. pp.523-526, ⟨10.1007/978-3-030-29390-1_29⟩
Elodie Bouzekri, Alexandre Canny, Célia Martinie, Philippe Palanque, Christine Gris
Deep System Knowledge Required: Revisiting UCD Contribution in the Design of Complex Command and Control Systems
17th IFIP Conference on Human-Computer Interaction (INTERACT 2019), Sep 2019, Paphos, Cyprus. pp.699-720, ⟨10.1007/978-3-030-29381-9_42⟩
Philippe Palanque, Pedro F. Campos, José Abdelnour Nocera, Torkil Clemmensen, Virpi Roto
User Experience in an Automated World
17th IFIP Conference on Human-Computer Interaction (INTERACT 2019), Sep 2019, Paphos, Cyprus. pp.706-710, ⟨10.1007/978-3-030-29390-1_67⟩
Carmelo Ardito, Regina Bernhaupt, Philippe Palanque, Stefan Sauer
Handling Security, Usability, User Experience and Reliability in User-Centered Development Processes
17th IFIP Conference on Human-Computer Interaction (INTERACT 2019), Sep 2019, Paphos, Cyprus. pp.759-762, ⟨10.1007/978-3-030-29390-1_76⟩
Elodie Bouzekri, Alexandre Canny, Célia Martinie, Philippe Palanque
Characterizing Sets of Systems: Representation and Analysis of Across-Systems Properties
17th IFIP Conference on Human-Computer Interaction (INTERACT 2019), Sep 2019, Paphos, Cyprus. pp.84-96, ⟨10.1007/978-3-030-46540-7_9⟩
Alexandre Canny, Camille Fayollas, Célia Martinie, David Navarre, Philippe Palanque, Christine Gris, Yannick Deleris
Divide to Conquer: Functional Decomposition to Support Model-Based Engineering of Command and Control of Cyber-Physical Systems
12th IEEE International Conference on Cyber Physical and Social Computing (CPSCom 2019), Jul 2019, Atlanta, United States. ⟨10.1109/iThings/GreenCom/CPSCom/SmartData.2019.00132⟩
David Navarre, Philippe Palanque, Célia Martinie
A Roadmap and Some Directions Towards the Engineering of Interactive Systems Deployable in Safety Critical Contexts
2nd Workshop on Charting the Way towards Methods and Tools for Advanced Interactive Systems @ ACM EICS 2019, IFIP Working Group 2.7/13.4, Jun 2019, Valencia, Spain. pp.39-45
Damiano Distante, Marco Winckler, Regina Bernhaupt, Judy Bowen, José Creissac Campos, Florian Müller, Philippe Palanque, Jan Van den Bergh, Benjamin Weyers, Alexandra Voit
Trends on engineering interactive systems
11th ACM Symposium on Engineering Interactive Computing Systems (EICS 2019), ACM SIGCHI: Special Interest Group on Computer-Human Interaction, Jun 2019, Valencia, Spain. pp.1-6, ⟨10.1145/3319499.3335655⟩
Alexandre Canny, Elodie Bouzekri, Célia Martinie, Philippe Palanque
On the Importance of Supporting Multiple Stakeholders Points of View for the Testing of Interactive Systems
1st Workshop on Research and Practice Challenges for Engineering Interactive Systems while Integrating Multiple Stakeholders Viewpoints (EISM 2019), ACM SIGCHI, Jun 2019, Valencia, Spain. pp.113–121
Jean-Luc Hak, Olivier Nicolas, Marco Winckler, Philippe Palanque
An Attempt to Fathom the Role of Annotations in User-Centered Design Process
11th International Workshop on Research and Practice Challenges for Engineering Interactive Systems (EISMS 2019), Jun 2019, Valencia, Spain. pp.113-121
Karima Boudaoud, Marco Winckler, Zauwali S Paki, Philippe Palanque
A Testbed Tool for Comparing Usability and Security of Mobile Authentication Mechanisms
7th International Workshop on ADVANCEs in ICT Infrastructures and Services (ADVANCE 2019), Prof. Claudino Mendes, Jan 2019, Praia, Cape Verde. pp.1-8
Alexandre Canny, Martin Cronel, Bruno Dumas, Philippe Palanque
MIODMIT: A Generic Architecture for Dynamic Multimodal Interactive Systems
7th International Conference on Human-Centred Software Engineering (HCSE), Sep 2018, Sophia Antipolis, France. pp.109-129, ⟨10.1007/978-3-030-05909-5_7⟩
Regina Bernhaupt, Philippe Palanque, Dimitri Drouet, Célia Martinie
Enriching Task Models with Usability and User Experience Evaluation Data
7th International Conference on Human-Centred Software Engineering (HCSE 2018), Sep 2018, Sophia Antipolis, France. pp.146-163, ⟨10.1007/978-3-030-05909-5_9⟩
Alexandre Canny, Elodie Bouzekri, Célia Martinie, Philippe Palanque
Rationalizing the Need of Architecture-Driven Testing of Interactive Systems
7th International Working Conference on Human-Centered Software Engineering (HCSE 2018), Sep 2018, Sophia Antipolis, France. pp.164-186, ⟨10.1007/978-3-030-05909-5_10⟩
Elodie Bouzekri, Alexandre Canny, Célia Martinie, Philippe Palanque, Christine Gris
Using Task Descriptions with Explicit Representation of Allocation of Functions, Authority and Responsibility to Design and Assess Automation
5th IFIP Working Conference on Human Work Interaction Design (HWID), Aug 2018, Espoo, Finland. pp.36-56, ⟨10.1007/978-3-030-05297-3_3⟩
Virpi Roto, Philippe Palanque, Hannu Karvonen
Engaging Automation at Work – A Literature Review
5th IFIP Working Conference on Human Work Interaction Design (HWID 2018), Aug 2018, Espoo, Finland. pp.158-172, ⟨10.1007/978-3-030-05297-3_11⟩
Virpi Roto, Philippe Palanque, Hannu Karvonen
Engaging Automation at Work – A Literature Review
IFIP WG 13.6 Working Conference Human Work Interaction Design (HWID 2018), Aug 2018, Espoo, Finland. pp.158-172
Elodie Bouzekri, Alexandre Canny, Célia Martinie, Philippe Palanque
A Generic Software and Hardware Architecture for Hybrid Interactive Systems
Workshop on Heterogeneous Models and Modeling Approaches for Engineering of Interactive Systems @ EICS 2018, Jun 2018, Paris, France
Elodie Bouzekri, Alexandre Canny, Célia Martinie, Philippe Palanque
Specific Task Modeling for Cyber Physical Systems
Workshop on Heterogeneous Models and Modeling Approaches for Engineering of Interactive Systems,in conjunction with the 10th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2018), Jun 2018, Paris, France
Engineering Automations: From a Human Factor Perspective to Design, Implementation and Validation Challenges
ACM SIGCHI conference Engineering Interactive Computing Systems (EICS 2018), Jun 2018, Paris, France. pp.1-2
Célia Martinie, David Navarre, Philippe Palanque, Eric Barboni, Alexandre Canny
TOUCAN: An IDE Supporting the Development of Effective Interactive Java Applications
ACM SIGCHI conference Engineering Interactive Computing Systems (EICS 2018), Jun 2018, Paris, France. pp.1-7, ⟨10.1145/3220134.3220136⟩
Célia Martinie, Philippe Palanque
Explicit representation of function allocation and authority sharing (initiative and responsibility)
Workshop “Interacting with Autonomous Vehicles: Learning from other Domains” – ACM CHI Conference on Human Factors in Computing Systems – CHI 2018, Apr 2018, Montréal, Canada. pp.1-5
Philippe Palanque, Célia Martinie, Camille Fayollas
Automation: Danger or Opportunity? Designing and Assessing Automation for Interactive Systems (CHI 2018)
ACM Conference on Human Factors in Computing Systems (CHI 2018), ACM SIGCHI : Special Interest Group on Computer-Human Interaction, Apr 2018, Montréal, Canada. pp.1-4, ⟨10.1145/3170427.3170652⟩
Alexander Meschtscherjakov, Manfred Tscheligi, Bastian Pfleging, Shadan Sadeghian Borojeni, Wendy Ju, Philippe Palanque, Andreas Riener, Bilge Multu, Andrew L. Kun
Interacting with Autonomous Vehicles: Learning from other Domains
ACM International Conference on Human Factors in Computing Systems (ACM CHI 2018), Apr 2018, Montreal, Canada. pp.1-8
Célia Martinie, Philippe Palanque
Safety-Critical Automation : Aircrafts, Autonomous Vehicles, Air Traffic Management and Satellite Ground Segments Perspectives (HUDEP 2017)
5th Human Dependability Workshop: “Towards Human Centered Design in the whole system lifecycle” (HUDEP 2017), EAAP : European Association for Aviation Psychology, Nov 2017, Noordwijk, Netherlands
Camille Fayollas, Célia Martinie, Philippe Palanque, Yamine Aït-Ameur
QBP Notation for Explicit Representation of Properties, Their Refinement and Their Potential Conflicts: Application to Interactive Systems
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.91-105, ⟨10.1007/978-3-319-92081-8_9⟩
Philippe Palanque, Célia Martinie, Marco Winckler
Designing and Assessing Interactive Systems Using Task Models (2017)
16th IFIP Conference on Human-Computer Interaction (INTERACT 2017), Sep 2017, Bombay, India. pp.383-386, ⟨10.1007/978-3-319-68059-0_35⟩
David Navarre, Philippe Palanque, Arnaud Hamon, Sabrina Della Pasqua
Similarity as a Design Driver for User Interfaces of Dependable Critical Systems
16th IFIP Conference on Human-Computer Interaction (INTERACT 2017), Sep 2017, Bombay, India. pp.114-122, ⟨10.1007/978-3-319-92081-8_11⟩
Marco Winckler, Marta Larusdottir, Kati Kuusinen, Cristian Bogdan, Philippe Palanque
Dealing with Conflicting User Interface Properties in User-Centered Development Processes
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.521-523
Alexander Meschtscherjakov, Manfred Tscheligi, Peter Frölich, Rod Mccall, Andreas Riener, Philippe Palanque
Mobile interaction with and in autonomous vehicles
International Conference on Human-Computer Interaction with Mobile Devices and Services (MobileHCI), Sep 2017, Vienna, Austria. pp.1-6, ⟨10.1145/3098279.3119837⟩
Elodie Bouzekri, Alexandre Canny, Camille Fayollas, Célia Martinie, Philippe Palanque, Eric Barboni, Yannick Deleris, Christine Gris
A List of Pre-Requisites to Make Recommender Systems Deployable in Critical Context
2nd Workshop on Engineering Computer-Human Interaction in Recommender Systems, co-located with the 9th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EnCHIReS @ EICS 2017), Jun 2017, Lisbonne, Portugal. pp.42-55
Philippe Palanque, Célia Martinie, Camille Fayollas
Automation: danger or opportunity? Designing and assessing automation for interactive systems (CHI 2017)
CHI Conference on Human Factors in Computing Systems (CHI 2017), ACM SIGCHI: ACM Special Interest Group on Computer-Human Interaction, May 2017, Denver, Colorado, United States. pp.1257-1260, ⟨10.1145/3027063.3027115⟩
Andy Cockburn, Carl Gutwin, Philippe Palanque, Yannick Deleris, Catherine Trask, Ashley Coveney, Marcus Yung, Karon Maclean
Turbulent Touch: Touchscreen Input for Cockpit Flight Displays
International Conference for Human-Computer Interaction (CHI 2017), May 2017, Denver, Colorado, United States. pp.6742-6753
Jérôme Dupire, Philippe Palanque, Matthias Rauterberg, Helen Petrie
Fighting for better interactive systems
International Federation for Information Processing (IFIP) TC13 & TC14 Open Symposium 2017, IFIP Technical Committee TC13 on Human-Computer Interaction; IFIP Technical Committee TC 14 on Entertainment Computing, Mar 2017, Paris, France
Camille Fayollas, Célia Martinie, Philippe Palanque, Paolo Masci, Michael 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
3rd Workshop on Formal Integrated Development Environment (F-IDE 2016), co-located with FM 2016, Nov 2016, Limassol, Cyprus. pp.1-19, ⟨10.4204/EPTCS.240.1⟩
Racim Fahssi, Célia Martinie, Philippe Palanque
Embedding explicit representation of cyber-physical elements in task models
IEEE International Conference on Systems, Man and Cybernetics (SMC 2016), Oct 2016, Budapest, Hungary. pp. 1969-1974
Camille Fayollas, Jean-Charles Fabre, Philippe Palanque, Martin Cronel, David Navarre, Yannick Deleris
A Three-fold Approach towards Increased Assurance Levels for Interactive Systems: A Flight Control Unit Case Study
International Conference on Human-Computer Interaction in Aeronautics (HCI’Aero 2016), Sep 2016, Paris, France. pp.1-9
Dorrit Billman, Camille Fayollas, Michael Feary, Célia Martinie, Philippe Palanque
Complementary Tools and Techniques for Supporting Fitness-for-Purpose of Interactive Critical Systems
6th International Conference on Human-Centred Software Engineering (HCSE 2016) / 8th International Conference on Human Error, Safety (HESSD 2016) and System Development (HESSD), Aug 2016, Stockholm, Sweden. pp.181-202, ⟨10.1007/978-3-319-44902-9_12⟩
Regina Bernhaupt, Philippe 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
6th International Conference on Human-Centred Software Engineering (HCSE 2016) / 8th International Conference on Human Error, Safety, and System Development (HESSD 2016), Aug 2016, Stockholm, Sweden. pp.56-72, ⟨10.1007/978-3-319-44902-9_5⟩
José Creissac Campos, Camille Fayollas, Célia Martinie, David Navarre, Philippe Palanque, Miguel Pinto
Systematic automation of scenario-based testing of user interfaces
8th ACM SIGCHI conference Engineering Interactive Computing Systems (EICS 2016), Jun 2016, Bruxelles, Belgium. pp.138-148, ⟨10.1145/2933242.2948735⟩
Camille Fayollas, Célia Martinie, Philippe Palanque, Eric Barboni, Yannick Deleris
What Can Be Learnt from Engineering Safety Critical Partly-Autonomous Systems when Engineering Recommender Systems
Workshop on Engineering Computer-Human Interaction in Recommender Systems (EnCHIReS 2016), Jun 2016, Bruxelles, Belgium. pp.14-25
Camille Fayollas, Célia Martinie, David Navarre, Philippe Palanque
Engineering mixed-criticality interactive applications
8th ACM SIGCHI conference Engineering Interactive Computing Systems (EICS 2016), Jun 2016, Bruxelles, Belgium. pp.108-119, ⟨10.1145/2933242.2933258⟩
Michael Feary, Célia Martinie, Philippe Palanque, Manfred Tscheligi
Multiple Views on Safety-Critical Automation: Aircrafts, Autonomous Vehicles, Air Traffic Management and Satellite Ground Segments Perspectives (CHI 2016)
34th annual CHI Conference on Human Factors in Computing Systems (CHI 2016), May 2016, San José, CA, United States. pp.1069-1072
Célia Martinie, Philippe Palanque
From Aircrafts Interactive Cockpits to Autonomous Vehicles: Are Design Principles Transferable ?
34th Conference on Human Factors in Computing Systems Workshop: HCI and Autonomous Vehicles (CHI 2016), ACM, May 2016, San Jose, United States. pp.1-4
Philippe Palanque, Célia Martinie
Designing and Assessing Interactive Systems Using Task Models (2016)
ACM SIGCHI Conference on Human Factors in Computing Systems (CHI 2016), ACM SIGCHI, May 2016, San José, CA, United States. pp.976-979, ⟨10.1145/2851581.2856686⟩
Célia Martinie, Eric Barboni, David Navarre, Philippe Palanque, Racim Fahssi, Erwann Poupart, Eliane Cubero-Castan
Task Models for Supporting Function Allocation between Operators and Autonomous Systems: Application to Collision Avoidance Operations for Spacecraft (2016)
2016 Spring Symposium on Intelligent systems for supporting distributed human teamwork (AAAI-SS 2016), AAAI : Association for the Advancement of Artificial Intelligence, Mar 2016, Stanford, CA, United States. pp.85-94
Engineering Interaction Techniques in the Context of Critical Systems: are Usability and User Experience more important than Dependability and Safety as claimed by the HCI community? (INDIA HCI 2015)
7th Indian Conference on Human-Computer Interaction (INDIA HCI 2015), Dec 2015, Mumbay, India
Philippe Palanque, Racim Fahssi, Célia Martinie, Marco Winckler, Michel Galindo
Retour d’expérience sur l’enseignement de la modélisation des taches au Master Interaction Homme-Machine de Toulouse (GT Modèles de Tâches – IHM 2015)
27ème Conférence Francophone sur l’interaction Homme-Machine (IHM 2015), Association Francophone d’Interaction Homme-Machine (AFIHM); GT Modèles de Tâches, Oct 2015, Toulouse, France
Célia Martinie, Philippe Palanque
Modeling and Analysis of Human Error Based on Tasks Descriptions: Connecting Research Knowledge with Practice
Human Dependability Workshop (HUDEP 2015), Oct 2015, Darmstadt, Germany
Martina Ragosta, Célia Martinie, Philippe Palanque, David Navarre, Mark-Alexander Sujan
Concept Maps as for Integrating Modeling Techniques for the Analysis and Re-Design of Partly-Autonomous Interactive Systems
International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS 2015), Sep 2015, Toulouse, France. pp.41-52
Célia Martinie, Philippe Palanque, Marco Winckler, Regina Bernhaupt
AUTOM AT ICS: Research activities on Automation
5th International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS 2015), Sep 2015, Toulouse, France. pp.0
Marco Winckler, Ricardo Cava, Eric Barboni, Philippe Palanque, Carla Freitas
Usability aspects of the inside-in approach for ancillary search tasks on the web
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.211-230, ⟨10.1007/978-3-319-22668-2_18⟩
Chris Johnson, Mike Feary, Célia Martinie, Philippe Palanque, Regina Peldszus
IFIP WG 13.5 Workshop on Resilience, Reliability, Safety and Human Error in System Development
15th Human-Computer Interaction (INTERACT 2015), Sep 2015, Bamberg, Germany. pp.663-664, ⟨10.1007/978-3-319-22723-8_91⟩
Racim Fahssi, Célia Martinie, Philippe Palanque
Enhanced Task Modelling for Systematic Identification and Explicit Representation of Human Errors
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.192-212, ⟨10.1007/978-3-319-22723-8_16⟩
Camille Fayollas, Célia Martinie, Philippe Palanque, Racim Fahssi
Accounting for Organisational faults in Task Model Based Systematic Analysis of System Failures and Human Errors
IFIP WG 13.5 Workshop on Resilience, Reliability, Safety and Human Error in System Development @ INTERACT 2015, IFIP : International Federation for Information Processing, Sep 2015, Bamberg, Germany. pp.101–116
Jan Gulliksen, Simone Barbosa, Anirudha Joshi, Shaun Lawson, Philippe Palanque
Role of Conferences in Shaping the Field of HCI
15th Human-Computer Interaction (INTERACT 2015), Sep 2015, Bamberg, Germany. pp.637-639, ⟨10.1007/978-3-319-22723-8_81⟩
Arnaud Hamon, Philippe Palanque, Martin Cronel
Dependable multi-touch interactions in safety critical industrial contexts: Application to aeronautics
IEEE 13th International Conference on Industrial Informatics (INDIN 2015), IEEE, Jul 2015, Cambridge, United Kingdom. pp.980–987, ⟨10.1109/INDIN.2015.7281868⟩
Camille Fayollas, Célia Martinie, Philippe Palanque, Yannick Deleris
Beyond Formal Methods for Critical Interactive Systems: Dealing with Faults at Runtime
Workshop on Formal Methods in Human Computer Interaction (FoMHCI 2015), Jun 2015, Duisburg, Germany. pp. 19-23
Benjamin Weyers, Judy Bowen, Alan Dix, Philippe Palanque
Workshop on formal methods in human computer interaction
Workshop on formal methods in human computer interaction @ 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2015), ACM SIGCHI : ACM Special Interest Group on Computer-Human Interaction, Jun 2015, Duisburg, Germany. pp.294–295, ⟨10.1145/2774225.2777460⟩
Eric Barboni, Arnaud Hamon, Célia Martinie, Philippe Palanque
A User-Centered View on Formal Methods: Interactive Support for Validation and Verification
Workshop on Formal Methods in Human Computer Interaction (FoMHCI 2015), Jun 2015, Duisburg, Germany. pp. 24-29
Célia Martinie, David Navarre, Philippe Palanque, Camille Fayollas
A Generic Tool-Supported Framework for Coupling Task Models and Interactive Applications
7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2015), ACM SIGCHI: Special Interest Group on Computer-Human Interaction, Jun 2015, Duisburg, Germany. pp.244-253, ⟨10.1145/2774225.2774845⟩
Célia Martinie, Philippe Palanque
Design, Development and Evaluation Challenges for Future Mobile User Interfaces in Safety-Critical Contexts
Workshop on Future Mobile User Interfaces in : 13th International Conference on Mobile Systems, Applications and Services (MobiSys 2015), May 2015, Florence, Italy. pp.5-7, ⟨10.1145/2754633.2754635⟩
Philippe Palanque, Célia Martinie
Designing and Assessing Interactive Systems Using Task Models (2015)
33rd Annual ACM Conference Extended Abstracts on Human Factors in Computing Systems (CHI EA 2015), Apr 2015, Seoul, South Korea. pp.2465-2466, ⟨10.1145/2702613.2706684⟩
Camille Fayollas, Jean-Charles Fabre, Philippe Palanque, Martin Cronel, David Navarre, Yannick Deleris
A Software-Implemented Fault-Tolerance Approach for Control and Display Systems in Avionics
20th Pacific Rim International Symposium on Dependable Computing (2014), Nov 2014, Singapour, Singapore. pp.21–30, ⟨10.1109/PRDC.2014.11⟩
Camille Fayollas, Philippe Palanque, Jean-Charles Fabre, David Navarre, Eric Barboni, Martin Cronel, Yannick Deleris
A Fault-Tolerant Architecture for Resilient Interactive Systems
26ème Conférence Francophone sur l’Interaction Homme-Machine (IHM 2014), AFIA : Association Francophone d’Interaction Homme-Machine; Université Lille 1; INRIA Lille – Nord Europe, Oct 2014, Lille, France. pp.80-90, ⟨10.1145/2670444.2670462⟩
Camille Fayollas, Philippe Palanque, Jean-Charles Fabre, David Navarre, Eric Barboni, Martin Cronel, Yannick Deleris
Résilience des systèmes interactifs: contribution par une architecture tolérante aux fautes
26ème Conférence francophone sur l’Interaction Homme-Machine (IHM 2014), Association Francophone d’Interaction Homme-Machine, Oct 2014, Lille, France. pp.80-90
Ricardo Cava, Carla Freitas, Eric Barboni, Philippe Palanque, Marco Winckler
Inside-In Search: An Alternative for Performing Ancillary Search Tasks on the Web
9th Latin American Web Congress (LA-Web 2014), Oct 2014, Ouro Preto, Brazil. pp.91–99, ⟨10.1109/LAWeb.2014.21⟩
Peter Forbrig, Célia Martinie, Philippe Palanque, Marco Winckler, Racim Fahssi
Rapid Task-Models Development Using Sub-models, Sub-routines and Generic Components
5th IFIP WG 13.2 International Conference on Human-Centered Software Engineering (HCSE 2014), Sep 2014, Paderborn, Germany. pp.144-163, ⟨10.1007/978-3-662-44811-3_9⟩
Camille Fayollas, Célia Martinie, David Navarre, Philippe Palanque, Racim Fahssi
Fault-Tolerant User Interfaces for Critical Systems: Duplication, Redundancy and Diversity as New Dimensions of Distributed User Interfaces
4th Workshop on Distributed User Interfaces and Multimodal Interaction (DIU 2014), Jul 2014, Toulouse, France. pp.27-30, ⟨10.1145/2677356.2677662⟩
Arnaud Hamon, Eric Barboni, Philippe Palanque, Raphaël André
A Notation and a Layered Architecture to Model Dynamic Instantiation of Input Devices and Interaction Techniques: Application to Multi-Touch Interactions
Workshop on Engineering Gestures for Multimodal Interfaces (EGMI 2014), co-located with the 6th ACM SIGCHI – ICS 2014, Jun 2014, Rome, Italy
Arnaud Hamon, Philippe Palanque, Martin Cronel, Raphaël André, David Navarre, Eric Barboni
Formal Modelling of Dynamic Instantiation of Input Devices and Interaction Techniques: Application to Multi-Touch Interactions
6th ACM SIGCHI Symposium on Engineering Interactive Computing Systems – EICS 2014, ACM SIGCHI: Special Interest Group on Computer-Human Interaction, Jun 2014, Roma, Italy. pp.173-178, ⟨10.1145/2607023.2610286⟩
Célia Martinie, Eric Barboni, David Navarre, Philippe Palanque, Racim Fahssi, Erwann Poupart, Eliane Cubero-Castan
Multi-Models-Based Engineering of Collaborative Systems: Application to Collision Avoidance Operations for Spacecrafts (2014)
ACM SIGCHI conference Engineering Interactive Computing Systems (EICS 2014), ACM Special Interest Group on Computer-Human Interaction, Jun 2014, Rome, Italy. pp.95-94, ⟨10.1145/2607023.2607031⟩
Camille Fayollas, Célia Martinie, Philippe Palanque, Yannick Deleris, Jean-Charles Fabre, David Navarre
An approach for assessing the impact of dependability on usability: application to interactive cockpits.
European Dependable Computing Conference, May 2014, Newcastle upon Tyne, United Kingdom. pp.198–209, ⟨10.1109/EDCC.2014.17⟩
Célia Martinie, Philippe Palanque
Fine Grain Modeling of Task Deviations for Assessing Qualitatively the Impact of Both System Failures and Human Error on Operator Performance
AAAI 2014 Symposium on Formal Verification on Human-Machine Systems – 2014, Mar 2014, Palo Alto, United States. pp. 27-32
Camille Fayollas, Philippe Palanque, Jean Charles Fabre, David Navarre, Yannick Deleris, Arnaud Hamon
A Fault-Tolerant Software Architecture and its Formal Specification for Embedded, Real-Time Interactive Systems
Conference Embedded Real Time Software and Systems (ERTS 2014), 3AF Midi-Pyrénées: the French Society of Aeronautic and Aerospace; SEE: the French Society for Electricity, Electronics, and Information & Communication Technologies., Feb 2014, Toulouse, France
Romuald Deshayes, Tom Mens, Philippe Palanque
PetriNect: A tool for executable modeling of gestural interaction (short paper)
In : Visual Languages and Human-Centric Computing (VL/HCC 2013), San Jose, CA, US, 15/09/13-19/09/13, IEEE : Institute of Electrical and Electronics Engineers, pp. 197-198, 2013.
Romuald Deshayes, Philippe Palanque, Tom Mens
A generic framework for executable gestural interaction models (short paper)
In : Visual Languages and Human-Centric Computing (VL/HCC 2013), San Jose, CA, US, 15/09/13-19/09/13, IEEE : Institute of Electrical and Electronics Engineers, pp. 35-38, 2013.
Jean-Paul Blanquart, Christel Seguin, Philippe Palanque
System Level Integrated Failure Analysis
In : HUDEP, Oberpfaffenhofen, 13/11/13-14/11/13.
URL : http://www.congrexprojects.com/2013-events/13m19/hudep-2013
BibTeXCelia Martinie De Almeida, Philippe Palanque
Predicting and Mitigating Human Error Through Detailed Descriptions of Operators’ Tasks
In : HUDEP, Oberpfaffenhofen, Allemagne, 13/11/13-14/11/13.
URL : http://www.congrexprojects.com/2013-events/13m19/hudep-2013
BibTeXCelia Martinie De Almeida, Philippe Palanque, Alberto Pasquini, Martina Ragosta, Sara Silvagni, Mark-Alexander Sujan, Eric Rigaud, Erik Hollnagel
Modelling of Automation Degradation: a Case Study (regular paper)
In : SESAR Innovation Days, Stockholm, Suède, 26/11/13-28/11/13, SESAR Work Package E, (on line), November 2013.
URL : http://www.sesarinnovationdays.eu/ – https://oatao.univ-toulouse.fr/12807/
BibTeXGuillaume Brat, Celia Martinie De Almeida, Philippe Palanque
V&V of Lexical, Syntactic and Semantic Properties for Interactive Systems Through Model Checking of Formal Description of Dialog (regular paper)
In : IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT 2013), Las Vegas, Nevada, Etats-Unis, 21/07/13-26/07/13, Springer, LNCS, pp. 290-299, July 2013.
Arnaud Hamon, Philippe Palanque, José Luis Silva, Yannick Deleris, Eric Barboni
Formal description of multi-touch interactions (regular paper)
In : ACM Special Interest Group on Computer-Human Interaction – Conference Engineering Interactive Computing Systems (SIGCHI – EICS 2013), City University London, UK, 25/06/13-27/06/13, ACM : Association for Computing Machinery, pp. 207-216, 2013.
Celia Martinie De Almeida, Philippe Palanque, Martina Ragosta, Racim Mehdi Fahssi
Extending Procedural Task Models by Explicit and Systematic Integration of Objects, Knowledge and Information (regular paper)
In : European Conference on Cognitive Ergonomics (ECCE 2013), Toulouse, France, 26/08/13-28/08/13, ACM : Association for Computing Machinery, ECCE ’13 23, pp. 1-10, October 2013.
URL : http://doi.acm.org/10.1145/2501907.2501954 – https://oatao.univ-toulouse.fr/12675/
BibTeXJosé Luis Silva, Camille Fayollas, Arnaud Hamon, Philippe Palanque, Celia Martinie De Almeida, Eric Barboni
Analysis of WIMP and Post WIMP Interactive Systems based on Formal Specification (regular paper)
In : International Workshop on Formal Methods for Interactive Systems (FMIS 2013), London, 24/06/13, Electronic Communications of the EASST, (electronic medium), June 2013.
Celia Martinie De Almeida, Philippe Palanque, Alberto Pasquini, Martina Ragosta, Mark-Alexander Sujan, David Navarre
Understanding functional resonance through a federation of models: preliminary findings of an avionics case study (regular paper)
In : International Conference on Computer Safety, Reliability and Security (SAFECOMP 2013), Toulouse, France, 24/09/13-27/09/13, Friedemann Bitsch, Jérémie Guiochet, Mohamed Kaâniche (Eds.), Springer-Verlag, pp. 216-227, September 2013.
URL : http://dx.doi.org/10.1007/978-3-642-40793-2_20 – https://oatao.univ-toulouse.fr/12647/
BibTeXDavid Navarre, Celia Martinie De Almeida, Philippe Palanque, Alberto Pasquini, Martina Ragosta
Model-based dynamic distribution of user interfaces of critical interactive systems (regular paper)
In : International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS 2013), Naples, Italy, 28/05/13-30/05/13, ACM : Association for Computing Machinery, pp. 66-75, 2013.
Caio Stein D’Agostini, Ricardo Cava, Carina Dorneles, Sergio Firmenich, Carla Freitas, Philippe Palanque, Marco Antonio Winckler
Proposta de um Framework para Visualização de Dados Agregados por Similaridade para Auxiliar Consultas durante a Navegação na Web (regular paper)
In : Simposio Brasileiro de Fatores Humanos em Sistemas Computacionais (IHC 2013), Manaus, Brazil, 08/10/13-10/10/13, Sociedade Brasileira de Computação (SBC), pp. 148-157, October 2013.
Peter Forbrig, Michael Zaki, Philippe Palanque, Marco Antonio Winckler
Supportive User Interfaces and Task Migratability in Smart Environments (regular paper)
In : Workshop on Distributed User Interfaces (DUI 2013), London, UK, 24/06/13, University of Castilla – La Mancha, pp. 42-45, June 2013.
URL : http://dui.uclm.es/2013/Proceedings-DUI-2013.pdf – https://oatao.univ-toulouse.fr/12628/
BibTeXJonathan Lazar, Simone D. J. Barbosa, Jan Gulliksen, Tom Mcewan, Loïc Martínez Normand, Philippe Palanque, Raquel Oliveira Prates, Janice Tsai, Marco Antonio Winckler, Wolker Wulf
Workshop on engaging the human-computer interaction community with public policymaking internationally (poster)
In : ACM International Conference on Human Factors in Computing Systems (ACM CHI 2013), Paris, 27/04/13-02/05/13, ACM Digital Library, pp. 3279-3282, May 2013.
Michel Galindo, Celia Martinie De Almeida, Philippe Palanque, Marco Antonio Winckler, Peter Forbrig
Tuning an HCI Curriculum for Master Students to Address Interactive Critical Systems Aspects (regular paper)
In : HCI International, LAS VEGAS Nevada USA, 21/07/13-26/07/13, Vol. Lecture Notes Computer Sc 8004, Kurosu Masaaki (Eds.), Springer USA, Human-Centred Design Approaches, Methods, Tools, and Environments ISBN 978-3-642-39231-3, pp. 51-60, August 2013.
The Need for Synchronous Communication to Enhance Collaboration and Cooperation between Industry and Academia
In : Workshop on Education and Training of Engineers and Researchers in Aeronautics, “Bridging the gap between policy, industry and academia” in conjunction with the ATM World Congress, Barcelone, 14/02/13-14/02/13 (invited speaker).
Eric Rigaud, Erik Hollnagel, Celia Martinie De Almeida, Philippe Palanque, Alberto Pasquini, Martina Ragosta, Sara Silvagni, Mark-Alexander Sujan
A framework for modeling the consequences of the propagation of automation degradation: application to air traffic control systems (regular paper)
In : SESAR Innovation Days, Braunschweig, 27/11/12-29/11/12, Eurocontrol, (on line), December 2012.
Camille Fayollas, Jean-Charles Fabre, David Navarre, Philippe Palanque, Yannick Deleris
Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approach (regular paper)
In : Software Engineering for Resilient Systems (SERENE 2012), Pisa, Italy, 27/09/12-28/09/12, Paris Avgeriou (Eds.), Springer-Verlag, pp. 32-46, September 2012.
URL : http://link.springer.com/chapter/10.1007/978-3-642-33176-3_3
BibTeXPhilippe Palanque, Regina Bernhaupt, Celia Martinie De Almeida
Designing and Engineering Interactive Critical Systems Using Contributions from Gaming Research and Practice (short paper)
In : Workshop on Safety-Critical Systems and Video Games: Contradictions and Commonalities. In conjunction with 4th International Conference on Fun and Games (Fun&Games2012), Toulouse, 04/09/12-06/09/12, ACM Digital Library, (on line), September 2012.
URL : dl.acm.org
BibTeXCelia Martinie De Almeida, Philippe Palanque, David Navarre, Eric Barboni, Marco Antonio 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. (regular paper)
In : Conférence Francophone sur l’Interaction Homme-Machine (IHM 2012), Biarritz, 17/10/12-19/10/12, ACM Digital Library, (on line), October 2012.
URL : http://dl.acm.org/
BibTeXCelia Martinie De Almeida, Philippe Palanque, David Navarre, Eric Barboni, Erwann Poupart
Systematic Approaches to Training Encompassing Operators mission and Interaction Techniques (short paper)
In : International Conference on Human-Computer Interaction in Aeronautics (HCI’Aero 2012), Brussels, 12/09/12-14/09/12, ACM Digital Library, (on line), September 2012.
URL : http://dl.acm.org/
BibTeXCelia Martinie De Almeida, Philippe Palanque, David Navarre, Eric Barboni
A Development Process for Usable Large Scale Interactive Critical Systems: Application to Satellite Ground Segments (regular paper)
In : Human-Centered Software Engineering (HCSE 2012), Toulouse, 29/10/12-31/10/12, Winckler Marco, Forbrig Peter , Bernhaupt Regina (Eds.), Springer, LNCS 7623, pp. 112-134, October 2012.
Llúcia Masip, Celia Martinie De Almeida, Marco Antonio Winckler, Philippe Palanque, Toni Granollers , Marta Oliva
A Design Process for Exhibiting Design Choices and Trade-offs in (potentially) Conflicting User Interface Guidelines (regular paper)
In : Human-Centered Software Engineering (HCSE 2012), Toulouse, France, 29/10/12-31/10/12, Marco Winckler, Peter Forbrig, Regina Bernhaupt (Eds.), Springer, LNCS 7623, pp. 53-71, October 2012.
Marco Antonio Winckler, Philippe Palanque, David Navarre
Challenges for Master Programs on Human-Computer Interaction (HCI): experience report of the M2IHM
In : Workshop on HCI: Web and Graphics Curricula at WWW 2012, Lyon, France, 16/04/12-16/04/12.
David Navarre, Philippe Palanque
Position Paper: Modelling Interactive Critical Systems using Interactive Cooperative Objects Formalism (regular paper)
In : Workshop on Formal Methods in Human-Machine Interaction (Formal H 2012), London, UK, 28/05/12-28/05/12, Formal H : workshop on Formal Methods in Human-Machine Interaction, (electronic medium), 2012.
Task Models as a Central Artifact for Designing, Building and Operating Safe, Usable and Reliable Interactive and (partly-)Autonomous Applications (regular paper)
In : European Conference on Cognitive Ergonomics (ECCE 2012), Edinbugrh, Scotland, 28/08/12-31/08/12 (invited speaker), ACM : Association for Computing Machinery, (electronic medium), 2012.
Automation in command and control systems: what should be remembered and what should be forgotten when designing Safe, Usable, Reliable and Enjoyable intelligent vehicles (regular paper)
In : Workshop on Human Factors for Intellignet Vehicles (HFIV 2012), Madrid, Spain, 03/06/12-07/06/12 (invited speaker), (electronic medium), 2012.
Arnaud Hamon, Philippe Palanque, David Navarre, Celia Martinie De Almeida, Adrienne Tankeu Choitat, Eric Barboni
Interactive Cockpits Applications: Modelling and Validation using a Petri-net based Formalism (regular paper)
In : European Congress on Embedded Real-Time Software (ERTS 2012), Toulouse, France, 01/02/12-03/02/12, ERTS : Embedded Real Time Sofware and Systems, (electronic medium), February 2012.
Arnaud Hamon, Philippe Palanque, Yannick Deleris, David Navarre, Eric Barboni
A Tool-supported Development Process for Bringing Touch Interactions into Interactive Cockpits for Controlling Embedded Critical Systems (regular paper)
In : International Conference on Human-Computer Interaction in Aeronautics (HCI’Aero 2012), Brussels, 12/09/12-14/09/12, ACM Digital Library, (on line), 2012.
URL : https://portail.irit.fr/partage/data/public/bd25d6e90fd48885.php
BibTeXThomas Mirlacher, Philippe Palanque, Regina Bernhaupt
Engineering Animations in User Interfaces (regular paper)
In : ACM Special Interest Group on Computer-Human Interaction – Conference Engineering Interactive Computing Systems (SIGCHI – EICS 2012), Copenhagen, Denmark, 25/06/12-28/06/12, ACM Press, pp. 25-36, 2012.
Celia Martinie De Almeida, Philippe Palanque, Martina Ragosta
Some Issues with Interaction Design and Implementation in the Context of Autonomous Interactive Critical Systems (regular paper)
In : ACM International Conference on Human Factors in Computer Science (Workshop on End-user Interactions with Intelligent and Autonomous Systems), Austin, Texas, 05/05/12-10/05/12, ACM Digital Library, pp. 25-30, 2012.
Celia Martinie De Almeida, Philippe Palanque, Alberto Pasquini, Martina Ragosta, Eric Rigaud, Sara Silvagni
Using Complementary ModelS-Based Approaches for Representing and Analysing ATM Systems’ Variability (regular paper)
In : International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS 2012), London, UK, 28/05/12-31/05/12, ACM Digital Library, (electronic medium), 2012.
Celia Martinie De Almeida, Philippe Palanque, David Navarre, Erwann Poupart
A Systematic Approach to Training for Ground Segment using Tasks and Scenarios: Application to PICARD satellite (regular paper)
In : International Conference on Space Operations (SpaceOps 2012), Stockholm, Sweden, 11/06/12-15/06/12, American Institute of Aeronautics and Astronautics (AIAA), (electronic medium), 2012.
Celia Martinie De Almeida, Philippe Palanque, David Navarre, Eric Barboni
A Tool-Supported Training Framework for Improving Operators: Dependability Confronted with Faults and Errors (regular paper)
In : Safety and Reliability for managing Risk (ESREL 2012), Helsinki, Finland, 25/06/12-29/06/12, Taylor & Francis Group, pp. 25-36, 2012.
Philippe Palanque, Cédric Bach, Celia Martinie De Almeida, Marco Antonio Winckler
Pourquoi et comment exploiter la modélisation des tâches opérateurs dans les systèmes critiques: Application à la déclaration dincidents et à lopération des systèmes de commande et contrôles
In : Journée scientifique RTRA – FHAE (Facteurs Humains pour la Sécurité Aéronautique), Toulouse, 13/03/12-13/03/12.
Erik Hollnagel, Celia Martinie De Almeida, Philippe Palanque, Alberto Pasquini, Martina Ragosta, Eric Rigaud, Sara Silvagni
System Performances under Automation Degradation (SPAD) (regular paper)
In : The First SESAR Innovation Days, Toulouse, France, 29/11/11-01/12/11, SESAR Work Package E, (on line), 2012.
Abstract URL : http://sesarinnovationdays.eu/files/SIDs/SID%202011-SPAD.pdf
BibTeXAdrienne Tankeu Choitat, David Navarre, Philippe Palanque, Yannick Deleris, Jean-Charles Fabre, Camille Fayollas
Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques (regular paper)
In : Pacific Rim International Symposium on Dependable Computing (PRDC 2011), Pasadena, California, USA, 12/12/11-14/12/11, IEEE : Institute of Electrical and Electronics Engineers, pp. 164-173, 2011.
URL : http://ieeexplore.ieee.org/xpl/articleDetails.jsp?tp=&arnumber=6133078&queryText%3Dtankeu
BibTeXEric Barboni, Celia Martinie De Almeida, David Navarre, Philippe Palanque, Marco Antonio Winckler
UsiXML Concrete Behaviour with a Formal Description Technique for Interactive Systems (regular paper)
In : IFIP WG 2.7/13.4 Workshop on User Interface Description Languages (UIDL 2011), Lisbonne, Portugal, 06/09/11-06/09/11, Adrien Coyette, David Faure, Juan Gonzalez, Jean Vanderdonckt (Eds.), Thales Research and Technology, (electronic medium), 2011.
Celia Martinie De Almeida, Philippe Palanque
A Multi-Models Based Development Process for Critical Interactive Systems Integrating Formal and Informal Approaches
In : IFIP WG 2.7/13.4 Workshop on Combining Models and Design for interactive systems (ComDeisMoto 2011), Lisbonne, Portugal, 06/09/11-06/09/11.
Philippe Palanque, Celia Martinie De Almeida
Contextual Help for Supporting Critical Systems’ Operators: Application to Space Ground Segments
In : Workshop on Activity Context Representation, San Francisco, 07/08/11-08/08/11.
Celia Martinie De Almeida, Philippe Palanque, Eric Barboni, Martina Ragosta
Task-Model Based Assessment of Automation Levels: Application to Space Ground Segments (regular paper)
In : IEEE International Conference on Systems, Man and Cybernetics, Anchorage, 09/10/11-12/10/11, IEEE Computer Society – Conference Publishing Services, pp. 3267-3273, October 2011.
Celia Martinie De Almeida, Philippe Palanque, Marco Antonio Winckler
Structuring and Composition Mechanisms to Address Scalability Issues in Task Models (regular paper)
In : IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT 2011), Lisboa, 05/09/11-09/09/11, Springer-Verlag, pp. 134-152, 2011.
Adrienne Tankeu Choitat, Jean-Charles Fabre, Philippe Palanque, David Navarre, Yannick Deleris
Self-Checking Widgets for Interactive Cockpits (regular paper)
In : European Workshop on Dependable Computing, Pisa, 05/05/11-07/05/11, ACM Digital Library, pp. 34-42, 2011.
Philippe Palanque, Regina Bernhaupt, Florent Montesano
Integrating Gaming Research and Practice in the Design of User Interface of (partly)-Autonomous Safety-Critical Systems (regular paper)
In : International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS 2011), Barcelona, 25/05/11-27/05/11, ACM Digital Library, pp. 23-30, 2011.
Philippe Palanque, Regina Bernhaupt, Marco Antonio Winckler
Usability Evaluation: Commonalities and Discrepancies in Games and Safety Critical Systems (regular paper)
In : European Workshop on HCI Design and Evaluation, Cyprus, 05/03/11-07/03/11, Georgios Christou, Panayiotis Zaphiris, Effie Lai-Chong Law (Eds.), ACM Digital Library, pp. 45-53, 2011.
URL : http://www.irit.fr/recherches/ICS/projects/twintide/upload/427.pdf
BibTeXPhilippe Palanque, Regina Bernhaupt, Guy Boy, Michael Faery
Engineering Automation in Interactive Critical Systems (short paper)
In : International Conference on Human-Computer Interaction (HCI 2011), Vancouver, 07/05/11-12/05/11, ACM Digital Library, pp. 1345-1349, May 2011.
Celia Martinie De Almeida, Philippe Palanque, Eric Barboni, Marco Antonio Winckler, Martina Ragosta, Alberto Pasquini, Paola Lanzi
Formal Tasks and Systems Models as a Tool for Specifying and Assessing Automation Designs (regular paper)
In : International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS 2011), Barcelone, 26/05/11-27/05/11, IRIT Press, (electronic medium), 2011.
Philippe Palanque, Eric Barboni, Celia Martinie De Almeida, David Navarre, Marco Antonio Winckler
A Tool Supported Model-based Approach for Engineering Usability Evaluation of Interaction Techniques (regular paper)
In : ACM Special Interest Group on Computer-Human Interaction – Conference Engineering Interactive Computing Systems (SIGCHI – EICS 2011), Pise, Italie, 13/06/11-16/06/11, ACM Press, pp. 21-30, 2011.
Celia Martinie De Almeida, Philippe Palanque, Marco Antonio Winckler, David Navarre, Erwann Poupart
Model-Based Training: An Approach Supporting Operability of Critical Interactive Systems: Application to Satellite Ground Segments (regular paper)
In : ACM Special Interest Group on Computer-Human Interaction – Conference Engineering Interactive Computing Systems (SIGCHI – EICS 2011), Pise, Italie, 13/06/11-16/06/11, Springer-Verlag, pp. 589-609, June 2011.
Défis pour les Approches Formelles pour lIngénierie des Systèmes Interactifs (regular paper)
In : Journées Francophones MODÈLES FORMELS de l’INTERACTION (MFI 2009), Lanion, 03/06/09-05/06/09 (invited speaker), pp. 5-9, 2010.
Designing Interactive Systems neither Interaction nor Interfaces (regular paper)
In : Congreso Internacional de Interaccion Persona-Ordenador, Valencia, 07/09/10-10/09/10 (invited speaker), ACM Digital Library, pp. 5-13, 2010.
Philippe Palanque, Adrienne Tankeu Choitat, David Navarre
An Approach for Assessing both Usability and Dependability of Interactive Systems: Application to Interactive Cockpits (regular paper)
In : International Conference on Human-Computer Interaction in Aeronautics (HCI’Aero 2010), Floride, USA, 03/11/10-05/11/10, ACM Digital Library, pp. 120-130, November 2010.
Jean-François Ladry, Philippe Palanque, David Navarre, Eric Barboni, Marco Antonio Winckler
Une approche à base de modèles pour l’ingénierie logicielle de techniques d’interaction (regular paper)
In : , Luxembourg, 20/09/10-23/09/10, ACM Digital Library, pp. 81-88, September 2010.
Marco Antonio Winckler, Philippe Palanque
Desafios para Programas de Mestrado em Interação Humano-Computador (IHC): a experiência do M2IHM (short paper)
In : Simpósio de Fatores Humanos em Sistemas Computacionais (IHC 2010), Belo Horizonte, 05/10/10-08/10/10, Vol. II, Milene Silveira, Raquel Prates, C. Padua (Eds.), Sociedade Brasileira de Computação, ISSN 2178-7700, pp. 71-74, October 2010.
Celia Martinie De Almeida, Philippe Palanque, Marco Antonio Winckler, Stéphane Conversy
DREAMER: a Design Rationale Environment for Argumentation, Modeling and Engineering Requirements (regular paper)
In : ACM International Conference on Design of Communication (ACM SIGDOC 2010), Sao Paulo, Brésil, 26/09/10-29/09/10, Junia C. Anacleto, Renata Fortes M. Pontin, Carlos J. Costa (Eds.), ACM : Association for Computing Machinery, pp. 73-80, September 2010.
Celia Martinie De Almeida, Jean-François Ladry, David Navarre, Philippe Palanque, Marco Antonio Winckler
Embedding Requirements in Design Rationale to Deal Explicitely with User eXperience and Usability in an intensive Model-Based Development Approach (regular paper)
In : Workshop on Model Driven Development of Advanced User Interfaces (MDDAUI 2010), Atlanta Georgia USA, 10/04/10, Vol. 617, Jan Van den Bergh, Stefan Sauer, Kai Breiner, Heinrich Hußmann, Gerrit Meixner (Eds.), CEUR-WS : Workshop proceedings, pp. 29-32, July 2010.
Abstract URL : http://ceur-ws.org/Vol-617/MDDAUI2010_Paper08.pdf
BibTeXJean-François Ladry, Philippe Palanque, Eric Barboni, David Navarre
Model-Based Usability Evaluation and Analysis of Interactive Techniques (short paper)
In : Workshop on Model Driven Development of Advanced User Interfaces (MDDAUI 2010), Atlanta Georgia USA, 10/04/10, Vol. 617, Jan Van den Bergh, Stefan Sauer, Kai Breiner, Heinrich Hußmann, Gerrit Meixner (Eds.), CEUR-WS : Workshop proceedings, pp. 21-24, July 2010.
Abstract URL : http://ceur-ws.org/Vol-617/MDDAUI2010_Paper06.pdf
BibTeXCelia Martinie De Almeida, Philippe Palanque, David Navarre, Marco Antonio Winckler
A formal approach supporting effective and efficient training program for improving operators reliability (regular paper)
In : Safety and Reliability for managing Risk (ESREL 2010), Rhodes Grece, 05/09/10-09/09/10, Taylor & Francis Group, pp. 234-243, 2010.
Eric Barboni, Jean-François Ladry, David Navarre, Philippe Palanque, Marco Antonio Winckler
Beyond Modelling: An Integrated Environment Supporting Co-Execution of Tasks and Systems Models (regular paper)
In : ACM Special Interest Group on Computer-Human Interaction – Conference Engineering Interactive Computing Systems (SIGCHI – EICS 2010), Berlin, Allemagne, 19/06/10-23/06/10, ACM SIGCHI, pp. 143-152, 2010.
Philippe Palanque, David Navarre
Beyond bi-polinisation: embedding Safety Engineering and Reliability Engineering along with Usability and Software Engineering
In : EVAL-workshop at INTERACT, Uppsala, Sweden, 24/08/09-28/08/09.
Philippe Palanque, Jean-François Ladry, Eric Barboni, David Navarre, Marco Antonio Winckler
Une Approche Formelle pour l’Evaluation de la Tolérance aux Interruptions des Système Interactifs (regular paper)
In : Conférence Francophone sur l’Interaction Homme-Machine (IHM 2009), Grenoble, 13/08/09-16/08/09, ACM Digital Library, pp. 141-150, October 2009.
Jean-François Ladry, David Navarre, Philippe Palanque
Formal Description Techniques to Support the Design, Construction and Evaluation of Fusion Engines for SURE (Safe Usable, Reliable and Evolvable) Multimodal Interfaces (regular paper)
In : International Conference on Multimodal Interfaces and Workshop on Machine Learning for Multi-modal Interaction (ICMI-MLMI 2009 2009), Cambridge, Massachusetts, USA, 02/11/09-06/11/09, ACM : Association for Computing Machinery, pp. 135-142, November 2009.
Denis Lalanne, Laurence Nigay, Philippe Palanque, Peter Robinson, J. Vanderdonckt
Fusion Engines for Multimodal Interfaces: a survey (regular paper)
In : International Conference on Multimodal Interfaces and Workshop on Machine Learning for Multi-modal Interaction (ICMI-MLMI 2009 2009), Cambridge, Massachusetts, USA, 02/11/09-06/11/09, ACM : Association for Computing Machinery, pp. 111-118, November 2009.
Eugenio Alberdi, Lorenzo Strigini, Kieran Leach, Peter Ryan, Philippe Palanque, Marco Antonio Winckler
Gaining assurance in a voter-verifiable voting system
In : International Conference on Dependability (DEPEND 2009), Athens/Vouliagmeni, Greece, 18/06/09-23/06/09, IEEE Computer Society, DOI 10.1109/DEPEND.2009.2, pp. 99-104, 2009.
Philippe Palanque, Marco Antonio Winckler, Jean-François Ladry, Maurice H. Ter Beek, Giorgio Faconti, Mieke Massink
A Formal Approach Supporting the Comparative Predic-tive Assessment of the Interruption-Tolerance of Interactive Systems (regular paper)
In : ACM Special Interest Group on Computer-Human Interaction – Conference Engineering Interactive Computing Systems (SIGCHI – EICS 2009), Pittsburgh, USA, 14/07/09-17/07/09, ACM Press, pp. 211-220, July 2009.
Maurice H. Ter Beek, Giorgio Faconti, Mieke Massink, Philippe Palanque, Marco Antonio Winckler
Resilience of Interaction Techniques to Interrupts: A Formal Model-based Approach (regular paper)
In : IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT 2009), Uppsala, Sweeden, 24/08/09-28/08/09, Vol. 1, Springer-Verlag, LNCS 5726, pp. 494-509, August 2009.
Marco Antonio Winckler, Regina Bernhaupt, Philippe Palanque, David Lundin, Kieran Leach, Peter Ryan, Eugenio Alberdi, Lorenzo Strigini
Assessing the usability of open verifiable e-voting systems: a trial with the system Prêt à Voter
In : International Conference on eGovernment & eGovernance (ICE-GOVE 2009), Ankara – Turkey, 12/03/09-13/03/09, Vol. 1, Ahmet Kaplan, Asim Balci, Coskun Aktan, Ozkan Dalbay (Eds.), Turksat (International Satellite and Cable Operator), pp. 281-296, March 2009.
Sandra Steere, Erwann Poupart, Philippe Palanque
An operator-centered, model-based framework for ground segment design, supporting training and operations
In : Ground System Architectures Workshop (GSAW 2009), Torrance, California, 23/03/09-26/03/09, The Aerospace Corporation, (electronic medium), March 2009.
Philippe Palanque, Jean-François Ladry, David Navarre, Eric Barboni
High-Fidelity Prototyping of Interactive Systems can be Formal too
In : HCI International, San Diego, CA, USA, 19/07/09-24/07/09, Springer-Verlag, pp. 21-30, July 2009.
Giorgio Faconti, Michael Harrison, Mieke Massink, Philippe Palanque
The FAERUS Project: Formal Analysis of Evolving Resilient Usable Systems
In : European Dependable Computing Conference (EDCC 2008), Kaunaas, Lithuania, 07/05/08-09/05/08, IEEE Computer Society, pp. 0-0, May 2008.
Philippe Palanque, Marco Antonio Winckler, Regina Bernhaupt, Eugenio Alberdi, Lorenzo Strigini
AROVE-v: Assessing the resilience of open verifiable E-voting systems.
In : European Dependable Computing Conference (EDCC 2008), Kaunas, Lithuania, 07/05/08-09/05/08, IEEE Computer Society, (Fast Abstract) ISBN 978-0-7695-3666-8/09, (electronic medium), May 2008.
Sandra Basnyat, David Navarre, Philippe Palanque
Usability Service Continuation through Reconfiguration of Input and Output Devices in Safety Critical Interactive Systems.
In : International Conference on Computer Safety, Reliability and Security (SAFECOMP 2008), Newscastle, UK, 22/09/08-25/09/08, Vol. LNCS, Springer-Verlag, pp. 0-0, 2008.
Erwann Poupart, Guillaume Jolly, Christian Percebois, Pierre Bazex, Philippe Palanque, Sandra Basnyat, Patrice Rabault, Laurent Sabatier, Aurélia Walrawens
Offline interoperability, cost reduction and reliability for operational procedure using meta-modeling technology
In : International Conference on Space Operations (SpaceOps 2008), Heidelberg, Germany, 12/05/08-16/05/08, American Institute of Aeronautics and Astronautics (AIAA), (electronic medium), 2008.
David Navarre, Philippe Palanque, Jean-François Ladry, Sandra Basnyat
An Architecture and a Formal Description Technique for User Interaction Reconfiguration of Safety Critical Interactive Systems
In : Design Specification and Verification of Interactive Systems (DSV-IS 2008), Kingston, Ontario, Canada., 16/07/08-18/07/08, Vol. LNCS, Springer-Verlag, pp. 0-0, 2008.
Philippe Palanque, Sandra Basnyat, Regina Bernhaupt, Ron Boring, Chris Johnson, Peter Johnson
Beyond usability for safety critical systems: How to be SURE (safe, usable, reliable, and evolvable)?
In : ACM International Conference on Human Factors in Computing Systems (ACM CHI 2008), San Jose, California, 28/04/08-03/05/08, ACM : Association for Computing Machinery, pp. 2133-2136, 2008.
Jean-François Ladry, Philippe Palanque, Sandra Basnyat, Eric Barboni, David Navarre
Dealing with Reliability and Evolvability in Description Techniques for Next Generation User Interfaces.
In : ACM International Conference on Human Factors in Computing Systems (ACM CHI 2008), Florence, Italy., 05/04/08-10/04/08, ACM : Association for Computing Machinery, (on line), 2008.
Philippe Palanque, Sandra Basnyat, Erwann Poupart
A Model-Based Approach Centred on Operational Procedures for the Development of Reliable and Usable Ground Segment Systems.
In : AIAA International Conference on Space Operations (SpaceOps 2008), Heidelberg, Germany., 12/05/08-16/05/08, American Institute of Aeronautics and Astronautics (AIAA), pp. 0-0, 2008.
Sandra Basnyat, Philippe Palanque, Regina Bernhaupt, Erwann Poupart
Formal Modelling of Incidents and Accidents as a Means for Enriching Training Material for Satellite Control Operations
In : Safety and Reliability for managing Risk (ESREL 2008), Valencia, Spain., 22/09/08-25/09/08, Taylor & Francis Group, pp. 0-0, 2008.
Xavier Lacaze, Philippe Palanque
DREAM & TEAM: A Tool and a Notation Supporting Exploration of Options and Traceability of Choices for Safety Critical Interactive Systems (regular paper)
In : IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT 2007), Rio de Janeiro, Brazil, 10/09/07-14/09/07, Springer-Verlag, pp. 525-540, 2007.
Regina Bernhaupt, Philippe Palanque, Marco Antonio Winckler, David Navarre
Usability Study of Multi-Modal Interfaces using Eye-Tracking
In : IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT 2007), Rio, Brazil, 10/09/07-14/09/07, Vol. 2, Cécilia Baranauskas, Philippe Palanque, Julio Abascal, Simone Diniz Junqueira Bar (Eds.), Springer-Verlag, LNCS 4663, pp. 412-424, 2007.
Xavier Lacaze, Philippe Palanque
DREAM-TEAM: A Tool and a Notation Supporting Exploration of Options and Traceability of Choices for Safety Critical Interactive Systems.
In : IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT 2008), Rio, Brazil, 10/09/08-14/09/08, Cécilia Baranauskas, Philippe Palanque, Julio Abascal, Simone Diniz Junqueira Barb (Eds.), Springer-Verlag, pp. 0-0, 2007.
David Navarre, Philippe Palanque, Jean-François Ladry
Model-based Framework for Addressing Diversity, Usability and Reliability for Safety Critical Interactive Systems.
In : IET International Conference on System Safety, Savoy Place, London UK, 22/10/08-24/10/08, IEEE : Institute of Electrical and Electronics Engineers, pp. 0-0, 2007.
Stéphane Conversy, Eric Barboni, David Navarre, Philippe Palanque
Improving modularity of interactive software with the MDPC architecture
In : Engineering Interactive Systems (EHCI-HCSE-DSVIS 2007), Salamanca, Spain, 22/03/07-24/03/07, Springer-Verlag, pp. 321-338, 2007.
David Navarre, Philippe Palanque, Eric Barboni, Tomasz Mistrzyk
On the Benefit of Synergistic Model-based Approach for Safety Critical Interactive System Testing
In : TAsk MOdels DIAgrams for UI design (TAMODIA 2007), Toulouse, France, 07/11/07-09/11/07, Springer-Verlag, pp. 0-0, 2007.
Eric Barboni, David Navarre, Philippe Palanque, Sandra Basnyat
A Formal Description Technique for the Behavioural Description of Interactive Applications Compliant with ARINC Specification 661.
In : IEEE International Symposium on Industrial Embedded Systems (SIES 2007), Lisbon, Portugal,, 04/07/07-06/07/07, IEEE : Institute of Electrical and Electronics Engineers, 1-4244-0840-7, pp. 250-257, 2007.
Philippe Palanque, Sandra Basnyat, David Navarre
Improving Interactive Systems Usability using Formal Description Techniques: Application to HealthCare
In : Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society (USAB 2007), Graz University Hospital, Austria, 22/11/07, Springer, pp. 21-40, November 2007.
Philippe Palanque, Regina Bernhaupt, Ron Boring, Chris Johnson
Testing Interactive Software: a Challenge for Usability and Reliability (regular paper)
In : ACM Conference on Human Factors in Computing Systems – Special Interest Group on Testing Interactive Software (CHI – SIGTIS 2006), Montréal – Canada, 22/04/06-27/04/06, ACM : Association for Computing Machinery, pp. 748-751, April 2006.
Philippe Palanque, Regina Bernhaupt, David Navarre, Mourad Ould, Marco Antonio Winckler
Supporting Usability Evaluation of Multimodal Man-Machine Interfaces for Space Ground Segment Applications Using Petri net Based Formal Specification.
In : International Conference on Space Operations (SpaceOps 2006), Rome, Italy, 18/06/06-22/06/06, American Institute of Aeronautics and Astronautics (AIAA), pp. 0-0, 2006.
Eric Barboni, Stéphane Conversy, David Navarre, Philippe Palanque
Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification
In : Design Specification and Verification of Interactive Systems (DSV-IS 2006), Dublin, Ireland, 26/07/06-28/07/06, Springer-Verlag, LNCS, pp. 25-38, 2006.
Svetlena Tavena, Philippe Palanque, Sandra Basnyat, Marco Antonio Winckler, Effie Law
Clinical Application Design: Task Modeling with Failure in Mind (poster) (poster)
In : World Congress on Internet in Medicine (MedNet 2006), Toronto, Canada, 15/10/06-18/10/06, eHealthNews.eu, (electronic medium), 2006.
Svetlena Tavena, Philippe Palanque, Sandra Basnyat, Marco Antonio Winckler, Effie Law
Analysis of Communication Breakdowns for eHealth Systems Design.(poster) (poster)
In : Nordic Conference on eHealth and Telemedicine (NCeHT 2006), Helsinki, Finland,, 31/08/06-01/09/06, STAKES, (electronic medium), 2006.
URL : http://www.mednetcongress.org/ocs/viewabstract.php?id=245
BibTeXSandra Basnyat, Philippe Palanque
Software hazards and barriers for informing the design of safety-critical interactive systems
In : Safety and Reliability for managing Risk (ESREL 2006), Estoril, Portugal, 18/09/06-22/09/06, Taylor & Francis Group, pp. 1381-1388, 2006.
Eric Barboni, David Navarre, Philippe Palanque, Sandra Basnyat
Addressing Issues Raised by the Exploitation of Formal Specification Techniques for Interactive Cockpit Applications (regular paper)
In : International Conference on Human-Computer Interaction in Aeronautics (HCI’Aero 2006), Seattle, USA, 20/09/06-22/09/06, Cépaduès, (on line), 2006.
URL : https://portail.irit.fr/partage/data/public/05a8b2e6f7547d58.php
BibTeXBastiaan Schupp, Sandra Basnyat, Philippe Palanque, Peter Wright
A Barrier-Approach to Inform Model-Based Design of Safety-Critical Interactive Systems
In : International Symposium of the ISSA Research Section Design process and human factors integration: Optimising company performances, Nice, France, 01/03/06-03/03/06, International Social Security Association (ISSA), (electronic medium), March 2006.
Sandra Basnyat, Philippe Palanque
A Task Pattern Approach to Incorporate User Deviation in Task Models.
In : Proceedings of the first ADVISES Young Researchers Workshop, Liege, Belgium, 04/01/05-07/01/05, H.K Hans, Nayebkheil Asmatullah (Eds.).
Gilbert Cockton, Ebba Hvannberg, Effie Law, J. Vanderdonckt, Philippe Palanque
COST 294: A Usability Research Community
In : Interact 2005, Roma, Italy, 12/09/05-16/09/05, Lecture Notes in Computer Science, Springer Verlag, pp. 1012-1015, September 2005.
Effie Law, Ebba Hvannberg, J. Vanderdonckt, Dominique L. Scapin, Philippe Palanque
Towards the Maturation of IT Usability Evaluation (MAUSE)
In : Interact 2005, Roma, Italy, 12/09/05-16/09/05, Lecture Notes in Computer Science, Springer Verlag, pp. 1134-1137, September 2005.
Effie Law, Ebba Hvannberg, J. Vanderdonckt, Dominique L. Scapin, Philippe Palanque
MAUSE: Network of Usability Excellence
In : BCS HCI 2005, Edinburgh, Scotland, 05/09/05-09/09/05, Springer Verlag, pp. 283-286, September 2005.
David Navarre, Philippe Palanque, Rémi Bastide, Amélie Schyn, Marco Antonio Winckler, Luciana Nedel, Carla Freitas
A Formal Description of Multimodal Interaction Techniques for Immersive Virtual Reality Applications
In : IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT 2005), Rome, Italy, 12/09/05-16/09/05, Maria Francesca Costabile, Fabio Paternò (Eds.), Springer-Verlag, pp. 170-183, September 2005.
Sandra Basnyat, Nick Chozos, Chris Johnson, Philippe Palanque
Redesigning an Interactive Safety-Critical System to Prevent an Accident from Reoccurring
In : 24th European Annual Conference on Human Decision Making and Manual Control. (EAM), Athens, Greece, 17/10/05-19/10/05, xx, October 2005.
Sandra Basnyat, Rémi Bastide, Philippe Palanque
Extending the Boundaries of Model-Based Development to Account for Errors
In : Model Driven Development of Advanced User Interfaces, Workshop at MoDELS/UML’2005, ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems, Montego bay, Jamaïca, 02/10/05-07/10/05.
Sandra Basnyat, Nick Chozos, Chris Johnson, Philippe Palanque
Incident and Accident Investigation Techniques to Inform Model-Based Design of Safety-Critical Interactive Systems
In : International Workshop on Design, Specification and Verification of Interactive Systems (DSVIS 2005), Newcastle upon Tyne, England, 13/07/05-15/07/05, Rémi Bastide, Philippe Palanque, Jörg Roth (Eds.), Springer-Verlag, pp. 123-139, July 2005.
URL : http://liihs.irit.fr/basnyat/papers/BasnyatChozosJohnsonPalanqueDSVIS05.pdf
BibTeXDavid Navarre, Philippe Palanque, Rémi Bastide, Marco Antonio Winckler
What User Interface Tools are needed for Safety Critical Interactive Systems?
In : CHI 2005 Workshop : The Future of User Interface Design Tools, Portland, Oregon, USA, 04/04/05-04/04/05, Dan Olsen, Scott Klemmer (Eds.).
Abstract URL : http://hci.stanford.edu/srk/chi05-ui-tools/
BibTeXMarco Antonio Winckler, Eric Barboni, Christelle Farenc, Philippe Palanque
What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications?
In : First International Workshop on Automated Specification and Verification of Web Sites (WWV’2005), Valencia, Spain, 14/03/05-15/03/05, LNCS, pp. 33-36, March 2005.
Rémi Bastide, Xavier Lacaze, David Navarre, Philippe Palanque, Michel Galindo
Can we Rationalise the Design and Construction of Air Traffic Management Systems
In : HCI International 2005, Las Vegas, Nevada, USA, 22/07/05-27/07/05, TBD, July 2005.
Abstract URL : http://www.hci-international.org/first.asp
BibTeXRémi Bastide, Eric Barboni, Xavier Lacaze, David Navarre, Philippe Palanque, Amélie Schyn, Didier Bazalgette
Supporting Intuition through Formal Specification of the User Interface for Military Aircraft Cockpit
In : HCI International 2005, Las Vegas, Nevada, USA, 22/07/05-27/07/05, TBD, July 2005.
Abstract URL : http://www.hci-international.org/first.asp
BibTeXSandra Basnyat, David Navarre, Philippe Palanque
Complexity of Design in Safety Critical Interactive Systems:Gathering, Refining, Formalizing Multi-Type and Multi-Source Information while Ensuring Consistency, Reliability, Efficiency and Error-Tolerance
In : 2nd Workshop on Complexity in Design and Engineering, Glasgow, UK, 10/03/05-12/03/05, Chris Johnson (Eds.), GIST Technical Report G2005-1, pp. 45-58, March 2005.
Abstract URL : http://liihs.irit.fr/basnyat/papers/BasNavPalCID2005.pdf
BibTeXMourad Ould, Philippe Palanque, Amélie Schyn, Rémi Bastide, David Navarre
Multimodal and 3D Graphic Man Machine Interfaces to improve Operations
In : SpaceOps’2004 – Eighth International Conference on Space Operations, Montreal, Canada, 17/05/04-21/05/04, Canadian Space Agency, May 2004.
Rémi Bastide, David Navarre, Philippe Palanque, Amélie Schyn, Pierre Dragicevic
A Model-Based Approach for Real-Time Embedded Multimodal Systems in Military Aircrafts
In : ICMI 2004 – Sixth International Conference on Multimodal Interfaces, State College, Pen, USA, 14/10/04-15/10/04, ACM Press, pp. 243-250, October 2004.
Pierre Dragicevic, David Navarre, Philippe Palanque, Amélie Schyn, Rémi Bastide
Very-High-Fidelity Prototyping for both Presentation and Dialogue Parts of Multimodal Interactive Systems (regular paper)
In : IFIP Working Conference on Engineering for Human-Computer Interaction (jointly with the 11th International Workshop on Design, Specification and Verification of Interactive Systems) (EHCI-DSVIS 2004), Tremsbüttel Castle, Hamburg, Germany, 11/07/04-13/07/04, Rémi Bastide, Philippe Palanque, Jörg Roth (Eds.), Springer, LNCS 3425, pp. 185-206, July 2004.
David Navarre, Philippe Palanque, Rémi Bastide
A Formal Description Technique for the Behavioural Description of Interactive Applications Compliant with ARINC 661 Specification (regular paper)
In : International Conference on Human-Computer Interaction in Aeronautics (HCI’Aero 2004), Toulouse, France, 29/09/04-01/10/04, EURISCO International, (on line), September 2004.
URL : https://portail.irit.fr/partage/data/public/a040f6d7f4ff0d69.php
BibTeXMarco Antonio Winckler, Carla Freitas, Philippe Palanque
Tasks and Scenario-based Evaluation of Information Visualization Techniques
In : 3rd International Workshop on Task Models and Diagrams for User Interface Design – TAMODIA¿2004, Prague, CZ, 15/11/04-16/11/04, Pavel Slavik, Philippe Palanque, Marco Winckler (Eds.), ACM SIGCHI, pp. 165-172, November 2004.
Marco Antonio Winckler, Eric Barboni, Christelle Farenc, Philippe Palanque
SWCEditor: A Model-based Tool for interactive Modelling of Web Navigation
In : CADUI 2004 5th International Conference on Computer-Aided Design of User Interfaces, Madeira Island, Portugal, 14/01/04-16/01/04, Kluwer Academic Publisher, pp. 55-56, January 2004.
Philippe Palanque, Sandra Basnyat
Task Patterns For Taking Into Account In An Efficient And Systematic Way Both Standard And Erroneous User Behaviours
In : IFIP 13.5 Working Conference on Human Error, Safety and Systems Development (HESSD), Toulouse, France, 22/08/04-27/08/04, Chris Johnson, Philippe Palanque (Eds.), Kluwer Academic Publisher, pp. 109-130, August 2004.
Abstract URL : http://liihs.irit.fr/basnyat/papers/HESSD2004PalBasnyat.pdf
BibTeXXavier Lacaze, Philippe Palanque
Comprehensive Handling of Temporal Issues in Tasks Models: What is needed and How to Support it?
In : Workshop of The Temporal Aspects Of Work For HCI, CHI 2004.-April 24-29, 2004, Vienna, Austria, 24/04/04-29/04/04, ACM, pp. 6, April 2004.
Abstract URL : http://liihs.irit.fr/lacaze/papiers/CHI2004.pdf
BibTeXMarco Antonio Winckler, Philippe Palanque
StateWebCharts: A Formal Description Technique Dedicated to Navigation Modelling of Web Applications (regular paper)
In : Design Specification and Verification of Interactive Systems (DSV-IS 2003), Funchal, Portugal, 11/06/03-16/06/03, Springer-Verlag, pp. 61-67, 2003.
Philippe Palanque, Amélie Schyn
A Model-Based Approach for Engineering Multimodal Interactive
In : INTERACT’2003 : Ninth IFIP TC13 International Conference on Human-Computer Interaction, Zurich, Switzerland, 01/09/03-05/09/03, Matthias Rauterberg, Marino Menozzi, Janet Wesson (Eds.), IOS Press, pp. 543-550, September 2003.
Amélie Schyn, David Navarre, Philippe Palanque, Luciana Porcher Nedel
Description Formelle d¿une Technique d¿Interaction Multimodale dans une Application de Réalité Virtuelle Immersive
In : IHM’2003 : 15th French Speaking conference on human-computer interaction, Caen, France, 24/11/03-28/11/03, ACM Press, pp. 150-157, November 2003.
Rémi Bastide, Philippe Palanque
UML for Interactive Systems: What is Missing
In : INTERACT 2003 – Workshop on Software Engineering and HCI, Zürich, Switzerland, 01/09/03-03/09/03.
Abstract URL : http://liihs.irit.fr/palanque/Ps/Interact2003WS_DE_HCIvf.pdf
BibTeXLuciana Porcher Nedel, Carla Dal Sasso Freitas, Amélie Schyn, David Navarre, Philippe Palanque
Usando Modelagem Formal para Especificar Interação em Ambientes Virtuais: Por que?
In : VI Symposium on Virtual Reality, Ribeirão Preto, Brazil, 15/10/03-18/10/03, SBC – Brazilian Computer Society, pp. 81-92, October 2003.
Carla Freitas, Ricardo Cava, Marco Antonio Winckler, Philippe Palanque
Synergistic Use of Visualisation Technique and Web Navigation Model for Information Space Exploration
In : 10th International Conference on Human-Computer Interaction ¿ HCI International¿2003, Creta, GR, 22/06/03-27/06/03, Lawrence Erlbaum Associates, pp. 1091-1095, June 2003.
Philippe Palanque, Rémi Bastide, Marco Antonio Winckler
Automatic Generation of Interactive Systems: Why A Task Model is not Enough
In : HCI International¿2003 – 10th International Conference on Human-Computer Interaction, Creta, Grece, 22/06/03-27/06/03, Lawrence Erlbaum Associates, pp. 198-202, June 2003.
Marco Antonio Winckler, Philippe Palanque
A Formal Description Technique Dedicated to Navigation Modelling of Web Applications
In : International Workshop on Design, Specification and Verification of Interactive Systems – DSVIS’2003, Funchal, PT, 11/06/03-13/06/03, Joaquim A. Jorge, Nunes Jardim Nuno, Falcão e Cunha João (Eds.), LNCS, pp. 61-76, June 2003.
Eric Barboni, Rémi Bastide, Xavier Lacaze, David Navarre, Philippe Palanque
Petri Net Centered versus User Centered Petri Nets Tools
In : AWPN 2003 – 10th Workshop Algorithms and Tools for Petri Nets, Eichstätt, Germany, 26/09/03-27/09/03, —, September 2003.
Abstract URL : http://liihs.irit.fr/barboni/pub/PalanqueAWPN2003.pdf
BibTeXDavid Navarre, Philippe Palanque, Rémi Bastide
Reconciling Safety and Usability Concerns through Formal Specification-based Development Process (regular paper)
In : International Conference on Human-Computer Interaction in Aeronautics (HCI’Aero 2002), MIT, Cambridge, Massachussets, USA, 23/10/02-25/10/02, EURISCO International, pp. 23-29, October 2002.
URL : https://portail.irit.fr/partage/data/public/a9860947fd50d27e.php
BibTeXDavid Navarre, Philippe Palanque, Rémi Bastide
Model-Based Interactive Prototyping of Highly Interactive Applications
In : CADUI’2002 – 4th International Conference on Computer-Aided Design of User Interfaces, Université de Valenciennes, France, 15/05/02-17/05/02, Kluwer, May 2002.
URL : http://www.isys.ucl.ac.be/bchi/cadui/02/index.html
BibTeXRémi Bastide, Philippe Palanque, David Navarre
A Model Based Tool for Interactive Prototyping of Highly Interactive Applications
In : CHI’2002 – ACM Conference on Human Factors in Computing Systems, Minneapolis, Minnesota, USA, 20/04/02-25/04/02, ACM Press, April 2002.
Philippe Palanque, Amélie Schyn
A Generic Formal Description Technique for Fusion Mechanisms of Multimodal Interactive Systems
In : Workshop on Multimodal Resources and Multimodal Systems Evaluation, THIRD INTERNATIONAL CONFERENCE ON LANGUAGE RESOURCES AND EVALUATION, LREC2002, Las Palmas, Espagne, 01/06/02-01/06/02, ELRA, pp. 63-70, June 2002.
Marco Antonio Winckler, Christelle Farenc, Philippe 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
In : 14th Conférence Francophone sur l’Interaction Homme-Machine – IHM’2002, Potier, France, 26/11/02-29/11/02, AFIHM, pp. 153-160, November 2002.
Marco Antonio Winckler, Christelle Farenc, Philippe Palanque
Automatic Evaluation for the Web: How Improve Navigation Guidelines
In : Workshop on Automated Testing in ACM Conference on Computer-Human Interaction – CHI¿2002, Minneapolis, USA, 21/04/02-22/04/02.
Marco Antonio Winckler, Philippe Palanque, Christelle Farenc, Marcelo Pimenta
Task-Based Assessment of Web Navigation Design
In : First International Workshop in Task Models and Diagrams for User Interface Design – TAMODIA’2002, Bucarest, Romania, 18/07/02-19/07/02, ACM SIGCHI, pp. 161-169, July 2002.
Xavier Lacaze, Philippe Palanque, David Navarre, Rémi Bastide
Performance Evaluation as a Tool for Quantitative Assessment of Complexity of Interactive Systems
In : DSV-IS 2002 – 9th International Workshop, Design Specification and Verification of Interactive Systems, Rostock, Germany, 12/06/02-14/06/02, Springer, Lecture notes in Computer Science 2545, pp. 208-222, June 2002.
Abstract URL : http://liihs.irit.fr/lacaze/papiers/DSVIS2002.pdf
BibTeXXavier Lacaze, Philippe Palanque, David Navarre
Evaluation de Performance et Modèles de Tâches comme Support à la Conception Rationnelle des Systèmes Interactifs
In : 14ème conférence francophone en Interaction Homme Machine, IHM 2002, Poitiers, France, 26/11/02-29/11/02, ACM Press, pp. 17-24, November 2002.
Abstract URL : http://liihs.irit.fr/lacaze/papiers/IHM2002.pdf
BibTeXMarco Antonio Winckler, Christelle Farenc, Philippe Palanque, Rémi Bastide
Designing Navigation for Web Interfaces
In : Annual Conference of the BCS-HCI Group jointly with Annual Conference of AFIHM (IHM-HCI 2001), Lille, France, 10/09/01-14/09/01, Jean Vanderdonckt, Ann Blandford, Alain Derycke (Eds.), Cépaduès Editions, (Short paper), pp. 43-46, September 2001.
URL : http://www.bcs-hci.org.uk/ihm-hci2001/eng/welcome.htm
BibTeXDavid Navarre, Philippe Palanque, Rémi Bastide, Ousmane Sy
A Model-Based Tool for Interactive Prototyping of Highly Interactive Applications
In : RSP’01 – 12th IEEE International Workshop on Rapid System Prototyping, Monterey, California, USA, 25/06/01-27/06/01, IEEE, June 2001.
URL : http://www.computer.org/cspress/CATALOG/pr01206.htm
BibTeXDavid Navarre, Philippe Palanque, Rémi Bastide, Fabio Paternò, Carmen Santoro
A Tool Suite for Integrating Task and System Models Through Scenarios
In : DSV-IS’2001 – 8th Eurographics workshop on Design, Specification and Verification of Interactive Systems, Glasgow, Scotland, 13/06/01-15/06/01, Springer, Lecture Notes in Computer Science 2220, June 2001.
URL : http://link.springer.com/chapter/10.1007/3-540-45522-1_6
BibTeXMarco Antonio Winckler, Christelle Farenc, Philippe Palanque, Marcelo Pimenta
Avaliação da Navegação de Interfaces Web a partir de Modelos
In : IV Simpósio sobre Fatores Humanos em Sistemas Computacionais ¿ IHC¿2001, Florianopolis, BR, 14/10/01-19/10/01, SBC, October 2001.
Christelle Farenc, Philippe Palanque, Christian Bastien, Dominique L. Scapin, Marco Antonio Winckler
Towards a General Guidance and Support Tool for Usability Optimization
In : International Conference on Universal Access in Human-Computer ¿ UAHCI¿2001, New Orleans, USA, 05/08/01-10/08/01, Lawrence Erlbaum Associates, August 2001.
Marco Antonio Winckler, Marcelo Pimenta, Philippe Palanque, Christelle Farenc
Usability Evaluation Methods: What is still missing for the Web?
In : 8th International Conference on HCI International, New Orleans, USA, 05/08/01-10/08/01, Lawrence Erlbaum Associates, August 2001.
Philippe Palanque, Michel Galindo, David Navarre, Rémi Bastide, Ousmane Sy
Integrating Prototyping and Formal Methods as a means for Reconciling Usability and Safety
In : Workshop on Safety and Usability Concerns in Aeronautics – IFIP WG 13.5 – Workshop within HCI-Aero 2000, Toulouse, 27/09/00-29/09/00, European Institute of Cognitive Science and Engineering, pp. 41-47, September 2000.
Christelle Farenc, Philippe Palanque
Exploitation des notations de Design Rationale pour une conception justifiée des applications interactives. (regular paper)
In : Conférence Francophone sur l’Interaction Homme-Machine (IHM 1999), Montpellier, 22/11/99-26/11/99, Cépaduès, 1999.
Célia Martinie, Philippe Palanque, Eric Barboni
Principles of Task Analysis and Modeling: Understanding Activity, Modeling Tasks, and Analyzing Models
Jean Vanderdonckt; Philippe Palanque; Marco Winckler. Handbook of Human Computer Interaction, Springer International Publishing, pp.1-40, 2022, 978-3-319-27648-9. ⟨10.1007/978-3-319-27648-9_57-1⟩
Elodie Bouzekri, Célia Martinie, Philippe Palanque
A-RCRAFT Framework for Analysing Automation: Application to SAE J3016 Levels of Driving Automation
Cristina Olaverri-Monreal, Fernando García-Fernández, Rosaldo J. F. Rossetti. Human Factors in Intelligent Vehicles, River Publishers, 2020, 9788770222037
Philippe Palanque, Andy Cockburn, Carl Gutwin
A Classification of Faults Covering the Human-Computer Interaction Loop
Computer Safety, Reliability, and Security 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings, 12234, , pp.434-448, 2020, Lecture Notes in Computer Science book series (LNCS), ⟨10.1007/978-3-030-54549-9_29⟩
Célia Martinie, Philippe Palanque, Camille Fayollas
Performance Evaluation of Interactive Systems with Interactive Cooperative Objects Models
Antti Oulasvirta, Per Ola Kristensson, Xiaojun Bi, Andrew Howes. Computational Interaction, Oxford University Press, 2018, 9780198799610
Judy Bowen, Alan Dix, Philippe Palanque, Benjamin Weyers
Topics of Formal Methods in HCI
Weyers, Benjamin; Bowen, Judy; Dix, Alan; Palanque, Philippe. Handbook of Formal Methods in Human-Computer Interaction, Springer International Publishing, pp.57–64, 2017, Human–Computer Interaction Series book series (HCIS), 978-3-319-51837-4. ⟨10.1007/978-3-319-51838-1_2⟩
Raquel Araujo Oliveira, Philippe Palanque, Benjamin Weyers, Judy Bowen, Alan Dix
State of the Art on Formal Methods for Interactive Systems
Weyers, Benjamin; Bowen, Judy; Dix, Alan; Palanque, Philippe. The Handbook of Formal Methods in Human-Computer Interaction., 1, Springer International Publishing, pp.3–55, 2017, Human–Computer Interaction Series book series (HCIS), 978-3-319-51837-4. ⟨10.1007/978-3-319-51838-1_1⟩
Camille Fayollas, Philippe Palanque, Jean-Charles Fabre, Célia Martinie, Yannick Deleris
Dealing with Faults During Operations: Beyond Classical Use of Formal Methods
Weyers, Benjamin; Bowen, Judy; Dix, Alan; Palanque, Philippe. The Handbook of Formal Methods in Human-Computer Interaction, Springer International Publishing, pp.549–575, 2017, Human–Computer Interaction Series book series (HCIS), 978-3-319-51837-4. ⟨10.1007/978-3-319-51838-1_20⟩
Benjamin Weyers, Michael Harrison, Judy Bowen, Alan Dix, Philippe Palanque
Case Studies
Weyers, Benjamin; Bowen, Judy; Dix, Alan; Palanque, Philippe. Handbook of Formal Methods in Human-Computer Interaction, Springer International Publishing, pp.89–121, 2017, 978-3319518374
Alan Dix, Benjamin Weyers, Judy Bowen, Philippe Palanque
Trends and Gaps
Weyers, Benjamin; Bowen, Judy; Dix, Alan; Palanque, Philippe. Handbook of Formal Methods in Human-Computer Interaction, Springer International Publishing, pp.65–88, 2017, Human–Computer Interaction Series, 978-3319518374
Iñigo Aldalur, Marco Winckler, Oscar Díaz, Philippe Palanque
Web Augmentation as a Promising Technology for End User Development
Fabio Paternò; Volker Wulf. New Perspectives in End-User Development, Springer, pp.433-459, 2017, 978-3-319-60290-5. ⟨10.1007/978-3-319-60291-2_17⟩
Camille Fayollas, Célia Martinie, Philippe 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
Weyers, Benjamin; Bowen, Judy; Dix, Alan; Palanque, Philippe. The Handbook of Formal Methods in Human-Computer Interaction, Springer International Publishing, pp.465–504, 2017, Human–Computer Interaction Series book series (HCIS), 978-3-319-51837-4. ⟨10.1007/978-3-319-51838-1_17⟩
Célia Martinie, Philippe Palanque, Marco Winckler
Designing and Assessing Interactive Systems Using Task Models
Kronbauer, Arthur; Mattos, Ecivaldo; Sampaio, Andreia Libório; Boscarioli, Clodis. Book of Tutorials of the 14th Brazilian Symposium on Human Factors in Computing Systems (IHC 2015), Salvador Brazil, November 3-6, 2, Brazilian Computing Society, pp.29–58, 2015
Marco Antonio Winckler, Philippe Palanque
Models as Representations for Supporting the Development of e-Procedures
In : Models as Representations for Supporting the Development of e-Procedures. Elizabeth Buie, Dianne Murray (Eds.) , Morgan Kaufmann Publishers, 19, pp. 301-315, July 2012.
URL : http://store.elsevier.com/Usability-in-Government-Systems/isbn-9780123910639/
BibTeXPhilippe Palanque, Marco Antonio Winckler, Celia Martinie De Almeida
A Formal Model-Based Approach for Designing Interruptions-Tolerant Advanced User Interfaces
In : Model-Driven Development of Advanced User Interfaces. Heinrich Hussmann, Gerrit Meixner, Detlef Zuehlke (Eds.) , Springer, pp. 143-170, Vol. Vol. 340, Studies in Computational Intelligence, 2011.
URL : http://www.springer.com/computer/swe/book/978-3-642-14561-2
BibTeXDavid Navarre, Philippe Palanque, Celia Martinie De Almeida, Sandra Steere
Formal Description Techniques for Human-Machine Interfaces – Model-Based Approaches for the Design and Evaluation of Dependable Usable Interactive Systems
In : Handbook of Human-Machine Interaction, A Human-Centered Approach. Guy A. Boy (Eds.) , Ashgate Publishing, (on line), April 2011.
David Navarre, Philippe Palanque, Marco Antonio Winckler
Task Models and System Models as a Bridge between HCI and Sofware Engineering
In : Human-Centered Software Engineering Software Engineering Models, Patterns and Architectures for HCI. Ahmed Seffah, Jean Vanderdonckt, Michel C. Desmarais (Eds.) , Springer, pp. 357-385, Human-Computer Interaction Series, June 2009.
URL : http://www.springer.com/computer/user+interfaces/book/978-1-84800-906-6
BibTeXRegina Bernhaupt, David Navarre, Philippe Palanque, Marco Antonio Winckler
Model-Based Evaluation: A New Way to Support Usability Evaluation of Multimodal Interactive Applications
In : Maturing Usability: Quality in Software, Interaction and Quality. Effie Law, Ebba Hvannberg , Gilbert Cockton , Jean Vanderdonckt (Eds.) , Springer, pp. 96-122, Human-Computer Interaction Series, 2008.
URL : http://www.springer.com/computer/user+interfaces/book/978-1-84628-940-8
BibTeXXavier Lacaze, Philippe Palanque, Eric Barboni, Rémi Bastide, David Navarre
From DREAM to Realitiy: Specificities of Interactive Systems Development with respect to Rationale Management
In : RATIONALE MANAGEMENT IN SOFTWARE ENGINEERING. Allen H. Dutoit, Raymond McCall, Ivan Mistrik, Barbara Paech (Eds.) , Springer-Verlag, pp. 155-172, February 2007.
Rémi Bastide, David Navarre, Philippe Palanque
Tool Support for Interactive Prototyping of Safety Critical Interactive Applications
In : Encyclopedia of HCI. G. Gaoui (Eds.) , Idea Group Reference Pub, July 2005.
Xavier Lacaze, Philippe Palanque, Eric Barboni, David Navarre
Design Rationale for Increasing Profitability of Interactive Systems Development
In : Encyclopedia of Human Computer Interaction. Claude Ghaoui (Eds.) , Idea Group Reference, pp. 15, August 2005.
David Navarre, Rémi Bastide, Philippe Palanque
Notations en IHM pour une modélisation synergique des tâches et du système
In : Ingénierie cognitive – IHM et cognition. Guy Boy (Eds.) , Hermès, 2003.
URL : http://www.editions-hermes.fr/fr/cdrom2005/pages/notices/2746205710.html
BibTeX
Benjamin Weyers, Judy Bowen, Alan Dix, Philippe Palanque
The Handbook of Formal Methods in Human-Computer Interaction
Weyers, Benjamin; Bowen, Judy; Dix, Alan; Palanque, Philippe. Springer International Publishing, 2017, Human–Computer Interaction Series, 978-3319518374
Cristian Bogdan, Jan Gulliksen, Stefan Sauer, Peter Forbrig, Marco Winckler, Chris Johnson, Philippe Palanque, Regina Bernhaupt, Filip Kis
Human-Centered and Error-Resilient Systems Development
Springer International Publishing, 9856, 2016, Lecture Notes in Computer Science (LNCS), 978-3-319-44901-2. ⟨10.1007/978-3-319-44902-9⟩
Racim Fahssi, Célia Martinie, Philippe Palanque, Racim Mehdi Fahssi
HAMSTERS : un environnement d’édition et de simulation de modèles de tâches
26ème Conférence francophone sur l’Interaction Homme-Machine (IHM 2014), Oct 2014, Lille, France. pp.5-6, 2014
Jonathan Lazar, Simone D. J. Barbosa, Jan Gulliksen, Tom Mcewan, Loïc Martínez Normand, Philippe Palanque, Raquel Oliveira Prates, Janice Tsai, Marco Antonio Winckler, Wolker Wulf
Workshop on engaging the human-computer interaction community with public policymaking internationally (poster)
In : ACM International Conference on Human Factors in Computing Systems (ACM CHI 2013), Paris, 27/04/13-02/05/13, ACM Digital Library, pp. 3279-3282, May 2013.
Svetlena Tavena, Philippe Palanque, Sandra Basnyat, Marco Antonio Winckler, Effie Law
Clinical Application Design: Task Modeling with Failure in Mind (poster) (poster)
In : World Congress on Internet in Medicine (MedNet 2006), Toronto, Canada, 15/10/06-18/10/06, eHealthNews.eu, (electronic medium), 2006.
Svetlena Tavena, Philippe Palanque, Sandra Basnyat, Marco Antonio Winckler, Effie Law
Analysis of Communication Breakdowns for eHealth Systems Design.(poster) (poster)
In : Nordic Conference on eHealth and Telemedicine (NCeHT 2006), Helsinki, Finland,, 31/08/06-01/09/06, STAKES, (electronic medium), 2006.
URL : http://www.mednetcongress.org/ocs/viewabstract.php?id=245
BibTeX
Célia Martinie, David Navarre, Philippe Palanque
Exploiting Tasks Descriptions to Assess and Ensure Effectiveness during the programming of interactive Java software
Tutoriels of 10th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2018), 2018
Celia Martinie De Almeida, Philippe Palanque, José Luis Silva, David Navarre
Properties verification of interactive systems by tool-supported analysis of its formal specification
Diffusion scientifique. April 2013.
URL : http://www.irit.fr/~Celia.Martinie-De-Almeida/Technical_report_on_properties_verification_April_2013.pdf
BibTeXMichael Harrison, Philippe Palanque, David Navarre
The future of Design Specification and Verification of Safety Critical Interactive Systems. Can our systems be SURE (Safe, Usable, Reliable and Evolvable)?
Tutoriel. 2010. ACM SIGCHI Conference on Human Factors for Computing Systems (CHI 2010)
Eric Barboni, David Navarre, Philippe Palanque, Didier Bazalgette
PetShop : A Model-Based Tool for the Formal Modelling and Simulation of Interactive Safety Critical Embedded Systems. . Proceedings of HCI aero conference (Demonstration) (HCI Aero 2006), Seatle, USA, Sept. 2006.
September 2006.