Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Philippe A. Palanque
@article{DBLP:journals/jsa/MendilAKDMP23,
author = {Isma{\"{\i}}l Mendil and
Yamine A{\"{\i}}t{-}Ameur and
Neeraj Kumar Singh and
Guillaume Dupont and
Dominique M{\'{e}}ry and
Philippe A. Palanque},
title = {Formal domain-driven system development in Event-B: Application to
interactive critical systems},
journal = {J. Syst. Archit.},
volume = {135},
pages = {102798},
year = {2023},
url = {https://doi.org/10.1016/j.sysarc.2022.102798},
doi = {10.1016/J.SYSARC.2022.102798},
timestamp = {Thu, 30 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/MendilAKDMP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmhci/AxelGMPBLP23,
author = {Axel Carayon and
Juan Enrique Garrido and
C{\'{e}}lia Martinie and
Philippe A. Palanque and
Eric Barboni and
Mar{\'{\i}}a Dolores Lozano and
Victor M. Ruiz Penichet},
title = {Engineering Rehabilitation: Blending Two Tool-supported Approaches
to Close the Loop from Tasks-based Rehabilitation to Exercises and
Back Again},
journal = {Proc. {ACM} Hum. Comput. Interact.},
volume = {7},
number = {{EICS}},
pages = {1--23},
year = {2023},
url = {https://doi.org/10.1145/3593229},
doi = {10.1145/3593229},
timestamp = {Fri, 05 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmhci/AxelGMPBLP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/puc/MartiniePB23,
author = {C{\'{e}}lia Martinie and
Philippe A. Palanque and
Eric Barboni},
title = {Increasing engagement and well-being of operators working with automation
by integrating task models and gameful design},
journal = {Pers. Ubiquitous Comput.},
volume = {27},
number = {6},
pages = {2339--2366},
year = {2023},
url = {https://doi.org/10.1007/s00779-023-01783-4},
doi = {10.1007/S00779-023-01783-4},
timestamp = {Fri, 26 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/puc/MartiniePB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/smr/SinghAMMNPP23,
author = {Neeraj Kumar Singh and
Yamine A{\"{\i}}t{-}Ameur and
Isma{\"{\i}}l Mendil and
Dominique M{\'{e}}ry and
David Navarre and
Philippe A. Palanque and
Marc Pantel},
title = {{F3FLUID:} {A} formal framework for developing safety-critical interactive
systems in {FLUID}},
journal = {J. Softw. Evol. Process.},
volume = {35},
number = {7},
year = {2023},
url = {https://doi.org/10.1002/smr.2439},
doi = {10.1002/SMR.2439},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/smr/SinghAMMNPP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/0003BPRPJT23,
author = {Peter Fr{\"{o}}hlich and
Matthias Baldauf and
Philippe A. Palanque and
Virpi Roto and
Fabio Patern{\`{o}} and
Wendy Ju and
Manfred Tscheligi},
editor = {Albrecht Schmidt and
Kaisa V{\"{a}}{\"{a}}n{\"{a}}nen and
Tesh Goyal and
Per Ola Kristensson and
Anicia Peters},
title = {Intervening, Teaming, Delegating: Creating Engaging Automation Experiences},
booktitle = {Extended Abstracts of the 2023 {CHI} Conference on Human Factors in
Computing Systems, {CHI} {EA} 2023, Hamburg, Germany, April 23-28,
2023},
pages = {357:1--357:6},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3544549.3573799},
doi = {10.1145/3544549.3573799},
timestamp = {Sat, 29 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/chi/0003BPRPJT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/Palanque23,
author = {Philippe A. Palanque},
editor = {Albrecht Schmidt and
Kaisa V{\"{a}}{\"{a}}n{\"{a}}nen and
Tesh Goyal and
Per Ola Kristensson and
Anicia Peters},
title = {Going Beyond Usability and {UX:} Adding Dependability, Safety and
Security to Interactive Systems and Interactive Technologies},
booktitle = {Extended Abstracts of the 2023 {CHI} Conference on Human Factors in
Computing Systems, {CHI} {EA} 2023, Hamburg, Germany, April 23-28,
2023},
pages = {541:1--541:3},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3544549.3574186},
doi = {10.1145/3544549.3574186},
timestamp = {Sat, 29 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/chi/Palanque23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/DixMPPS23,
author = {Alan J. Dix and
Sven Mayer and
Philippe A. Palanque and
Emanuele Panizzi and
Lucio Davide Spano},
editor = {Alan J. Dix and
Marco Winckler and
Matt Jones},
title = {Engineering Interactive Systems Embedding {AI} Technologies},
booktitle = {Companion Proceedings of the 2023 {ACM} {SIGCHI} Symposium on Engineering
Interactive Computing Systems, {EICS} 2023, Swansea, United Kingdom,
June 27-30, 2023},
pages = {90--92},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3596454.3597195},
doi = {10.1145/3596454.3597195},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eics/DixMPPS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/intenv/RamirezMPC23,
author = {Jos{\'{e}} Manuel Negrete Ram{\'{\i}}rez and
C{\'{e}}lia Martinie and
Philippe A. Palanque and
Yudith Cardinale},
editor = {Girish Bekaroo and
Somaya Ben Allouch and
Massimo Mecella},
title = {{ADL} Monitoring of Elderly People in Smart Homes Based on Task Models},
booktitle = {Workshop Proceedings of the 19th International Conference on Intelligent
Environments (IE2023), Mauritius, 27-30 June 2023},
series = {Ambient Intelligence and Smart Environments},
volume = {32},
pages = {216--225},
publisher = {{IOS} Press},
year = {2023},
url = {https://doi.org/10.3233/AISE230034},
doi = {10.3233/AISE230034},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/intenv/RamirezMPC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interact/PalanquePRSSZ23,
author = {Philippe A. Palanque and
Fabio Patern{\`{o}} and
Virpi Roto and
Albrecht Schmidt and
Simone Stumpf and
J{\"{u}}rgen Ziegler},
editor = {Jos{\'{e}} L. Abdelnour{-}Nocera and
Marta Krist{\'{\i}}n L{\'{a}}rusd{\'{o}}ttir and
Helen Petrie and
Antonio Piccinno and
Marco Winckler},
title = {A Multi-perspective Panel on User-Centred Transparency, Explainability,
and Controllability in Automations},
booktitle = {Human-Computer Interaction - {INTERACT} 2023 - 19th {IFIP} {TC13}
International Conference, York, UK, August 28 - September 1, 2023,
Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {14145},
pages = {349--353},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-42293-5\_34},
doi = {10.1007/978-3-031-42293-5\_34},
timestamp = {Sat, 21 Oct 2023 10:46:28 +0200},
biburl = {https://dblp.org/rec/conf/interact/PalanquePRSSZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interact/AxelMP23,
author = {Axel Carayon and
C{\'{e}}lia Martinie and
Philippe A. Palanque},
editor = {Jos{\'{e}} L. Abdelnour{-}Nocera and
Marta Krist{\'{\i}}n L{\'{a}}rusd{\'{o}}ttir and
Helen Petrie and
Antonio Piccinno and
Marco Winckler},
title = {I Perform My Work with My Body Too: Integrating Body Representations
in and with Task Models},
booktitle = {Human-Computer Interaction - {INTERACT} 2023 - 19th {IFIP} {TC13}
International Conference, York, UK, August 28 - September 1, 2023,
Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14143},
pages = {482--503},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-42283-6\_26},
doi = {10.1007/978-3-031-42283-6\_26},
timestamp = {Fri, 05 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/interact/AxelMP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interact/MentlerPLLF23,
author = {Tilo Mentler and
Philippe A. Palanque and
Kristof Van Laerhoven and
Margareta Holtensdotter L{\"{u}}tzh{\"{o}}ft and
Nadine Flegel},
editor = {Jos{\'{e}} L. Abdelnour{-}Nocera and
Marta Krist{\'{\i}}n L{\'{a}}rusd{\'{o}}ttir and
Helen Petrie and
Antonio Piccinno and
Marco Winckler},
title = {On Land, at Sea, and in the Air: Human-Computer Interaction in Safety-Critical
Spaces of Control - {IFIP} {WG} 13.5 Workshop at {INTERACT} 2023},
booktitle = {Human-Computer Interaction - {INTERACT} 2023 - 19th {IFIP} {TC13}
International Conference, York, UK, August 28 - September 1, 2023,
Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {14145},
pages = {657--661},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-42293-5\_89},
doi = {10.1007/978-3-031-42293-5\_89},
timestamp = {Wed, 30 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/interact/MentlerPLLF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BlouinAPS23,
author = {Arnaud Blouin and
Silvia Abrah{\~{a}}o and
Philippe A. Palanque and
Bran Selic},
title = {7th International Workshop on Human Factors in Modeling / Modeling
of Human Factors (HuFaMo 2023)},
booktitle = {{ACM/IEEE} International Conference on Model Driven Engineering Languages
and Systems, {MODELS} 2023 Companion, V{\"{a}}ster{\aa}s, Sweden,
October 1-6, 2023},
pages = {726--728},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/MODELS-C59198.2023.00118},
doi = {10.1109/MODELS-C59198.2023.00118},
timestamp = {Fri, 05 Jan 2024 16:35:45 +0100},
biburl = {https://dblp.org/rec/conf/models/BlouinAPS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/CarayonMP23,
author = {Axel Carayon and
C{\'{e}}lia Martinie and
Philippe A. Palanque},
title = {Task Models as a Mean to Identify and Justify Automations in Development
Tasks},
booktitle = {{ACM/IEEE} International Conference on Model Driven Engineering Languages
and Systems, {MODELS} 2023 Companion, V{\"{a}}ster{\aa}s, Sweden,
October 1-6, 2023},
pages = {757--764},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/MODELS-C59198.2023.00122},
doi = {10.1109/MODELS-C59198.2023.00122},
timestamp = {Fri, 05 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/CarayonMP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/PalanqueC23,
author = {Philippe A. Palanque and
Jos{\'{e}} Creissac Campos},
editor = {Uwe Gl{\"{a}}sser and
Jos{\'{e}} Creissac Campos and
Dominique M{\'{e}}ry and
Philippe A. Palanque},
title = {{AMAN} Case Study},
booktitle = {Rigorous State-Based Methods - 9th International Conference, {ABZ}
2023, Nancy, France, May 30 - June 2, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14010},
pages = {265--283},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-33163-3\_21},
doi = {10.1007/978-3-031-33163-3\_21},
timestamp = {Fri, 02 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/zum/PalanqueC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/chi/2023axp,
editor = {Peter Fr{\"{o}}hlich and
Matthias Baldauf and
Philippe A. Palanque and
Virpi Roto and
Fabio Patern{\`{o}} and
Wendy Ju and
Manfred Tscheligi},
title = {Proceedings of the Workshop on Intervening, Teaming, Delegating co-located
with the {ACM} Conference on Human Factors in Computing Systems {(CHI}
2023), Hamburg, Germany, April 23, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3394},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3394},
urn = {urn:nbn:de:0074-3394-6},
timestamp = {Tue, 23 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/chi/2023axp.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/zum/2023,
editor = {Uwe Gl{\"{a}}sser and
Jos{\'{e}} Creissac Campos and
Dominique M{\'{e}}ry and
Philippe A. Palanque},
title = {Rigorous State-Based Methods - 9th International Conference, {ABZ}
2023, Nancy, France, May 30 - June 2, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14010},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-33163-3},
doi = {10.1007/978-3-031-33163-3},
isbn = {978-3-031-33162-6},
timestamp = {Tue, 23 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/zum/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/interactions/FegerEKPK22,
author = {Sebastian S. Feger and
Felix Ehrentraut and
Christopher Katins and
Philippe A. Palanque and
Thomas Kosch},
title = {{HCI} for general aviation: current state and research challenges},
journal = {Interactions},
volume = {29},
number = {6},
pages = {60--65},
year = {2022},
url = {https://doi.org/10.1145/3564040},
doi = {10.1145/3564040},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/interactions/FegerEKPK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmhci/LuytenPQW22,
author = {Kris Luyten and
Philippe A. Palanque and
Aaron J. Quigley and
Marco Winckler},
title = {Engineering Interactive Computing Systems 2022: Editorial Introduction},
journal = {Proc. {ACM} Hum. Comput. Interact.},
volume = {6},
number = {{EICS}},
pages = {149:1--149:3},
year = {2022},
url = {https://doi.org/10.1145/3532089},
doi = {10.1145/3532089},
timestamp = {Thu, 10 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmhci/LuytenPQW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmhci/MartinieNPBS22,
author = {C{\'{e}}lia Martinie and
David Navarre and
Philippe A. Palanque and
Eric Barboni and
Sandra Steere},
title = {Engineering Operations-based Training},
journal = {Proc. {ACM} Hum. Comput. Interact.},
volume = {6},
number = {{EICS}},
pages = {164:1--164:25},
year = {2022},
url = {https://doi.org/10.1145/3534518},
doi = {10.1145/3534518},
timestamp = {Thu, 10 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmhci/MartinieNPBS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmhci/WincklerPHBNG22,
author = {Marco Winckler and
Philippe A. Palanque and
Jean{-}Luc Hak and
Eric Barboni and
Olivier Nicolas and
Laurent Goncalves},
title = {Engineering Annotations: {A} Generic Framework for Gluing Design Artefacts
of Interactive Systems},
journal = {Proc. {ACM} Hum. Comput. Interact.},
volume = {6},
number = {{EICS}},
pages = {174:1--174:36},
year = {2022},
url = {https://doi.org/10.1145/3535063},
doi = {10.1145/3535063},
timestamp = {Thu, 10 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmhci/WincklerPHBNG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/MendilRASMP22,
author = {Isma{\"{\i}}l Mendil and
Peter Riviere and
Yamine A{\"{\i}}t Ameur and
Neeraj Kumar Singh and
Dominique M{\'{e}}ry and
Philippe A. Palanque},
title = {Non-Intrusive Annotation-Based Domain-Specific Analysis to Certify
Event-B Models Behaviours},
booktitle = {29th Asia-Pacific Software Engineering Conference, {APSEC} 2022, Virtual
Event, Japan, December 6-9, 2022},
pages = {129--138},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/APSEC57359.2022.00025},
doi = {10.1109/APSEC57359.2022.00025},
timestamp = {Tue, 28 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/MendilRASMP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avi/GeurtsRLHWJP22,
author = {Eva Geurts and
Gustavo Alberto Rovelo Ruiz and
Kris Luyten and
Steven Houben and
Benjamin Weyers and
An Jacobs and
Philippe A. Palanque},
editor = {Paolo Bottoni and
Emanuele Panizzi},
title = {{HCI} and worker well-being in manufacturing industry},
booktitle = {{AVI} 2022: International Conference on Advanced Visual Interfaces,
Frascati, Rome, Italy, June 6 - 10, 2022},
pages = {87:1--87:2},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3531073.3535257},
doi = {10.1145/3531073.3535257},
timestamp = {Tue, 02 Aug 2022 18:04:21 +0200},
biburl = {https://dblp.org/rec/conf/avi/GeurtsRLHWJP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/Baldauf0RPLRJT22,
author = {Matthias Baldauf and
Peter Fr{\"{o}}hlich and
Virpi Roto and
Philippe A. Palanque and
Si{\^{a}}n Lindley and
Jon Rogers and
Wendy Ju and
Manfred Tscheligi},
editor = {Simone D. J. Barbosa and
Cliff Lampe and
Caroline Appert and
David A. Shamma},
title = {Engaging with Automation: Understanding and Designing for Operation,
Appropriation, and Behaviour Change},
booktitle = {{CHI} '22: {CHI} Conference on Human Factors in Computing Systems,
New Orleans, LA, USA, 29 April 2022 - 5 May 2022, Extended Abstracts},
pages = {73:1--73:6},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3491101.3503735},
doi = {10.1145/3491101.3503735},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/chi/Baldauf0RPLRJT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/MartinieP22,
author = {C{\'{e}}lia Martinie and
Philippe A. Palanque},
editor = {Matthias Baldauf and
Peter Fr{\"{o}}hlich and
Virpi Roto and
Philippe A. Palanque and
Si{\^{a}}n Lindley and
Jon Rogers and
Wendy Ju and
Manfred Tscheligi},
title = {Task Models Based Gameful Design as a Mean to Increase Engagement
with Automation},
booktitle = {Proceedings of the Workshop on Engaging with Automation co-located
with the {ACM} Conference on Human Factors in Computing Systems {(CHI}
2022), New Orleans, LA, USA, April 30, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3154},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3154/paper2.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:28 +0100},
biburl = {https://dblp.org/rec/conf/chi/MartinieP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/Palanque22,
author = {Philippe A. Palanque},
editor = {Simone D. J. Barbosa and
Cliff Lampe and
Caroline Appert and
David A. Shamma},
title = {How to Design and Assess Automation for Interactive Applications and
Interaction Techniques},
booktitle = {{CHI} '22: {CHI} Conference on Human Factors in Computing Systems,
New Orleans, LA, USA, 29 April 2022 - 5 May 2022, Extended Abstracts},
pages = {144:1--144:3},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3491101.3503769},
doi = {10.1145/3491101.3503769},
timestamp = {Mon, 02 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/chi/Palanque22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/GarridoPQW22,
author = {Juan Enrique Garrido and
Philippe A. Palanque and
Aaron Quigley and
Marco Winckler},
editor = {Marco Winckler and
Aaron Quigley},
title = {Engineering Awareness in Interfaces: Focus on Automation and Visualization},
booktitle = {{EICS} '22: {ACM} {SIGCHI} Symposium on Engineering Interactive Computing
Systems, Sophia Antipolis, France, June 21 - 24, 2022, Companion Volume},
pages = {54--58},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3531706.3536453},
doi = {10.1145/3531706.3536453},
timestamp = {Fri, 01 Jul 2022 12:35:39 +0200},
biburl = {https://dblp.org/rec/conf/eics/GarridoPQW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etis/FegerKPK22,
author = {Sebastian S. Feger and
Christopher Katins and
Philippe A. Palanque and
Thomas Kosch},
editor = {Val{\'{e}}rie Maquil},
title = {Re-envisioning Interaction in the (General) Aviation Cockpit through
Tangibles},
booktitle = {Short Paper Proceedings of the 5th European Tangible Interaction Studio,
Toulouse, France, November 7-10, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3328},
publisher = {CEUR-WS.org},
year = {2022},
url = {http://ceur-ws.org/Vol-3328/workshop2.pdf},
timestamp = {Wed, 13 Sep 2023 16:08:43 +0200},
biburl = {https://dblp.org/rec/conf/etis/FegerKPK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hcse/NikulaMPHLH22,
author = {Sara Nikula and
C{\'{e}}lia Martinie and
Philippe A. Palanque and
Julius Hekkala and
Outi{-}Marja Latvala and
Kimmo Halunen},
editor = {Regina Bernhaupt and
Carmelo Ardito and
Stefan Sauer},
title = {Models-Based Analysis of Both User and Attacker Tasks: Application
to {EEVEHAC}},
booktitle = {Human-Centered Software Engineering - 9th {IFIP} {WG} 13.2 International
Working Conference, {HCSE} 2022, Eindhoven, The Netherlands, August
24-26, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13482},
pages = {70--89},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-14785-2\_5},
doi = {10.1007/978-3-031-14785-2\_5},
timestamp = {Thu, 22 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hcse/NikulaMPHLH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/Savary-LeblancP22a,
author = {Maxime Savary{-}Leblanc and
Xavier Le Pallec and
Philippe A. Palanque and
C{\'{e}}lia Martinie and
Arnaud Blouin and
Fr{\'{e}}d{\'{e}}ric Jouault and
Mickael Clavreul and
Thibault Raffaillac},
editor = {Thomas K{\"{u}}hn and
Vasco Sousa},
title = {Mining human factors general trends from +100k {UML} class diagrams},
booktitle = {Proceedings of the 25th International Conference on Model Driven Engineering
Languages and Systems: Companion Proceedings, {MODELS} 2022, Montreal,
Quebec, Canada, October 23-28, 2022},
pages = {913--922},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3550356.3559098},
doi = {10.1145/3550356.3559098},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/Savary-LeblancP22a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wimob/RamirezMPC22,
author = {Jos{\'{e}} Manuel Negrete Ram{\'{\i}}rez and
C{\'{e}}lia Martinie and
Philippe A. Palanque and
Yudith Cardinale},
title = {A task-model based approach for detecting ADL-related anomalies},
booktitle = {18th International Conference on Wireless and Mobile Computing, Networking
and Communications, WiMob 2022, Thessaloniki, Greece, October 10-12,
2022},
pages = {57--62},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/WiMob55322.2022.9941688},
doi = {10.1109/WIMOB55322.2022.9941688},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wimob/RamirezMPC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/chi/2022axp,
editor = {Matthias Baldauf and
Peter Fr{\"{o}}hlich and
Virpi Roto and
Philippe A. Palanque and
Si{\^{a}}n Lindley and
Jon Rogers and
Wendy Ju and
Manfred Tscheligi},
title = {Proceedings of the Workshop on Engaging with Automation co-located
with the {ACM} Conference on Human Factors in Computing Systems {(CHI}
2022), New Orleans, LA, USA, April 30, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3154},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3154},
urn = {urn:nbn:de:0074-3154-0},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/chi/2022axp.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-01333,
author = {Marco Winckler and
Philippe A. Palanque and
Jean{-}Luc Hak and
Eric Barboni and
Olivier Nicolas and
Laurent Goncalves},
title = {Engineering Annotations: {A} Generic Framework For Gluing Design Artefacts
in Models of Interactive Systems},
journal = {CoRR},
volume = {abs/2205.01333},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.01333},
doi = {10.48550/ARXIV.2205.01333},
eprinttype = {arXiv},
eprint = {2205.01333},
timestamp = {Thu, 05 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-01333.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iwc/AmeurBCPW21,
author = {Yamine A{\"{\i}}t Ameur and
Judy Bowen and
Jos{\'{e}} Creissac Campos and
Philippe A. Palanque and
Benjamin Weyers},
title = {Heterogeneous Models and Modelling Approaches for Engineering of Interactive
Systems},
journal = {Interact. Comput.},
volume = {33},
number = {1},
pages = {1--2},
year = {2021},
url = {https://doi.org/10.1093/iwc/iwab005},
doi = {10.1093/IWC/IWAB005},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iwc/AmeurBCPW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iwc/LallaiZMPPS21,
author = {Giorgia Lallai and
Giovanni Loi Zedda and
C{\'{e}}lia Martinie and
Philippe A. Palanque and
Mauro Pisano and
Lucio Davide Spano},
title = {Engineering Task-based Augmented Reality Guidance: Application to
the Training of Aircraft Flight Procedures},
journal = {Interact. Comput.},
volume = {33},
number = {1},
pages = {17--39},
year = {2021},
url = {https://doi.org/10.1093/iwcomp/iwab007},
doi = {10.1093/IWCOMP/IWAB007},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iwc/LallaiZMPPS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iwc/NavarrePCLV21,
author = {David Navarre and
Philippe A. Palanque and
Sven Coppers and
Kris Luyten and
Davy Vanacken},
title = {Model-based Engineering of Feedforward Usability Function for {GUI}
Widgets},
journal = {Interact. Comput.},
volume = {33},
number = {1},
pages = {73--91},
year = {2021},
url = {https://doi.org/10.1093/iwcomp/iwab014},
doi = {10.1093/IWCOMP/IWAB014},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iwc/NavarrePCLV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iwc/SinghAGMP21,
author = {Neeraj Kumar Singh and
Yamine A{\"{\i}}t Ameur and
Romain Geniet and
Dominique M{\'{e}}ry and
Philippe A. Palanque},
title = {On the Benefits of Using {MVC} Pattern for Structuring Event-B Models
of {WIMP} Interactive Applications},
journal = {Interact. Comput.},
volume = {33},
number = {1},
pages = {92--114},
year = {2021},
url = {https://doi.org/10.1093/iwcomp/iwab016},
doi = {10.1093/IWCOMP/IWAB016},
timestamp = {Thu, 10 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iwc/SinghAGMP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmhci/FunkLPHM21,
author = {Mathias Funk and
Rong{-}Hao Liang and
Philippe A. Palanque and
Jun Hu and
Panos Markopoulos},
title = {Designing and Engineering Interactive Computing Systems},
journal = {Proc. {ACM} Hum. Comput. Interact.},
volume = {5},
number = {{EICS}},
pages = {193:1--193:4},
year = {2021},
url = {https://doi.org/10.1145/3457140},
doi = {10.1145/3457140},
timestamp = {Wed, 09 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmhci/FunkLPHM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmhci/CannyMNPBG21,
author = {Alexandre Canny and
C{\'{e}}lia Martinie and
David Navarre and
Philippe A. Palanque and
Eric Barboni and
Christine Gris},
title = {Engineering Model-Based Software Testing of {WIMP} Interactive Applications:
{A} Process based on Formal Models and the {SQUAMATA} Tool},
journal = {Proc. {ACM} Hum. Comput. Interact.},
volume = {5},
number = {{EICS}},
pages = {207:1--207:30},
year = {2021},
url = {https://doi.org/10.1145/3461729},
doi = {10.1145/3461729},
timestamp = {Wed, 09 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmhci/CannyMNPBG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/Baldauf0SPRJBT21,
author = {Matthias Baldauf and
Peter Fr{\"{o}}hlich and
Shadan Sadeghian and
Philippe A. Palanque and
Virpi Roto and
Wendy Ju and
Lynne Baillie and
Manfred Tscheligi},
editor = {Yoshifumi Kitamura and
Aaron Quigley and
Katherine Isbister and
Takeo Igarashi},
title = {Automation Experience at the Workplace},
booktitle = {{CHI} '21: {CHI} Conference on Human Factors in Computing Systems,
Virtual Event / Yokohama Japan, May 8-13, 2021, Extended Abstracts},
pages = {89:1--89:6},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3411763.3441332},
doi = {10.1145/3411763.3441332},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/chi/Baldauf0SPRJBT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/BouzekriMP21,
author = {Elodie Bouzekri and
C{\'{e}}lia Martinie and
Philippe A. Palanque},
editor = {Matthias Baldauf and
Peter Fr{\"{o}}hlich and
Shadan Sadeghian and
Philippe A. Palanque and
Virpi Roto and
Wendy Ju and
Lynne Baillie and
Manfred Tscheligi},
title = {From Human-Human Computer Mediated Communication to Human-Automation
Collaboration in the Light of Large Civil Aircraft Workplace},
booktitle = {Proceedings of the Workshop on Automation Experience at the Workplace,
AutomationXP 2021, co-located with the {ACM} Conference on Human Factors
in Computing Systems {(CHI} 2021), Online Workshop (originally Yokohama,
Japan), May 7, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2905},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2905/paper8.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:28 +0100},
biburl = {https://dblp.org/rec/conf/chi/BouzekriMP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/Palanque21,
author = {Philippe A. Palanque},
editor = {Yoshifumi Kitamura and
Aaron Quigley and
Katherine Isbister and
Takeo Igarashi},
title = {Introductory Course on Automation and its Use for Interactive Systems
Design and Engineering},
booktitle = {{CHI} '21: {CHI} Conference on Human Factors in Computing Systems,
Virtual Event / Yokohama Japan, May 8-13, 2021, Extended Abstracts},
pages = {147:1--147:4},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3411763.3445003},
doi = {10.1145/3411763.3445003},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/chi/Palanque21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/MendilASMP21,
author = {Isma{\"{\i}}l Mendil and
Yamine A{\"{\i}}t Ameur and
Neeraj Kumar Singh and
Dominique M{\'{e}}ry and
Philippe A. Palanque},
editor = {Alberto Lluch{-}Lafuente and
Anastasia Mavridou},
title = {Standard Conformance-by-Construction with Event-B},
booktitle = {Formal Methods for Industrial Critical Systems - 26th International
Conference, {FMICS} 2021, Paris, France, August 24-26, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12863},
pages = {126--146},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85248-1\_8},
doi = {10.1007/978-3-030-85248-1\_8},
timestamp = {Thu, 10 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmics/MendilASMP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmi/PalanqueN21,
author = {Philippe A. Palanque and
David Navarre},
editor = {Zakia Hammal and
Carlos Busso and
Catherine Pelachaud and
Sharon L. Oviatt and
Albert Ali Salah and
Guoying Zhao},
title = {Dependability and Safety: Two Clouds in the Blue Sky of Multimodal
Interaction},
booktitle = {{ICMI} '21: International Conference on Multimodal Interaction, Montr{\'{e}}al,
QC, Canada, October 18-22, 2021},
pages = {781--787},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3462244.3479881},
doi = {10.1145/3462244.3479881},
timestamp = {Sat, 30 Sep 2023 09:45:54 +0200},
biburl = {https://dblp.org/rec/conf/icmi/PalanqueN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interact/Palanque21,
author = {Philippe A. Palanque},
editor = {Carmelo Ardito and
Rosa Lanzilotti and
Alessio Malizia and
Helen Petrie and
Antonio Piccinno and
Giuseppe Desolda and
Kori Inkpen},
title = {{POISE:} {A} Framework for Designing Perfect Interactive Systems with
and for Imperfect People},
booktitle = {Human-Computer Interaction - {INTERACT} 2021 - 18th {IFIP} {TC} 13
International Conference, Bari, Italy, August 30 - September 3, 2021,
Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12932},
pages = {39--59},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85623-6\_5},
doi = {10.1007/978-3-030-85623-6\_5},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/interact/Palanque21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interact/CaffiauCMNPS21,
author = {Sybille Caffiau and
Jos{\'{e}} Creissac Campos and
C{\'{e}}lia Martinie and
Laurence Nigay and
Philippe A. Palanque and
Lucio Davide Spano},
editor = {Carmelo Ardito and
Rosa Lanzilotti and
Alessio Malizia and
Marta L{\'{a}}rusd{\'{o}}ttir and
Lucio Davide Spano and
Jos{\'{e}} Creissac Campos and
Morten Hertzum and
Tilo Mentler and
Jos{\'{e}} L. Abdelnour{-}Nocera and
Lara S. G. Piccolo and
Stefan Sauer and
Gerrit C. van der Veer},
title = {Teaching {HCI} Engineering: Four Case Studies},
booktitle = {Sense, Feel, Design - {INTERACT} 2021 {IFIP} {TC} 13 Workshops, Bari,
Italy, August 30 - September 3, 2021, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13198},
pages = {195--210},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-98388-8\_18},
doi = {10.1007/978-3-030-98388-8\_18},
timestamp = {Wed, 27 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/interact/CaffiauCMNPS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interact/PalanqueM21,
author = {Philippe A. Palanque and
C{\'{e}}lia Martinie},
editor = {Carmelo Ardito and
Rosa Lanzilotti and
Alessio Malizia and
Marta L{\'{a}}rusd{\'{o}}ttir and
Lucio Davide Spano and
Jos{\'{e}} Creissac Campos and
Morten Hertzum and
Tilo Mentler and
Jos{\'{e}} L. Abdelnour{-}Nocera and
Lara S. G. Piccolo and
Stefan Sauer and
Gerrit C. van der Veer},
title = {The Curriculum for Education in Engineering Interactive Systems at
the Master in {HCI} of the University Toulouse {III} - Paul Sabatier},
booktitle = {Sense, Feel, Design - {INTERACT} 2021 {IFIP} {TC} 13 Workshops, Bari,
Italy, August 30 - September 3, 2021, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13198},
pages = {211--220},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-98388-8\_19},
doi = {10.1007/978-3-030-98388-8\_19},
timestamp = {Wed, 27 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/interact/PalanqueM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interact/MentlerPHLM21,
author = {Tilo Mentler and
Philippe A. Palanque and
Michael D. Harrison and
Kristof Van Laerhoven and
Paolo Masci},
editor = {Carmelo Ardito and
Rosa Lanzilotti and
Alessio Malizia and
Marta L{\'{a}}rusd{\'{o}}ttir and
Lucio Davide Spano and
Jos{\'{e}} Creissac Campos and
Morten Hertzum and
Tilo Mentler and
Jos{\'{e}} L. Abdelnour{-}Nocera and
Lara S. G. Piccolo and
Stefan Sauer and
Gerrit C. van der Veer},
title = {Control Rooms from a Human-Computer Interaction Perspective},
booktitle = {Sense, Feel, Design - {INTERACT} 2021 {IFIP} {TC} 13 Workshops, Bari,
Italy, August 30 - September 3, 2021, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13198},
pages = {281--289},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-98388-8\_25},
doi = {10.1007/978-3-030-98388-8\_25},
timestamp = {Fri, 01 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/interact/MentlerPHLM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interact/MartiniePSNB21,
author = {C{\'{e}}lia Martinie and
Philippe A. Palanque and
Sandra Steere and
David Navarre and
Eric Barboni},
editor = {Carmelo Ardito and
Rosa Lanzilotti and
Alessio Malizia and
Marta L{\'{a}}rusd{\'{o}}ttir and
Lucio Davide Spano and
Jos{\'{e}} Creissac Campos and
Morten Hertzum and
Tilo Mentler and
Jos{\'{e}} L. Abdelnour{-}Nocera and
Lara S. G. Piccolo and
Stefan Sauer and
Gerrit C. van der Veer},
title = {A Generic Framework for Structuring Configuration Management for Socio-technical
System: Application to Control Rooms},
booktitle = {Sense, Feel, Design - {INTERACT} 2021 {IFIP} {TC} 13 Workshops, Bari,
Italy, August 30 - September 3, 2021, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13198},
pages = {290--301},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-98388-8\_26},
doi = {10.1007/978-3-030-98388-8\_26},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/interact/MartiniePSNB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interact/BouzekriMPPS21,
author = {Elodie Bouzekri and
C{\'{e}}lia Martinie and
Philippe A. Palanque and
Erwann Poupart and
Sandra Steere},
editor = {Carmelo Ardito and
Rosa Lanzilotti and
Alessio Malizia and
Marta L{\'{a}}rusd{\'{o}}ttir and
Lucio Davide Spano and
Jos{\'{e}} Creissac Campos and
Morten Hertzum and
Tilo Mentler and
Jos{\'{e}} L. Abdelnour{-}Nocera and
Lara S. G. Piccolo and
Stefan Sauer and
Gerrit C. van der Veer},
title = {{UX} for Some and Usability for Others: Issues of Blending Multi-user
and Multi-property in Control Centers},
booktitle = {Sense, Feel, Design - {INTERACT} 2021 {IFIP} {TC} 13 Workshops, Bari,
Italy, August 30 - September 3, 2021, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13198},
pages = {357--367},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-98388-8\_31},
doi = {10.1007/978-3-030-98388-8\_31},
timestamp = {Wed, 27 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/interact/BouzekriMPPS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interact/BouzekriMPAG21,
author = {Elodie Bouzekri and
C{\'{e}}lia Martinie and
Philippe A. Palanque and
Katrina Atwood and
Christine Gris},
editor = {Carmelo Ardito and
Rosa Lanzilotti and
Alessio Malizia and
Helen Petrie and
Antonio Piccinno and
Giuseppe Desolda and
Kori Inkpen},
title = {Should {I} Add Recommendations to My Warning System? The {RCRAFT}
Framework Can Answer This and Other Questions About Supporting the
Assessment of Automation Designs},
booktitle = {Human-Computer Interaction - {INTERACT} 2021 - 18th {IFIP} {TC} 13
International Conference, Bari, Italy, August 30 - September 3, 2021,
Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {12935},
pages = {405--429},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85610-6\_24},
doi = {10.1007/978-3-030-85610-6\_24},
timestamp = {Fri, 03 Sep 2021 16:17:41 +0200},
biburl = {https://dblp.org/rec/conf/interact/BouzekriMPAG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interact/MentlerPBJL21,
author = {Tilo Mentler and
Philippe A. Palanque and
Susanne Boll and
Chris Johnson and
Kristof Van Laerhoven},
editor = {Carmelo Ardito and
Rosa Lanzilotti and
Alessio Malizia and
Helen Petrie and
Antonio Piccinno and
Giuseppe Desolda and
Kori Inkpen},
title = {Control Rooms in Safety Critical Contexts: Design, Engineering and
Evaluation Issues - {IFIP} {WG} 13.5 Workshop at {INTERACT} 2021},
booktitle = {Human-Computer Interaction - {INTERACT} 2021 - 18th {IFIP} {TC} 13
International Conference, Bari, Italy, August 30 - September 3, 2021,
Proceedings, Part {V}},
series = {Lecture Notes in Computer Science},
volume = {12936},
pages = {530--535},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85607-6\_72},
doi = {10.1007/978-3-030-85607-6\_72},
timestamp = {Fri, 03 Sep 2021 16:17:47 +0200},
biburl = {https://dblp.org/rec/conf/interact/MentlerPBJL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interact/BaumannCDNPVVW21,
author = {Konrad Baumann and
Jos{\'{e}} Creissac Campos and
Alan J. Dix and
Laurence Nigay and
Philippe A. Palanque and
Jean Vanderdonckt and
Gerrit C. van der Veer and
Benjamin Weyers},
editor = {Carmelo Ardito and
Rosa Lanzilotti and
Alessio Malizia and
Helen Petrie and
Antonio Piccinno and
Giuseppe Desolda and
Kori Inkpen},
title = {HCI-E\({}^{\mbox{2}}\): {HCI} Engineering Education - For Developers,
Designers and More},
booktitle = {Human-Computer Interaction - {INTERACT} 2021 - 18th {IFIP} {TC} 13
International Conference, Bari, Italy, August 30 - September 3, 2021,
Proceedings, Part {V}},
series = {Lecture Notes in Computer Science},
volume = {12936},
pages = {542--547},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85607-6\_74},
doi = {10.1007/978-3-030-85607-6\_74},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/interact/BaumannCDNPVVW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/MendilASMP21,
author = {Isma{\"{\i}}l Mendil and
Yamine A{\"{\i}}t Ameur and
Neeraj Kumar Singh and
Dominique M{\'{e}}ry and
Philippe A. Palanque},
editor = {Shengchao Qin and
Jim Woodcock and
Wenhui Zhang},
title = {Leveraging Event-B Theories for Handling Domain Knowledge in Design
Models},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 7th International Symposium, {SETTA} 2021, Beijing, China, November
25-27, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13071},
pages = {40--58},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91265-9\_3},
doi = {10.1007/978-3-030-91265-9\_3},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/setta/MendilASMP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/chi/2021axp,
editor = {Matthias Baldauf and
Peter Fr{\"{o}}hlich and
Shadan Sadeghian and
Philippe A. Palanque and
Virpi Roto and
Wendy Ju and
Lynne Baillie and
Manfred Tscheligi},
title = {Proceedings of the Workshop on Automation Experience at the Workplace,
AutomationXP 2021, co-located with the {ACM} Conference on Human Factors
in Computing Systems {(CHI} 2021), Online Workshop (originally Yokohama,
Japan), May 7, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2905},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2905},
urn = {urn:nbn:de:0074-2905-6},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/chi/2021axp.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eics/2021,
editor = {Panos Markopoulos and
Jun Hu and
Philippe A. Palanque},
title = {{EICS} '21: {ACM} {SIGCHI} Symposium on Engineering Interactive Computing
Systems, Virtual Event, The Netherlands, 8-11 June 2021},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3459926},
doi = {10.1145/3459926},
isbn = {978-1-4503-8449-0},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eics/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tochi/CamposFHMMP20,
author = {Jos{\'{e}} Creissac Campos and
Camille Fayollas and
Michael D. Harrison and
C{\'{e}}lia Martinie and
Paolo Masci and
Philippe A. Palanque},
title = {Supporting the Analysis of Safety Critical User Interfaces: An Exploration
of Three Formal Tools},
journal = {{ACM} Trans. Comput. Hum. Interact.},
volume = {27},
number = {5},
pages = {35:1--35:48},
year = {2020},
url = {https://doi.org/10.1145/3404199},
doi = {10.1145/3404199},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tochi/CamposFHMMP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/MendilSAMP20,
author = {Isma{\"{\i}}l Mendil and
Neeraj Kumar Singh and
Yamine A{\"{\i}}t Ameur and
Dominique M{\'{e}}ry and
Philippe A. Palanque},
title = {An Integrated Framework for the Formal Analysis of Critical Interactive
Systems},
booktitle = {27th Asia-Pacific Software Engineering Conference, {APSEC} 2020, Singapore,
December 1-4, 2020},
pages = {139--148},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/APSEC51365.2020.00022},
doi = {10.1109/APSEC51365.2020.00022},
timestamp = {Thu, 10 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/MendilSAMP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avi/Palanque20,
author = {Philippe A. Palanque},
editor = {Genny Tortora and
Giuliana Vitiello and
Marco Winckler},
title = {Ten Objectives and Ten Rules for Designing Automations in Interaction
Techniques, User Interfaces and Interactive Systems},
booktitle = {{AVI} '20: International Conference on Advanced Visual Interfaces,
Island of Ischia, Italy, September 28 - October 2, 2020},
pages = {2:1--2:10},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3399715.3400872},
doi = {10.1145/3399715.3400872},
timestamp = {Mon, 05 Feb 2024 20:32:29 +0100},
biburl = {https://dblp.org/rec/conf/avi/Palanque20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/BollPMCLF20,
author = {Susanne Boll and
Philippe A. Palanque and
Alexander G. Mirnig and
Jessica R. Cauchard and
Margareta Holtensdotter L{\"{u}}tzh{\"{o}}ft and
Michael S. Feary},
editor = {Regina Bernhaupt and
Florian 'Floyd' Mueller and
David Verweij and
Josh Andres and
Joanna McGrenere and
Andy Cockburn and
Ignacio Avellino and
Alix Goguey and
Pernille Bj{\o}n and
Shengdong Zhao and
Briane Paul Samson and
Rafal Kocielnik},
title = {Designing Safety Critical Interactions: Hunting Down Human Error},
booktitle = {Extended Abstracts of the 2020 {CHI} Conference on Human Factors in
Computing Systems, {CHI} 2020, Honolulu, HI, USA, April 25-30, 2020},
pages = {1--7},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3334480.3375148},
doi = {10.1145/3334480.3375148},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/chi/BollPMCLF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/FrohlichBPRMTBP20,
author = {Peter Fr{\"{o}}hlich and
Matthias Baldauf and
Philippe A. Palanque and
Virpi Roto and
Thomas Meneweger and
Manfred Tscheligi and
Zoe M. Becerra and
Fabio Patern{\`{o}}},
editor = {Regina Bernhaupt and
Florian 'Floyd' Mueller and
David Verweij and
Josh Andres and
Joanna McGrenere and
Andy Cockburn and
Ignacio Avellino and
Alix Goguey and
Pernille Bj{\o}n and
Shengdong Zhao and
Briane Paul Samson and
Rafal Kocielnik},
title = {Automation Experience across Domains: Designing for Intelligibility,
Interventions, Interplay and Integrity},
booktitle = {Extended Abstracts of the 2020 {CHI} Conference on Human Factors in
Computing Systems, {CHI} 2020, Honolulu, HI, USA, April 25-30, 2020},
pages = {1--8},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3334480.3375178},
doi = {10.1145/3334480.3375178},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/chi/FrohlichBPRMTBP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/PalanqueVBBM20,
author = {Philippe A. Palanque and
Dong{-}Bach Vo and
Stephen A. Brewster and
Elodie Bouzekri and
C{\'{e}}lia Martinie},
editor = {Peter Fr{\"{o}}hlich and
Matthias Baldauf and
Philippe A. Palanque and
Virpi Roto and
Thomas Meneweger and
Manfred Tscheligi and
Zoe M. Becerra and
Fabio Patern{\`{o}}},
title = {{A-RCRAFT:} a Generic Framework for Automation Analysis and Design:
Application to Automotive, Tactile in vehicle Interactions},
booktitle = {Proceedings of the Workshop on Automation Experience across Domains,
AutomationXP 2020, co-located with the {ACM} Conference on Human Factors
in Computing Systems {(CHI} 2020), Honolulu, Hawaii, US, April 26,
2020},
series = {{CEUR} Workshop Proceedings},
volume = {2700},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2700/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:28 +0100},
biburl = {https://dblp.org/rec/conf/chi/PalanqueVBBM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/MartinieP20,
author = {C{\'{e}}lia Martinie and
Philippe A. Palanque},
editor = {Judy Bowen and
Jean Vanderdonckt and
Marco Winckler},
title = {Task models based engineering of interactive systems},
booktitle = {{EICS} '20: {ACM} {SIGCHI} Symposium on Engineering Interactive Computing
Systems, Sophia Antipolis, France, June 23-26, 2020},
pages = {16:1--16:2},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3393672.3398647},
doi = {10.1145/3393672.3398647},
timestamp = {Tue, 02 Jun 2020 18:38:13 +0200},
biburl = {https://dblp.org/rec/conf/eics/MartinieP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hcse/BernhauptMPW20,
author = {Regina Bernhaupt and
C{\'{e}}lia Martinie and
Philippe A. Palanque and
G{\"{u}}nter Wallner},
editor = {Regina Bernhaupt and
Carmelo Ardito and
Stefan Sauer},
title = {A Generic Visualization Approach Supporting Task-Based Evaluation
of Usability and User Experience},
booktitle = {Human-Centered Software Engineering - 8th {IFIP} {WG} 13.2 International
Working Conference, {HCSE} 2020, Eindhoven, The Netherlands, November
30 - December 2, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12481},
pages = {24--44},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64266-2\_2},
doi = {10.1007/978-3-030-64266-2\_2},
timestamp = {Mon, 20 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hcse/BernhauptMPW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hcse/BrodersMPWH20,
author = {Nicolas Broders and
C{\'{e}}lia Martinie and
Philippe A. Palanque and
Marco Winckler and
Kimmo Halunen},
editor = {Regina Bernhaupt and
Carmelo Ardito and
Stefan Sauer},
title = {A Generic Multimodels-Based Approach for the Analysis of Usability
and Security of Authentication Mechanisms},
booktitle = {Human-Centered Software Engineering - 8th {IFIP} {WG} 13.2 International
Working Conference, {HCSE} 2020, Eindhoven, The Netherlands, November
30 - December 2, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12481},
pages = {61--83},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64266-2\_4},
doi = {10.1007/978-3-030-64266-2\_4},
timestamp = {Mon, 20 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hcse/BrodersMPWH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/CannyPN20,
author = {Alexandre Canny and
Philippe A. Palanque and
David Navarre},
title = {Model-Based Testing of {GUI} Applications Featuring Dynamic Instanciation
of Widgets},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {95--104},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00029},
doi = {10.1109/ICSTW50294.2020.00029},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/CannyPN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rochi/Palanque20,
author = {Philippe A. Palanque},
editor = {Teodor Stefanut and
Jean Vanderdonckt and
Alexandru Butean},
title = {User Tasks Description: a Retrospective, Recent Contributions and
some Research Challenges},
booktitle = {17th International Conference on Human-Computer Interaction, RoCHI
2020, Sibiu, Romania / Online, October 22-23, 2020},
pages = {1--4},
publisher = {Matrix Rom},
year = {2020},
url = {http://rochi.utcluj.ro/articole/8/RoCHI2020-Palanque.pdf},
timestamp = {Tue, 01 Jun 2021 18:27:05 +0200},
biburl = {https://dblp.org/rec/conf/rochi/Palanque20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/PalanqueCG20,
author = {Philippe A. Palanque and
Andy Cockburn and
Carl Gutwin},
editor = {Ant{\'{o}}nio Casimiro and
Frank Ortmeier and
Friedemann Bitsch and
Pedro Ferreira},
title = {A Classification of Faults Covering the Human-Computer Interaction
Loop},
booktitle = {Computer Safety, Reliability, and Security - 39th International Conference,
{SAFECOMP} 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12234},
pages = {434--448},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-54549-9\_29},
doi = {10.1007/978-3-030-54549-9\_29},
timestamp = {Thu, 20 Aug 2020 14:33:29 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/PalanqueCG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/chi/2020axp,
editor = {Peter Fr{\"{o}}hlich and
Matthias Baldauf and
Philippe A. Palanque and
Virpi Roto and
Thomas Meneweger and
Manfred Tscheligi and
Zoe M. Becerra and
Fabio Patern{\`{o}}},
title = {Proceedings of the Workshop on Automation Experience across Domains,
AutomationXP 2020, co-located with the {ACM} Conference on Human Factors
in Computing Systems {(CHI} 2020), Honolulu, Hawaii, US, April 26,
2020},
series = {{CEUR} Workshop Proceedings},
volume = {2700},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2700},
urn = {urn:nbn:de:0074-2700-6},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/chi/2020axp.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijmms/BouzekriCFMPBDG19,
author = {Elodie Bouzekri and
Alexandre Canny and
Camille Fayollas and
C{\'{e}}lia Martinie and
Philippe A. Palanque and
Eric Barboni and
Yannick Deleris and
Christine Gris},
title = {Engineering issues related to the development of a recommender system
in a critical context: Application to interactive cockpits},
journal = {Int. J. Hum. Comput. Stud.},
volume = {121},
pages = {122--141},
year = {2019},
url = {https://doi.org/10.1016/j.ijhcs.2018.05.001},
doi = {10.1016/J.IJHCS.2018.05.001},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijmms/BouzekriCFMPBDG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijmms/CockburnMGPGYGT19,
author = {Andy Cockburn and
Damien Masson and
Carl Gutwin and
Philippe A. Palanque and
Alix Goguey and
Marcus Yung and
Christine Gris and
Catherine Trask},
title = {Design and evaluation of braced touch for touchscreen input stabilisation},
journal = {Int. J. Hum. Comput. Stud.},
volume = {122},
pages = {21--37},
year = {2019},
url = {https://doi.org/10.1016/j.ijhcs.2018.08.005},
doi = {10.1016/J.IJHCS.2018.08.005},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijmms/CockburnMGPGYGT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/interactions/MentisLBJFDOQWS19,
author = {Helena M. Mentis and
Cliff Lampe and
Regina Bernhaupt and
Anirudha Joshi and
Susan R. Fussell and
Susan M. Dray and
Dan Olsen and
Aaron Quigley and
Julie R. Williamson and
Eunice Ratna Sari and
Loren Terveen and
Allison Druin and
Philippe A. Palanque},
title = {The new {SIGCHI} EC's values and strategic initiatives},
journal = {Interactions},
volume = {26},
number = {1},
pages = {84--85},
year = {2019},
url = {https://doi.org/10.1145/3292013},
doi = {10.1145/3292013},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/interactions/MentisLBJFDOQWS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmhci/MartiniePBCCB19,
author = {C{\'{e}}lia Martinie and
Philippe A. Palanque and
Elodie Bouzekri and
Andy Cockburn and
Alexandre Canny and
Eric Barboni},
title = {Analysing and Demonstrating Tool-Supported Customizable Task Notations},
journal = {Proc. {ACM} Hum. Comput. Interact.},
volume = {3},
number = {{EICS}},
pages = {12:1--12:26},
year = {2019},
url = {https://doi.org/10.1145/3331154},
doi = {10.1145/3331154},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmhci/MartiniePBCCB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmhci/CoppersLVNPG19,
author = {Sven Coppers and
Kris Luyten and
Davy Vanacken and
David Navarre and
Philippe A. Palanque and
Christine Gris},
title = {Fortunettes: Feedforward about the Future State of {GUI} Widgets},
journal = {Proc. {ACM} Hum. Comput. Interact.},
volume = {3},
number = {{EICS}},
pages = {20:1--20:20},
year = {2019},
url = {https://doi.org/10.1145/3331162},
doi = {10.1145/3331162},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmhci/CoppersLVNPG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/DistanteWBBC0P019,
author = {Damiano Distante and
Marco Winckler and
Regina Bernhaupt and
Judy Bowen and
Jos{\'{e}} Creissac Campos and
Florian M{\"{u}}ller and
Philippe A. Palanque and
Jan Van den Bergh and
Benjamin Weyers and
Alexandra Voit},
editor = {Jos{\'{e}} Ignacio Panach and
Jean Vanderdonckt and
Oscar Pastor},
title = {Trends on engineering interactive systems: an overview of works presented
in workshops at {EICS} 2019},
booktitle = {Proceedings of the {ACM} {SIGCHI} Symposium on Engineering Interactive
Computing Systems, {EICS} 2019, Valencia, Spain, June 18-21, 2019},
pages = {22:1--22:6},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3319499.3335655},
doi = {10.1145/3319499.3335655},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eics/DistanteWBBC0P019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/NavarrePM19,
author = {David Navarre and
Philippe A. Palanque and
C{\'{e}}lia Martinie},
editor = {Benjamin Weyers and
Judy Bowen},
title = {A Roadmap and Some Directions Towards the Engineering of Interactive
Systems Deployable in Safety Critical Contexts},
booktitle = {Joint Proceedings {HCI} Engineering 2019 - Methods and Tools for Advanced
Interactive Systems and Integration of Multiple Stakeholder Viewpoints
co-located with 11th {ACM} {SIGCHI} Symposium on Engineering Interactive
Computing Systems {(EICS} 2019), Valencia, Spain, June 18, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2503},
pages = {39--45},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2503/paper1\_6.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:31 +0100},
biburl = {https://dblp.org/rec/conf/eics/NavarrePM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/CannyBMP19,
author = {Alexandre Canny and
Elodie Bouzekri and
C{\'{e}}lia Martinie and
Philippe A. Palanque},
editor = {Benjamin Weyers and
Judy Bowen},
title = {On the Importance of Supporting Multiple Stakeholders Points of View
for the Testing of Interactive Systems},
booktitle = {Joint Proceedings {HCI} Engineering 2019 - Methods and Tools for Advanced
Interactive Systems and Integration of Multiple Stakeholder Viewpoints
co-located with 11th {ACM} {SIGCHI} Symposium on Engineering Interactive
Computing Systems {(EICS} 2019), Valencia, Spain, June 18, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2503},
pages = {113--121},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2503/paper2\_4.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eics/CannyBMP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/HakNPW19,
author = {Jean{-}Luc Hak and
Olivier Nicolas and
Philippe A. Palanque and
Marco Winckler},
editor = {Benjamin Weyers and
Judy Bowen},
title = {An Attempt to Fathom the Role of Annotations in User-Centered Design
Process},
booktitle = {Joint Proceedings {HCI} Engineering 2019 - Methods and Tools for Advanced
Interactive Systems and Integration of Multiple Stakeholder Viewpoints
co-located with 11th {ACM} {SIGCHI} Symposium on Engineering Interactive
Computing Systems {(EICS} 2019), Valencia, Spain, June 18, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2503},
pages = {139--146},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2503/paper2\_7.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eics/HakNPW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/CannyNCP19,
author = {Alexandre Canny and
David Navarre and
Jos{\'{e}} Creissac Campos and
Philippe A. Palanque},
editor = {Emil Sekerinski and
Nelma Moreira and
Jos{\'{e}} N. Oliveira and
Daniel Ratiu and
Riccardo Guidotti and
Marie Farrell and
Matt Luckcuck and
Diego Marmsoler and
Jos{\'{e}} Creissac Campos and
Troy Astarte and
Laure Gonnord and
Antonio Cerone and
Luis Couto and
Brijesh Dongol and
Martin Kutrib and
Pedro Monteiro and
David Delmas},
title = {Model-Based Testing of Post-WIMP Interactions Using Object Oriented
Petri-Nets},
booktitle = {Formal Methods. {FM} 2019 International Workshops - Porto, Portugal,
October 7-11, 2019, Revised Selected Papers, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12232},
pages = {486--502},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-54994-7\_35},
doi = {10.1007/978-3-030-54994-7\_35},
timestamp = {Mon, 05 Feb 2024 20:31:40 +0100},
biburl = {https://dblp.org/rec/conf/fm/CannyNCP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/NavarrePCLV19,
author = {David Navarre and
Philippe A. Palanque and
Sven Coppers and
Kris Luyten and
Davy Vanacken},
editor = {Emil Sekerinski and
Nelma Moreira and
Jos{\'{e}} N. Oliveira and
Daniel Ratiu and
Riccardo Guidotti and
Marie Farrell and
Matt Luckcuck and
Diego Marmsoler and
Jos{\'{e}} Creissac Campos and
Troy Astarte and
Laure Gonnord and
Antonio Cerone and
Luis Couto and
Brijesh Dongol and
Martin Kutrib and
Pedro Monteiro and
David Delmas},
title = {Fortune Nets for Fortunettes: Formal, Petri Nets-Based, Engineering
of Feedforward for {GUI} Widgets},
booktitle = {Formal Methods. {FM} 2019 International Workshops - Porto, Portugal,
October 7-11, 2019, Revised Selected Papers, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12232},
pages = {503--519},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-54994-7\_36},
doi = {10.1007/978-3-030-54994-7\_36},
timestamp = {Wed, 26 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/NavarrePCLV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/SinghAMNPP19,
author = {Neeraj Kumar Singh and
Yamine A{\"{\i}}t Ameur and
Dominique M{\'{e}}ry and
David Navarre and
Philippe A. Palanque and
Marc Pantel},
editor = {Osman Hasan and
Fr{\'{e}}d{\'{e}}ric Mallet},
title = {Formal Development of Multi-Purpose Interactive Application {(MPIA)}
for {ARINC} 661},
booktitle = {Formal Techniques for Safety-Critical Systems - 7th International
Workshop, {FTSCS} 2019, Shenzhen, China, November 9, 2019, Revised
Selected Papers},
series = {Communications in Computer and Information Science},
volume = {1165},
pages = {21--39},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-46902-3\_2},
doi = {10.1007/978-3-030-46902-3\_2},
timestamp = {Thu, 10 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftscs/SinghAMNPP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interact/BouzekriCMP19,
author = {Elodie Bouzekri and
Alexandre Canny and
C{\'{e}}lia Martinie and
Philippe A. Palanque},
editor = {Jos{\'{e}} L. Abdelnour{-}Nocera and
Antigoni Parmaxi and
Marco Winckler and
Fernando Loizides and
Carmelo Ardito and
Ganesh Bhutkar and
Peter Dannenmann},
title = {Characterizing Sets of Systems: Representation and Analysis of Across-Systems
Properties},
booktitle = {Beyond Interactions - {INTERACT} 2019 {IFIP} {TC} 13 Workshops, Paphos,
Cyprus, September 2-6, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11930},
pages = {84--96},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-46540-7\_9},
doi = {10.1007/978-3-030-46540-7\_9},
timestamp = {Tue, 16 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/interact/BouzekriCMP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interact/PalanqueMB19,
author = {Philippe A. Palanque and
C{\'{e}}lia Martinie and
Elodie Bouzekri},
editor = {David Lamas and
Fernando Loizides and
Lennart E. Nacke and
Helen Petrie and
Marco Winckler and
Panayiotis Zaphiris},
title = {Introduction to Automation and to Its Potential for Interactive Systems
Design},
booktitle = {Human-Computer Interaction - {INTERACT} 2019 - 17th {IFIP} {TC} 13
International Conference, Paphos, Cyprus, September 2-6, 2019, Proceedings,
Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {11749},
pages = {523--526},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29390-1\_29},
doi = {10.1007/978-3-030-29390-1\_29},
timestamp = {Fri, 30 Aug 2019 09:40:11 +0200},
biburl = {https://dblp.org/rec/conf/interact/PalanqueMB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interact/BouzekriCMPG19,
author = {Elodie Bouzekri and
Alexandre Canny and
C{\'{e}}lia Martinie and
Philippe A. Palanque and
Christine Gris},
editor = {David Lamas and
Fernando Loizides and
Lennart E. Nacke and
Helen Petrie and
Marco Winckler and
Panayiotis Zaphiris},
title = {Deep System Knowledge Required: Revisiting {UCD} Contribution in the
Design of Complex Command and Control Systems},
booktitle = {Human-Computer Interaction - {INTERACT} 2019 - 17th {IFIP} {TC} 13
International Conference, Paphos, Cyprus, September 2-6, 2019, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {11746},
pages = {699--720},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29381-9\_42},
doi = {10.1007/978-3-030-29381-9\_42},
timestamp = {Fri, 30 Aug 2019 09:28:07 +0200},
biburl = {https://dblp.org/rec/conf/interact/BouzekriCMPG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interact/PalanqueCACR19,
author = {Philippe A. Palanque and
Pedro F. Campos and
Jos{\'{e}} L. Abdelnour{-}Nocera and
Torkil Clemmensen and
Virpi Roto},
editor = {David Lamas and
Fernando Loizides and
Lennart E. Nacke and
Helen Petrie and
Marco Winckler and
Panayiotis Zaphiris},
title = {User Experience in an Automated World},
booktitle = {Human-Computer Interaction - {INTERACT} 2019 - 17th {IFIP} {TC} 13
International Conference, Paphos, Cyprus, September 2-6, 2019, Proceedings,
Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {11749},
pages = {706--710},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29390-1\_67},
doi = {10.1007/978-3-030-29390-1\_67},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/interact/PalanqueCACR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interact/ArditoBP019,
author = {Carmelo Ardito and
Regina Bernhaupt and
Philippe A. Palanque and
Stefan Sauer},
editor = {David Lamas and
Fernando Loizides and
Lennart E. Nacke and
Helen Petrie and
Marco Winckler and
Panayiotis Zaphiris},
title = {Handling Security, Usability, User Experience and Reliability in User-Centered
Development Processes - {IFIP} {WG} 13.2 and {WG} 13.5 Workshop at
{INTERACT} 2019},
booktitle = {Human-Computer Interaction - {INTERACT} 2019 - 17th {IFIP} {TC} 13
International Conference, Paphos, Cyprus, September 2-6, 2019, Proceedings,
Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {11749},
pages = {759--762},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29390-1\_76},
doi = {10.1007/978-3-030-29390-1\_76},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/interact/ArditoBP019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ithings/CannyFMNPGD19,
author = {Alexandre Canny and
Camille Fayollas and
C{\'{e}}lia Martinie and
David Navarre and
Philippe A. Palanque and
Christine Gris and
Yannick Deleris},
title = {Divide to Conquer: Functional Decomposition to Support Model-Based
Engineering of Command and Control of Cyber-Physical Systems},
booktitle = {2019 International Conference on Internet of Things (iThings) and
{IEEE} Green Computing and Communications (GreenCom) and {IEEE} Cyber,
Physical and Social Computing (CPSCom) and {IEEE} Smart Data (SmartData),
iThings/GreenCom/CPSCom/SmartData 2019, Atlanta, GA, USA, July 14-17,
2019},
pages = {694--701},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/iThings/GreenCom/CPSCom/SmartData.2019.00132},
doi = {10.1109/ITHINGS/GREENCOM/CPSCOM/SMARTDATA.2019.00132},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ithings/CannyFMNPGD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/PalanqueCDGD19,
author = {Philippe A. Palanque and
Andy Cockburn and
L{\'{e}}opold D{\'{e}}sert{-}Legendre and
Carl Gutwin and
Yannick Deleris},
editor = {Alexander B. Romanovsky and
Elena Troubitsyna and
Friedemann Bitsch},
title = {Brace Touch: {A} Dependable, Turbulence-Tolerant, Multi-touch Interaction
Technique for Interactive Cockpits},
booktitle = {Computer Safety, Reliability, and Security - 38th International Conference,
{SAFECOMP} 2019, Turku, Finland, September 11-13, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11698},
pages = {53--68},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-26601-1\_4},
doi = {10.1007/978-3-030-26601-1\_4},
timestamp = {Mon, 02 Sep 2019 15:11:27 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/PalanqueCDGD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hcse/2018,
editor = {Cristian Bogdan and
Kati Kuusinen and
Marta Krist{\'{\i}}n L{\'{a}}rusd{\'{o}}ttir and
Philippe A. Palanque and
Marco Winckler},
title = {Human-Centered Software Engineering - 7th {IFIP} {WG} 13.2 International
Working Conference, {HCSE} 2018, Sophia Antipolis, France, September
3-5, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11262},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-05909-5},
doi = {10.1007/978-3-030-05909-5},
isbn = {978-3-030-05908-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hcse/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/interactions/TerveenMQP18,
author = {Loren G. Terveen and
Helena M. Mentis and
Aaron Quigley and
Philippe A. Palanque},
title = {The evolution of {SIGCHI} conferences and the future of {CHI}},
journal = {Interactions},
volume = {25},
number = {5},
pages = {84--85},
year = {2018},
url = {https://doi.org/10.1145/3264436},
doi = {10.1145/3264436},
timestamp = {Thu, 30 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/interactions/TerveenMQP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/Meschtscherjakov18,
author = {Alexander Meschtscherjakov and
Manfred Tscheligi and
Bastian Pfleging and
Shadan Sadeghian Borojeni and
Wendy Ju and
Philippe A. Palanque and
Andreas Riener and
Bilge Mutlu and
Andrew L. Kun},
editor = {Regan L. Mandryk and
Mark Hancock and
Mark Perry and
Anna L. Cox},
title = {Interacting with Autonomous Vehicles: Learning from other Domains},
booktitle = {Extended Abstracts of the 2018 {CHI} Conference on Human Factors in
Computing Systems, {CHI} 2018, Montreal, QC, Canada, April 21-26,
2018},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3170427.3170614},
doi = {10.1145/3170427.3170614},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/chi/Meschtscherjakov18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/PalanqueMF18,
author = {Philippe A. Palanque and
C{\'{e}}lia Martinie and
Camille Fayollas},
editor = {Regan L. Mandryk and
Mark Hancock and
Mark Perry and
Anna L. Cox},
title = {Automation: Danger or Opportunity? Designing and Assessing Automation
for Interactive Systems},
booktitle = {Extended Abstracts of the 2018 {CHI} Conference on Human Factors in
Computing Systems, {CHI} 2018, Montreal, QC, Canada, April 21-26,
2018},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3170427.3170652},
doi = {10.1145/3170427.3170652},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/chi/PalanqueMF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/Palanque18,
author = {Philippe A. Palanque},
title = {Engineering Automations: From a Human Factor Perspective to Design,
Implementation and Validation Challenges},
booktitle = {Proceedings of the {ACM} {SIGCHI} Symposium on Engineering Interactive
Computing Systems, {EICS} 2018, Paris, France, June 19-22, 2018},
pages = {2:1--2:2},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3220134.3223044},
doi = {10.1145/3220134.3223044},
timestamp = {Wed, 21 Nov 2018 12:44:12 +0100},
biburl = {https://dblp.org/rec/conf/eics/Palanque18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/MartinieNPBC18,
author = {C{\'{e}}lia Martinie and
David Navarre and
Philippe A. Palanque and
Eric Barboni and
Alexandre Canny},
title = {{TOUCAN:} An {IDE} Supporting the Development of Effective Interactive
Java Applications},
booktitle = {Proceedings of the {ACM} {SIGCHI} Symposium on Engineering Interactive
Computing Systems, {EICS} 2018, Paris, France, June 19-22, 2018},
pages = {4:1--4:7},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3220134.3220136},
doi = {10.1145/3220134.3220136},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eics/MartinieNPBC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hcse/CronelDPC18,
author = {Martin Cronel and
Bruno Dumas and
Philippe A. Palanque and
Alexandre Canny},
editor = {Cristian Bogdan and
Kati Kuusinen and
Marta Krist{\'{\i}}n L{\'{a}}rusd{\'{o}}ttir and
Philippe A. Palanque and
Marco Winckler},
title = {{MIODMIT:} {A} Generic Architecture for Dynamic Multimodal Interactive
Systems},
booktitle = {Human-Centered Software Engineering - 7th {IFIP} {WG} 13.2 International
Working Conference, {HCSE} 2018, Sophia Antipolis, France, September
3-5, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11262},
pages = {109--129},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-05909-5\_7},
doi = {10.1007/978-3-030-05909-5\_7},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/hcse/CronelDPC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hcse/BernhauptPDM18,
author = {Regina Bernhaupt and
Philippe A. Palanque and
Dimitri Drouet and
C{\'{e}}lia Martinie},
editor = {Cristian Bogdan and
Kati Kuusinen and
Marta Krist{\'{\i}}n L{\'{a}}rusd{\'{o}}ttir and
Philippe A. Palanque and
Marco Winckler},
title = {Enriching Task Models with Usability and User Experience Evaluation
Data},
booktitle = {Human-Centered Software Engineering - 7th {IFIP} {WG} 13.2 International
Working Conference, {HCSE} 2018, Sophia Antipolis, France, September
3-5, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11262},
pages = {146--163},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-05909-5\_9},
doi = {10.1007/978-3-030-05909-5\_9},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hcse/BernhauptPDM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hcse/CannyBMP18,
author = {Alexandre Canny and
Elodie Bouzekri and
C{\'{e}}lia Martinie and
Philippe A. Palanque},
editor = {Cristian Bogdan and
Kati Kuusinen and
Marta Krist{\'{\i}}n L{\'{a}}rusd{\'{o}}ttir and
Philippe A. Palanque and
Marco Winckler},
title = {Rationalizing the Need of Architecture-Driven Testing of Interactive
Systems},
booktitle = {Human-Centered Software Engineering - 7th {IFIP} {WG} 13.2 International
Working Conference, {HCSE} 2018, Sophia Antipolis, France, September
3-5, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11262},
pages = {164--186},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-05909-5\_10},
doi = {10.1007/978-3-030-05909-5\_10},
timestamp = {Thu, 03 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hcse/CannyBMP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip13/BouzekriCMPG18,
author = {Elodie Bouzekri and
Alexandre Canny and
C{\'{e}}lia Martinie and
Philippe A. Palanque and
Christine Gris},
editor = {Barbara Rita Barricelli and
Virpi Roto and
Torkil Clemmensen and
Pedro F. Campos and
Arminda Lopes and
Frederica Gon{\c{c}}alves and
Jos{\'{e}} L. Abdelnour{-}Nocera},
title = {Using Task Descriptions with Explicit Representation of Allocation
of Functions, Authority and Responsibility to Design and Assess Automation},
booktitle = {Human Work Interaction Design. Designing Engaging Automation - 5th
{IFIP} {WG} 13.6 Working Conference, {HWID} 2018, Espoo, Finland,
August 20-21, 2018, Revised Selected Papers},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {544},
pages = {36--56},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-05297-3\_3},
doi = {10.1007/978-3-030-05297-3\_3},
timestamp = {Mon, 15 Jun 2020 17:10:07 +0200},
biburl = {https://dblp.org/rec/conf/ifip13/BouzekriCMPG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip13/RotoPK18,
author = {Virpi Roto and
Philippe A. Palanque and
Hannu Karvonen},
editor = {Barbara Rita Barricelli and
Virpi Roto and
Torkil Clemmensen and
Pedro F. Campos and
Arminda Lopes and
Frederica Gon{\c{c}}alves and
Jos{\'{e}} L. Abdelnour{-}Nocera},
title = {Engaging Automation at Work - {A} Literature Review},
booktitle = {Human Work Interaction Design. Designing Engaging Automation - 5th
{IFIP} {WG} 13.6 Working Conference, {HWID} 2018, Espoo, Finland,
August 20-21, 2018, Revised Selected Papers},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {544},
pages = {158--172},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-05297-3\_11},
doi = {10.1007/978-3-030-05297-3\_11},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip13/RotoPK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rochi/2018,
editor = {Adrian Sabou and
Philippe A. Palanque},
title = {15th International Conference on Human Computer Interaction, RoCHI
2018, Cluj-Napoca, Romania, September 3-4, 2018},
publisher = {Matrix Rom},
year = {2018},
url = {http://rochi.utcluj.ro/proceedings/en/articles-RoCHI2018.php},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rochi/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/LazarCGVPMM17,
author = {Jonathan Lazar and
Elizabeth F. Churchill and
Tovi Grossman and
Gerrit C. van der Veer and
Philippe A. Palanque and
John Morris and
Jennifer Mankoff},
title = {Making the field of computing more inclusive},
journal = {Commun. {ACM}},
volume = {60},
number = {3},
pages = {50--59},
year = {2017},
url = {https://doi.org/10.1145/2993420},
doi = {10.1145/2993420},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/LazarCGVPMM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmhci/CamposFGMNPP17,
author = {Jos{\'{e}} Creissac Campos and
Camille Fayollas and
Marcelo Gon{\c{c}}alves and
C{\'{e}}lia Martinie and
David Navarre and
Philippe A. Palanque and
Miguel Pinto},
title = {A More Intelligent Test Case Generation Approach through Task Models
Manipulation},
journal = {Proc. {ACM} Hum. Comput. Interact.},
volume = {1},
number = {{EICS}},
pages = {9:1--9:20},
year = {2017},
url = {https://doi.org/10.1145/3095811},
doi = {10.1145/3095811},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmhci/CamposFGMNPP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/PalanqueMF17,
author = {Philippe A. Palanque and
C{\'{e}}lia Martinie and
Camille Fayollas},
editor = {Gloria Mark and
Susan R. Fussell and
Cliff Lampe and
m. c. schraefel and
Juan Pablo Hourcade and
Caroline Appert and
Daniel Wigdor},
title = {Automation: Danger or Opportunity? Designing and Assessing Automation
for Interactive Systems},
booktitle = {Proceedings of the 2017 {CHI} Conference on Human Factors in Computing
Systems, Denver, CO, USA, May 06-11, 2017, Extended Abstracts},
pages = {1257--1260},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3027063.3027115},
doi = {10.1145/3027063.3027115},
timestamp = {Tue, 06 Nov 2018 16:58:46 +0100},
biburl = {https://dblp.org/rec/conf/chi/PalanqueMF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/CockburnGPDTCYM17,
author = {Andy Cockburn and
Carl Gutwin and
Philippe A. Palanque and
Yannick Deleris and
Catherine Trask and
Ashley Coveney and
Marcus Yung and
Karon E. MacLean},
editor = {Gloria Mark and
Susan R. Fussell and
Cliff Lampe and
m. c. schraefel and
Juan Pablo Hourcade and
Caroline Appert and
Daniel Wigdor},
title = {Turbulent Touch: Touchscreen Input for Cockpit Flight Displays},
booktitle = {Proceedings of the 2017 {CHI} Conference on Human Factors in Computing
Systems, Denver, CO, USA, May 06-11, 2017},
pages = {6742--6753},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3025453.3025584},
doi = {10.1145/3025453.3025584},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/chi/CockburnGPDTCYM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/BouzekriCFMPBDG17,
author = {Elodie Bouzekri and
Alexandre Canny and
Camille Fayollas and
C{\'{e}}lia Martinie and
Philippe A. Palanque and
Eric Barboni and
Yannick Deleris and
Christine Gris},
editor = {Ludovico Boratto and
Salvatore Carta and
Gianni Fenu},
title = {A List of Pre-Requisites to Make Recommender Systems Deployable in
Critical Context},
booktitle = {Proceedings of the Second Workshop on Engineering Computer-Human Interaction
in Recommender Systems co-located with the 9th {ACM} {SIGCHI} Symposium
on Engineering Interactive Computing Systems {(EICS} 2017), Lisbon,
Portugal, June 26, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1945},
pages = {42--55},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1945/paper\_7.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:31 +0100},
biburl = {https://dblp.org/rec/conf/eics/BouzekriCFMPBDG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interact/FayollasMPA17,
author = {Camille Fayollas and
C{\'{e}}lia Martinie and
Philippe A. Palanque and
Yamine A{\"{\i}}t Ameur},
editor = {Torkil Clemmensen and
Venkatesh Rajamanickam and
Peter Dannenmann and
Helen Petrie and
Marco Winckler},
title = {{QBP} Notation for Explicit Representation of Properties, Their Refinement
and Their Potential Conflicts: Application to Interactive Systems},
booktitle = {Global Thoughts, Local Designs - {INTERACT} 2017 {IFIP} {TC} 13 Workshops,
Mumbai, India, September 25-27, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10774},
pages = {91--105},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-92081-8\_9},
doi = {10.1007/978-3-319-92081-8\_9},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/interact/FayollasMPA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interact/NavarrePHP17,
author = {David Navarre and
Philippe A. Palanque and
Arnaud Hamon and
Sabrina Della Pasqua},
editor = {Torkil Clemmensen and
Venkatesh Rajamanickam and
Peter Dannenmann and
Helen Petrie and
Marco Winckler},
title = {Similarity as a Design Driver for User Interfaces of Dependable Critical
Systems},
booktitle = {Global Thoughts, Local Designs - {INTERACT} 2017 {IFIP} {TC} 13 Workshops,
Mumbai, India, September 25-27, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10774},
pages = {114--122},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-92081-8\_11},
doi = {10.1007/978-3-319-92081-8\_11},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/interact/NavarrePHP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interact/PalanqueMW17,
author = {Philippe A. Palanque and
C{\'{e}}lia Martinie and
Marco Winckler},
editor = {Regina Bernhaupt and
Girish Dalvi and
Anirudha Joshi and
Devanuj K. Balkrishan and
Jacki O'Neill and
Marco Winckler},
title = {Designing and Assessing Interactive Systems Using Task Models},
booktitle = {Human-Computer Interaction - {INTERACT} 2017 - 16th {IFIP} {TC} 13
International Conference, Mumbai, India, September 25-29, 2017, Proceedings,
Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {10516},
pages = {383--386},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68059-0\_35},
doi = {10.1007/978-3-319-68059-0\_35},
timestamp = {Mon, 26 Jun 2023 20:44:59 +0200},
biburl = {https://dblp.org/rec/conf/interact/PalanqueMW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mhci/Meschtscherjakov17,
author = {Alexander Meschtscherjakov and
Manfred Tscheligi and
Peter Fr{\"{o}}hlich and
Rod McCall and
Andreas Riener and
Philippe A. Palanque},
editor = {Matt Jones and
Manfred Tscheligi and
Yvonne Rogers and
Roderick Murray{-}Smith},
title = {Mobile interaction with and in autonomous vehicles},
booktitle = {Proceedings of the 19th International Conference on Human-Computer
Interaction with Mobile Devices and Services, MobileHCI 2017, Vienna,
Austria, September 4-7, 2017},
pages = {78:1--78:6},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3098279.3119837},
doi = {10.1145/3098279.3119837},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mhci/Meschtscherjakov17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/17/OliveiraPWBD17,
author = {Raquel Oliveira Prates and
Philippe A. Palanque and
Benjamin Weyers and
Judy Bowen and
Alan J. Dix},
editor = {Benjamin Weyers and
Judy Bowen and
Alan J. Dix and
Philippe A. Palanque},
title = {State of the Art on Formal Methods for Interactive Systems},
booktitle = {The Handbook of Formal Methods in Human-Computer Interaction},
pages = {3--55},
publisher = {Springer International Publishing},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-51838-1\_1},
doi = {10.1007/978-3-319-51838-1\_1},
timestamp = {Tue, 02 Jun 2020 16:56:41 +0200},
biburl = {https://dblp.org/rec/books/sp/17/OliveiraPWBD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/17/BowenDPW17,
author = {Judy Bowen and
Alan J. Dix and
Philippe A. Palanque and
Benjamin Weyers},
editor = {Benjamin Weyers and
Judy Bowen and
Alan J. Dix and
Philippe A. Palanque},
title = {Topics of Formal Methods in {HCI}},
booktitle = {The Handbook of Formal Methods in Human-Computer Interaction},
pages = {57--64},
publisher = {Springer International Publishing},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-51838-1\_2},
doi = {10.1007/978-3-319-51838-1\_2},
timestamp = {Tue, 02 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/17/BowenDPW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/17/DixWBP17,
author = {Alan J. Dix and
Benjamin Weyers and
Judy Bowen and
Philippe A. Palanque},
editor = {Benjamin Weyers and
Judy Bowen and
Alan J. Dix and
Philippe A. Palanque},
title = {Trends and Gaps},
booktitle = {The Handbook of Formal Methods in Human-Computer Interaction},
pages = {65--88},
publisher = {Springer International Publishing},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-51838-1\_3},
doi = {10.1007/978-3-319-51838-1\_3},
timestamp = {Tue, 02 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/17/DixWBP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/17/WeyersHBDP17,
author = {Benjamin Weyers and
Michael D. Harrison and
Judy Bowen and
Alan J. Dix and
Philippe A. Palanque},
editor = {Benjamin Weyers and
Judy Bowen and
Alan J. Dix and
Philippe A. Palanque},
title = {Case Studies},
booktitle = {The Handbook of Formal Methods in Human-Computer Interaction},
pages = {89--121},
publisher = {Springer International Publishing},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-51838-1\_4},
doi = {10.1007/978-3-319-51838-1\_4},
timestamp = {Tue, 02 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/17/WeyersHBDP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/17/AldalurWDP17,
author = {I{\~{n}}igo Aldalur and
Marco Winckler and
Oscar D{\'{\i}}az and
Philippe A. Palanque},
editor = {Fabio Patern{\`{o}} and
Volker Wulf},
title = {Web Augmentation as a Promising Technology for End User Development},
booktitle = {New Perspectives in End-User Development},
pages = {433--459},
publisher = {Springer International Publishing},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-60291-2\_17},
doi = {10.1007/978-3-319-60291-2\_17},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/17/AldalurWDP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/17/FayollasMPBFH17,
author = {Camille Fayollas and
C{\'{e}}lia Martinie and
Philippe A. Palanque and
Eric Barboni and
Racim Fahssi and
Arnaud Hamon},
editor = {Benjamin Weyers and
Judy Bowen and
Alan J. Dix and
Philippe A. Palanque},
title = {Exploiting Action Theory as a Framework for Analysis and Design of
Formal Methods Approaches: Application to the {CIRCUS} Integrated
Development Environment},
booktitle = {The Handbook of Formal Methods in Human-Computer Interaction},
pages = {465--504},
publisher = {Springer International Publishing},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-51838-1\_17},
doi = {10.1007/978-3-319-51838-1\_17},
timestamp = {Thu, 27 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/17/FayollasMPBFH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/17/FayollasPFMD17,
author = {Camille Fayollas and
Philippe A. Palanque and
Jean{-}Charles Fabre and
C{\'{e}}lia Martinie and
Yannick D{\'{e}}l{\'{e}}ris},
editor = {Benjamin Weyers and
Judy Bowen and
Alan J. Dix and
Philippe A. Palanque},
title = {Dealing with Faults During Operations: Beyond Classical Use of Formal
Methods},
booktitle = {The Handbook of Formal Methods in Human-Computer Interaction},
pages = {549--575},
publisher = {Springer International Publishing},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-51838-1\_20},
doi = {10.1007/978-3-319-51838-1\_20},
timestamp = {Thu, 27 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/17/FayollasPFMD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/WDBP2017,
editor = {Benjamin Weyers and
Judy Bowen and
Alan J. Dix and
Philippe A. Palanque},
title = {The Handbook of Formal Methods in Human-Computer Interaction},
publisher = {Springer International Publishing},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-51838-1},
doi = {10.1007/978-3-319-51838-1},
isbn = {978-3-319-51837-4},
timestamp = {Tue, 02 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/WDBP2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/thms/MartiniePFBFS16,
author = {C{\'{e}}lia Martinie and
Philippe A. Palanque and
Racim Fahssi and
Jean{-}Paul Blanquart and
Camille Fayollas and
Christel Seguin},
title = {Task Model-Based Systematic Analysis of Both System Failures and Human
Errors},
journal = {{IEEE} Trans. Hum. Mach. Syst.},
volume = {46},
number = {2},
pages = {243--254},
year = {2016},
url = {https://doi.org/10.1109/THMS.2014.2365956},
doi = {10.1109/THMS.2014.2365956},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/thms/MartiniePFBFS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/PalanqueM16,
author = {Philippe A. Palanque and
C{\'{e}}lia Martinie},
editor = {Jofish Kaye and
Allison Druin and
Cliff Lampe and
Dan Morris and
Juan Pablo Hourcade},
title = {Designing and Assessing Interactive Systems Using Task Models},
booktitle = {Proceedings of the 2016 {CHI} Conference on Human Factors in Computing
Systems, San Jose, CA, USA, May 7-12, 2016, Extended Abstracts},
pages = {976--979},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2851581.2856686},
doi = {10.1145/2851581.2856686},
timestamp = {Wed, 01 Jun 2022 08:38:38 +0200},
biburl = {https://dblp.org/rec/conf/chi/PalanqueM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/FearyMPT16,
author = {Michael Feary and
C{\'{e}}lia Martinie and
Philippe A. Palanque and
Manfred Tscheligi},
editor = {Jofish Kaye and
Allison Druin and
Cliff Lampe and
Dan Morris and
Juan Pablo Hourcade},
title = {Multiple Views on Safety-Critical Automation: Aircrafts, Autonomous
Vehicles, Air Traffic Management and Satellite Ground Segments Perspectives},
booktitle = {Proceedings of the 2016 {CHI} Conference on Human Factors in Computing
Systems, San Jose, CA, USA, May 7-12, 2016, Extended Abstracts},
pages = {1069--1072},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2851581.2886430},
doi = {10.1145/2851581.2886430},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/chi/FearyMPT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/FayollasMPBD16,
author = {Camille Fayollas and
C{\'{e}}lia Martinie and
Philippe A. Palanque and
Eric Barboni and
Yannick Deleris},
editor = {Ludovico Boratto and
Lucio Davide Spano and
Salvatore Carta and
Gianni Fenu},
title = {What Can Be Learnt from Engineering Safety Critical Partly-Autonomous
Systems when Engineering Recommender Systems},
booktitle = {Proceedings of the Workshop on Engineering Computer-Human Interaction
in Recommender Systems co-located with the eight {ACM} {SIGCHI} Symposium
on Engineering Interactive Computing Systems, EnCHIReS@EICS 2016,
Bruxelles, Belgium, June 21, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1705},
pages = {14--25},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1705/03-paper.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:31 +0100},
biburl = {https://dblp.org/rec/conf/eics/FayollasMPBD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/FayollasMNP16,
author = {Camille Fayollas and
C{\'{e}}lia Martinie and
David Navarre and
Philippe A. Palanque},
editor = {Kris Luyten and
Philippe A. Palanque},
title = {Engineering mixed-criticality interactive applications},
booktitle = {Proceedings of the 8th {ACM} {SIGCHI} Symposium on Engineering Interactive
Computing Systems, {EICS} 2016, Brussels, Belgium, June 21-24, 2016},
pages = {108--119},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933242.2933258},
doi = {10.1145/2933242.2933258},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eics/FayollasMNP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/CamposFMNPP16,
author = {Jos{\'{e}} Creissac Campos and
Camille Fayollas and
C{\'{e}}lia Martinie and
David Navarre and
Philippe A. Palanque and
Miguel Pinto},
editor = {Kris Luyten and
Philippe A. Palanque},
title = {Systematic automation of scenario-based testing of user interfaces},
booktitle = {Proceedings of the 8th {ACM} {SIGCHI} Symposium on Engineering Interactive
Computing Systems, {EICS} 2016, Brussels, Belgium, June 21-24, 2016},
pages = {138--148},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933242.2948735},
doi = {10.1145/2933242.2948735},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eics/CamposFMNPP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hciaero/FayollasFPCND16,
author = {Camille Fayollas and
Jean{-}Charles Fabre and
Philippe A. Palanque and
Martin Cronel and
David Navarre and
Yannick Deleris},
editor = {Guy A. Boy},
title = {A three-fold approach towards increased assurance levels for interactive
systems: a flight control unit case study},
booktitle = {Proceedings of the International Conference on Human-Computer Interaction
in Aerospace, HCI-Aero 2016, Paris, France, September 14-16, 2016},
pages = {2:1--2:9},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2950112.2964578},
doi = {10.1145/2950112.2964578},
timestamp = {Tue, 06 Nov 2018 16:59:08 +0100},
biburl = {https://dblp.org/rec/conf/hciaero/FayollasFPCND16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip13-5/BernhauptPMM16,
author = {Regina Bernhaupt and
Philippe A. Palanque and
Fran{\c{c}}ois Manciet and
C{\'{e}}lia Martinie},
editor = {Cristian Bogdan and
Jan Gulliksen and
Stefan Sauer and
Peter Forbrig and
Marco Winckler and
Chris W. Johnson and
Philippe A. Palanque and
Regina Bernhaupt and
Filip Kis},
title = {User-Test Results Injection into Task-Based Design Process for the
Assessment and Improvement of Both Usability and User Experience},
booktitle = {Human-Centered and Error-Resilient Systems Development - {IFIP} {WG}
13.2/13.5 Joint Working Conference 6th International Conference on
Human-Centered Software Engineering, {HCSE} 2016, and 8th International
Conference on Human Error, Safety, and System Development, {HESSD}
2016 Stockholm, Sweden, August 29-31, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9856},
pages = {56--72},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-44902-9\_5},
doi = {10.1007/978-3-319-44902-9\_5},
timestamp = {Mon, 26 Jun 2023 20:49:05 +0200},
biburl = {https://dblp.org/rec/conf/ifip13-5/BernhauptPMM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip13-5/BillmanFFMP16,
author = {Dorrit Billman and
Camille Fayollas and
Michael Feary and
C{\'{e}}lia Martinie and
Philippe A. Palanque},
editor = {Cristian Bogdan and
Jan Gulliksen and
Stefan Sauer and
Peter Forbrig and
Marco Winckler and
Chris W. Johnson and
Philippe A. Palanque and
Regina Bernhaupt and
Filip Kis},
title = {Complementary Tools and Techniques for Supporting Fitness-for-Purpose
of Interactive Critical Systems},
booktitle = {Human-Centered and Error-Resilient Systems Development - {IFIP} {WG}
13.2/13.5 Joint Working Conference 6th International Conference on
Human-Centered Software Engineering, {HCSE} 2016, and 8th International
Conference on Human Error, Safety, and System Development, {HESSD}
2016 Stockholm, Sweden, August 29-31, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9856},
pages = {181--202},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-44902-9\_12},
doi = {10.1007/978-3-319-44902-9\_12},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip13-5/BillmanFFMP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/FahssiMP16,
author = {Racim Fahssi and
C{\'{e}}lia Martinie and
Philippe A. Palanque},
title = {Embedding explicit representation of cyber-physical elements in task
models},
booktitle = {2016 {IEEE} International Conference on Systems, Man, and Cybernetics,
{SMC} 2016, Budapest, Hungary, October 9-12, 2016},
pages = {1969--1974},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/SMC.2016.7844528},
doi = {10.1109/SMC.2016.7844528},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/smc/FahssiMP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/FayollasMPMHCS17,
author = {Camille Fayollas and
C{\'{e}}lia Martinie and
Philippe A. Palanque and
Paolo Masci and
Michael D. Harrison and
Jos{\'{e}} Creissac Campos and
Saulo Rodrigues e Silva},
editor = {Catherine Dubois and
Paolo Masci and
Dominique M{\'{e}}ry},
title = {Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis:
The Case of {CIRCUS} and PVSio-web},
booktitle = {Proceedings of the Third Workshop on Formal Integrated Development
Environment, F-IDE@FM 2016, Limassol, Cyprus, November 8, 2016},
series = {{EPTCS}},
volume = {240},
pages = {1--19},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.240.1},
doi = {10.4204/EPTCS.240.1},
timestamp = {Tue, 01 Jun 2021 08:33:36 +0200},
biburl = {https://dblp.org/rec/journals/corr/FayollasMPMHCS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eics/2016,
editor = {Kris Luyten and
Philippe A. Palanque},
title = {Proceedings of the 8th {ACM} {SIGCHI} Symposium on Engineering Interactive
Computing Systems, {EICS} 2016, Brussels, Belgium, June 21-24, 2016},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933242},
doi = {10.1145/2933242},
isbn = {978-1-4503-4322-0},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eics/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifip13-5/2016,
editor = {Cristian Bogdan and
Jan Gulliksen and
Stefan Sauer and
Peter Forbrig and
Marco Winckler and
Chris W. Johnson and
Philippe A. Palanque and
Regina Bernhaupt and
Filip Kis},
title = {Human-Centered and Error-Resilient Systems Development - {IFIP} {WG}
13.2/13.5 Joint Working Conference 6th International Conference on
Human-Centered Software Engineering, {HCSE} 2016, and 8th International
Conference on Human Error, Safety, and System Development, {HESSD}
2016 Stockholm, Sweden, August 29-31, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9856},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-44902-9},
doi = {10.1007/978-3-319-44902-9},
isbn = {978-3-319-44901-2},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip13-5/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/icom/FayollasMNP15,
author = {Camille Fayollas and
C{\'{e}}lia Martinie and
David Navarre and
Philippe A. Palanque},
title = {A Generic Approach for Assessing Compatibility Between Task Descriptions
and Interactive Systems: Application to the Effectiveness of a Flight
Control Unit},
journal = {i-com},
volume = {14},
number = {3},
pages = {170--191},
year = {2015},
url = {https://doi.org/10.1515/icom-2015-0037},
doi = {10.1515/ICOM-2015-0037},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/icom/FayollasMNP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atacss/RagostaMPNS15,
author = {Martina Ragosta and
C{\'{e}}lia Martinie and
Philippe A. Palanque and
David Navarre and
Mark{-}Alexander Sujan},
editor = {Michael Feary and
Thomas Feuerle and
Cristina Gonzalez Rechea and
Francisco Javier Saez and
Chris W. Johnson and
C{\'{e}}lia Martinie and
Philippe A. Palanque and
Alberto Pasquini and
Pim van Leeuwen and
Marco Winckler},
title = {Concept Maps for Integrating Modeling Techniques for the Analysis
and Re-Design of Partly-Autonomous Interactive Systems},
booktitle = {Proceedings of the 5th International Conference on Application and
Theory of Automation in Command and Control Systems, {ATACCS} 2015,
Toulouse, France, September 30 - October 2, 2015},
pages = {41--52},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2899361.2899366},
doi = {10.1145/2899361.2899366},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atacss/RagostaMPNS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atacss/BernhauptCMMP15,
author = {Regina Bernhaupt and
Martin Cronel and
Fran{\c{c}}ois Manciet and
C{\'{e}}lia Martinie and
Philippe A. Palanque},
editor = {Michael Feary and
Thomas Feuerle and
Cristina Gonzalez Rechea and
Francisco Javier Saez and
Chris W. Johnson and
C{\'{e}}lia Martinie and
Philippe A. Palanque and
Alberto Pasquini and
Pim van Leeuwen and
Marco Winckler},
title = {Transparent Automation for Assessing and Designing better Interactions
between Operators and Partly-Autonomous Interactive Systems},
booktitle = {Proceedings of the 5th International Conference on Application and
Theory of Automation in Command and Control Systems, {ATACCS} 2015,
Toulouse, France, September 30 - October 2, 2015},
pages = {129--139},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2899361.2899375},
doi = {10.1145/2899361.2899375},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atacss/BernhauptCMMP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/PalanqueM15,
author = {Philippe A. Palanque and
C{\'{e}}lia Martinie},
editor = {Bo Begole and
Jinwoo Kim and
Kori Inkpen and
Woontack Woo},
title = {Designing and Assessing Interactive Systems Using Task Models},
booktitle = {Proceedings of the 33rd Annual {ACM} Conference Extended Abstracts
on Human Factors in Computing Systems, Seoul, {CHI} 2015 Extended
Abstracts, Republic of Korea, April 18 - 23, 2015},
pages = {2465--2466},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2702613.2706684},
doi = {10.1145/2702613.2706684},
timestamp = {Fri, 12 Mar 2021 15:27:48 +0100},
biburl = {https://dblp.org/rec/conf/chi/PalanqueM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/MartinieNPF15,
author = {C{\'{e}}lia Martinie and
David Navarre and
Philippe A. Palanque and
Camille Fayollas},
editor = {Michael Nebeling and
J{\"{u}}rgen Ziegler and
Laurence Nigay},
title = {A generic tool-supported framework for coupling task models and interactive
applications},
booktitle = {Proceedings of the 7th {ACM} {SIGCHI} Symposium on Engineering Interactive
Computing Systems, {EICS} 2015, Duisburg, Germany, June 23-26, 2015},
pages = {244--253},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2774225.2774845},
doi = {10.1145/2774225.2774845},
timestamp = {Sun, 02 Jun 2019 21:10:49 +0200},
biburl = {https://dblp.org/rec/conf/eics/MartinieNPF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/WeyersBDP15,
author = {Benjamin Weyers and
Judy Bowen and
Alan J. Dix and
Philippe A. Palanque},
editor = {Michael Nebeling and
J{\"{u}}rgen Ziegler and
Laurence Nigay},
title = {Workshop on formal methods in human computer interaction},
booktitle = {Proceedings of the 7th {ACM} {SIGCHI} Symposium on Engineering Interactive
Computing Systems, {EICS} 2015, Duisburg, Germany, June 23-26, 2015},
pages = {294--295},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2774225.2777460},
doi = {10.1145/2774225.2777460},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eics/WeyersBDP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indin/HamonPC15,
author = {Arnaud Hamon and
Philippe A. Palanque and
Martin Cronel},
title = {Dependable multi-touch interactions in safety critical industrial
contexts: Application to aeronautics},
booktitle = {13th {IEEE} International Conference on Industrial Informatics, {INDIN}
2015, Cambridge, United Kingdom, July 22-24, 2015},
pages = {980--987},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/INDIN.2015.7281868},
doi = {10.1109/INDIN.2015.7281868},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/indin/HamonPC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interact/FahssiMP15,
author = {Racim Fahssi and
C{\'{e}}lia Martinie and
Philippe A. Palanque},
editor = {Julio Abascal and
Simone D. J. Barbosa and
Mirko Fetter and
Tom Gross and
Philippe A. Palanque and
Marco Winckler},
title = {Enhanced Task Modelling for Systematic Identification and Explicit
Representation of Human Errors},
booktitle = {Human-Computer Interaction - {INTERACT} 2015 - 15th {IFIP} {TC} 13
International Conference, Bamberg, Germany, September 14-18, 2015,
Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {9299},
pages = {192--212},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22723-8\_16},
doi = {10.1007/978-3-319-22723-8\_16},
timestamp = {Thu, 31 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/interact/FahssiMP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interact/WincklerCBPF15,
author = {Marco Winckler and
Ricardo Andrade Cava and
Eric Barboni and
Philippe A. Palanque and
Carla M. D. S. Freitas},
editor = {Julio Abascal and
Simone D. J. Barbosa and
Mirko Fetter and
Tom Gross and
Philippe A. Palanque and
Marco Winckler},
title = {Usability Aspects of the Inside-in Approach for Ancillary Search Tasks
on the Web},
booktitle = {Human-Computer Interaction - {INTERACT} 2015 - 15th {IFIP} {TC} 13
International Conference, Bamberg, Germany, September 14-18, 2015,
Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9297},
pages = {211--230},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22668-2\_18},
doi = {10.1007/978-3-319-22668-2\_18},
timestamp = {Thu, 31 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/interact/WincklerCBPF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interact/GulliksenBJLP15,
author = {Jan Gulliksen and
Simone Diniz Junqueira Barbosa and
Anirudha Joshi and
Shaun W. Lawson and
Philippe A. Palanque},
editor = {Julio Abascal and
Simone D. J. Barbosa and
Mirko Fetter and
Tom Gross and
Philippe A. Palanque and
Marco Winckler},
title = {Role of Conferences in Shaping the Field of {HCI}},
booktitle = {Human-Computer Interaction - {INTERACT} 2015 - 15th {IFIP} {TC} 13
International Conference, Bamberg, Germany, September 14-18, 2015,
Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {9299},
pages = {637--639},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22723-8\_81},
doi = {10.1007/978-3-319-22723-8\_81},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/interact/GulliksenBJLP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interact/JohnsonFMPP15,
author = {Chris W. Johnson and
Michael Feary and
C{\'{e}}lia Martinie and
Philippe A. Palanque and
Regina Peldszus},
editor = {Julio Abascal and
Simone D. J. Barbosa and
Mirko Fetter and
Tom Gross and
Philippe A. Palanque and
Marco Winckler},
title = {{IFIP} {WG} 13.5 Workshop on Resilience, Reliability, Safety and Human
Error in System Development},
booktitle = {Human-Computer Interaction - {INTERACT} 2015 - 15th {IFIP} {TC} 13
International Conference, Bamberg, Germany, September 14-18, 2015,
Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {9299},
pages = {663--664},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22723-8\_91},
doi = {10.1007/978-3-319-22723-8\_91},
timestamp = {Thu, 31 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/interact/JohnsonFMPP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobisys/MartinieP15,
author = {C{\'{e}}lia Martinie and
Philippe A. Palanque},
editor = {Jessica R. Cauchard and
James A. Landay and
Yang Li},
title = {Design, Development and Evaluation Challenges for Future Mobile User
Interfaces in Safety-Critical Contexts},
booktitle = {Proceedings of the 2015 Workshop on Future Mobile User Interfaces,
FutureMobileUI@MobiSys 2015, Florence, Italy, May 18, 2015},
pages = {5--7},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2754633.2754635},
doi = {10.1145/2754633.2754635},
timestamp = {Thu, 26 Sep 2019 08:32:50 +0200},
biburl = {https://dblp.org/rec/conf/mobisys/MartinieP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atacss/2015,
editor = {Michael Feary and
Thomas Feuerle and
Cristina Gonzalez Rechea and
Francisco Javier Saez and
Chris W. Johnson and
C{\'{e}}lia Martinie and
Philippe A. Palanque and
Alberto Pasquini and
Pim van Leeuwen and
Marco Winckler},
title = {Proceedings of the 5th International Conference on Application and
Theory of Automation in Command and Control Systems, {ATACCS} 2015,
Toulouse, France, September 30 - October 2, 2015},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2899361},
doi = {10.1145/2899361},
isbn = {978-1-4503-3562-1},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atacss/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/interact/2015-1,
editor = {Julio Abascal and
Simone D. J. Barbosa and
Mirko Fetter and
Tom Gross and
Philippe A. Palanque and
Marco Winckler},
title = {Human-Computer Interaction - {INTERACT} 2015 - 15th {IFIP} {TC} 13
International Conference, Bamberg, Germany, September 14-18, 2015,
Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9296},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22701-6},
doi = {10.1007/978-3-319-22701-6},
isbn = {978-3-319-22700-9},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/interact/2015-1.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/interact/2015-2,
editor = {Julio Abascal and
Simone D. J. Barbosa and
Mirko Fetter and
Tom Gross and
Philippe A. Palanque and
Marco Winckler},
title = {Human-Computer Interaction - {INTERACT} 2015 - 15th {IFIP} {TC} 13
International Conference, Bamberg, Germany, September 14-18, 2015,
Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9297},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22668-2},
doi = {10.1007/978-3-319-22668-2},
isbn = {978-3-319-22667-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/interact/2015-2.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/interact/2015-3,
editor = {Julio Abascal and
Simone D. J. Barbosa and
Mirko Fetter and
Tom Gross and
Philippe A. Palanque and
Marco Winckler},
title = {Human-Computer Interaction - {INTERACT} 2015 - 15th {IFIP} {TC} 13
International Conference, Bamberg, Germany, September 14-18, 2015,
Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {9298},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22698-9},
doi = {10.1007/978-3-319-22698-9},
isbn = {978-3-319-22697-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/interact/2015-3.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/interact/2015-4,
editor = {Julio Abascal and
Simone D. J. Barbosa and
Mirko Fetter and
Tom Gross and
Philippe A. Palanque and
Marco Winckler},
title = {Human-Computer Interaction - {INTERACT} 2015 - 15th {IFIP} {TC} 13
International Conference, Bamberg, Germany, September 14-18, 2015,
Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {9299},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22723-8},
doi = {10.1007/978-3-319-22723-8},
isbn = {978-3-319-22722-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/interact/2015-4.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijmms/FirmenichRWP14,
author = {Sergio Firmenich and
Gustavo Rossi and
Marco Winckler and
Philippe A. Palanque},
title = {An approach for supporting distributed user interface orchestration
over the Web},
journal = {Int. J. Hum. Comput. Stud.},
volume = {72},
number = {1},
pages = {53--76},
year = {2014},
url = {https://doi.org/10.1016/j.ijhcs.2013.08.014},
doi = {10.1016/J.IJHCS.2013.08.014},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijmms/FirmenichRWP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijmms/MartinieNP14,
author = {C{\'{e}}lia Martinie and
David Navarre and
Philippe A. Palanque},
title = {A multi-formalism approach for model-based dynamic distribution of
user interfaces of critical interactive systems},
journal = {Int. J. Hum. Comput. Stud.},
volume = {72},
number = {1},
pages = {77--99},
year = {2014},
url = {https://doi.org/10.1016/j.ijhcs.2013.08.013},
doi = {10.1016/J.IJHCS.2013.08.013},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijmms/MartinieNP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BarboniMNPW14,
author = {Eric Barboni and
C{\'{e}}lia Martinie and
David Navarre and
Philippe A. Palanque and
Marco Winckler},
title = {Bridging the gap between a behavioural formal description technique
and a user interface description language: Enhancing {ICO} with a
graphical user interface markup language},
journal = {Sci. Comput. Program.},
volume = {86},
pages = {3--29},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2013.04.001},
doi = {10.1016/J.SCICO.2013.04.001},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BarboniMNPW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/MartinieP14,
author = {C{\'{e}}lia Martinie and
Philippe A. Palanque},
title = {Fine Grain Modeling of Task Deviations for Assessing Qualitatively
the Impact of Both System Failures and Human Error on Operator Performance},
booktitle = {2014 {AAAI} Spring Symposia, Stanford University, Palo Alto, California,
USA, March 24-26, 2014},
publisher = {{AAAI} Press},
year = {2014},
url = {http://www.aaai.org/ocs/index.php/SSS/SSS14/paper/view/7698},
timestamp = {Thu, 15 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaaiss/MartinieP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/FayollasMPDFN14,
author = {Camille Fayollas and
C{\'{e}}lia Martinie and
Philippe A. Palanque and
Yannick Deleris and
Jean{-}Charles Fabre and
David Navarre},
title = {An Approach for Assessing the Impact of Dependability on Usability:
Application to Interactive Cockpits},
booktitle = {2014 Tenth European Dependable Computing Conference, Newcastle, United
Kingdom, May 13-16, 2014},
pages = {198--209},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/EDCC.2014.17},
doi = {10.1109/EDCC.2014.17},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edcc/FayollasMPDFN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/HamonBPA14,
author = {Arnaud Hamon and
Eric Barboni and
Philippe A. Palanque and
Rapha{\"{e}}l Andr{\'{e}}},
editor = {Florian Echtler and
Lode Hoste and
Dietrich Kammer and
Beat Signer and
Davy Vanacken},
title = {Notation and a Layered Architecture to Model Dynamic Instantiation
of Input Devices and Interaction Techniques: Application to Multi-Touch
Interactions},
booktitle = {Proceedings of the Workshop on Engineering Gestures for Multimodal
Interfaces Co-located with the 6th {ACM} {SIGCHI} Symposium on Engineering
Interactive Computing Systems, EGMI@EICS 2014, Rome, Italy, June 17,
2014},
series = {{CEUR} Workshop Proceedings},
volume = {1190},
pages = {15--21},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1190/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:31 +0100},
biburl = {https://dblp.org/rec/conf/eics/HamonBPA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/MartinieBNPFPC14,
author = {C{\'{e}}lia Martinie and
Eric Barboni and
David Navarre and
Philippe A. Palanque and
Racim Fahssi and
Erwann Poupart and
Eliane Cubero{-}Castan},
editor = {Fabio Patern{\`{o}} and
Carmen Santoro and
J{\"{u}}rgen Ziegler},
title = {Multi-models-based engineering of collaborative systems: application
to collision avoidance operations for spacecraft},
booktitle = {{ACM} {SIGCHI} Symposium on Engineering Interactive Computing Systems,
EICS'14, Rome, Italy, June 17-20, 2014},
pages = {85--94},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2607023.2607031},
doi = {10.1145/2607023.2607031},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eics/MartinieBNPFPC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/HamonPCABN14,
author = {Arnaud Hamon and
Philippe A. Palanque and
Martin Cronel and
Rapha{\"{e}}l Andr{\'{e}} and
Eric Barboni and
David Navarre},
editor = {Fabio Patern{\`{o}} and
Carmen Santoro and
J{\"{u}}rgen Ziegler},
title = {Formal modelling of dynamic instantiation of input devices and interaction
techniques: application to multi-touch interactions},
booktitle = {{ACM} {SIGCHI} Symposium on Engineering Interactive Computing Systems,
EICS'14, Rome, Italy, June 17-20, 2014},
pages = {173--178},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2607023.2610286},
doi = {10.1145/2607023.2610286},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eics/HamonPCABN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hcse/ForbrigMPWF14,
author = {Peter Forbrig and
C{\'{e}}lia Martinie and
Philippe A. Palanque and
Marco Winckler and
Racim Fahssi},
editor = {Stefan Sauer and
Cristian Bogdan and
Peter Forbrig and
Regina Bernhaupt and
Marco Winckler},
title = {Rapid Task-Models Development Using Sub-models, Sub-routines and Generic
Components},
booktitle = {Human-Centered Software Engineering - 5th {IFIP} {WG} 13.2 International
Conference, {HCSE} 2014, Paderborn, Germany, September 16-18, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8742},
pages = {144--163},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44811-3\_9},
doi = {10.1007/978-3-662-44811-3\_9},
timestamp = {Mon, 26 Jun 2023 20:48:22 +0200},
biburl = {https://dblp.org/rec/conf/hcse/ForbrigMPWF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icwe/FayollasMNPF14,
author = {Camille Fayollas and
C{\'{e}}lia Martinie and
David Navarre and
Philippe A. Palanque and
Racim Fahssi},
editor = {Mar{\'{\i}}a Dolores Lozano and
Jean Vanderdonckt and
Habib M. Fardoun and
Ricardo Tesoriero and
Jos{\'{e}} A. Gallud and
V{\'{\i}}ctor M. Ruiz Penichet},
title = {Fault-Tolerant User Interfaces for Critical Systems: Duplication,
Redundancy and Diversity as New Dimensions of Distributed User Interfaces},
booktitle = {Proceedings of the 2014 Workshop on Distributed User Interfaces and
Multimodal Interaction, DUI@ICWE 2014, Toulouse, France, July 1, 2014},
pages = {27--30},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2677356.2677662},
doi = {10.1145/2677356.2677662},
timestamp = {Wed, 22 Mar 2023 21:20:48 +0100},
biburl = {https://dblp.org/rec/conf/icwe/FayollasMNPF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ihm/FayollasPFNBCD14,
author = {Camille Fayollas and
Philippe A. Palanque and
Jean{-}Charles Fabre and
David Navarre and
Eric Barboni and
Martin Cronel and
Yannick Deleris},
editor = {G{\'{e}}ry Casiez and
Thomas Pietrzak and
Olivier Chapuis and
St{\'{e}}phane Conversy},
title = {A fault-tolerant architecture for resilient interactive systems},
booktitle = {Proceedings of the 26th Conference on l'Interaction Homme-Machine,
Villeneuve d'Ascq, France, October 28-31, 2014},
pages = {80--90},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2670444.2670462},
doi = {10.1145/2670444.2670462},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ihm/FayollasPFNBCD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/la-web/CavaFBPW14,
author = {Ricardo Andrade Cava and
Carla Maria Dal Sasso Freitas and
Eric Barboni and
Philippe A. Palanque and
Marco Winckler},
editor = {Jussara M. Almeida and
{\'{A}}lvaro R. Pereira Jr. and
Ricardo Baeza{-}Yates and
Fabr{\'{\i}}cio Benevenuto},
title = {Inside-In Search: An Alternative for Performing Ancillary Search Tasks
on the Web},
booktitle = {9th Latin American Web Congress, {LA-WEB} 2014, Ouro Preto, Minas
Gerais, Brazil, 22-24 October, 2014},
pages = {91--99},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/LAWeb.2014.21},
doi = {10.1109/LAWEB.2014.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/la-web/CavaFBPW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/FayollasFPCND14,
author = {Camille Fayollas and
Jean{-}Charles Fabre and
Philippe A. Palanque and
Martin Cronel and
David Navarre and
Yannick Deleris},
title = {A Software-Implemented Fault-Tolerance Approach for Control and Display
Systems in Avionics},
booktitle = {20th {IEEE} Pacific Rim International Symposium on Dependable Computing,
{PRDC} 2014, Singapore, November 18-21, 2014},
pages = {21--30},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/PRDC.2014.11},
doi = {10.1109/PRDC.2014.11},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/FayollasFPCND14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/chi/2014,
editor = {Matt Jones and
Philippe A. Palanque and
Albrecht Schmidt and
Tovi Grossman},
title = {{CHI} Conference on Human Factors in Computing Systems, CHI'14, Toronto,
ON, Canada - April 26 - May 01, 2014},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2556288},
doi = {10.1145/2556288},
isbn = {978-1-4503-2473-1},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/chi/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/chi/2014a,
editor = {Matt Jones and
Philippe A. Palanque and
Albrecht Schmidt and
Tovi Grossman},
title = {{CHI} Conference on Human Factors in Computing Systems, CHI'14, Toronto,
ON, Canada - April 26 - May 01, 2014, Extended Abstracts},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2559206},
doi = {10.1145/2559206},
isbn = {978-1-4503-2474-8},
timestamp = {Fri, 12 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/chi/2014a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/SilvaFHPMB13,
author = {Jos{\'{e}} Lu{\'{\i}}s Silva and
Camille Fayollas and
Arnaud Hamon and
Philippe A. Palanque and
C{\'{e}}lia Martinie and
Eric Barboni},
title = {Analysis of {WIMP} and Post {WIMP} Interactive Systems based on Formal
Specification},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {69},
year = {2013},
url = {https://doi.org/10.14279/tuj.eceasst.69.967},
doi = {10.14279/TUJ.ECEASST.69.967},
timestamp = {Fri, 16 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/SilvaFHPMB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijccbs/FayollasFPBND13,
author = {Camille Fayollas and
Jean{-}Charles Fabre and
Philippe A. Palanque and
Eric Barboni and
David Navarre and
Yannick Deleris},
title = {Interactive cockpits as critical applications: a model-based and a
fault-tolerant approach},
journal = {Int. J. Crit. Comput. Based Syst.},
volume = {4},
number = {3},
pages = {202--226},
year = {2013},
url = {https://doi.org/10.1504/IJCCBS.2013.058407},
doi = {10.1504/IJCCBS.2013.058407},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijccbs/FayollasFPBND13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atacss/NavarreMPPR13,
author = {David Navarre and
C{\'{e}}lia Martinie and
Philippe A. Palanque and
Alberto Pasquini and
Martina Ragosta},
editor = {Antonio Moccia and
Alberto Pasquini and
Eduardo Garcia},
title = {Model-based dynamic distribution of user interfaces of critical interactive
systems},
booktitle = {International Conference on Application and Theory of Automation in
Command and Control Systems, {ATACCS} '13, Naples, Italy, May 28-30,
2013},
pages = {66--75},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2494493.2494502},
doi = {10.1145/2494493.2494502},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atacss/NavarreMPPR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/PalanquePNNM13,
author = {Philippe A. Palanque and
Fabio Patern{\`{o}} and
Jeffrey Nichols and
Nuno Jardim Nunes and
Brad A. Myers},
editor = {Wendy E. Mackay and
Stephen A. Brewster and
Susanne B{\o}dker},
title = {The role of engineering work in {CHI}},
booktitle = {2013 {ACM} {SIGCHI} Conference on Human Factors in Computing Systems,
{CHI} '13, Paris, France, April 27 - May 2, 2013, Extended Abstracts},
pages = {2477--2480},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2468356.2468809},
doi = {10.1145/2468356.2468809},
timestamp = {Sun, 26 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/chi/PalanquePNNM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/LazarBGMNPPTWW13,
author = {Jonathan Lazar and
Simone Diniz Junqueira Barbosa and
Jan Gulliksen and
Tom McEwan and
Lo{\"{\i}}c Mart{\'{\i}}nez Normand and
Philippe A. Palanque and
Raquel Oliveira Prates and
Janice Y. Tsai and
Marco Winckler and
Volker Wulf},
editor = {Wendy E. Mackay and
Stephen A. Brewster and
Susanne B{\o}dker},
title = {Workshop on engaging the human-computer interaction community with
public policymaking internationally},
booktitle = {2013 {ACM} {SIGCHI} Conference on Human Factors in Computing Systems,
{CHI} '13, Paris, France, April 27 - May 2, 2013, Extended Abstracts},
pages = {3279--3282},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2468356.2479666},
doi = {10.1145/2468356.2479666},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/chi/LazarBGMNPPTWW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecce/MartiniePRF13,
author = {C{\'{e}}lia Martinie and
Philippe A. Palanque and
Martina Ragosta and
Racim Fahssi},
editor = {Philippe A. Palanque and
Fran{\c{c}}oise D{\'{e}}tienne and
Andr{\'{e}} Tricot},
title = {Extending procedural task models by systematic explicit integration
of objects, knowledge and information},
booktitle = {European Conference on Cognitive Ergonomics 2013, {ECCE} '13, Toulouse,
France, August 26 - 28, 2013},
pages = {23:1--23:10},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2501907.2501954},
doi = {10.1145/2501907.2501954},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecce/MartiniePRF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/ForbrigZPW13,
author = {Peter Forbrig and
Michael Zaki and
Philippe A. Palanque and
Marco Winckler},
editor = {Mar{\'{\i}}a Dolores Lozano and
Abdulfattah S. Mashat and
Habib M. Fardoun and
Jos{\'{e}} A. Gallud and
V{\'{\i}}ctor M. Ruiz Penichet and
Ricardo Tesoriero and
Jean Vanderdonckt},
title = {Supportive User Interfaces and Task Migratability in Smart Environments},
booktitle = {Distributed User Interfaces: Models, Methods and Tools, {DUI} 2013
In conjunction with {ACM} {EICS} 2013 Conference, London, UK, June
24th, 2013},
pages = {42--45},
year = {2013},
timestamp = {Wed, 22 Mar 2023 21:20:48 +0100},
biburl = {https://dblp.org/rec/conf/eics/ForbrigZPW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/HamonPSDB13,
author = {Hamon{-}Keromen Arnaud and
Philippe A. Palanque and
Jos{\'{e}} Lu{\'{\i}}s Silva and
Yannick Deleris and
Eric Barboni},
editor = {Peter Forbrig and
Prasun Dewan and
Michael Harrison and
Kris Luyten},
title = {Formal description of multi-touch interactions},
booktitle = {{ACM} {SIGCHI} Symposium on Engineering Interactive Computing Systems,
EICS'13, London, United Kingdom - June 24 - 27, 2013},
pages = {207--216},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2494603.2480311},
doi = {10.1145/2494603.2480311},
timestamp = {Fri, 16 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eics/HamonPSDB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hci/GalindoMPWF13,
author = {Michel Galindo and
C{\'{e}}lia Martinie and
Philippe A. Palanque and
Marco Winckler and
Peter Forbrig},
editor = {Masaaki Kurosu},
title = {Tuning an {HCI} Curriculum for Master Students to Address Interactive
Critical Systems Aspects},
booktitle = {Human-Computer Interaction. Human-Centred Design Approaches, Methods,
Tools, and Environments - 15th International Conference, {HCI} International
2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {8004},
pages = {51--60},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39232-0\_6},
doi = {10.1007/978-3-642-39232-0\_6},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/hci/GalindoMPWF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hci/BratMP13,
author = {Guillaume Brat and
C{\'{e}}lia Martinie and
Philippe A. Palanque},
editor = {Masaaki Kurosu},
title = {V{\&}V of Lexical, Syntactic and Semantic Properties for Interactive
Systems through Model Checking of Formal Description of Dialog},
booktitle = {Human-Computer Interaction. Human-Centred Design Approaches, Methods,
Tools, and Environments - 15th International Conference, {HCI} International
2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {8004},
pages = {290--299},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39232-0\_33},
doi = {10.1007/978-3-642-39232-0\_33},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hci/BratMP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ihc/DAgostiniCDFFPW13,
author = {Caio Stein D'Agostini and
Ricardo Andrade Cava and
Carina F. Dorneles and
Sergio Firmenich and
Carla M. D. S. Freitas and
Philippe A. Palanque and
Marco Winckler},
editor = {Tayana Conte and
Thais Castro and
Bruno Santana da Silva and
Simone Diniz Junqueira Barbosa},
title = {Proposta de um framework para visualiza{\c{c}}{\~{a}}o de dados agregados
por similaridade para auxiliar consultas durante a navega{\c{c}}{\~{a}}o
na web},
booktitle = {Simp{\'{o}}sio Brasileiro sobre Fatores Humanos em Sistemas Computacionais,
{IHC} '13, Manaus, Brazil, October 8-11, 2013},
pages = {148--157},
publisher = {Brazilian Computer Society / {ACM}},
year = {2013},
url = {http://dl.acm.org/citation.cfm?id=2577132},
timestamp = {Mon, 24 Feb 2014 14:31:03 +0100},
biburl = {https://dblp.org/rec/conf/ihc/DAgostiniCDFFPW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/MartiniePRSNP13,
author = {C{\'{e}}lia Martinie and
Philippe A. Palanque and
Martina Ragosta and
Mark{-}Alexander Sujan and
David Navarre and
Alberto Pasquini},
editor = {Friedemann Bitsch and
J{\'{e}}r{\'{e}}mie Guiochet and
Mohamed Ka{\^{a}}niche},
title = {Understanding Functional Resonance through a Federation of Models:
Preliminary Findings of an Avionics Case Study},
booktitle = {Computer Safety, Reliability, and Security - 32nd International Conference,
{SAFECOMP} 2013, Toulouse, France, September 24-27, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8153},
pages = {216--227},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40793-2\_20},
doi = {10.1007/978-3-642-40793-2\_20},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/MartiniePRSNP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/DeshayesPM13,
author = {Romuald Deshayes and
Philippe A. Palanque and
Tom Mens},
editor = {Caitlin Kelleher and
Margaret M. Burnett and
Stefan Sauer},
title = {A generic framework for executable gestural interaction models},
booktitle = {2013 {IEEE} Symposium on Visual Languages and Human Centric Computing,
San Jose, CA, USA, September 15-19, 2013},
pages = {35--38},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/VLHCC.2013.6645240},
doi = {10.1109/VLHCC.2013.6645240},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vl/DeshayesPM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/DeshayesMP13,
author = {Romuald Deshayes and
Tom Mens and
Philippe A. Palanque},
editor = {Caitlin Kelleher and
Margaret M. Burnett and
Stefan Sauer},
title = {PetriNect: {A} tool for executable modeling of gestural interaction},
booktitle = {2013 {IEEE} Symposium on Visual Languages and Human Centric Computing,
San Jose, CA, USA, September 15-19, 2013},
pages = {197--198},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/VLHCC.2013.6645266},
doi = {10.1109/VLHCC.2013.6645266},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vl/DeshayesMP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecce/2013,
editor = {Philippe A. Palanque and
Fran{\c{c}}oise D{\'{e}}tienne and
Andr{\'{e}} Tricot},
title = {European Conference on Cognitive Ergonomics 2013, {ECCE} '13, Toulouse,
France, August 26 - 28, 2013},
publisher = {{ACM}},
year = {2013},
url = {http://dl.acm.org/citation.cfm?id=2501907},
isbn = {978-1-4503-2251-5},
timestamp = {Thu, 05 Sep 2013 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecce/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atacss/MartiniePPRRS12,
author = {C{\'{e}}lia Martinie and
Philippe A. Palanque and
Alberto Pasquini and
Martina Ragosta and
E. Rigaud and
S. Silvagni},
editor = {Washington Yotto Ochieng and
Francisco Javier Saez},
title = {Using complementary models-based approaches for representing and analysing
{ATM} systems' variability},
booktitle = {International Conference on Application and Theory of Automation in
Command and Control Systems, {ATACCS} '12, London, United Kingdom,
May 29-31, 2012},
pages = {146--157},
publisher = {{IRIT} Press Toulouse, France / {ACM} {DL}},
year = {2012},
url = {http://dl.acm.org/citation.cfm?id=2325694},
timestamp = {Fri, 16 Aug 2013 09:24:04 +0200},
biburl = {https://dblp.org/rec/conf/atacss/MartiniePPRRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/BrooksGNPP12,
author = {Ruven Brooks and
T. C. Nicholas Graham and
Jeffrey Nichols and
Philippe A. Palanque and
Fabio Patern{\`{o}}},
editor = {Joseph A. Konstan and
Ed H. Chi and
Kristina H{\"{o}}{\"{o}}k},
title = {Invited engineering community {SIG:} the role of engineering work
in {CHI}},
booktitle = {{CHI} Conference on Human Factors in Computing Systems, {CHI} '12,
Extended Abstracts Volume, Austin, TX, USA, May 5-10, 2012},
pages = {1205--1208},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2212776.2212424},
doi = {10.1145/2212776.2212424},
timestamp = {Sun, 26 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/chi/BrooksGNPP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/MirlacherPB12,
author = {Thomas Mirlacher and
Philippe A. Palanque and
Regina Bernhaupt},
editor = {Simone Diniz Junqueira Barbosa and
Jos{\'{e}} Creissac Campos and
Rick Kazman and
Philippe A. Palanque and
Michael D. Harrison and
Steve Reeves},
title = {Engineering animations in user interfaces},
booktitle = {{ACM} {SIGCHI} Symposium on Engineering Interactive Computing Systems,
EICS'12, Copenhagen, Denmark - June 25 - 28, 2012},
pages = {111--120},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2305484.2305504},
doi = {10.1145/2305484.2305504},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eics/MirlacherPB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ergoihm/MartiniePNBW12,
author = {C{\'{e}}lia Martinie and
Philippe A. Palanque and
David Navarre and
Eric Barboni and
Marco Winckler},
editor = {R{\'{e}}gis Mollard and
Franck Poirier and
Fr{\'{e}}d{\'{e}}ric Vanderhaegen},
title = {Un processus de d{\'{e}}veloppement outill{\'{e}} pour l'exploitation
syst{\'{e}}matique des b{\'{e}}n{\'{e}}fices offerts
par une conception des syst{\`{e}}mes interactifs centr{\'{e}}e
t{\^{a}}ches},
booktitle = {Ergonomie et Interaction Homme-Machine, Ergo'IHM '12, Biarritz, France,
October 16-19, 2012},
pages = {81},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2652574.2653413},
doi = {10.1145/2652574.2653413},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ergoihm/MartiniePNBW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hcse/MasipMWPGO12,
author = {Ll{\'{u}}cia Masip and
C{\'{e}}lia Martinie and
Marco Winckler and
Philippe A. Palanque and
Toni Granollers and
Marta Oliva},
editor = {Marco Winckler and
Peter Forbrig and
Regina Bernhaupt},
title = {A Design Process for Exhibiting Design Choices and Trade-Offs in (Potentially)
Conflicting User Interface Guidelines},
booktitle = {Human-Centered Software Engineering - 4th International Conference,
{HCSE} 2012, Toulouse, France, October 29-31, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7623},
pages = {53--71},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34347-6\_4},
doi = {10.1007/978-3-642-34347-6\_4},
timestamp = {Mon, 26 Jun 2023 20:48:22 +0200},
biburl = {https://dblp.org/rec/conf/hcse/MasipMWPGO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hcse/MartiniePNB12,
author = {C{\'{e}}lia Martinie and
Philippe A. Palanque and
David Navarre and
Eric Barboni},
editor = {Marco Winckler and
Peter Forbrig and
Regina Bernhaupt},
title = {A Development Process for Usable Large Scale Interactive Critical
Systems: Application to Satellite Ground Segments},
booktitle = {Human-Centered Software Engineering - 4th International Conference,
{HCSE} 2012, Toulouse, France, October 29-31, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7623},
pages = {72--93},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34347-6\_5},
doi = {10.1007/978-3-642-34347-6\_5},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hcse/MartiniePNB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/FayollasFNPD12,
author = {Camille Fayollas and
Jean{-}Charles Fabre and
David Navarre and
Philippe A. Palanque and
Yannick Deleris},
editor = {Paris Avgeriou},
title = {Fault-Tolerant Interactive Cockpits for Critical Applications: Overall
Approach},
booktitle = {Software Engineering for Resilient Systems - 4th International Workshop,
{SERENE} 2012, Pisa, Italy, September 27-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7527},
pages = {32--46},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33176-3\_3},
doi = {10.1007/978-3-642-33176-3\_3},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/serene/FayollasFNPD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eics/2012,
editor = {Simone Diniz Junqueira Barbosa and
Jos{\'{e}} Creissac Campos and
Rick Kazman and
Philippe A. Palanque and
Michael D. Harrison and
Steve Reeves},
title = {{ACM} {SIGCHI} Symposium on Engineering Interactive Computing Systems,
EICS'12, Copenhagen, Denmark - June 25 - 28, 2012},
publisher = {{ACM}},
year = {2012},
url = {http://dl.acm.org/citation.cfm?id=2305484},
isbn = {978-1-4503-1168-7},
timestamp = {Thu, 28 Jun 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eics/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/NavarrePBLM11,
author = {David Navarre and
Philippe A. Palanque and
Eric Barboni and
Jean{-}Fran{\c{c}}ois Ladry and
C{\'{e}}lia Martinie},
title = {Designing for resilience to hardware failures in interactive systems:
{A} model and simulation-based approach},
journal = {Reliab. Eng. Syst. Saf.},
volume = {96},
number = {1},
pages = {38--52},
year = {2011},
url = {https://doi.org/10.1016/j.ress.2010.06.028},
doi = {10.1016/J.RESS.2010.06.028},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ress/NavarrePBLM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atacss/PalanqueBMM11,
author = {Philippe A. Palanque and
Regina Bernhaupt and
Florent Montesano and
C{\'{e}}lia Martinie},
editor = {Francisco Javier Saez},
title = {Exploiting gaming research and practice for engineering interactive
critical systems},
booktitle = {1st International Conference on Application and Theory of Automation
in Command and Control Systems, {ATACCS} '11, Barcelona, Spain, May
26-27, 2011},
pages = {41--49},
publisher = {{IRIT} Press Toulouse, France / {ACM} {DL}},
year = {2011},
url = {http://dl.acm.org/citation.cfm?id=2248473},
timestamp = {Thu, 05 Dec 2013 17:22:20 +0100},
biburl = {https://dblp.org/rec/conf/atacss/PalanqueBMM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atacss/MartiniePBWRPL11,
author = {C{\'{e}}lia Martinie and
Philippe A. Palanque and
Eric Barboni and
Marco Winckler and
Martina Ragosta and
Alberto Pasquini and
Paola Lanzi},
editor = {Francisco Javier Saez},
title = {Formal tasks and systems models as a tool for specifying and assessing
automation designs},
booktitle = {1st International Conference on Application and Theory of Automation
in Command and Control Systems, {ATACCS} '11, Barcelona, Spain, May
26-27, 2011},
pages = {50--59},
publisher = {{IRIT} Press Toulouse, France / {ACM} {DL}},
year = {2011},
url = {http://dl.acm.org/citation.cfm?id=2248474},
timestamp = {Fri, 16 Aug 2013 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atacss/MartiniePBWRPL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/BernhauptBFP11,
author = {Regina Bernhaupt and
Guy A. Boy and
Michael Feary and
Philippe A. Palanque},
editor = {Desney S. Tan and
Saleema Amershi and
Bo Begole and
Wendy A. Kellogg and
Manas Tungare},
title = {Engineering automation in interactive critical systems},
booktitle = {Proceedings of the International Conference on Human Factors in Computing
Systems, {CHI} 2011, Extended Abstracts Volume, Vancouver, BC, Canada,
May 7-12, 2011},
pages = {69--72},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1979742.1979524},
doi = {10.1145/1979742.1979524},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/chi/BernhauptBFP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/PalanqueBMNW11,
author = {Philippe A. Palanque and
Eric Barboni and
C{\'{e}}lia Martinie and
David Navarre and
Marco Winckler},
editor = {Fabio Patern{\`{o}} and
Kris Luyten and
Frank Maurer},
title = {A model-based approach for supporting engineering usability evaluation
of interaction techniques},
booktitle = {Proceedings of the 3rd {ACM} {SIGCHI} Symposium on Engineering Interactive
Computing System, {EICS} 2011, Pisa, Italy, June 13-16, 2011},
pages = {21--30},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1996461.1996490},
doi = {10.1145/1996461.1996490},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eics/PalanqueBMNW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/MartiniePNWP11,
author = {C{\'{e}}lia Martinie and
Philippe A. Palanque and
David Navarre and
Marco Winckler and
Erwann Poupart},
editor = {Fabio Patern{\`{o}} and
Kris Luyten and
Frank Maurer},
title = {Model-based training: an approach supporting operability of critical
interactive systems},
booktitle = {Proceedings of the 3rd {ACM} {SIGCHI} Symposium on Engineering Interactive
Computing System, {EICS} 2011, Pisa, Italy, June 13-16, 2011},
pages = {53--62},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1996461.1996495},
doi = {10.1145/1996461.1996495},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eics/MartiniePNWP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewdc/Tankeu-ChoitatF11,
author = {A. Tankeu{-}Choitat and
Jean{-}Charles Fabre and
Philippe A. Palanque and
David Navarre and
Yannick Deleris},
editor = {Felicita Di Giandomenico},
title = {Self-checking widgets for interactive cockpits},
booktitle = {Proceedings of the 13th European Workshop on Dependable Computing,
{EWDC} '11, Pisa, Italy, May 11-12, 2011},
pages = {43--48},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1978582.1978592},
doi = {10.1145/1978582.1978592},
timestamp = {Tue, 06 Nov 2018 16:59:10 +0100},
biburl = {https://dblp.org/rec/conf/ewdc/Tankeu-ChoitatF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interact/MartiniePW11,
author = {C{\'{e}}lia Martinie and
Philippe A. Palanque and
Marco Winckler},
editor = {Pedro F. Campos and
T. C. Nicholas Graham and
Joaquim A. Jorge and
Nuno Jardim Nunes and
Philippe A. Palanque and
Marco Winckler},
title = {Structuring and Composition Mechanisms to Address Scalability Issues
in Task Models},
booktitle = {Human-Computer Interaction - {INTERACT} 2011 - 13th {IFIP} {TC} 13
International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings,
Part {III}},
series = {Lecture Notes in Computer Science},
volume = {6948},
pages = {589--609},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23765-2\_40},
doi = {10.1007/978-3-642-23765-2\_40},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/interact/MartiniePW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/Tankeu-ChoitatNPDFF11,
author = {A. Tankeu{-}Choitat and
David Navarre and
Philippe A. Palanque and
Yannick Deleris and
Jean{-}Charles Fabre and
Camille Fayollas},
editor = {Leon Alkalai and
Timothy Tsai and
Tomohiro Yoneda},
title = {Self-Checking Components for Dependable Interactive Cockpits Using
Formal Description Techniques},
booktitle = {17th {IEEE} Pacific Rim International Symposium on Dependable Computing,
{PRDC} 2011, Pasadena, CA, USA, December 12-14, 2011},
pages = {164--173},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/PRDC.2011.28},
doi = {10.1109/PRDC.2011.28},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/Tankeu-ChoitatNPDFF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/MartiniePBR11,
author = {C{\'{e}}lia Martinie and
Philippe A. Palanque and
Eric Barboni and
Martina Ragosta},
title = {Task-model based assessment of automation levels: Application to space
ground segments},
booktitle = {Proceedings of the {IEEE} International Conference on Systems, Man
and Cybernetics, Anchorage, Alaska, USA, October 9-12, 2011},
pages = {3267--3273},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/ICSMC.2011.6084173},
doi = {10.1109/ICSMC.2011.6084173},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/smc/MartiniePBR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/sci/PalanqueWM11,
author = {Philippe A. Palanque and
Marco Winckler and
C{\'{e}}lia Martinie},
editor = {Heinrich Hussmann and
Gerrit Meixner and
Detlef Zuehlke},
title = {A Formal Model-Based Approach for Designing Interruptions-Tolerant
Advanced User Interfaces},
booktitle = {Model-Driven Development of Advanced User Interfaces},
series = {Studies in Computational Intelligence},
volume = {340},
pages = {143--169},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-14562-9\_8},
doi = {10.1007/978-3-642-14562-9\_8},
timestamp = {Sat, 16 Sep 2017 12:07:25 +0200},
biburl = {https://dblp.org/rec/series/sci/PalanqueWM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/interact/2011-1,
editor = {Pedro F. Campos and
T. C. Nicholas Graham and
Joaquim A. Jorge and
Nuno Jardim Nunes and
Philippe A. Palanque and
Marco Winckler},
title = {Human-Computer Interaction - {INTERACT} 2011 - 13th {IFIP} {TC} 13
International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {6946},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23774-4},
doi = {10.1007/978-3-642-23774-4},
isbn = {978-3-642-23773-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/interact/2011-1.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/interact/2011-2,
editor = {Pedro F. Campos and
T. C. Nicholas Graham and
Joaquim A. Jorge and
Nuno Jardim Nunes and
Philippe A. Palanque and
Marco Winckler},
title = {Human-Computer Interaction - {INTERACT} 2011 - 13th {IFIP} {TC} 13
International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {6947},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23771-3},
doi = {10.1007/978-3-642-23771-3},
isbn = {978-3-642-23770-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/interact/2011-2.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/interact/2011-3,
editor = {Pedro F. Campos and
T. C. Nicholas Graham and
Joaquim A. Jorge and
Nuno Jardim Nunes and
Philippe A. Palanque and
Marco Winckler},
title = {Human-Computer Interaction - {INTERACT} 2011 - 13th {IFIP} {TC} 13
International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings,
Part {III}},
series = {Lecture Notes in Computer Science},
volume = {6948},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23765-2},
doi = {10.1007/978-3-642-23765-2},
isbn = {978-3-642-23764-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/interact/2011-3.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/interact/2011-4,
editor = {Pedro F. Campos and
T. C. Nicholas Graham and
Joaquim A. Jorge and
Nuno Jardim Nunes and
Philippe A. Palanque and
Marco Winckler},
title = {Human-Computer Interaction - {INTERACT} 2011 - 13th {IFIP} {TC} 13
International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings,
Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {6949},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23768-3},
doi = {10.1007/978-3-642-23768-3},
isbn = {978-3-642-23767-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/interact/2011-4.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/LozanoGP10,
author = {Mar{\'{\i}}a Dolores Lozano and
Jos{\'{e}} A. Gallud and
Philippe A. Palanque},
title = {Mobile Context-Aware Applications for Ubiquitous Computing},
journal = {J. Univers. Comput. Sci.},
volume = {16},
number = {15},
pages = {1927--1928},
year = {2010},
url = {http://www.jucs.org/jucs\_16\_15/mobile\_context\_aware\_applications},
timestamp = {Wed, 22 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jucs/LozanoGP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/BarboniLNPW10,
author = {Eric Barboni and
Jean{-}Fran{\c{c}}ois Ladry and
David Navarre and
Philippe A. Palanque and
Marco Winckler},
editor = {Noi Sukaviriya and
Jean Vanderdonckt and
Michael Harrison},
title = {Beyond modelling: an integrated environment supporting co-execution
of tasks and systems models},
booktitle = {Proceedings of the 2nd {ACM} {SIGCHI} Symposium on Engineering Interactive
Computing System, {EICS} 2010, Berlin, Germany, June 19-23, 2010},
pages = {165--174},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1822018.1822043},
doi = {10.1145/1822018.1822043},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eics/BarboniLNPW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ihm/LadryPNBW10,
author = {Jean{-}Fran{\c{c}}ois Ladry and
Philippe A. Palanque and
David Navarre and
Eric Barboni and
Marco Winckler},
editor = {Bertrand David and
Monique Noirhomme{-}Fraiture and
Andr{\'{e}} Tricot},
title = {Une approche {\`{a}} base de mod{\`{e}}les pour l'ing{\'{e}}nierie
logicielle de techniques d'interaction},
booktitle = {Conference Internationale Francophone sur I'Interaction Homme-Machine,
{IHM} '10, Luxembourg, Luxembourg, September 20-23, 2010},
pages = {81--88},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1941007.1941019},
doi = {10.1145/1941007.1941019},
timestamp = {Tue, 08 Mar 2022 08:19:42 +0100},
biburl = {https://dblp.org/rec/conf/ihm/LadryPNBW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigdoc/MartiniePWC10,
author = {C{\'{e}}lia Martinie and
Philippe A. Palanque and
Marco Winckler and
St{\'{e}}phane Conversy},
editor = {J{\'{u}}nia Coutinho Anacleto and
Renata Pontin de Mattos Fortes and
Carlos J. Costa},
title = {{DREAMER:} a design rationale environment for argumentation, modeling
and engineering requirements},
booktitle = {Proceedings of the 28th Annual International Conference on Design
of Communication, {SIGDOC} 2010, S{\~{a}}o Carlos, S{\~{a}}o Paulo
state, Brazil, September 26-29, 2010},
pages = {73--80},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1878450.1878463},
doi = {10.1145/1878450.1878463},
timestamp = {Tue, 06 Nov 2018 11:07:46 +0100},
biburl = {https://dblp.org/rec/conf/sigdoc/MartiniePWC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifip13-5/2009,
editor = {Philippe A. Palanque and
Jean Vanderdonckt and
Marco Winckler},
title = {Human Error, Safety and Systems Development, 7th {IFIP} {WG} 13.5
Working Conference, {HESSD} 2009, Brussels, Belgium, September 23-25,
2009, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5962},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11750-3},
doi = {10.1007/978-3-642-11750-3},
isbn = {978-3-642-11749-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip13-5/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tamodia/2009,
editor = {David England and
Philippe A. Palanque and
Jean Vanderdonckt and
Peter J. Wild},
title = {Task Models and Diagrams for User Interface Design, 8th International
Workshop, {TAMODIA} 2009, Brussels, Belgium, September 23-25, 2009,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5963},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11797-8},
doi = {10.1007/978-3-642-11797-8},
isbn = {978-3-642-11796-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tamodia/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tochi/NavarrePLB09,
author = {David Navarre and
Philippe A. Palanque and
Jean{-}Fran{\c{c}}ois Ladry and
Eric Barboni},
title = {ICOs: {A} model-based user interface description technique dedicated
to interactive systems addressing usability, reliability and scalability},
journal = {{ACM} Trans. Comput. Hum. Interact.},
volume = {16},
number = {4},
pages = {18:1--18:56},
year = {2009},
url = {https://doi.org/10.1145/1614390.1614393},
doi = {10.1145/1614390.1614393},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tochi/NavarrePLB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/NavarreP09,
author = {David Navarre and
Philippe A. Palanque},
editor = {T. C. Nicholas Graham and
Ga{\"{e}}lle Calvary and
Philip D. Gray},
title = {The future of design specification and verification of safety critical
interactive systems.: can our systems be sure (safe, usable, reliable
and evolvable)?},
booktitle = {Proceedings of the 1st {ACM} {SIGCHI} symposium on Engineering Interactive
Computing System , {EICS} 2009, Pittsburgh, PA, USA, July 15-17, 2009},
pages = {155--156},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1570433.1570463},
doi = {10.1145/1570433.1570463},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eics/NavarreP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/PalanqueWLBFM09,
author = {Philippe A. Palanque and
Marco Winckler and
Jean{-}Fran{\c{c}}ois Ladry and
Maurice H. ter Beek and
Giorgio P. Faconti and
Mieke Massink},
editor = {T. C. Nicholas Graham and
Ga{\"{e}}lle Calvary and
Philip D. Gray},
title = {A formal approach supporting the comparative predictive assessment
of the interruption-tolerance of interactive systems},
booktitle = {Proceedings of the 1st {ACM} {SIGCHI} symposium on Engineering Interactive
Computing System , {EICS} 2009, Pittsburgh, PA, USA, July 15-17, 2009},
pages = {211--220},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1570433.1570473},
doi = {10.1145/1570433.1570473},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eics/PalanqueWLBFM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hci/PalanqueLNB09,
author = {Philippe A. Palanque and
Jean{-}Fran{\c{c}}ois Ladry and
David Navarre and
Eric Barboni},
editor = {Julie A. Jacko},
title = {High-Fidelity Prototyping of Interactive Systems Can Be Formal Too},
booktitle = {Human-Computer Interaction. New Trends, 13th International Conference,
{HCI} International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {5610},
pages = {667--676},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02574-7\_75},
doi = {10.1007/978-3-642-02574-7\_75},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/hci/PalanqueLNB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmi/LalanneNPRVL09,
author = {Denis Lalanne and
Laurence Nigay and
Philippe A. Palanque and
Peter Robinson and
Jean Vanderdonckt and
Jean{-}Fran{\c{c}}ois Ladry},
editor = {James L. Crowley and
Yuri A. Ivanov and
Christopher Richard Wren and
Daniel Gatica{-}Perez and
Michael Johnston and
Rainer Stiefelhagen},
title = {Fusion engines for multimodal input: a survey},
booktitle = {Proceedings of the 11th International Conference on Multimodal Interfaces,
{ICMI} 2009, Cambridge, Massachusetts, USA, November 2-4, 2009},
pages = {153--160},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1647314.1647343},
doi = {10.1145/1647314.1647343},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icmi/LalanneNPRVL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmi/LadryNP09,
author = {Jean{-}Fran{\c{c}}ois Ladry and
David Navarre and
Philippe A. Palanque},
editor = {James L. Crowley and
Yuri A. Ivanov and
Christopher Richard Wren and
Daniel Gatica{-}Perez and
Michael Johnston and
Rainer Stiefelhagen},
title = {Formal description techniques to support the design, construction
and evaluation of fusion engines for sure (safe, usable, reliable
and evolvable) multimodal interfaces},
booktitle = {Proceedings of the 11th International Conference on Multimodal Interfaces,
{ICMI} 2009, Cambridge, Massachusetts, USA, November 2-4, 2009},
pages = {185--192},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1647314.1647347},
doi = {10.1145/1647314.1647347},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icmi/LadryNP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ihm/PalanqueLBNW09,
author = {Philippe A. Palanque and
Jean{-}Fran{\c{c}}ois Ladry and
Eric Barboni and
David Navarre and
Marco Winckler},
editor = {Ga{\"{e}}lle Calvary and
Jo{\"{e}}lle Coutaz and
Philippe A. Palanque},
title = {Une approche formelle pour i'evaluation de la tol{\'{e}}rance
aux interruptions des syst{\`{e}}me interactifs},
booktitle = {Proceedings of the 21st International Conference of the Association
Francophone d'Interaction Homme-Machine, Grenoble, France, October
13-16, 2009},
series = {{ACM} International Conference Proceeding Series},
pages = {141--150},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1629826.1629848},
doi = {10.1145/1629826.1629848},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ihm/PalanqueLBNW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interact/BeekFMPW09,
author = {Maurice H. ter Beek and
Giorgio P. Faconti and
Mieke Massink and
Philippe A. Palanque and
Marco Winckler},
editor = {Tom Gross and
Jan Gulliksen and
Paula Kotz{\'{e}} and
Lars Oestreicher and
Philippe A. Palanque and
Raquel Oliveira Prates and
Marco Winckler},
title = {Resilience of Interaction Techniques to Interrupts: {A} Formal Model-Based
Approach},
booktitle = {Human-Computer Interaction - {INTERACT} 2009, 12th {IFIP} {TC} 13
International Conference, Uppsala, Sweden, August 24-28, 2009, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {5726},
pages = {494--509},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03655-2\_56},
doi = {10.1007/978-3-642-03655-2\_56},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/interact/BeekFMPW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hci/NavarrePW09,
author = {David Navarre and
Philippe A. Palanque and
Marco Winckler},
editor = {Ahmed Seffah and
Jean Vanderdonckt and
Michel C. Desmarais},
title = {Task Models and System Models as {A} Bridge Between Hci and Software
Engineering},
booktitle = {Human-Centered Software Engineering - Software Engineering Models,
Patterns and Architectures for {HCI}},
series = {Human-Computer Interaction Series},
pages = {357--385},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-1-84800-907-3\_17},
doi = {10.1007/978-1-84800-907-3\_17},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/hci/NavarrePW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ihm/2009,
editor = {Ga{\"{e}}lle Calvary and
Jo{\"{e}}lle Coutaz and
Philippe A. Palanque},
title = {Proceedings of the 21st International Conference of the Association
Francophone d'Interaction Homme-Machine, Grenoble, France, October
13-16, 2009},
series = {{ACM} International Conference Proceeding Series},
publisher = {{ACM}},
year = {2009},
isbn = {978-1-60558-461-4},
timestamp = {Wed, 24 Mar 2010 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ihm/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/interact/2009-1,
editor = {Tom Gross and
Jan Gulliksen and
Paula Kotz{\'{e}} and
Lars Oestreicher and
Philippe A. Palanque and
Raquel Oliveira Prates and
Marco Winckler},
title = {Human-Computer Interaction - {INTERACT} 2009, 12th {IFIP} {TC} 13
International Conference, Uppsala, Sweden, August 24-28, 2009, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {5726},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03655-2},
doi = {10.1007/978-3-642-03655-2},
isbn = {978-3-642-03654-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/interact/2009-1.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/interact/2009-2,
editor = {Tom Gross and
Jan Gulliksen and
Paula Kotz{\'{e}} and
Lars Oestreicher and
Philippe A. Palanque and
Raquel Oliveira Prates and
Marco Winckler},
title = {Human-Computer Interaction - {INTERACT} 2009, 12th {IFIP} {TC} 13
International Conference, Uppsala, Sweden, August 24-28, 2009, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {5727},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03658-3},
doi = {10.1007/978-3-642-03658-3},
isbn = {978-3-642-03657-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/interact/2009-2.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/NavarrePLB08,
author = {David Navarre and
Philippe A. Palanque and
Jean{-}Fran{\c{c}}ois Ladry and
Sandra Basnyat},
editor = {T. C. Nicholas Graham and
Philippe A. Palanque},
title = {An Architecture and a Formal Description Technique for the Design
and Implementation of Reconfigurable User Interfaces},
booktitle = {Interactive Systems. Design, Specification, and Verification, 15th
International Workshop, {DSV-IS} 2008, Kingston, Canada, July 16-18,
2008, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {5136},
pages = {208--224},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70569-7\_20},
doi = {10.1007/978-3-540-70569-7\_20},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/NavarrePLB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/NavarrePB08,
author = {David Navarre and
Philippe A. Palanque and
Sandra Basnyat},
editor = {Michael D. Harrison and
Mark{-}Alexander Sujan},
title = {A Formal Approach for User Interaction Reconfiguration of Safety Critical
Interactive Systems},
booktitle = {Computer Safety, Reliability, and Security, 27th International Conference,
{SAFECOMP} 2008, Newcastle upon Tyne, UK, September 22-25, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5219},
pages = {373--386},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87698-4\_31},
doi = {10.1007/978-3-540-87698-4\_31},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/NavarrePB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/hci/BernhauptNPW08,
author = {Regina Bernhaupt and
David Navarre and
Philippe A. Palanque and
Marco Winckler},
editor = {Effie Lai{-}Chong Law and
Ebba Thora Hvannberg and
Gilbert Cockton},
title = {Tailoring Usability into Agile Software Development Projects},
booktitle = {Maturing Usability - Quality in Software, Interaction and Value},
series = {Human-Computer Interaction Series},
pages = {96--119},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-1-84628-941-5\_5},
doi = {10.1007/978-1-84628-941-5\_5},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/hci/BernhauptNPW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dsvis/2008,
editor = {T. C. Nicholas Graham and
Philippe A. Palanque},
title = {Interactive Systems. Design, Specification, and Verification, 15th
International Workshop, {DSV-IS} 2008, Kingston, Canada, July 16-18,
2008, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {5136},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70569-7},
doi = {10.1007/978-3-540-70569-7},
isbn = {978-3-540-70568-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ehci/2007,
editor = {Jan Gulliksen and
Morten Borup Harning and
Philippe A. Palanque and
Gerrit C. van der Veer and
Janet Wesson},
title = {Engineering Interactive Systems - {EIS} 2007 Joint Working Conferences,
{EHCI} 2007, {DSV-IS} 2007, {HCSE} 2007, Salamanca, Spain, March 22-24,
2007. Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4940},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-92698-6},
doi = {10.1007/978-3-540-92698-6},
isbn = {978-3-540-92697-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ehci/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/PalanqueBBBJJ07,
author = {Philippe A. Palanque and
Sandra Basnyat and
Regina Bernhaupt and
Ronald L. Boring and
Chris W. Johnson and
Peter Johnson},
editor = {Mary Beth Rosson and
David J. Gilmore},
title = {Beyond usability for safety critical systems: how to be sure (safe,
usable, reliable, and evolvable)?},
booktitle = {Extended Abstracts Proceedings of the 2007 Conference on Human Factors
in Computing Systems, {CHI} 2007, San Jose, California, USA, April
28 - May 3, 2007},
pages = {2133--2136},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1240866.1240966},
doi = {10.1145/1240866.1240966},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/chi/PalanqueBBBJJ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ehci/ConversyBNP07,
author = {St{\'{e}}phane Conversy and
Eric Barboni and
David Navarre and
Philippe A. Palanque},
editor = {Jan Gulliksen and
Morten Borup Harning and
Philippe A. Palanque and
Gerrit C. van der Veer and
Janet Wesson},
title = {Improving Modularity of Interactive Software with the {MDPC} Architecture},
booktitle = {Engineering Interactive Systems - {EIS} 2007 Joint Working Conferences,
{EHCI} 2007, {DSV-IS} 2007, {HCSE} 2007, Salamanca, Spain, March 22-24,
2007. Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4940},
pages = {321--338},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-92698-6\_20},
doi = {10.1007/978-3-540-92698-6\_20},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ehci/ConversyBNP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interact/BernhauptPWN07,
author = {Regina Bernhaupt and
Philippe A. Palanque and
Marco Winckler and
David Navarre},
editor = {Maria Cec{\'{\i}}lia Calani Baranauskas and
Philippe A. Palanque and
Julio Abascal and
Simone Diniz Junqueira Barbosa},
title = {Usability Study of Multi-modal Interfaces Using Eye-Tracking},
booktitle = {Human-Computer Interaction - {INTERACT} 2007, 11th {IFIP} {TC} 13
International Conference, Rio de Janeiro, Brazil, September 10-14,
2007, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {4663},
pages = {412--424},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74800-7\_37},
doi = {10.1007/978-3-540-74800-7\_37},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/interact/BernhauptPWN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interact/LacazeP07,
author = {Xavier Lacaze and
Philippe A. Palanque},
editor = {Maria Cec{\'{\i}}lia Calani Baranauskas and
Philippe A. Palanque and
Julio Abascal and
Simone Diniz Junqueira Barbosa},
title = {{DREAM} {\&} {TEAM:} {A} Tool and a Notation Supporting Exploration
of Options and Traceability of Choices for Safety Critical Interactive
Systems},
booktitle = {Human-Computer Interaction - {INTERACT} 2007, 11th {IFIP} {TC} 13
International Conference, Rio de Janeiro, Brazil, September 10-14,
2007, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {4663},
pages = {525--540},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74800-7\_48},
doi = {10.1007/978-3-540-74800-7\_48},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/interact/LacazeP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sies/BarboniNPB07,
author = {Eric Barboni and
David Navarre and
Philippe A. Palanque and
Sandra Basnyat},
title = {A Formal Description Technique for Interactive Cockpit Applications
Compliant with {ARINC} Specification 661},
booktitle = {{IEEE} Second International Symposium on Industrial Embedded Systems,
{SIES} 2007, Hotel Costa da Caparica, Lisbon, Portugal, July 4-6,
2007},
pages = {250--257},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/SIES.2007.4297342},
doi = {10.1109/SIES.2007.4297342},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sies/BarboniNPB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamodia/NavarrePBM07,
author = {David Navarre and
Philippe A. Palanque and
Eric Barboni and
Tomasz Mistrzyk},
editor = {Marco Winckler and
Hilary Johnson and
Philippe A. Palanque},
title = {On the Benefit of Synergistic Model-Based Approach for Safety Critical
Interactive System Testing},
booktitle = {Task Models and Diagrams for User Interface Design, 6th International
Workshop, {TAMODIA} 2007, Toulouse, France, November 7-9, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4849},
pages = {140--154},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77222-4\_12},
doi = {10.1007/978-3-540-77222-4\_12},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tamodia/NavarrePBM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usab/PalanqueBN07,
author = {Philippe A. Palanque and
Sandra Basnyat and
David Navarre},
editor = {Andreas Holzinger},
title = {Improving Interactive Systems Usability Using Formal Description Techniques:
Application to HealthCare},
booktitle = {{HCI} and Usability for Medicine and Health Care, Third Symposium
of the Workgroup Human-Computer Interaction and Usability Engineering
of the Austrian Computer Society, {USAB} 2007, Graz, Austria, November,
22, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4799},
pages = {21--40},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-76805-0\_2},
doi = {10.1007/978-3-540-76805-0\_2},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/usab/PalanqueBN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/interact/2007-1,
editor = {Maria Cec{\'{\i}}lia Calani Baranauskas and
Philippe A. Palanque and
Julio Abascal and
Simone Diniz Junqueira Barbosa},
title = {Human-Computer Interaction - {INTERACT} 2007, 11th {IFIP} {TC} 13
International Conference, Rio de Janeiro, Brazil, September 10-14,
2007, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {4662},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74796-3},
doi = {10.1007/978-3-540-74796-3},
isbn = {978-3-540-74794-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/interact/2007-1.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/interact/2007-2,
editor = {Maria Cec{\'{\i}}lia Calani Baranauskas and
Philippe A. Palanque and
Julio Abascal and
Simone Diniz Junqueira Barbosa},
title = {Human-Computer Interaction - {INTERACT} 2007, 11th {IFIP} {TC} 13
International Conference, Rio de Janeiro, Brazil, September 10-14,
2007, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {4663},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74800-7},
doi = {10.1007/978-3-540-74800-7},
isbn = {978-3-540-74799-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/interact/2007-2.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tamodia/2007,
editor = {Marco Winckler and
Hilary Johnson and
Philippe A. Palanque},
title = {Task Models and Diagrams for User Interface Design, 6th International
Workshop, {TAMODIA} 2007, Toulouse, France, November 7-9, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4849},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77222-4},
doi = {10.1007/978-3-540-77222-4},
isbn = {978-3-540-77221-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tamodia/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iwc/NavarrePDB06,
author = {David Navarre and
Philippe A. Palanque and
Pierre Dragicevic and
R{\'{e}}mi Bastide},
title = {An approach integrating two complementary model-based environments
for the construction of multimodal interactive applications},
journal = {Interact. Comput.},
volume = {18},
number = {5},
pages = {910--941},
year = {2006},
url = {https://doi.org/10.1016/j.intcom.2006.03.002},
doi = {10.1016/J.INTCOM.2006.03.002},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iwc/NavarrePDB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/BasnyatCP06,
author = {Sandra Basnyat and
Nick Chozos and
Philippe A. Palanque},
title = {Multidisciplinary perspective on accident investigation},
journal = {Reliab. Eng. Syst. Saf.},
volume = {91},
number = {12},
pages = {1502--1520},
year = {2006},
url = {https://doi.org/10.1016/j.ress.2006.01.014},
doi = {10.1016/J.RESS.2006.01.014},
timestamp = {Tue, 25 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ress/BasnyatCP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/BarboniCNP06,
author = {Eric Barboni and
St{\'{e}}phane Conversy and
David Navarre and
Philippe A. Palanque},
editor = {Gavin J. Doherty and
Ann Blandford},
title = {Model-Based Engineering of Widgets, User Applications and Servers
Compliant with {ARINC} 661 Specification},
booktitle = {Interactive Systems. Design, Specification, and Verification, 13th
International Workshop, {DSVIS} 2006, Dublin, Ireland, July 26-28,
2006. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {4323},
pages = {25--38},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-69554-7\_3},
doi = {10.1007/978-3-540-69554-7\_3},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/BarboniCNP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/GrahamCDPPRS06,
author = {T. C. Nicholas Graham and
Paul Curzon and
Gavin J. Doherty and
Philippe A. Palanque and
Richard Potter and
Christopher Roast and
Shamus P. Smith},
editor = {Gavin J. Doherty and
Ann Blandford},
title = {Usability and Computer Games: Working Group Report},
booktitle = {Interactive Systems. Design, Specification, and Verification, 13th
International Workshop, {DSVIS} 2006, Dublin, Ireland, July 26-28,
2006. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {4323},
pages = {265--268},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-69554-7\_22},
doi = {10.1007/978-3-540-69554-7\_22},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsvis/GrahamCDPPRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/BasnyatCJP05,
author = {Sandra Basnyat and
Nick Chozos and
Chris W. Johnson and
Philippe A. Palanque},
editor = {Stephen W. Gilroy and
Michael D. Harrison},
title = {Incident and Accident Investigation Techniques to Inform Model-Based
Design of Safety-Critical Interactive Systems},
booktitle = {Interactive Systems, Design, Specification, and Verification, 12th
International Workshop, {DSVIS} 2005, Newcastle upon Tyne, UK, July
13-15, 2005, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3941},
pages = {51--66},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11752707\_5},
doi = {10.1007/11752707\_5},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/BasnyatCJP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interact/NavarrePBSWNF05,
author = {David Navarre and
Philippe A. Palanque and
R{\'{e}}mi Bastide and
Am{\'{e}}lie Schyn and
Marco Winckler and
Luciana Porcher Nedel and
Carla Maria Dal Sasso Freitas},
editor = {Maria Francesca Costabile and
Fabio Patern{\`{o}}},
title = {A Formal Description of Multimodal Interaction Techniques for Immersive
Virtual Reality Applications},
booktitle = {Human-Computer Interaction - {INTERACT} 2005, {IFIP} {TC13} International
Conference, Rome, Italy, September 12-16, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3585},
pages = {170--183},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11555261\_17},
doi = {10.1007/11555261\_17},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/interact/NavarrePBSWNF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interact/LawHCPSSSV05,
author = {Effie Lai{-}Chong Law and
Ebba Thora Hvannberg and
Gilbert Cockton and
Philippe A. Palanque and
Dominique L. Scapin and
Mark Springett and
Christian Stary and
Jean Vanderdonckt},
editor = {Maria Francesca Costabile and
Fabio Patern{\`{o}}},
title = {Towards the Maturation of {IT} Usability Evaluation {(MAUSE)}},
booktitle = {Human-Computer Interaction - {INTERACT} 2005, {IFIP} {TC13} International
Conference, Rome, Italy, September 12-16, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3585},
pages = {1134--1137},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11555261\_122},
doi = {10.1007/11555261\_122},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/interact/LawHCPSSSV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/BasnyatBP05,
author = {Sandra Basnyat and
R{\'{e}}mi Bastide and
Philippe A. Palanque},
editor = {Andreas Pleu{\ss} and
Jan Van den Bergh and
Heinrich Hu{\ss}mann and
Stefan Sauer},
title = {Extending the Boundaries of Model-Based Development to Account for
Errors},
booktitle = {{MDDAUI} '05, Model Driven Development of Advanced User Interfaces
2005, Proceedings of the MoDELS'05 Workshop on Model Driven Development
of Advanced User Interfaces, Montego Bay, Jamaica, October 2, 2005},
series = {{CEUR} Workshop Proceedings},
volume = {159},
publisher = {CEUR-WS.org},
year = {2005},
url = {https://ceur-ws.org/Vol-159/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:43 +0100},
biburl = {https://dblp.org/rec/conf/uml/BasnyatBP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wwv/WincklerBPF05,
author = {Marco Winckler and
Eric Barboni and
Philippe A. Palanque and
Christelle Farenc},
editor = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Moreno Falaschi},
title = {What Kind of Verification of Formal Navigation Modelling for Reliable
and Usable Web Applications?},
booktitle = {First International Workshop on Automated Specification and Verification
of Web Sites {(WWV} 2005), March 14-15, 2005 Valencia, Spain},
volume = {{DSIC-II/03/05}},
pages = {33--36},
publisher = {Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica
de Valencia},
year = {2005},
timestamp = {Tue, 10 Nov 2020 12:25:00 +0100},
biburl = {https://dblp.org/rec/conf/wwv/WincklerBPF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/WincklerBPF06,
author = {Marco Winckler and
Eric Barboni and
Philippe A. Palanque and
Christelle Farenc},
editor = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Moreno Falaschi},
title = {What Kind of Verification of Formal Navigation Modelling for Reliable
and Usable Web Applications?},
booktitle = {Proceedings of the International Workshop on Automated Specification
and Verification of Web Sites, {WWV} 2005, Valencia, Spain, March
14-15, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {157},
number = {2},
pages = {207--211},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.056},
doi = {10.1016/J.ENTCS.2005.12.056},
timestamp = {Fri, 20 Jan 2023 11:40:19 +0100},
biburl = {https://dblp.org/rec/journals/entcs/WincklerBPF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ehci/2004,
editor = {R{\'{e}}mi Bastide and
Philippe A. Palanque and
J{\"{o}}rg Roth},
title = {Engineering Human Computer Interaction and Interactive Systems, Joint
Working Conferences {EHCI-DSVIS} 2004, Hamburg, Germany, July 11-13,
2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3425},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/b136790},
doi = {10.1007/B136790},
isbn = {3-540-26097-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ehci/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cadui/WincklerBFP04,
author = {Marco Winckler and
Eric Barboni and
Christelle Farenc and
Philippe A. Palanque},
editor = {Robert J. K. Jacob and
Quentin Limbourg and
Jean Vanderdonckt},
title = {{SWCEDITOR:} a Model-Based Tool for Interactive Modelling of Web Navigation},
booktitle = {Computer-Aided Design of User Interfaces IV, Proceedings of Fourth
International Conference on Computer-Aided Design of User Interfaces,
January 14-16, 2004, Funchal, Portugal},
pages = {55--66},
publisher = {Kluwer},
year = {2004},
timestamp = {Thu, 12 May 2005 08:43:35 +0200},
biburl = {https://dblp.org/rec/conf/cadui/WincklerBFP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/PalanqueKJSW04,
author = {Philippe A. Palanque and
Floor Koornneef and
Chris W. Johnson and
Gerd Szwillus and
Peter C. Wright},
editor = {Elizabeth Dykstra{-}Erickson and
Manfred Tscheligi},
title = {Safety-critical interaction: usability in incidents and accidents},
booktitle = {Extended abstracts of the 2004 Conference on Human Factors in Computing
Systems, {CHI} 2004, Vienna, Austria, April 24 - 29, 2004},
pages = {1600--1601},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/985921.986165},
doi = {10.1145/985921.986165},
timestamp = {Fri, 12 Mar 2021 15:27:48 +0100},
biburl = {https://dblp.org/rec/conf/chi/PalanqueKJSW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ehci/NavarreDPBS04,
author = {David Navarre and
Pierre Dragicevic and
Philippe A. Palanque and
R{\'{e}}mi Bastide and
Am{\'{e}}lie Schyn},
editor = {R{\'{e}}mi Bastide and
Philippe A. Palanque and
J{\"{o}}rg Roth},
title = {Very-High-Fidelity Prototyping for Both Presentation and Dialogue
Parts of Multimodal Interactive Systems},
booktitle = {Engineering Human Computer Interaction and Interactive Systems, Joint
Working Conferences {EHCI-DSVIS} 2004, Hamburg, Germany, July 11-13,
2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3425},
pages = {179--199},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11431879\_11},
doi = {10.1007/11431879\_11},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ehci/NavarreDPBS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmi/BastideNPSD04,
author = {R{\'{e}}mi Bastide and
David Navarre and
Philippe A. Palanque and
Am{\'{e}}lie Schyn and
Pierre Dragicevic},
editor = {Rajeev Sharma and
Trevor Darrell and
Mary P. Harper and
Gianni Lazzari and
Matthew A. Turk},
title = {A model-based approach for real-time embedded multimodal systems in
military aircrafts},
booktitle = {Proceedings of the 6th International Conference on Multimodal Interfaces,
{ICMI} 2004, State College, PA, USA, October 13-15, 2004},
pages = {243--250},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1027933.1027974},
doi = {10.1145/1027933.1027974},
timestamp = {Fri, 03 Jul 2020 08:57:26 +0200},
biburl = {https://dblp.org/rec/conf/icmi/BastideNPSD04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip13/PalanqueB04,
author = {Philippe A. Palanque and
Sandra Basnyat},
editor = {Chris W. Johnson and
Philippe A. Palanque},
title = {Task Patterns for Taking Into Account in an Efficient and Systematic
Way Both Standard and Erroneous User Behaviours},
booktitle = {Human Error, Safety and Systems Development, {IFIP} 18th World Computer
Congress, {TC13} / {WG13.5} 7th Working Conference on Human Error,
Safety and Systems Development, 22-27 August 2004, Toulouse, France},
series = {{IFIP}},
volume = {152},
pages = {109--130},
publisher = {Kluwer/Springer},
year = {2004},
url = {https://doi.org/10.1007/1-4020-8153-7\_8},
doi = {10.1007/1-4020-8153-7\_8},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip13/PalanqueB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamodia/WincklerPF04,
author = {Marco Winckler and
Philippe A. Palanque and
Carla Maria Dal Sasso Freitas},
editor = {Pavel Slav{\'{\i}}k and
Philippe A. Palanque},
title = {Tasks and scenario-based evaluation of information visualization techniques},
booktitle = {Task Models and Diagrams for User Interface Design: Proceedings of
the Third International Workshop on Task Models and Diagrams for User
Interface Design - {TAMODIA} 2004, November 15 - 16, 2004, Prague,
Czech Republic},
pages = {165--172},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1045446.1045475},
doi = {10.1145/1045446.1045475},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tamodia/WincklerPF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifip13/2004,
editor = {Chris W. Johnson and
Philippe A. Palanque},
title = {Human Error, Safety and Systems Development, {IFIP} 18th World Computer
Congress, {TC13} / {WG13.5} 7th Working Conference on Human Error,
Safety and Systems Development, 22-27 August 2004, Toulouse, France},
series = {{IFIP}},
volume = {152},
publisher = {Kluwer/Springer},
year = {2004},
isbn = {1-4020-8152-9},
timestamp = {Mon, 19 Sep 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip13/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tamodia/2004,
editor = {Pavel Slav{\'{\i}}k and
Philippe A. Palanque},
title = {Task Models and Diagrams for User Interface Design: Proceedings of
the Third International Workshop on Task Models and Diagrams for User
Interface Design - {TAMODIA} 2004, November 15 - 16, 2004, Prague,
Czech Republic},
publisher = {{ACM}},
year = {2004},
timestamp = {Tue, 22 Feb 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tamodia/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iwc/BastideNP03,
author = {R{\'{e}}mi Bastide and
David Navarre and
Philippe A. Palanque},
title = {A tool-supported design framework for safety critical interactive
systems},
journal = {Interact. Comput.},
volume = {15},
number = {3},
pages = {309--328},
year = {2003},
url = {https://doi.org/10.1016/S0953-5438(03)00011-0},
doi = {10.1016/S0953-5438(03)00011-0},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iwc/BastideNP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/WincklerP03,
author = {Marco Winckler and
Philippe A. Palanque},
editor = {Joaquim A. Jorge and
Nuno Jardim Nunes and
Jo{\~{a}}o Falc{\~{a}}o e Cunha},
title = {StateWebCharts: {A} Formal Description Technique Dedicated to Navigation
Modelling of Web Applications},
booktitle = {Interactive Systems. Design, Specification, and Verification, 10th
International Workshop, {DSV-IS} 2003, Funchal, Madeira Island, Portugal,
June 11-13, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2844},
pages = {61--76},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39929-2\_5},
doi = {10.1007/978-3-540-39929-2\_5},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/WincklerP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hci/PalanqueB03,
author = {Philippe A. Palanque and
R{\'{e}}mi Bastide},
editor = {Constantine Stephanidis},
title = {User-Centered Point of View to End-User Development},
booktitle = {Human-Computer Interaction: Universal Access in {HCI:} Inclusive Design
in the Information Society, Proceedings of {HCI} International 2003
(the 10th International Conference on Human-Computer Interaction),
{HCI} 2003, Crete, Greece, June 22-27, 2003, Volume 4},
pages = {577--581},
publisher = {Lawrence Erlbaum},
year = {2003},
timestamp = {Tue, 30 May 2023 17:06:04 +0200},
biburl = {https://dblp.org/rec/conf/hci/PalanqueB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hci/WincklerPFP03,
author = {Marco Winckler and
Philippe A. Palanque and
Christelle Farenc and
Marcelo Soares Pimenta},
editor = {Constantine Stephanidis},
title = {Who does what with whom in Web Development?},
booktitle = {Human-Computer Interaction: Universal Access in {HCI:} Inclusive Design
in the Information Society, Proceedings of {HCI} International 2003
(the 10th International Conference on Human-Computer Interaction),
{HCI} 2003, Crete, Greece, June 22-27, 2003, Volume 4},
pages = {1549--1554},
publisher = {Lawrence Erlbaum},
year = {2003},
timestamp = {Tue, 30 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hci/WincklerPFP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ihm/SchynNPN03,
author = {Am{\'{e}}lie Schyn and
David Navarre and
Philippe A. Palanque and
Luciana Porcher Nedel},
editor = {Khaldoun Zreik and
Thomas Baudel and
Christophe Kolski and
Eric Brangier},
title = {Formal description of a multimodal interaction technique in an immersive
virtual reality application},
booktitle = {Proceedings of the 15th French-speaking conference on human-computer
interaction on 15eme Conference Francophone sur l'Interaction Homme-Machine,
{IHM} 2003, Caen, France, November 25-28, 2003},
series = {{ACM} International Conference Proceeding Series},
volume = {51},
pages = {150--157},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/1063669.1063690},
doi = {10.1145/1063669.1063690},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ihm/SchynNPN03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interact/PalanqueS03,
author = {Philippe A. Palanque and
Am{\'{e}}lie Schyn},
editor = {Matthias Rauterberg and
Marino Menozzi and
Janet Wesson},
title = {A Model-Based Approach for Engineering Multimodal Interactive Systems},
booktitle = {Human-Computer Interaction {INTERACT} '03: {IFIP} {TC13} International
Conference on Human-Computer Interaction, 1st-5th September 2003,
Zurich, Switzerland},
publisher = {{IOS} Press},
year = {2003},
timestamp = {Mon, 30 May 2005 14:02:24 +0200},
biburl = {https://dblp.org/rec/conf/interact/PalanqueS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cadui/NavarrePB02,
author = {David Navarre and
Philippe A. Palanque and
R{\'{e}}mi Bastide},
editor = {Christophe Kolski and
Jean Vanderdonckt},
title = {Model-Based Interactive Prototyping of Highly Interactive Applications},
booktitle = {Computer-Aided Design of User Interfaces III, Proceedings of the Fourth
International Conference on Computer-Aided Design of User Interfaces,
May, 15-17, 2002, Valenciennes, France},
pages = {205--216},
publisher = {Kluwer},
year = {2002},
timestamp = {Thu, 23 Jun 2016 15:53:27 +0200},
biburl = {https://dblp.org/rec/conf/cadui/NavarrePB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/BastideNP02,
author = {R{\'{e}}mi Bastide and
David Navarre and
Philippe A. Palanque},
editor = {Loren G. Terveen and
Dennis R. Wixon},
title = {A model-based tool for interactive prototyping of highly interactive
applications},
booktitle = {Extended abstracts of the 2002 Conference on Human Factors in Computing
Systems, {CHI} 2002, Minneapolis, Minnesota, USA, April 20-25, 2002},
pages = {516--517},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/506443.506457},
doi = {10.1145/506443.506457},
timestamp = {Fri, 12 Mar 2021 15:27:48 +0100},
biburl = {https://dblp.org/rec/conf/chi/BastideNP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/LacazePNB02,
author = {Xavier Lacaze and
Philippe A. Palanque and
David Navarre and
R{\'{e}}mi Bastide},
editor = {Peter Forbrig and
Quentin Limbourg and
Bodo Urban and
Jean Vanderdonckt},
title = {Performance Evaluation as a Tool for Quantitative Assessment of Complexity
of Interactive Systems},
booktitle = {Interactive Systems. Design, Specification, and Verification, 9th
International Workshop, {DSV-IS} 2002, Rostock Germany, June 12-14,
2002},
series = {Lecture Notes in Computer Science},
volume = {2545},
pages = {208--222},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36235-5\_16},
doi = {10.1007/3-540-36235-5\_16},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/LacazePNB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ihm/LacazePN02,
author = {Xavier Lacaze and
Philippe A. Palanque and
David Navarre},
editor = {Patrick Girard and
Thomas Baudel and
Michel Beaudouin{-}Lafon and
Eric Lecolinet and
Dominique L. Scapin},
title = {Analyse de performance et mod{\'{e}}les de T{\^{a}}ches comme
support {\^{a}} la conception rationnelle des syst{\`{e}}mes interactifs},
booktitle = {Proceedings of the 14th French-speaking conference on Human-computer
interaction, Conference Francophone sur l'Interaction Homme-Machine,
{IHM} 2002, Poitiers, France, November 26-29, 2002},
series = {{ACM} International Conference Proceeding Series},
volume = {32},
pages = {17--24},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/777005.777009},
doi = {10.1145/777005.777009},
timestamp = {Mon, 15 Jul 2019 18:58:52 +0200},
biburl = {https://dblp.org/rec/conf/ihm/LacazePN02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ihm/WincklerFP02,
author = {Marco Winckler and
Christelle Farenc and
Philippe A. Palanque},
editor = {Patrick Girard and
Thomas Baudel and
Michel Beaudouin{-}Lafon and
Eric Lecolinet and
Dominique L. Scapin},
title = {Une d{\'{e}}marche structur{\'{e}}e pour la conception et
l'{\'{e}}valuation d'applications Web par l'exploitation synergique
des mod{\`{e}}les de t{\^{a}}che et de navigation},
booktitle = {Proceedings of the 14th French-speaking conference on Human-computer
interaction, Conference Francophone sur l'Interaction Homme-Machine,
{IHM} 2002, Poitiers, France, November 26-29, 2002},
series = {{ACM} International Conference Proceeding Series},
volume = {32},
pages = {153--160},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/777005.777026},
doi = {10.1145/777005.777026},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ihm/WincklerFP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamodia/WincklerPFP02,
author = {Marco Winckler and
Philippe A. Palanque and
Christelle Farenc and
Marcelo Soares Pimenta},
editor = {Costin Pribeanu and
Jean Vanderdonckt},
title = {Task-Based Assessment of Web Navigation Design},
booktitle = {Task Models and Diagrams for User Interface Design: Proceedings of
the First International Workshop on Task Models and Diagrams for User
Interface Design - {TAMODIA} 2002, 18-19 July 2002, Bucharest, Romania},
pages = {161--169},
publisher = {{INFOREC} Publishing House Bucharest},
year = {2002},
timestamp = {Wed, 31 Jul 2002 15:36:50 +0200},
biburl = {https://dblp.org/rec/conf/tamodia/WincklerPFP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/PalanqueP01,
author = {Philippe A. Palanque and
Fabio Patern{\`{o}}},
title = {Design, specification, and verification of interactive systems},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {26},
number = {1},
pages = {74--75},
year = {2001},
url = {https://doi.org/10.1145/505894.505910},
doi = {10.1145/505894.505910},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/PalanqueP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cooppn/BastideP01,
author = {R{\'{e}}mi Bastide and
Philippe A. Palanque},
editor = {Gul Agha and
Fiorella de Cindio and
Grzegorz Rozenberg},
title = {Modeling a Groupware Editing Tool with Cooperative Objects},
booktitle = {Concurrent Object-Oriented Programming and Petri Nets, Advances in
Petri Nets},
series = {Lecture Notes in Computer Science},
volume = {2001},
pages = {305--318},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45397-0\_10},
doi = {10.1007/3-540-45397-0\_10},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/cooppn/BastideP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cooppn/BastideLP01,
author = {R{\'{e}}mi Bastide and
Charles Lakos and
Philippe A. Palanque},
editor = {Gul Agha and
Fiorella de Cindio and
Grzegorz Rozenberg},
title = {A Cooperative Petri Net Editor},
booktitle = {Concurrent Object-Oriented Programming and Petri Nets, Advances in
Petri Nets},
series = {Lecture Notes in Computer Science},
volume = {2001},
pages = {534--535},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45397-0\_23},
doi = {10.1007/3-540-45397-0\_23},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cooppn/BastideLP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/NavarrePPSB01,
author = {David Navarre and
Philippe A. Palanque and
Fabio Patern{\`{o}} and
Carmen Santoro and
R{\'{e}}mi Bastide},
editor = {Chris W. Johnson},
title = {A Tool Suite for Integrating Task and System Models through Scenarios},
booktitle = {Interactive Systems: Design, Specification, and Verification, 8th
International Workshop, {DSV-IS} 2001, Glasgow, Scotland, UK, June
13-15, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2220},
pages = {88--113},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45522-1\_6},
doi = {10.1007/3-540-45522-1\_6},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/NavarrePPSB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hci/FarencPBSW01,
author = {Christelle Farenc and
Philippe A. Palanque and
J. M. Christian Bastien and
Dominique L. Scapin and
Marco Winckler},
editor = {Constantine Stephanidis},
title = {Towards a general guidance and support tool for usability optimization},
booktitle = {Universal Access In {HCI:} Towards an Information Society for All,
Proceedings of {HCI} International '2001 (the 9th International Conference
on Human-Computer Interaction), New Orleans, USA, August 5-10, 2001,
Volume 3},
pages = {160--164},
publisher = {Lawrence Erlbaum},
year = {2001},
timestamp = {Mon, 30 Apr 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hci/FarencPBSW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/NavarrePBS01,
author = {David Navarre and
Philippe A. Palanque and
R{\'{e}}mi Bastide and
Ousmane Sy},
title = {A Model-Based Tool for Interactive Prototyping of Highly Interactive
Applications},
booktitle = {12th {IEEE} International Workshop on Rapid System Prototyping {(RSP}
2001), 25-27 June 2001, Monterey, CA, {USA}},
pages = {136--141},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/IWRSP.2001.933851},
doi = {10.1109/IWRSP.2001.933851},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rsp/NavarrePBS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/BastideSP00,
author = {R{\'{e}}mi Bastide and
Ousmane Sy and
Philippe A. Palanque},
title = {A formal notation and tool for the engineering of {CORBA} systems},
journal = {Concurr. Pract. Exp.},
volume = {12},
number = {14},
pages = {1379--1403},
year = {2000},
url = {https://doi.org/10.1002/1096-9128(20001210)12:14\&\#60;1379::AID-CPE514\&\#62;3.0.CO;2-B},
doi = {10.1002/1096-9128(20001210)12:14\&\#60;1379::AID-CPE514\&\#62;3.0.CO;2-B},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/concurrency/BastideSP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/NavarrePBS00,
author = {David Navarre and
Philippe A. Palanque and
R{\'{e}}mi Bastide and
Ousmane Sy},
editor = {Philippe A. Palanque and
Fabio Patern{\`{o}}},
title = {Structuring Interactive Systems Specifications for Executability and
Prototypability},
booktitle = {Interactive Systems: Design, Specification, and Verification, 7th
International Workshop DSV-IS, Limerick, Ireland, June 5-6, 2000,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1946},
pages = {97--119},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44675-3\_7},
doi = {10.1007/3-540-44675-3\_7},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/NavarrePBS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/BastideSNP00,
author = {R{\'{e}}mi Bastide and
Ousmane Sy and
David Navarre and
Philippe A. Palanque},
editor = {Scott F. Smith and
Carolyn L. Talcott},
title = {A Formal Specification of the {CORBA} Event Service},
booktitle = {Formal Methods for Open Object-Based Distributed Systems IV, {IFIF}
{TC6/WG6.1} Fourth International Conference on Formal Methods for
Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8,
2000, Stanford, California, {USA}},
series = {{IFIP} Conference Proceedings},
volume = {177},
pages = {371--395},
publisher = {Kluwer},
year = {2000},
url = {https://doi.org/10.1007/978-0-387-35520-7\_19},
doi = {10.1007/978-0-387-35520-7\_19},
timestamp = {Thu, 21 Dec 2017 23:26:00 +0100},
biburl = {https://dblp.org/rec/conf/fmoods/BastideSNP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/PalanqueP00,
author = {Philippe A. Palanque and
Fabio Patern{\`{o}}},
editor = {Carlo Ghezzi and
Mehdi Jazayeri and
Alexander L. Wolf},
title = {Design, specification, and verification of interactive systems (workshop
session)},
booktitle = {Proceedings of the 22nd International Conference on on Software Engineering,
{ICSE} 2000, Limerick Ireland, June 4-11, 2000},
pages = {803--804},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/337180.337824},
doi = {10.1145/337180.337824},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/PalanqueP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BastidePSN00,
author = {R{\'{e}}mi Bastide and
Philippe A. Palanque and
Ousmane Sy and
David Navarre},
editor = {Mary Beth Rosson and
Doug Lea},
title = {Formal specification of {CORBA} services: experience and lessons learned},
booktitle = {Proceedings of the 2000 {ACM} {SIGPLAN} Conference on Object-Oriented
Programming Systems, Languages {\&} Applications, {OOPSLA} 2000,
Minneapolis, Minnesota, USA, October 15-19, 2000},
pages = {105--117},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/353171.353179},
doi = {10.1145/353171.353179},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/BastidePSN00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tfwwg/ScapinVFBBLMP00,
author = {Dominique L. Scapin and
Jean Vanderdonckt and
Christelle Farenc and
R{\'{e}}mi Bastide and
J. M. Christian Bastien and
Corinne Leulier and
C{\'{e}}line Mariage and
Philippe A. Palanque},
editor = {Jean Vanderdonckt and
Christelle Farenc},
title = {Transferring Knowledge of User Interfaces Guidelines to the Web},
booktitle = {Tools for Working with Guidelines, International Workshop on Tools
for Working with Guidelines, {TFWWG} 2000, Biarritz, France, October
2000},
pages = {293--304},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/978-1-4471-0279-3\_28},
doi = {10.1007/978-1-4471-0279-3\_28},
timestamp = {Tue, 02 Jul 2019 15:04:06 +0200},
biburl = {https://dblp.org/rec/conf/tfwwg/ScapinVFBBLMP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dsvis/2000,
editor = {Philippe A. Palanque and
Fabio Patern{\`{o}}},
title = {Interactive Systems: Design, Specification, and Verification, 7th
International Workshop DSV-IS, Limerick, Ireland, June 5-6, 2000,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1946},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44675-3},
doi = {10.1007/3-540-44675-3},
isbn = {3-540-41663-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tochi/GrayPP99,
author = {Wayne D. Gray and
Philippe A. Palanque and
Fabio Patern{\`{o}}},
title = {Introduction to the special issue on interface issues and designs
for safety-critical interactive systems: when there is no room for
user error},
journal = {{ACM} Trans. Comput. Hum. Interact.},
volume = {6},
number = {4},
pages = {309--310},
year = {1999},
url = {https://doi.org/10.1145/331490.332826},
doi = {10.1145/331490.332826},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tochi/GrayPP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlc/BastideP99,
author = {R{\'{e}}mi Bastide and
Philippe A. Palanque},
title = {A Visual and Formal Glue between Application and Interaction},
journal = {J. Vis. Lang. Comput.},
volume = {10},
number = {4},
pages = {481--507},
year = {1999},
url = {https://doi.org/10.1006/jvlc.1999.0127},
doi = {10.1006/JVLC.1999.0127},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vlc/BastideP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BastidePSLN99,
author = {R{\'{e}}mi Bastide and
Philippe A. Palanque and
Ousmane Sy and
Duc{-}Hoa Le and
David Navarre},
editor = {Susanna Donatelli and
H. C. M. Kleijn},
title = {Petri Net Based Behavioural Specification of {CORBA} Systems},
booktitle = {Application and Theory of Petri Nets 1999, 20th International Conference,
{ICATPN} '99, Williamsburg, Virginia, USA, June 21-25, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1639},
pages = {66--85},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48745-X\_5},
doi = {10.1007/3-540-48745-X\_5},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/BastidePSLN99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cadui/FarencP99,
author = {Christelle Farenc and
Philippe A. Palanque},
editor = {Jean Vanderdonckt and
Angel R. Puerta},
title = {A Generic Framework based on Ergonomics Rules for Computer Aided Design
of User Interface},
booktitle = {Computer-Aided Design of User Interfaces II, Proceedings of the Third
International Conference of Computer-Aided Design of User Interfaces,
October 21-23, 1999, Louvain-la-Neuve, Belgium},
pages = {281--292},
publisher = {Kluwer},
year = {1999},
timestamp = {Thu, 12 May 2005 08:43:23 +0200},
biburl = {https://dblp.org/rec/conf/cadui/FarencP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/doa/BastideSP99,
author = {R{\'{e}}mi Bastide and
Ousmane Sy and
Philippe A. Palanque},
title = {Formal Support for the Engineering of CORBA-based Distributed Object
Systems},
booktitle = {International Symposium on Distributed Objects and Applications, {DOA}
1999, Edinburgh, United Kingdom, September 5-7, 1999},
pages = {264--272},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/DOA.1999.794042},
doi = {10.1109/DOA.1999.794042},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/doa/BastideSP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/BastideSP99,
author = {R{\'{e}}mi Bastide and
Ousmane Sy and
Philippe A. Palanque},
editor = {Rachid Guerraoui},
title = {Formal Specification and Prototyping of {CORBA} Systems},
booktitle = {ECOOP'99 - Object-Oriented Programming, 13th European Conference,
Lisbon, Portugal, June 14-18, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1628},
pages = {474--494},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48743-3\_22},
doi = {10.1007/3-540-48743-3\_22},
timestamp = {Wed, 07 Dec 2022 23:08:18 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/BastideSP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hci/FarencP99,
author = {Christelle Farenc and
Philippe A. Palanque},
editor = {Hans{-}J{\"{o}}rg Bullinger and
J{\"{u}}rgen Ziegler},
title = {An Extensible Architecture to Support the Structuring and the efficient
Exploitation of Ergonomic Rules},
booktitle = {Human-Computer Interaction: Ergonomics and User Interfaces, Proceedings
of {HCI} International '99 (the 8th International Conference on Human-Computer
Interaction), Munich, Germany, August 22-26, 1999, Volume 1},
pages = {1038--1042},
publisher = {Lawrence Erlbaum},
year = {1999},
timestamp = {Wed, 07 Jan 2015 19:13:32 +0100},
biburl = {https://dblp.org/rec/conf/hci/FarencP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interact/PalanqueFB99,
author = {Philippe A. Palanque and
Christelle Farenc and
R{\'{e}}mi Bastide},
editor = {M. Angela Sasse and
Chris W. Johnson},
title = {Embedding Ergonomic Rules as Generic Requirements in a Formal Development
Process of Interactive Software},
booktitle = {Human-Computer Interaction {INTERACT} '99: {IFIP} {TC13} International
Conference on Human-Computer Interaction, Edinburgh, UK, 30th August-3rd
September 1999},
pages = {408--416},
publisher = {{IOS} Press},
year = {1999},
timestamp = {Mon, 19 Sep 2016 17:00:14 +0200},
biburl = {https://dblp.org/rec/conf/interact/PalanqueFB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigchi/PalanquePF98,
author = {Philippe A. Palanque and
Fabio Patern{\`{o}} and
Bob Fields},
title = {Designing user interfaces for safety critical systems},
journal = {{ACM} {SIGCHI} Bull.},
volume = {30},
number = {4},
pages = {37--39},
year = {1998},
url = {https://doi.org/10.1145/310307.310359},
doi = {10.1145/310307.310359},
timestamp = {Wed, 16 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigchi/PalanquePF98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/PalanquePW98,
author = {Philippe A. Palanque and
Fabio Patern{\`{o}} and
Peter C. Wright},
editor = {Clare{-}Marie Karat and
Arnold M. Lund},
title = {Designing user interfaces for safety critical systems},
booktitle = {{CHI} 98 Conference Summary on Human Factors in Computing Systems,
{CHI} '98, Los Angeles, California, {USA}},
pages = {200},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/286498.286685},
doi = {10.1145/286498.286685},
timestamp = {Fri, 12 Mar 2021 15:27:48 +0100},
biburl = {https://dblp.org/rec/conf/chi/PalanquePW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/BastidePLM98,
author = {R{\'{e}}mi Bastide and
Philippe A. Palanque and
Duc{-}Hoa Le and
Jaime Munoz},
editor = {Panos Markopoulos and
Peter Johnson},
title = {Integrating Rendering Specifications into a Formalism for the Design
of Interactive Systems},
booktitle = {Design, Specification and Verification of Interactive Systems'98,
Proceedings of the Fifth International Eurographics Workshop, June
3-5, 1998, Abingdon, United Kingdom, Volume 1},
series = {Eurographics},
pages = {171--190},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-3-7091-3693-5\_12},
doi = {10.1007/978-3-7091-3693-5\_12},
timestamp = {Wed, 01 Jul 2020 21:28:45 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/BastidePLM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iwc/PalanqueB97,
author = {Philippe A. Palanque and
R{\'{e}}mi Bastide},
title = {Synergistic Modelling of Tasks, Users and Systems using Formal Specification
Techniques},
journal = {Interact. Comput.},
volume = {9},
number = {2},
pages = {129--153},
year = {1997},
url = {https://doi.org/10.1016/S0953-5438(97)00013-1},
doi = {10.1016/S0953-5438(97)00013-1},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iwc/PalanqueB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bcshci/JacomiCP97,
author = {Michelle Jacomi and
St{\'{e}}phane Chatty and
Philippe A. Palanque},
editor = {Harold W. Thimbleby and
Brid O'Conaill and
Peter Thomas},
title = {A Making-Movies Metaphor for Structuring Software Components in Highly
Interactive Applications},
booktitle = {People and Computers XII, Proceedings of {HCI} '97},
series = {{BCS} conference series},
pages = {155--173},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/978-1-4471-3601-9\_10},
doi = {10.1007/978-1-4471-3601-9\_10},
timestamp = {Tue, 25 Jun 2019 12:25:42 +0200},
biburl = {https://dblp.org/rec/conf/bcshci/JacomiCP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/AccotCMP97,
author = {Johnny Accot and
St{\'{e}}phane Chatty and
S{\'{e}}bastien Maury and
Philippe A. Palanque},
editor = {Michael D. Harrison and
Juan Carlos Torres},
title = {Formal transducers: Models of devices and building bricks for the
design of highly interactive systems},
booktitle = {Design, Specification and Verification of Interactive Systems'97,
Proceedings of the Fourth International Eurographics Workshop, June
4-6, 1997, Granada, Spain},
series = {Eurographics},
pages = {143--159},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/978-3-7091-6878-3\_10},
doi = {10.1007/978-3-7091-6878-3\_10},
timestamp = {Fri, 21 Jun 2019 13:08:59 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/AccotCMP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interact/PalanqueBP97,
author = {Philippe A. Palanque and
R{\'{e}}mi Bastide and
Fabio Patern{\`{o}}},
editor = {Steve Howard and
Judy Hammond and
Gitte Lindgaard},
title = {Formal Specification as a Tool for Objective Assessment of Safety-Critical
Interactive Systems},
booktitle = {Human-Computer Interaction, {INTERACT} '97, {IFIP} {TC13} Interantional
Conference on Human-Computer Interaction, 14th-18th July 1997, Sydney,
Australia},
series = {{IFIP} Conference Proceedings},
volume = {96},
pages = {323--330},
publisher = {Chapman {\&} Hall},
year = {1997},
timestamp = {Fri, 30 Aug 2002 07:29:04 +0200},
biburl = {https://dblp.org/rec/conf/interact/PalanqueBP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigchi/PalanqueB96,
author = {Philippe A. Palanque and
R{\'{e}}mi Bastide},
title = {Time modelling in Petri nets for the design of interaction active},
journal = {{ACM} {SIGCHI} Bull.},
volume = {28},
number = {2},
pages = {43--46},
year = {1996},
url = {https://doi.org/10.1145/226650.226666},
doi = {10.1145/226650.226666},
timestamp = {Thu, 17 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigchi/PalanqueB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigchi/PaternoP96,
author = {Fabio Patern{\`{o}} and
Philippe A. Palanque},
title = {Formal methods in computer human interaction: comparison, benefits,
open questions},
journal = {{ACM} {SIGCHI} Bull.},
volume = {28},
number = {4},
pages = {46--48},
year = {1996},
url = {https://doi.org/10.1145/242417.242443},
doi = {10.1145/242417.242443},
timestamp = {Thu, 17 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigchi/PaternoP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cadui/BastideP96,
author = {R{\'{e}}mi Bastide and
Philippe A. Palanque},
editor = {Jean Vanderdonckt},
title = {Implementation Techniques for Petri Net Based Specifications of Human-Computer
Dialogues},
booktitle = {Computer-Aided Design of User Interfaces I, Proceedings of the Second
International Workshop on Computer-Aided Design of User Interfaces,
June 5-7, 1996, Namur, Belgium},
pages = {285--302},
publisher = {Presses Universitaires de Namur},
year = {1996},
timestamp = {Thu, 12 May 2005 09:01:45 +0200},
biburl = {https://dblp.org/rec/conf/cadui/BastideP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/PaternoAP96,
author = {Fabio Patern{\`{o}} and
Gregory D. Abowd and
Philippe A. Palanque},
editor = {Michael J. Tauber},
title = {Formal methods in computer human interaction: comparison, benefits,
open questions},
booktitle = {Conference on Human Factors in Computing Systems: Common Ground, {CHI}
'96, Vancouver, BC, Canada, April 13-18, 1996, Conference Companion},
pages = {424},
publisher = {{ACM}},
year = {1996},
url = {https://doi.org/10.1145/257089.257417},
doi = {10.1145/257089.257417},
timestamp = {Thu, 10 Jun 2021 16:47:12 +0200},
biburl = {https://dblp.org/rec/conf/chi/PaternoAP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/AccotCP96,
author = {Johnny Accot and
St{\'{e}}phane Chatty and
Philippe A. Palanque},
editor = {Fran{\c{c}}ois Bodart and
Jean Vanderdonckt},
title = {A Formal Description of Low Level Interaction and its Application
to Multimodal Interactive Systems},
booktitle = {Design, Specification and Verification of Interactive Systems'96,
Proceedings of the Third International Eurographics Workshop, June
5-7, 1996, Namur, Belgium},
series = {Eurographics},
pages = {92--104},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/978-3-7091-7491-3\_5},
doi = {10.1007/978-3-7091-7491-3\_5},
timestamp = {Tue, 25 Jun 2019 12:25:42 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/AccotCP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/PalanquePBM96,
author = {Philippe A. Palanque and
Fabio Patern{\`{o}} and
R{\'{e}}mi Bastide and
M. Mezzanotte},
editor = {Fran{\c{c}}ois Bodart and
Jean Vanderdonckt},
title = {Towards an Integrated Proposal for Interactive Systems Design Based
on {TLIM} and {ICO}},
booktitle = {Design, Specification and Verification of Interactive Systems'96,
Proceedings of the Third International Eurographics Workshop, June
5-7, 1996, Namur, Belgium},
series = {Eurographics},
pages = {162--187},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/978-3-7091-7491-3\_9},
doi = {10.1007/978-3-7091-7491-3\_9},
timestamp = {Tue, 25 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/PalanquePBM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/MoherDBP96,
author = {Tom Moher and
Victor Dirda and
R{\'{e}}mi Bastide and
Philippe A. Palanque},
editor = {Fran{\c{c}}ois Bodart and
Jean Vanderdonckt},
title = {Monolingual, Articulated Modeling of Users, Devices, and Interfaces},
booktitle = {Design, Specification and Verification of Interactive Systems'96,
Proceedings of the Third International Eurographics Workshop, June
5-7, 1996, Namur, Belgium},
series = {Eurographics},
pages = {312--329},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/978-3-7091-7491-3\_16},
doi = {10.1007/978-3-7091-7491-3\_16},
timestamp = {Tue, 25 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/MoherDBP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BastideP95,
author = {R{\'{e}}mi Bastide and
Philippe A. Palanque},
editor = {Giorgio De Michelis and
Michel Diaz},
title = {A Petri Net based Environment for the Design of Event-driven Interfaces},
booktitle = {Application and Theory of Petri Nets 1995, 16th International Conference,
Turin, Italy, June 26-30, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {935},
pages = {66--83},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60029-9\_34},
doi = {10.1007/3-540-60029-9\_34},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/BastideP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bcshci/PalanqueB95,
author = {Philippe A. Palanque and
R{\'{e}}mi Bastide},
editor = {Mark A. R. Kirby and
Alan J. Dix and
Janet Finlay},
title = {Formal Specification and Verification of {CSCW} using the Interactive
Cooperative Object Formalism},
booktitle = {People and Computers X, Proceedings of {HCI} '95, Huddersfield, UK,
August 1995},
pages = {213--231},
publisher = {Cambridge University Press},
year = {1995},
timestamp = {Mon, 18 Jun 2018 21:25:44 +0200},
biburl = {https://dblp.org/rec/conf/bcshci/PalanqueB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ehci/PalanqueBS95,
author = {Philippe A. Palanque and
R{\'{e}}mi Bastide and
V. Seng{\`{e}}s},
editor = {Leonard J. Bass and
Claus Unger},
title = {Validating interactive system design through the verification of formal
task and system models},
booktitle = {Engineering for Human-Computer Interaction, Proceedings of the {IFIP}
{TC2/WG2.7} Working Conference on Engineering for Human-Computer Interaction,
Yellowstone Park, USA, August 1995},
series = {{IFIP} Conference Proceedings},
volume = {45},
pages = {189--212},
publisher = {Chapman {\&} Hall},
year = {1995},
timestamp = {Thu, 03 Jan 2002 11:57:24 +0100},
biburl = {https://dblp.org/rec/conf/ehci/PalanqueBS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interact/EstebanCP95,
author = {Olivier Esteban and
St{\'{e}}phane Chatty and
Philippe A. Palanque},
editor = {Knut Nordby and
Per H. Helmersen and
David J. Gilmore and
Svein A. Arnesen},
title = {Whizz'Ed: a visual environment for building highly interactive software},
booktitle = {Human-Computer Interaction, {INTERACT} '95, {IFIP} {TC13} Interantional
Conference on Human-Computer Interaction, 27-29 June 1995, Lillehammer,
Norway},
series = {{IFIP} Conference Proceedings},
pages = {121--126},
publisher = {Chapman {\&} Hall},
year = {1995},
timestamp = {Mon, 28 Nov 2005 11:17:14 +0100},
biburl = {https://dblp.org/rec/conf/interact/EstebanCP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interact/PalanqueB95,
author = {Philippe A. Palanque and
R{\'{e}}mi Bastide},
editor = {Knut Nordby and
Per H. Helmersen and
David J. Gilmore and
Svein A. Arnesen},
title = {Verification of an interactive software by analysis of its formal
specification},
booktitle = {Human-Computer Interaction, {INTERACT} '95, {IFIP} {TC13} Interantional
Conference on Human-Computer Interaction, 27-29 June 1995, Lillehammer,
Norway},
series = {{IFIP} Conference Proceedings},
pages = {191--196},
publisher = {Chapman {\&} Hall},
year = {1995},
timestamp = {Mon, 28 Nov 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/interact/PalanqueB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vdb/EstebanCP95,
author = {Olivier Esteban and
St{\'{e}}phane Chatty and
Philippe A. Palanque},
editor = {Stefano Spaccapietra and
Ramesh C. Jain},
title = {Visual Construction of Highly Interactive Applications},
booktitle = {Visual Database Systems 3, Visual Information Management, Proceedings
of the third {IFIP} 2.6 working conference on visual database systems,
March 27-29, 1995, Lausanne, Switzerland},
series = {{IFIP} Conference Proceedings},
volume = {34},
pages = {304--316},
publisher = {Chapman {\&} Hall},
year = {1995},
timestamp = {Sat, 26 Oct 2019 12:05:29 +0200},
biburl = {https://dblp.org/rec/conf/vdb/EstebanCP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dsvis/1995,
editor = {Philippe A. Palanque and
R{\'{e}}mi Bastide},
title = {Design, Specification and Verification of Interactive Systems '95,
Proceedings of the Eurographics Workshop in Toulouse, France June
7-9, 1995},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/978-3-7091-9437-9},
doi = {10.1007/978-3-7091-9437-9},
isbn = {3-211-82739-0},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/1995.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/PalanqueB94,
author = {Philippe A. Palanque and
R{\'{e}}mi Bastide},
editor = {Fabio Patern{\`{o}}},
title = {Petri net based Design of User-driven Interfaces Using the Interactive
Cooperative Objects Formalism},
booktitle = {Design, Specification and Verification of Interactive Systems'94,
Proceedings of the First International Eurographics Workshop, June
8-10, 1994, Bocca di Magra, Italy},
pages = {383--400},
publisher = {Springer},
year = {1994},
timestamp = {Thu, 30 Mar 2006 14:19:08 +0200},
biburl = {https://dblp.org/rec/conf/dsvis/PalanqueB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/PalanqueBDS93,
author = {Philippe A. Palanque and
R{\'{e}}mi Bastide and
Louis Dourte and
Christophe Sibertin{-}Blanc},
editor = {Colette Rolland and
Fran{\c{c}}ois Bodart and
Corine Cauvet},
title = {Design of User-Driven Interfaces Using Petri Nets and Objects},
booktitle = {Advanced Information Systems Engineering, CAiSE'93, Paris, France,
June 8-11, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {685},
pages = {569--585},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56777-1\_30},
doi = {10.1007/3-540-56777-1\_30},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/caise/PalanqueBDS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hci/PalanqueBD93,
author = {Philippe A. Palanque and
R{\'{e}}mi Bastide and
Louis Dourte},
editor = {Gavriel Salvendy and
Michael J. Smith},
title = {Contextual Help for Free with Formal Dialogue Design},
booktitle = {Human-Computer Interaction: Software and Hardware Interfaces, Proceedings
of the Fifth International Conference on Human-Computer Interaction,
{(HCI} International '93), Orlando, Florida, USA, August 8-13, 1993,
Volume 2},
pages = {615--620},
publisher = {Elsevier},
year = {1993},
timestamp = {Tue, 06 Dec 2016 09:37:41 +0100},
biburl = {https://dblp.org/rec/conf/hci/PalanqueBD93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interact/BastideP90,
author = {R{\'{e}}mi Bastide and
Philippe A. Palanque},
editor = {Dan Diaper and
David J. Gilmore and
Gilbert Cockton and
Brian Shackel},
title = {Petri net objects for the design, validation and prototyping of user-driven
interfaces},
booktitle = {Human-Computer Interaction, {INTERACT} '90, Proceedings of the {IFIP}
{TC13} Third Interantional Conference on Human-Computer Interaction,
Cambridge, UK, 27-31 August, 1990},
pages = {625--631},
publisher = {North-Holland},
year = {1990},
timestamp = {Mon, 07 Jan 2002 11:09:13 +0100},
biburl = {https://dblp.org/rec/conf/interact/BastideP90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-02-06 23:50 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
