Publications de Philippe PALANQUE
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⟩
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⟩
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
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⟩
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, Fayollas Camille, 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 de Almeida, 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, D. Masson, Carl Gutwin, Philippe Palanque, A. 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⟩
Andy 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⟩
Elodie Bouzekri, Alexandre Canny, Fayollas Camille, Célia Martinie de Almeida, 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⟩
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⟩
Helena M. Mentis, Cliff Lampe, Regina Bernhaupt, Anirudha Joshi, Susan R. Fussell, Susan Dray, Dan Olsen, Aaron J. Quigley, Julie Rico Williamson, Eunice Sari, Loren G. Terveen, Allison Druin, Philippe Palanque
The new SIGCHI EC’s values and strategic initiatives
Interactions, 2018, 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, Fayollas Camille, Marcelo Gonçalves, Célia Martinie de Almeida, 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⟩
Celia Martinie De Almeida, Philippe Palanque, Racim Mehdi Fahssi, Jean-Paul Blanquart, Camille Fayollas, Christel Seguin
Task Model-Based Systematic Analysis of Both System Failures and Human Errors
Dans : IEEE Transactions on Human-Machine Systems, IEEE : Institute of Electrical and Electronics Engineers, Vol. 46 N. 2, p. 243-254, avril 2016.
Camille Fayollas, Celia Martinie De Almeida, 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
Dans : i-com, de Gruyter, Berlin – Germany, Numéro spécial Model-Based Interface Engineering, Vol. 14 N. 3, p. 170-191, décembre 2015.
Sergio Firmenich, Gustavo Rossi, Marco Antonio Winckler, Philippe Palanque
An Approach for Supporting Distributed User Interface Orchestration over the Web
Dans : International Journal of Human-Computer Studies, Elsevier, Vol. 71 N. 1, p. 53-76, janvier 2014.
Accès : http://www.sciencedirect.com/science/article/pii/S1071581913001122 – https://oatao.univ-toulouse.fr/13297/
BibTeXEric Barboni, Celia Martinie De Almeida, David Navarre, Philippe Palanque, Marco Antonio Winckler
Bridging the Gap between a Behavioural Formal Description Technique and User Interface description language: Enhancing ICO with a Graphical User Interface markup language
Dans : Science of Computer Programming, Elsevier, Vol. 86, p. 3-29, juin 2014.
Résumé Accès : http://dx.doi.org/10.1016/j.scico.2013.04.001 – https://oatao.univ-toulouse.fr/12617/
BibTeXCelia Martinie De Almeida, David Navarre, Philippe Palanque
A Multi-Formalism Approach for Model-Based Dynamic Distribution of User Interfaces of Critical Interactive Systems
Dans : International Journal of Human-Computer Studies, Elsevier, Vol. 2013.08, (en ligne), septembre 2013.
Accès : 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
Dans : International Journal of Critical Computer-Based Systems, Inderscience Publishers, Numéro spécial Special Issue on Fault-Tolerant Computer Systems, Vol. 4 N. 3, p. 202-226, 2013.
Accès : 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
Dans : Elsevier’s Safety Science, Elsevier, Numéro spécial Reliability Engineering and System Safety, Vol. 96, p. 38-52, janvier 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
Dans : Transactions on Computer-Human Interaction, ACM SIGCHI, USA, Numéro spécial User Interface Description Languages for Next Generation User Interfaces, Vol. 16 N. 4, p. 1-56, novembre 2009.
Sandra Basnyat, Philippe Palanque, Bastiaan Schupp, Peter Wright
Formal socio-technical barrier modelling for safety-critical interactive systems design
Dans : Elsevier’s Safety Science, Elsevier, Vol. 45 N. 5, p. 545-565, juin 2007.
Accès : 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?
Dans : Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier, Vol. 157 N. 2, p. 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
Dans : Interacting with Computers, Elsevier, Vol. 18 N. 5, p. 910-941, 2006.
Sandra Basnyat, Nick Chozos, Philippe Palanque
Multidisciplinary perspective on accident investigation
Dans : Special edition of Elsevier’s Reliability Engineering and System Safety journal, Elsevier, Vol. 91 N. 12, p. 1502-1520, 2005.
Rémi Bastide, David Navarre, Philippe Palanque
A tool-supported design framework for safety critical interactive systems
Dans : Interacting with Computers, Elsevier, Vol. 15 N. 3, p. 309-328, juin 2003.
Accès : http://dx.doi.org/10.1016/S0953-5438(03)00011-0
BibTeX
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
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⟩
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⟩
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 TC 13 International Conference on Human-Computer Interaction (INTERACT 2021), 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 TC 13 International Conference on Human-Computer Interaction (INTERACT 2021), Aug 2021, bari, Italy. pp.39-59, ⟨10.1007/978-3-030-85623-6_5⟩
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⟩
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⟩
Sybille Caffiau, José Creissac 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⟩
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
Ismaël 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⟩
Racim Mehdi Fahssi, Celia Martinie De Almeida, Philippe Palanque
Embedding explicit representation of cyber-physical elements in task models (regular paper)
Dans : IEEE International Conference on Systems, Man and Cybernetics, Budapest, Hongrie, 09/10/16-12/10/16, IEEE Systems, Man, and Cybernetics Society, p. 1969-1974, octobre 2016.
Résumé Accès : http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=7844528 – https://oatao.univ-toulouse.fr/18941/
BibTeXRegina Bernhaupt, Philippe Palanque, François Manciet, Celia Martinie De Almeida
User-Test Results Injection into Task-Based Design Process for the Assessment and Improvement of Both Usability and User Experience (regular paper)
Dans : International Working Conference on Human-Centred Software Engineering International Working Conference on Human Error, Safety, and System Development (HCSE+HESSD 2016), Stockholm, Sweden, 29/08/16-31/08/16, Vol. 9856, Cristian Bogdan, Jan Gulliksen, Stefan Sauer, Peter Forbrig, Marco Winckler (Eds.), Springer, 0302-9743, p. 56-72, août 2016.
Résumé Accès : http://link.springer.com/chapter/10.1007/978-3-319-44902-9_5
BibTeXCamille Fayollas, Celia Martinie De Almeida, Philippe Palanque, Eric Barboni, Yannick Deleris
What Can Be Learnt from Engineering Safety Critical Partly-Autonomous Systems when Engineering Recommender Systems (regular paper)
Dans : EncWorkshop on Engineering Computer-Human Interaction in Recommender Systems (EnCHIReS 2016), Bruxelles, Belgique, 21/06/16, CEUR-WS : Workshop proceedings, (en ligne), 2016.
Résumé Accès : http://ceur-ws.org/Vol-1705/03-paper.pdf – https://oatao.univ-toulouse.fr/24687/
BibTeXDorrit Billman, Camille Fayollas, Michael Feary, Celia Martinie De Almeida, Philippe Palanque
Complementary Tools and Techniques for Supporting Fitness-for-Purpose of Interactive Critical Systems (regular paper)
Dans : International Working Conference on Human-Centred Software Engineering International Working Conference on Human Error, Safety, and System Development (HCSE+HESSD 2016), Stockholm, Suède, 29/08/16-31/08/16, Springer, (en ligne), 2016.
Résumé Accès : https://doi.org/10.1007/978-3-319-44902-9_12 – https://oatao.univ-toulouse.fr/24686/
BibTeXCamille 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 (regular paper)
Dans : International Conference on Human-Computer Interaction in Aeronautics (HCI’Aero 2016), Paris, France, 14/09/16-16/09/16, ACM Digital Library, (en ligne), 2016.
Résumé Accès : https://doi.org/10.1145/2950112.2964578 – https://oatao.univ-toulouse.fr/24685/
BibTeXMichael Feary, Celia Martinie De Almeida, Philippe Palanque, Manfred Tscheligi
Multiple Views on Safety-Critical Automation: Aircrafts, Autonomous Vehicles, Air Traffic Management and Satellite Ground Segments Perspectives (short paper)
Dans : ACM International Conference on Human Factors in Computing Systems (ACM CHI 2016), San José, USA, 07/05/16-12/05/16, ACM Digital Library, (en ligne), mai 2016.
Accès : http://dl.acm.org/citation.cfm?id=2886430&CFID=637165741&CFTOKEN=31278608 – https://oatao.univ-toulouse.fr/17081/
BibTeXPhilippe Palanque, Celia Martinie De Almeida
Designing and Assessing Interactive Systems Using Task Models (short paper)
Dans : ACM International Conference on Human Factors in Computing Systems (ACM CHI 2016), San José, USA, 07/05/16-12/05/16, ACM Digital Library, (en ligne), mai 2016.
Accès : http://dl.acm.org/citation.cfm?id=2856686&CFID=637165741&CFTOKEN=31278608 – https://oatao.univ-toulouse.fr/17080/
BibTeXJosé Creissac Campos, Camille Fayollas, Celia Martinie De Almeida, David Navarre, Philippe Palanque, Miguel Pinto
Systematic automation of scenario-based testing of user interfaces (regular paper)
Dans : ACM Special Interest Group on Computer-Human Interaction – Conference Engineering Interactive Computing Systems (SIGCHI – EICS 2016), Bruxelles, Belgique, 21/06/16-24/06/16, ACM Digital Library, p. 138-148, 2016.
Accès : http://dx.doi.org/10.1145/2933242.2948735 – https://oatao.univ-toulouse.fr/17072/
BibTeXCamille Fayollas, Celia Martinie De Almeida, David Navarre, Philippe Palanque
Engineering mixed-criticality interactive applications (regular paper)
Dans : ACM Special Interest Group on Computer-Human Interaction – Conference Engineering Interactive Computing Systems (SIGCHI – EICS 2016), Bruxelles, Belgique, 21/06/16-24/06/16, ACM Digital Library, p. 108-119, 2016.
Accès : http://dx.doi.org/10.1145/2933242.2933258 – https://oatao.univ-toulouse.fr/17071/
BibTeXCamille Fayollas, Celia Martinie De Almeida, Philippe Palanque, Racim Mehdi Fahssi
Task Models for Supporting Function Allocation between Operators and Autonomous Systems: Application to Collision Avoidance Operations for Spacecraft (regular paper)
Dans : AAAI 2015 Spring Symposium on Intelligent systems for supporting distributed human teamwork, Stanford CA, USA, 21/03/16-23/03/16, AAAI Press, (support électronique), 2016.
Résumé Accès : https://portail.irit.fr/partage/data/public/f18f4ba5732c145f.php – https://oatao.univ-toulouse.fr/24684/
BibTeXEngineering 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?
Dans : 7th Indian Conference on Human-Computer Interaction (INDIA HCI 2015), Mumbay, 17/12/15-20/12/15.
Philippe Palanque, Racim Mehdi Fahssi, Celia Martinie De Almeida, Marco Antonio Winckler, Michel Galindo
Retour d’expérience sur l’enseignement de la modélisation des taches au Master Interaction Homme-Machine de Toulouse
Dans : GT Modèles de Tâches – IHM 2015, Toulouse, 27/10/15-30/10/15.
Celia Martinie De Almeida, Philippe Palanque
Modeling and Analysis of Human Error Based on Tasks Descriptions: Connecting Research Knowledge with Practice
Dans : Human Dependability Workshop (HUDEP 2015), ESA/ESOC, Darmstadt, Germany, 06/10/15-07/10/15.
Regina Bernhaupt, Martin Cronel, François Manciet, Celia Martinie De Almeida, Philippe Palanque
Transparent Automation for Assessing and Designing better Interactions between Operators and Partly-Autonomous Interactive Systems (regular paper)
Dans : International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS 2015), Toulouse, 30/09/15-02/10/15, ACM Digital Library, (en ligne), décembre 2015.
Accès : http://dl.acm.org/ – https://oatao.univ-toulouse.fr/16929/
BibTeXCelia Martinie De Almeida, Philippe Palanque, Marco Antonio Winckler, Regina Bernhaupt
AUTOM AT ICS: Research activities on Automation (short paper)
Dans : International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS 2015), Toulouse, 30/09/15-02/10/15, ACM Digital Library, (en ligne), décembre 2015.
Accès : http://dl.acm.org/ – https://oatao.univ-toulouse.fr/16928/
BibTeXMartina Ragosta, Celia Martinie De Almeida, Philippe Palanque, David Navarre, Mark-Alexander Sujan
Concept Maps as a Glue for Integrating Modeling Techniques for the Analysis and Re-Design of Partly-Autonomous Interactive Systems (regular paper)
Dans : International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS 2015), Toulouse, 30/09/15-02/10/15, ACM Digital Library, (en ligne), décembre 2015.
Accès : http://dl.acm.org/ – https://oatao.univ-toulouse.fr/16927/
BibTeXPhilippe Palanque, Celia Martinie De Almeida
Designing and Assessing Interactive Systems Using Task Models (short paper)
Dans : International Conference on Human-Computer Interaction (HCI 2015), Seoul, Korea, 18/04/15-23/04/15, ACM : Association for Computing Machinery, p. 2465-2466, 2015.
Benjamin Weyers, Judy Bowen, Alan Dix, Philippe Palanque
Workshop on formal methods in human computer interaction (short paper)
Dans : ACM Special Interest Group on Computer-Human Interaction – Conference Engineering Interactive Computing Systems (SIGCHI – EICS 2015), Duisburg, Germany, 23/06/15-26/06/15, ACM : Association for Computing Machinery, p. 294-295, 2015.
Chris Johnson, Michael Feary, Celia Martinie De Almeida, Philippe Palanque, Regina Peldszus
IFIP WG 13.5 Workshop on Resilience, Reliability, Safety and Human Error in System Development (short paper)
Dans : IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT 2015), Bamberg, Germany, 14/09/15-18/09/15, Springer, p. 663-664, 2015.
Accès : http://dx.doi.org/10.1007/978-3-319-22723-8_91
BibTeXJan Gulliksen, Simone D. J. Barbosa, Anirudha Joshi, Shaun W. Lawson, Philippe Palanque
Role of Conferences in Shaping the Field of HCI (short paper)
Dans : IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT 2015), Bamberg, Germany, 14/09/15-18/09/15, Springer, p. 637-639, 2015.
Accès : http://dx.doi.org/10.1007/978-3-319-22723-8_81
BibTeXArnaud Hamon, Philippe Palanque, Martin Cronel
Dependable multi-touch interactions in safety critical industrial contexts: Application to aeronautics (regular paper)
Dans : IEEE International Conference on Industrial Informatics (INDIN 2015), Cambridge, UK, 22/07/15-24/07/15, IEEE : Institute of Electrical and Electronics Engineers, p. 980-987, 2015.
Camille Fayollas, Celia Martinie De Almeida, Philippe Palanque, Racim Mehdi Fahssi
Accounting for Organisational faults in Task Model Based Systematic Analysis of System Failures and Human Errors (regular paper)
Dans : IFIP WG 13.5 Workshop on Resilience, Reliability, Safety and Human Error in System Development, Bamberg, Germany, 14/09/15, University of Bamberg Press, p. 101-116, 2015.
Eric Barboni, Arnaud Hamon, Celia Martinie De Almeida, Philippe Palanque
A User-Centered View on Formal Methods: Interactive Support for Validation and Verification (regular paper)
Dans : Workshop on Formal Methods in Human Computer Interaction (FoMHCI 2015), Duisburg, Germany, 23/06/15-23/06/15, RWTH Aachen University, p. 24-29, juin 2015.
Accès : https://publications.rwth-aachen.de/record/479353/files/FoMHCI2015proceedings.pdf – https://oatao.univ-toulouse.fr/15405/
BibTeXCamille Fayollas, Celia Martinie De Almeida, Philippe Palanque, Yannick Deleris
Beyond Formal Methods for Critical Interactive Systems: Dealing with Faults at Runtime (regular paper)
Dans : Workshop on Formal Methods in Human Computer Interaction (FoMHCI 2015), Duisburg, Germany, 23/06/15-23/06/15, RWTH Aachen University, p. 19-23, juin 2015.
Accès : https://publications.rwth-aachen.de/record/479353/files/FoMHCI2015proceedings.pdf – https://oatao.univ-toulouse.fr/15399/
BibTeXMarco Antonio Winckler, Carla Freitas, Philippe Palanque, Ricardo Cava, Eric Barboni
Usability aspects of the inside-in approach for ancillary search tasks on the web (regular paper)
Dans : IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT 2015), Bamberg, Germany, 14/09/15-18/09/15, Vol. 9297, Julio Abascal, Simone Barbosa, Philippe Palanque, Tom Gross, Marco Winckler (Eds.), Springer, LNCS, p. 207-226, 2015.
Racim Mehdi Fahssi, Celia Martinie De Almeida, Philippe Palanque
Enhanced Task Modelling for Systematic Identification and Explicit Representation of Human Errors (regular paper)
Dans : IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT 2015), Bamberg, 14/09/15-18/09/15, Springer-Verlag, (support électronique), septembre 2015.
Celia Martinie De Almeida, David Navarre, Philippe Palanque, Camille Fayollas
A Generic Tool-Supported Framework for Coupling Task Models and Interactive Applications (regular paper)
Dans : ACM Special Interest Group on Computer-Human Interaction – Conference Engineering Interactive Computing Systems (SIGCHI – EICS 2015), Duisburg, 23/06/15-26/06/15, ACM Press, (support électronique), juin 2015.
Philippe Palanque, Celia Martinie De Almeida
Designing and Assessing Interactive Systems Using Task Models (short paper)
Dans : Conference on Human Factors in Computing Systems – Special Interest Group on Computer-Human Interaction (CHI – SIGCHI 2015), Seoul, Korea, 18/04/15-23/04/15, ACM Press, (support électronique), avril 2015.
Celia Martinie De Almeida, Philippe Palanque
Design, Development and Evaluation Challenges for Future Mobile User Interfaces in Safety-Critical Contexts (short paper)
Dans : Workshop on Future Mobile User Interfaces. 13th International Conference on Mobile Systems, Applications and Services, Florence, Italie, 18/05/15-22/05/15, ACM Press, (support électronique), mai 2015.
Camille Fayollas, Celia Martinie De Almeida, David Navarre, Philippe Palanque, Racim Mehdi Fahssi
Fault-Tolerant User Interfaces for Critical Systems: Duplication, Redundancy and Diversity as New Dimensions of Distributed User Interfaces (regular paper)
Dans : Workshop on Distributed User Interfaces (DUI 2014), Toulouse, France, 01/07/14, ACM : Association for Computing Machinery, (en ligne), 2014.
Accès : http://dui.uclm.es/2014/submissions/Fault-Tolerant%20User%20Interfaces%20for%20Critical%20Systems.pdf
BibTeXCamille Fayollas, Philippe Palanque, Jean-Charles Fabre, David Navarre, Eric Barboni, Martin Cronel, Yannick Deleris
A fault-tolerant architecture for resilient interactive systems (regular paper)
Dans : Conférence Francophone sur l’Interaction Homme-Machine (IHM 2014), Lille, France, 28/10/14-31/10/14, ACM : Association for Computing Machinery, p. 80-90, 2014.
Accès : http://dl.acm.org/citation.cfm?doid=2670444.2670462
BibTeXCamille 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 (regular paper)
Dans : Pacific Rim International Symposium on Dependable Computing (PRDC 2014), Singapore, 18/11/14-21/11/14, IEEE : Institute of Electrical and Electronics Engineers, p. 21-30, 2014.
Ricardo Cava, Carla Freitas, Eric Barboni, Philippe Palanque, Marco Antonio Winckler
Inside-In Search: An Alternative for Performing Ancillary Search Tasks on the Web (regular paper)
Dans : Latin American Web Congress (LA-WEB 2014), Ouro Preto, Brazil, 22/10/14-24/10/14, Jussara Almeida, Alvaro Pereira, Ricardo Baeza-Yates, Fabricio Benevenuto (Eds.), IEEE : Institute of Electrical and Electronics Engineers, p. 91-99, octobre 2014.
Racim Mehdi Fahssi, Celia Martinie De Almeida, Philippe Palanque
HAMSTERS : un environnement dédition et de simulation de modèles de tâches (Démo) (poster)
Dans : Conférence Francophone sur l’Interaction Homme-Machine (IHM 2014), Lille, 28/10/14-31/10/14, ACM Digital Library, (en ligne), octobre 2014.
Accès : http://dl.acm.org/ – https://oatao.univ-toulouse.fr/13231/
BibTeXPeter Forbrig, Celia Martinie De Almeida, Philippe Palanque, Marco Antonio Winckler, Racim Mehdi Fahssi
Rapid Task-Models Development Using Sub-models, Sub-routines and Generic Components (regular paper)
Dans : Human-Centered Software Engineering (HCSE 2014), Paderborn, 16/09/14-18/09/14, Springer, p. 144-163, septembre 2014.
Accès : http://www.springer.com/computer/swe/book/978-3-662-44810-6 – https://oatao.univ-toulouse.fr/13230/
BibTeXArnaud Hamon, Philippe Palanque, Martin Cronel, Raphaël André, Eric Barboni, David Navarre
Formal Modelling of Dynamic Instantiation of Input Devices and Interaction Techniques: Application to Multi-Touch Interactions (short paper)
Dans : ACM Special Interest Group on Computer-Human Interaction – Conference Engineering Interactive Computing Systems (SIGCHI – EICS 2014), Roma, 17/06/14-20/06/14, ACM : Association for Computing Machinery, p. 173-178, juin 2014.
Celia Martinie De Almeida, Eric Barboni, David Navarre, Philippe Palanque, Racim Mehdi Fahssi, Erwann Poupart, Eliane Cubero-Castan
Multi-Models-Based Engineering of Collaborative Systems: Application to Collision Avoidance Operations for Spacecrafts (regular paper)
Dans : ACM Special Interest Group on Computer-Human Interaction – Conference Engineering Interactive Computing Systems (SIGCHI – EICS 2014), Roma, Italy, 17/06/14-20/06/14, ACM Digital Library, (en ligne), juin 2014.
Accès : http://dl.acm.org/ – https://oatao.univ-toulouse.fr/13035/
BibTeXCamille Fayollas, Celia Martinie De Almeida, Philippe Palanque, Yannick Deleris, Jean-Charles Fabre, David Navarre
An approach for assessing the impact of dependability on usability: application to interactive cockpits. (regular paper)
Dans : European Dependable Computing Conference (EDCC 2014), Newcastle upon Tyne, UK, 13/05/14-16/05/14, IEEE : Institute of Electrical and Electronics Engineers, p. 198-209, mai 2014.
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 (regular paper)
Dans : European Conference on Embedded Real Time Software and Systems (ERTS 2014), Toulouse, France, 05/02/14-07/02/14, ERTS : Embedded Real Time Sofware and Systems, (en ligne), 2014.
Accès : http://www.erts2014.org/Site/0R4UXE94/Fichier/erts2014_6C1.pdf
BibTeXCelia Martinie De Almeida, Philippe Palanque
Fine Grain Modeling of Task Deviations for Assessing Qualitatively the Impact of Both System Failures and Human Error on Operator Performance (regular paper)
Dans : AAAI 2014 Symposium on Formal Verification on Human-Machine Systems, Stanford University, Palo Alto, 24/03/14-26/03/14, AAAI Press, (support électronique), 2014.
Romuald Deshayes, Tom Mens, Philippe Palanque
PetriNect: A tool for executable modeling of gestural interaction (short paper)
Dans : 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, p. 197-198, 2013.
Romuald Deshayes, Philippe Palanque, Tom Mens
A generic framework for executable gestural interaction models (short paper)
Dans : 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, p. 35-38, 2013.
Jean-Paul Blanquart, Christel Seguin, Philippe Palanque
System Level Integrated Failure Analysis
Dans : HUDEP, Oberpfaffenhofen, 13/11/13-14/11/13.
Accès : 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
Dans : HUDEP, Oberpfaffenhofen, Allemagne, 13/11/13-14/11/13.
Accès : 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)
Dans : SESAR Innovation Days, Stockholm, Suède, 26/11/13-28/11/13, SESAR Work Package E, (en ligne), novembre 2013.
Accès : 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)
Dans : IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT 2013), Las Vegas, Nevada, Etats-Unis, 21/07/13-26/07/13, Springer, LNCS, p. 290-299, juillet 2013.
Arnaud Hamon, Philippe Palanque, José Luis Silva, Yannick Deleris, Eric Barboni
Formal description of multi-touch interactions (regular paper)
Dans : 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, p. 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)
Dans : European Conference on Cognitive Ergonomics (ECCE 2013), Toulouse, France, 26/08/13-28/08/13, ACM : Association for Computing Machinery, ECCE ’13 23, p. 1-10, octobre 2013.
Accès : 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)
Dans : International Workshop on Formal Methods for Interactive Systems (FMIS 2013), London, 24/06/13, Electronic Communications of the EASST, (support électronique), juin 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)
Dans : 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, p. 216-227, septembre 2013.
Accès : 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)
Dans : 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, p. 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)
Dans : Simposio Brasileiro de Fatores Humanos em Sistemas Computacionais (IHC 2013), Manaus, Brazil, 08/10/13-10/10/13, Sociedade Brasileira de Computação (SBC), p. 148-157, octobre 2013.
Peter Forbrig, Michael Zaki, Philippe Palanque, Marco Antonio Winckler
Supportive User Interfaces and Task Migratability in Smart Environments (regular paper)
Dans : Workshop on Distributed User Interfaces (DUI 2013), London, UK, 24/06/13, University of Castilla – La Mancha, p. 42-45, juin 2013.
Accès : 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)
Dans : ACM International Conference on Human Factors in Computing Systems (ACM CHI 2013), Paris, 27/04/13-02/05/13, ACM Digital Library, p. 3279-3282, mai 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)
Dans : 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, p. 51-60, août 2013.
The Need for Synchronous Communication to Enhance Collaboration and Cooperation between Industry and Academia
Dans : 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 (conférencier invité).
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)
Dans : SESAR Innovation Days, Braunschweig, 27/11/12-29/11/12, Eurocontrol, (en ligne), décembre 2012.
Accès : http://www.sesarinnovationdays.eu/2012/papers
BibTeXCamille Fayollas, Jean-Charles Fabre, David Navarre, Philippe Palanque, Yannick Deleris
Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approach (regular paper)
Dans : Software Engineering for Resilient Systems (SERENE 2012), Pisa, Italy, 27/09/12-28/09/12, Paris Avgeriou (Eds.), Springer-Verlag, p. 32-46, septembre 2012.
Accès : 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)
Dans : 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, (en ligne), septembre 2012.
Accès : 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)
Dans : Conférence Francophone sur l’Interaction Homme-Machine (IHM 2012), Biarritz, 17/10/12-19/10/12, ACM Digital Library, (en ligne), octobre 2012.
Accès : 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)
Dans : International Conference on Human-Computer Interaction in Aeronautics (HCI’Aero 2012), Brussels, 12/09/12-14/09/12, ACM Digital Library, (en ligne), septembre 2012.
Accès : 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)
Dans : Human-Centered Software Engineering (HCSE 2012), Toulouse, 29/10/12-31/10/12, Winckler Marco, Forbrig Peter , Bernhaupt Regina (Eds.), Springer, LNCS 7623, p. 112-134, octobre 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)
Dans : Human-Centered Software Engineering (HCSE 2012), Toulouse, France, 29/10/12-31/10/12, Marco Winckler, Peter Forbrig, Regina Bernhaupt (Eds.), Springer, LNCS 7623, p. 53-71, octobre 2012.
Marco Antonio Winckler, Philippe Palanque, David Navarre
Challenges for Master Programs on Human-Computer Interaction (HCI): experience report of the M2IHM
Dans : Workshop on HCI: Web and Graphics Curricula at WWW 2012, Lyon, France, 16/04/12-16/04/12.
Accès : http://www.lirmm.fr/nuance/Papers/HWG_002.pdf
BibTeXDavid Navarre, Philippe Palanque
Position Paper: Modelling Interactive Critical Systems using Interactive Cooperative Objects Formalism (regular paper)
Dans : 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, (support électronique), 2012.
Task Models as a Central Artifact for Designing, Building and Operating Safe, Usable and Reliable Interactive and (partly-)Autonomous Applications (regular paper)
Dans : European Conference on Cognitive Ergonomics (ECCE 2012), Edinbugrh, Scotland, 28/08/12-31/08/12 (conférencier invité), ACM : Association for Computing Machinery, (support électronique), 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)
Dans : Workshop on Human Factors for Intellignet Vehicles (HFIV 2012), Madrid, Spain, 03/06/12-07/06/12 (conférencier invité), (support électronique), 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)
Dans : European Congress on Embedded Real-Time Software (ERTS 2012), Toulouse, France, 01/02/12-03/02/12, ERTS : Embedded Real Time Sofware and Systems, (support électronique), février 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)
Dans : International Conference on Human-Computer Interaction in Aeronautics (HCI’Aero 2012), Brussels, 12/09/12-14/09/12, ACM Digital Library, (en ligne), 2012.
Accès : https://portail.irit.fr/partage/data/public/bd25d6e90fd48885.php
BibTeXThomas Mirlacher, Philippe Palanque, Regina Bernhaupt
Engineering Animations in User Interfaces (regular paper)
Dans : 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, p. 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)
Dans : 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, p. 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)
Dans : 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, (support électronique), 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)
Dans : International Conference on Space Operations (SpaceOps 2012), Stockholm, Sweden, 11/06/12-15/06/12, American Institute of Aeronautics and Astronautics (AIAA), (support électronique), 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)
Dans : Safety and Reliability for managing Risk (ESREL 2012), Helsinki, Finland, 25/06/12-29/06/12, Taylor & Francis Group, p. 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
Dans : 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)
Dans : The First SESAR Innovation Days, Toulouse, France, 29/11/11-01/12/11, SESAR Work Package E, (en ligne), 2012.
Résumé Accès : 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)
Dans : 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, p. 164-173, 2011.
Accès : 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)
Dans : 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, (support électronique), 2011.
Celia Martinie De Almeida, Philippe Palanque
A Multi-Models Based Development Process for Critical Interactive Systems Integrating Formal and Informal Approaches
Dans : 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
Dans : 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)
Dans : IEEE International Conference on Systems, Man and Cybernetics, Anchorage, 09/10/11-12/10/11, IEEE Computer Society – Conference Publishing Services, p. 3267-3273, octobre 2011.
Celia Martinie De Almeida, Philippe Palanque, Marco Antonio Winckler
Structuring and Composition Mechanisms to Address Scalability Issues in Task Models (regular paper)
Dans : IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT 2011), Lisboa, 05/09/11-09/09/11, Springer-Verlag, p. 134-152, 2011.
Adrienne Tankeu Choitat, Jean-Charles Fabre, Philippe Palanque, David Navarre, Yannick Deleris
Self-Checking Widgets for Interactive Cockpits (regular paper)
Dans : European Workshop on Dependable Computing, Pisa, 05/05/11-07/05/11, ACM Digital Library, p. 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)
Dans : 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, p. 23-30, 2011.
Philippe Palanque, Regina Bernhaupt, Marco Antonio Winckler
Usability Evaluation: Commonalities and Discrepancies in Games and Safety Critical Systems (regular paper)
Dans : 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, p. 45-53, 2011.
Accès : 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)
Dans : International Conference on Human-Computer Interaction (HCI 2011), Vancouver, 07/05/11-12/05/11, ACM Digital Library, p. 1345-1349, mai 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)
Dans : International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS 2011), Barcelone, 26/05/11-27/05/11, IRIT Press, (support électronique), 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)
Dans : 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, p. 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)
Dans : 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, p. 589-609, juin 2011.
Défis pour les Approches Formelles pour lIngénierie des Systèmes Interactifs (regular paper)
Dans : Journées Francophones MODÈLES FORMELS de l’INTERACTION (MFI 2009), Lanion, 03/06/09-05/06/09 (conférencier invité), p. 5-9, 2010.
Designing Interactive Systems neither Interaction nor Interfaces (regular paper)
Dans : Congreso Internacional de Interaccion Persona-Ordenador, Valencia, 07/09/10-10/09/10 (conférencier invité), ACM Digital Library, p. 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)
Dans : International Conference on Human-Computer Interaction in Aeronautics (HCI’Aero 2010), Floride, USA, 03/11/10-05/11/10, ACM Digital Library, p. 120-130, novembre 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)
Dans : , Luxembourg, 20/09/10-23/09/10, ACM Digital Library, p. 81-88, septembre 2010.
Marco Antonio Winckler, Philippe Palanque
Desafios para Programas de Mestrado em Interação Humano-Computador (IHC): a experiência do M2IHM (short paper)
Dans : 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, p. 71-74, octobre 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)
Dans : 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, p. 73-80, septembre 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)
Dans : 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, p. 29-32, juillet 2010.
Résumé Accès : 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)
Dans : 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, p. 21-24, juillet 2010.
Résumé Accès : 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)
Dans : Safety and Reliability for managing Risk (ESREL 2010), Rhodes Grece, 05/09/10-09/09/10, Taylor & Francis Group, p. 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)
Dans : 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, p. 143-152, 2010.
Philippe Palanque, David Navarre
Beyond bi-polinisation: embedding Safety Engineering and Reliability Engineering along with Usability and Software Engineering
Dans : 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)
Dans : Conférence Francophone sur l’Interaction Homme-Machine (IHM 2009), Grenoble, 13/08/09-16/08/09, ACM Digital Library, p. 141-150, octobre 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)
Dans : 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, p. 135-142, novembre 2009.
Denis Lalanne, Laurence Nigay, Philippe Palanque, Peter Robinson, J. Vanderdonckt
Fusion Engines for Multimodal Interfaces: a survey (regular paper)
Dans : 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, p. 111-118, novembre 2009.
Eugenio Alberdi, Lorenzo Strigini, Kieran Leach, Peter Ryan, Philippe Palanque, Marco Antonio Winckler
Gaining assurance in a voter-verifiable voting system
Dans : International Conference on Dependability (DEPEND 2009), Athens/Vouliagmeni, Greece, 18/06/09-23/06/09, IEEE Computer Society, DOI 10.1109/DEPEND.2009.2, p. 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)
Dans : 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, p. 211-220, juillet 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)
Dans : 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, p. 494-509, août 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
Dans : 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), p. 281-296, mars 2009.
Sandra Steere, Erwann Poupart, Philippe Palanque
An operator-centered, model-based framework for ground segment design, supporting training and operations
Dans : Ground System Architectures Workshop (GSAW 2009), Torrance, California, 23/03/09-26/03/09, The Aerospace Corporation, (support électronique), mars 2009.
Philippe Palanque, Jean-François Ladry, David Navarre, Eric Barboni
High-Fidelity Prototyping of Interactive Systems can be Formal too
Dans : HCI International, San Diego, CA, USA, 19/07/09-24/07/09, Springer-Verlag, p. 21-30, juillet 2009.
Giorgio Faconti, Michael Harrison, Mieke Massink, Philippe Palanque
The FAERUS Project: Formal Analysis of Evolving Resilient Usable Systems
Dans : European Dependable Computing Conference (EDCC 2008), Kaunaas, Lithuania, 07/05/08-09/05/08, IEEE Computer Society, p. 0-0, mai 2008.
Philippe Palanque, Marco Antonio Winckler, Regina Bernhaupt, Eugenio Alberdi, Lorenzo Strigini
AROVE-v: Assessing the resilience of open verifiable E-voting systems.
Dans : 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, (support électronique), mai 2008.
Sandra Basnyat, David Navarre, Philippe Palanque
Usability Service Continuation through Reconfiguration of Input and Output Devices in Safety Critical Interactive Systems.
Dans : International Conference on Computer Safety, Reliability and Security (SAFECOMP 2008), Newscastle, UK, 22/09/08-25/09/08, Vol. LNCS, Springer-Verlag, p. 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
Dans : International Conference on Space Operations (SpaceOps 2008), Heidelberg, Germany, 12/05/08-16/05/08, American Institute of Aeronautics and Astronautics (AIAA), (support électronique), 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
Dans : Design Specification and Verification of Interactive Systems (DSV-IS 2008), Kingston, Ontario, Canada., 16/07/08-18/07/08, Vol. LNCS, Springer-Verlag, p. 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)?
Dans : 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, p. 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.
Dans : 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, (en ligne), 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.
Dans : AIAA International Conference on Space Operations (SpaceOps 2008), Heidelberg, Germany., 12/05/08-16/05/08, American Institute of Aeronautics and Astronautics (AIAA), p. 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
Dans : Safety and Reliability for managing Risk (ESREL 2008), Valencia, Spain., 22/09/08-25/09/08, Taylor & Francis Group, p. 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)
Dans : IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT 2007), Rio de Janeiro, Brazil, 10/09/07-14/09/07, Springer-Verlag, p. 525-540, 2007.
Regina Bernhaupt, Philippe Palanque, Marco Antonio Winckler, David Navarre
Usability Study of Multi-Modal Interfaces using Eye-Tracking
Dans : 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, p. 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.
Dans : 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, p. 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.
Dans : IET International Conference on System Safety, Savoy Place, London UK, 22/10/08-24/10/08, IEEE : Institute of Electrical and Electronics Engineers, p. 0-0, 2007.
Stéphane Conversy, Eric Barboni, David Navarre, Philippe Palanque
Improving modularity of interactive software with the MDPC architecture
Dans : Engineering Interactive Systems (EHCI-HCSE-DSVIS 2007), Salamanca, Spain, 22/03/07-24/03/07, Springer-Verlag, p. 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
Dans : TAsk MOdels DIAgrams for UI design (TAMODIA 2007), Toulouse, France, 07/11/07-09/11/07, Springer-Verlag, p. 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.
Dans : 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, p. 250-257, 2007.
Philippe Palanque, Sandra Basnyat, David Navarre
Improving Interactive Systems Usability using Formal Description Techniques: Application to HealthCare
Dans : 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, p. 21-40, novembre 2007.
Philippe Palanque, Regina Bernhaupt, Ron Boring, Chris Johnson
Testing Interactive Software: a Challenge for Usability and Reliability (regular paper)
Dans : 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, p. 748-751, avril 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.
Dans : International Conference on Space Operations (SpaceOps 2006), Rome, Italy, 18/06/06-22/06/06, American Institute of Aeronautics and Astronautics (AIAA), p. 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
Dans : Design Specification and Verification of Interactive Systems (DSV-IS 2006), Dublin, Ireland, 26/07/06-28/07/06, Springer-Verlag, LNCS, p. 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)
Dans : World Congress on Internet in Medicine (MedNet 2006), Toronto, Canada, 15/10/06-18/10/06, eHealthNews.eu, (support électronique), 2006.
Svetlena Tavena, Philippe Palanque, Sandra Basnyat, Marco Antonio Winckler, Effie Law
Analysis of Communication Breakdowns for eHealth Systems Design.(poster) (poster)
Dans : Nordic Conference on eHealth and Telemedicine (NCeHT 2006), Helsinki, Finland,, 31/08/06-01/09/06, STAKES, (support électronique), 2006.
Accès : 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
Dans : Safety and Reliability for managing Risk (ESREL 2006), Estoril, Portugal, 18/09/06-22/09/06, Taylor & Francis Group, p. 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)
Dans : International Conference on Human-Computer Interaction in Aeronautics (HCI’Aero 2006), Seattle, USA, 20/09/06-22/09/06, Cépaduès, (en ligne), 2006.
Accès : 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
Dans : 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), (support électronique), mars 2006.
Sandra Basnyat, Philippe Palanque
A Task Pattern Approach to Incorporate User Deviation in Task Models.
Dans : Proceedings of the first ADVISES Young Researchers Workshop, Liege, Belgium, 04/01/05-07/01/05, H.K Hans, Nayebkheil Asmatullah (Eds.).
Accès : http://www.risoe.dk/rispubl/SYS/ris-r-1516.htm
BibTeXGilbert Cockton, Ebba Hvannberg, Effie Law, J. Vanderdonckt, Philippe Palanque
COST 294: A Usability Research Community
Dans : Interact 2005, Roma, Italy, 12/09/05-16/09/05, Lecture Notes in Computer Science, Springer Verlag, p. 1012-1015, septembre 2005.
Effie Law, Ebba Hvannberg, J. Vanderdonckt, Dominique L. Scapin, Philippe Palanque
Towards the Maturation of IT Usability Evaluation (MAUSE)
Dans : Interact 2005, Roma, Italy, 12/09/05-16/09/05, Lecture Notes in Computer Science, Springer Verlag, p. 1134-1137, septembre 2005.
Effie Law, Ebba Hvannberg, J. Vanderdonckt, Dominique L. Scapin, Philippe Palanque
MAUSE: Network of Usability Excellence
Dans : BCS HCI 2005, Edinburgh, Scotland, 05/09/05-09/09/05, Springer Verlag, p. 283-286, septembre 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
Dans : 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, p. 170-183, septembre 2005.
Sandra Basnyat, Nick Chozos, Chris Johnson, Philippe Palanque
Redesigning an Interactive Safety-Critical System to Prevent an Accident from Reoccurring
Dans : 24th European Annual Conference on Human Decision Making and Manual Control. (EAM), Athens, Greece, 17/10/05-19/10/05, xx, octobre 2005.
Sandra Basnyat, Rémi Bastide, Philippe Palanque
Extending the Boundaries of Model-Based Development to Account for Errors
Dans : 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
Dans : 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, p. 123-139, juillet 2005.
Accès : 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?
Dans : CHI 2005 Workshop : The Future of User Interface Design Tools, Portland, Oregon, USA, 04/04/05-04/04/05, Dan Olsen, Scott Klemmer (Eds.).
Résumé Accès : 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?
Dans : First International Workshop on Automated Specification and Verification of Web Sites (WWV’2005), Valencia, Spain, 14/03/05-15/03/05, LNCS, p. 33-36, mars 2005.
Rémi Bastide, Xavier Lacaze, David Navarre, Philippe Palanque, Michel Galindo
Can we Rationalise the Design and Construction of Air Traffic Management Systems
Dans : HCI International 2005, Las Vegas, Nevada, USA, 22/07/05-27/07/05, TBD, juillet 2005.
Résumé Accès : 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
Dans : HCI International 2005, Las Vegas, Nevada, USA, 22/07/05-27/07/05, TBD, juillet 2005.
Résumé Accès : 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
Dans : 2nd Workshop on Complexity in Design and Engineering, Glasgow, UK, 10/03/05-12/03/05, Chris Johnson (Eds.), GIST Technical Report G2005-1, p. 45-58, mars 2005.
Résumé Accès : 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
Dans : SpaceOps’2004 – Eighth International Conference on Space Operations, Montreal, Canada, 17/05/04-21/05/04, Canadian Space Agency, mai 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
Dans : ICMI 2004 – Sixth International Conference on Multimodal Interfaces, State College, Pen, USA, 14/10/04-15/10/04, ACM Press, p. 243-250, octobre 2004.
Résumé Accès : http://www.icmiplace.org/
BibTeXPierre 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)
Dans : 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, p. 185-206, juillet 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)
Dans : International Conference on Human-Computer Interaction in Aeronautics (HCI’Aero 2004), Toulouse, France, 29/09/04-01/10/04, EURISCO International, (en ligne), septembre 2004.
Accès : 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
Dans : 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, p. 165-172, novembre 2004.
Marco Antonio Winckler, Eric Barboni, Christelle Farenc, Philippe Palanque
SWCEditor: A Model-based Tool for interactive Modelling of Web Navigation
Dans : CADUI 2004 5th International Conference on Computer-Aided Design of User Interfaces, Madeira Island, Portugal, 14/01/04-16/01/04, Kluwer Academic Publisher, p. 55-56, janvier 2004.
Philippe Palanque, Sandra Basnyat
Task Patterns For Taking Into Account In An Efficient And Systematic Way Both Standard And Erroneous User Behaviours
Dans : 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, p. 109-130, août 2004.
Résumé Accès : 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?
Dans : Workshop of The Temporal Aspects Of Work For HCI, CHI 2004.-April 24-29, 2004, Vienna, Austria, 24/04/04-29/04/04, ACM, p. 6, avril 2004.
Résumé Accès : 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)
Dans : Design Specification and Verification of Interactive Systems (DSV-IS 2003), Funchal, Portugal, 11/06/03-16/06/03, Springer-Verlag, p. 61-67, 2003.
Philippe Palanque, Amélie Schyn
A Model-Based Approach for Engineering Multimodal Interactive
Dans : 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, p. 543-550, septembre 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
Dans : IHM’2003 : 15th French Speaking conference on human-computer interaction, Caen, France, 24/11/03-28/11/03, ACM Press, p. 150-157, novembre 2003.
Résumé Accès : http://liihs.irit.fr/schyn/
BibTeXRémi Bastide, Philippe Palanque
UML for Interactive Systems: What is Missing
Dans : INTERACT 2003 – Workshop on Software Engineering and HCI, Zürich, Switzerland, 01/09/03-03/09/03.
Résumé Accès : 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?
Dans : VI Symposium on Virtual Reality, Ribeirão Preto, Brazil, 15/10/03-18/10/03, SBC – Brazilian Computer Society, p. 81-92, octobre 2003.
Carla Freitas, Ricardo Cava, Marco Antonio Winckler, Philippe Palanque
Synergistic Use of Visualisation Technique and Web Navigation Model for Information Space Exploration
Dans : 10th International Conference on Human-Computer Interaction ¿ HCI International¿2003, Creta, GR, 22/06/03-27/06/03, Lawrence Erlbaum Associates, p. 1091-1095, juin 2003.
Philippe Palanque, Rémi Bastide, Marco Antonio Winckler
Automatic Generation of Interactive Systems: Why A Task Model is not Enough
Dans : HCI International¿2003 – 10th International Conference on Human-Computer Interaction, Creta, Grece, 22/06/03-27/06/03, Lawrence Erlbaum Associates, p. 198-202, juin 2003.
Marco Antonio Winckler, Philippe Palanque
A Formal Description Technique Dedicated to Navigation Modelling of Web Applications
Dans : 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, p. 61-76, juin 2003.
Eric Barboni, Rémi Bastide, Xavier Lacaze, David Navarre, Philippe Palanque
Petri Net Centered versus User Centered Petri Nets Tools
Dans : AWPN 2003 – 10th Workshop Algorithms and Tools for Petri Nets, Eichstätt, Germany, 26/09/03-27/09/03, —, septembre 2003.
Résumé Accès : 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)
Dans : International Conference on Human-Computer Interaction in Aeronautics (HCI’Aero 2002), MIT, Cambridge, Massachussets, USA, 23/10/02-25/10/02, EURISCO International, p. 23-29, octobre 2002.
Accès : https://portail.irit.fr/partage/data/public/a9860947fd50d27e.php
BibTeXDavid Navarre, Philippe Palanque, Rémi Bastide
Model-Based Interactive Prototyping of Highly Interactive Applications
Dans : CADUI’2002 – 4th International Conference on Computer-Aided Design of User Interfaces, Université de Valenciennes, France, 15/05/02-17/05/02, Kluwer, mai 2002.
Accès : 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
Dans : CHI’2002 – ACM Conference on Human Factors in Computing Systems, Minneapolis, Minnesota, USA, 20/04/02-25/04/02, ACM Press, avril 2002.
Philippe Palanque, Amélie Schyn
A Generic Formal Description Technique for Fusion Mechanisms of Multimodal Interactive Systems
Dans : 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, p. 63-70, juin 2002.
Résumé Accès : http://liihs.irit.fr/schyn/
BibTeXMarco 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
Dans : 14th Conférence Francophone sur l’Interaction Homme-Machine – IHM’2002, Potier, France, 26/11/02-29/11/02, AFIHM, p. 153-160, novembre 2002.
Marco Antonio Winckler, Christelle Farenc, Philippe Palanque
Automatic Evaluation for the Web: How Improve Navigation Guidelines
Dans : 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
Dans : First International Workshop in Task Models and Diagrams for User Interface Design – TAMODIA’2002, Bucarest, Romania, 18/07/02-19/07/02, ACM SIGCHI, p. 161-169, juillet 2002.
Xavier Lacaze, Philippe Palanque, David Navarre, Rémi Bastide
Performance Evaluation as a Tool for Quantitative Assessment of Complexity of Interactive Systems
Dans : 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, p. 208-222, juin 2002.
Résumé Accès : 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
Dans : 14ème conférence francophone en Interaction Homme Machine, IHM 2002, Poitiers, France, 26/11/02-29/11/02, ACM Press, p. 17-24, novembre 2002.
Résumé Accès : http://liihs.irit.fr/lacaze/papiers/IHM2002.pdf
BibTeXMarco Antonio Winckler, Christelle Farenc, Philippe Palanque, Rémi Bastide
Designing Navigation for Web Interfaces
Dans : 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), p. 43-46, septembre 2001.
Accès : 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
Dans : RSP’01 – 12th IEEE International Workshop on Rapid System Prototyping, Monterey, California, USA, 25/06/01-27/06/01, IEEE, juin 2001.
Accès : 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
Dans : 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, juin 2001.
Accès : 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
Dans : IV Simpósio sobre Fatores Humanos em Sistemas Computacionais ¿ IHC¿2001, Florianopolis, BR, 14/10/01-19/10/01, SBC, octobre 2001.
Christelle Farenc, Philippe Palanque, Christian Bastien, Dominique L. Scapin, Marco Antonio Winckler
Towards a General Guidance and Support Tool for Usability Optimization
Dans : International Conference on Universal Access in Human-Computer ¿ UAHCI¿2001, New Orleans, USA, 05/08/01-10/08/01, Lawrence Erlbaum Associates, août 2001.
Marco Antonio Winckler, Marcelo Pimenta, Philippe Palanque, Christelle Farenc
Usability Evaluation Methods: What is still missing for the Web?
Dans : 8th International Conference on HCI International, New Orleans, USA, 05/08/01-10/08/01, Lawrence Erlbaum Associates, août 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
Dans : 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, p. 41-47, septembre 2000.
Christelle Farenc, Philippe Palanque
Exploitation des notations de Design Rationale pour une conception justifiée des applications interactives. (regular paper)
Dans : Conférence Francophone sur l’Interaction Homme-Machine (IHM 1999), Montpellier, 22/11/99-26/11/99, Cépaduès, 1999.
Cristian Bogdan, Jan Gulliksen, Stefan Sauer, Peter Forbrig, Marco Antonio Winckler, Chris Johnson, Philippe Palanque, Regina Bernhaupt
Joint Working Conference 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, 29/08/16 – 31/08/16, Springer, LNCS 9856, août 2016.
Michael Feary, Thomas Feuerle, Cristina Gonzalez Rechea, Francisco Saez, Chris Johnson, Celia Martinie De Almeida, Philippe Palanque, Alberto Pasquini, Pim Van Leeuwen, Marco Antonio Winckler
5th International Conference on Application and Theory of Automation in Command and Control Systems, Toulouse, France, 30/09/15 – 02/10/15, ACM Digital Library, octobre 2015.
Julio Abascal, Simone D. J. Barbosa, Mirko Fetter, Tom Gross, Philippe Palanque, Marco Antonio Winckler
IFIP TC13 Conference on Human-Computer Interaction (INTERACT 2015), Bamberg, Germany, 14/09/15 – 18/09/15, Springer, LNCS 9299, septembre 2015.
Julio Abascal, Simone D. J. Barbosa, Mirko Fetter, Tom Gross, Philippe Palanque, Marco Antonio Winckler
IFIP TC13 Conference on Human-Computer Interaction (INTERACT 2015), Bamberg, Germany, 14/09/15 – 18/09/15, Springer, LNCS 9298, septembre 2015.
Julio Abascal, Simone D. J. Barbosa, Mirko Fetter, Tom Gross, Philippe Palanque, Marco Antonio Winckler
IFIP TC13 Conference on Human-Computer Interaction (INTERACT 2015), Bamberg, Germany, 14/09/15 – 18/09/15, Springer, LNCS 9297, septembre 2015.
Julio Abascal, Simone D. J. Barbosa, Mirko Fetter, Tom Gross, Philippe Palanque, Marco Antonio Winckler
IFIP TC13 Conference on Human-Computer Interaction (INTERACT 2015), Bamberg, Germany, 14/09/15 – 18/09/15, Springer, LNCS 9296, 2015.
Guillaume Brat, Eduardo Garcia, Antonio Moccia, Philippe Palanque, Alberto Pasquini, Francisco Saez, Marco Antonio Winckler
3rd International Conference on Application and Theory of Automation in Command and Control Systems, Naples, Italy, 28/05/13 – 30/05/13, IRIT Press, mai 2013.
Accès : http://www.irit.fr/~Marco.Winckler/ataccs2013-full-proceedings.pdf
BibTeXEduardo Garcia, Chris Johnson, Washington Yotto Ochieng, Philippe Palanque, Francisco Saez, Miguel Angel Vilaplana , Marco Antonio Winckler
ATACCS2012: 2nd International Conference on Application and Theory of Automation in Command and Control Systems, London, UK, 29/05/12 – 31/05/12, IRIT, mai 2012.
Eduardo Garcia, Arnab Majumdar, Philippe Palanque, Alberto Pasquini, Francisco Saez, Marco Antonio Winckler
1st International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS’2011), Barcelone, 26/05/11 – 27/05/11, IRIT Press, 2011.
Pedro Campos, Nicholas Graham, Joaquim Jorge, Nunes Nuno, Philippe Palanque, Marco Antonio Winckler
IFIP TC13 Conference on Human-Computer Interaction (INTERACT 2011), Lisbon, Portugal, 05/09/11 – 09/09/11, Springer, LNCS 6949, 2011.
Pedro Campos, Nicholas Graham, Joaquim Jorge, Nunes Nuno, Philippe Palanque, Marco Antonio Winckler
IFIP TC13 Conference on Human-Computer Interaction (INTERACT 2011), Lisbon, Portugal, 05/09/11 – 09/09/11, Springer, LNCS 6946, 2011.
Pedro Campos, Nicholas Graham, Joaquim Jorge, Nunes Nuno, Philippe Palanque, Marco Antonio Winckler
IFIP TC13 Conference on Human-Computer Interaction (INTERACT 2011), Lisbon, Portugal, 05/09/11 – 09/09/11, Springer, LNCS 6948, 2011.
Pedro Campos, Nicholas Graham, Joaquim Jorge, Nunes Nuno, Philippe Palanque, Marco Antonio Winckler
IFIP TC13 Conference on Human-Computer Interaction (INTERACT 2011), Lisbon, Portugal, 05/09/11 – 09/09/11, Springer, LNCS 6947, septembre 2011.
María D. Lozano Lozano, José Gallud, Philippe Palanque
Mobile Context-Aware Applications for Ubiquitous Computing
Dans : Journal of Universal Computer Science, John Wiley and Sons, Vol. 16 N. 15, juillet 2010.
Accès : http://www.jucs.org/jucs_16_15/mobile_context_aware_applications/abstract.html
BibTeXDavid England, Philippe Palanque, J. Vanderdonckt, Peter Wilde
Task Models and Diagrams for User Interface Design (TAMODIA 2009), Brussels, Belgium, 23/09/09 – 25/09/09, Springer-Verlag, LNCS 5963, janvier 2010.
Philippe Palanque, J. Vanderdonckt, Marco Antonio Winckler
7th IFIP WG 13.5 Working Conference Human Error, Safety and Systems Development (HESSD 2009), Brussels, Belgium, 23/09/09 – 25/09/09, Springer-Verlag, LNCS 5962, janvier 2010.
Accès : http://www.springer.com/computer/hci/book/978-3-642-11749-7
BibTeXTom Gross, Jan Gulliksen, Paula Kotze, Lars Oestreicher, Philippe Palanque, Raquel Oliveira Prates, Marco Antonio Winckler
TC13 IFIP INTERACT 2009, Uppsala, Sweden, 24/08/09 – 28/08/09, Springer, LNCS 5726 / 5727, juin 2009.
T.C. Nicholas Graham, Philippe Palanque
DSV-IS 2008 15th International conference on Design, Specification,and Verification of Interactive Systems, Kingston, Canada, Springer-Verlag, juillet 2008.
Jan Gulliksen, Morten Harning, Philippe Palanque, Gerrit Van Der Veer, Janet Wesson
14th International conference DSV-IS 2007 (Design Specification and Verification of Interactive Systems) & EIS 2007 (Engineering Interactive Systems), Salamanca, Spain, Springer-Verlag, Lecture Notes in Computer Science 4940, août 2008.
Cecilia Baranauskas, Philippe Palanque, Julio Abascal, Simone D. J. Barbosa
INTERACT 2007 11th IFIP TC 13 International Conference (Part II), Rio de Janeiro, Brazil, Springer-Verlag, Lecture Notes in Computer Science 4662, septembre 2007.
Cecilia Baranauskas, Philippe Palanque, Julio Abascal, Simone D. J. Barbosa
INTERACT 2007 11th IFIP TC 13 International Conference (Part I), Rio de Janeiro, Brazil, Springer-Verlag, Lecture Notes in Computer Science 4663, septembre 2007.
Marco Antonio Winckler, Hilary Johnson, Philippe Palanque
6th International Workshop on TASk MOdels and DIAgrams (TAMODIA’2007), Toulouse, France, 07/11/07 – 09/11/07, Springer-Verlag, LNCS 4849, novembre 2007.
Rémi Bastide, Philippe Palanque, Jörg Roth
Joint EHCI-DSVIS 2004 conference proceedings, Tremsbüttel Castle, Hamburg, Germany, 11/07/05 – 13/07/05, Springer, Lecture Notes in Computer Science n° 3425, juillet 2005.
Résumé Accès : http://www.springeronline.com/3-540-26097-8
BibTeXChris Johnson, Philippe Palanque
Human Error, Safety and Systems Development 2004. Proceedings of HESSD 2004, Toulouse, France, 22/08/04 – 27/08/04, Kluer Academics. ISBN 1-4030-8152-9, août 2004.
Pavel Slavik, Philippe Palanque, Marco Antonio Winckler
3rd International Workshop on Task Models and Diagrams for User Interface Design – TAMODIA 2004, Prague, CZ, 15/11/04 – 16/11/04, ACM SIGCHI, novembre 2004.
Eamonn O’Neill, Philippe Palanque, Peter Johnson
People and Computers XVII – Designing for Society Proceedings of HCI 2003, Bath, England, 08/09/03 – 12/09/03, Springer Verlag. ISBN 1-85233-766-4, septembre 2003.
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, Erwann Poupart, Sandra Steere
UX for Some and Usability for Others: Issues of Blending Multi-user and Multi-property in Control Centers
Sense, Feel, Design : INTERACT 2021 IFIP TC 13 Workshops, Bari, Italy, August 30 – September 3, 2021, Revised Selected Papers, 13198, Springer International Publishing, pp.357-367, 2022, Lecture Notes in Computer Science book series (LNCS), 978-3-030-98387-1. ⟨10.1007/978-3-030-98388-8_31⟩
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
Carmelo Ardito; Rosa Lanzilotti; Alessio Malizia; Marta Larusdottir; Lucio Davide Spano. Sense, Feel, Design: INTERACT 2021 IFIP TC 13 Workshops, Bari, Italy, August 30 – September 3, 2021, Revised Selected Papers, 13198, Springer International Publishing, pp.290-301, 2022, Lecture Notes in Computer Science book series (LNCS), 978-3-030-98387-1. ⟨10.1007/978-3-030-98388-8_26⟩
Sybille Caffiau, José Campos, Célia Martinie, Laurence Nigay, Philippe Palanque, Lucio Davide Spano
Teaching HCI Engineering: Four Case Studies
Sense, Feel, Design : INTERACT 2021 IFIP TC 13 Workshops, Bari, Italy, August 30 – September 3, 2021, Revised Selected Papers, 13198, Springer International Publishing, pp.195-210, 2022, Lecture Notes in Computer Science book series (LNCS), 978-3-030-98387-1. ⟨10.1007/978-3-030-98388-8_18⟩
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, Fayollas Camille
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⟩
Fayollas Camille, Philippe Palanque, Jean-Charles Fabre, Célia Martinie de Almeida, 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), Human–Computer Interaction Series book series (HCIS). ⟨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
Fayollas Camille, Célia Martinie de Almeida, 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⟩
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⟩
Celia Martinie De Almeida, Philippe Palanque, Marco Antonio Winckler
Designing and Assessing Interactive Systems Using Task Models
Dans : Book of Tutorials of the 14th Brazilian Symposium on Human Factors in Computing Systems. Arthur Kronbauer, Ecivaldo Mattos, Andreia Libório Sampaio, Clodis Boscarioli (Eds.) , Brazilian Computing Society, 2, p. 29-58, novembre 2015.
Marco Antonio Winckler, Philippe Palanque
Models as Representations for Supporting the Development of e-Procedures
Dans : Models as Representations for Supporting the Development of e-Procedures. Elizabeth Buie, Dianne Murray (Eds.) , Morgan Kaufmann Publishers, 19, p. 301-315, juillet 2012.
Accès : 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
Dans : Model-Driven Development of Advanced User Interfaces. Heinrich Hussmann, Gerrit Meixner, Detlef Zuehlke (Eds.) , Springer, p. 143-170, Vol. Vol. 340, Studies in Computational Intelligence, 2011.
Accès : 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
Dans : Handbook of Human-Machine Interaction, A Human-Centered Approach. Guy A. Boy (Eds.) , Ashgate Publishing, (en ligne), avril 2011.
David Navarre, Philippe Palanque, Marco Antonio Winckler
Task Models and System Models as a Bridge between HCI and Sofware Engineering
Dans : Human-Centered Software Engineering Software Engineering Models, Patterns and Architectures for HCI. Ahmed Seffah, Jean Vanderdonckt, Michel C. Desmarais (Eds.) , Springer, p. 357-385, Human-Computer Interaction Series, juin 2009.
Accès : 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
Dans : Maturing Usability: Quality in Software, Interaction and Quality. Effie Law, Ebba Hvannberg , Gilbert Cockton , Jean Vanderdonckt (Eds.) , Springer, p. 96-122, Human-Computer Interaction Series, 2008.
Accès : 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
Dans : RATIONALE MANAGEMENT IN SOFTWARE ENGINEERING. Allen H. Dutoit, Raymond McCall, Ivan Mistrik, Barbara Paech (Eds.) , Springer-Verlag, p. 155-172, février 2007.
Rémi Bastide, David Navarre, Philippe Palanque
Tool Support for Interactive Prototyping of Safety Critical Interactive Applications
Dans : Encyclopedia of HCI. G. Gaoui (Eds.) , Idea Group Reference Pub, juillet 2005.
Xavier Lacaze, Philippe Palanque, Eric Barboni, David Navarre
Design Rationale for Increasing Profitability of Interactive Systems Development
Dans : Encyclopedia of Human Computer Interaction. Claude Ghaoui (Eds.) , Idea Group Reference, p. 15, août 2005.
David Navarre, Rémi Bastide, Philippe Palanque
Notations en IHM pour une modélisation synergique des tâches et du système
Dans : Ingénierie cognitive – IHM et cognition. Guy Boy (Eds.) , Hermès, 2003.
Accès : 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
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, CEUR-WS : Workshop proceedings, Vol. 1190, juillet 2014.
Racim Mehdi Fahssi, Celia Martinie De Almeida, Philippe Palanque
HAMSTERS : un environnement dédition et de simulation de modèles de tâches (Démo) (poster)
Dans : Conférence Francophone sur l’Interaction Homme-Machine (IHM 2014), Lille, 28/10/14-31/10/14, ACM Digital Library, (en ligne), octobre 2014.
Accès : http://dl.acm.org/ – https://oatao.univ-toulouse.fr/13231/
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)
Dans : ACM International Conference on Human Factors in Computing Systems (ACM CHI 2013), Paris, 27/04/13-02/05/13, ACM Digital Library, p. 3279-3282, mai 2013.
Svetlena Tavena, Philippe Palanque, Sandra Basnyat, Marco Antonio Winckler, Effie Law
Clinical Application Design: Task Modeling with Failure in Mind (poster) (poster)
Dans : World Congress on Internet in Medicine (MedNet 2006), Toronto, Canada, 15/10/06-18/10/06, eHealthNews.eu, (support électronique), 2006.
Svetlena Tavena, Philippe Palanque, Sandra Basnyat, Marco Antonio Winckler, Effie Law
Analysis of Communication Breakdowns for eHealth Systems Design.(poster) (poster)
Dans : Nordic Conference on eHealth and Telemedicine (NCeHT 2006), Helsinki, Finland,, 31/08/06-01/09/06, STAKES, (support électronique), 2006.
Accès : http://www.mednetcongress.org/ocs/viewabstract.php?id=245
BibTeX
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. avril 2013.
Accès : 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.
septembre 2006.