Publications de Celia MARTINIE DE ALMEIDA
Célia Martinie de Almeida, Philippe Palanque, Elodie Bouzekri, Andy Cockburn, Alexandre Canny, Eric Barboni
Analysing and Demonstrating Tool-Supported Customizable Task Notations
Proceedings of the ACM on Human-Computer Interaction , 2019, 3 (12), pp.1-26. ⟨10.1145/3331154⟩
Elodie Bouzekri, Alexandre Canny, Fayollas Camille, Célia Martinie de Almeida, Philippe Palanque, Eric Barboni, Yannick Deleris, Christine Gris
Engineering Issues Related to the Development of a Recommender System in a Critical Context: Application to Interactive Cockpits
International Journal of Human-Computer Studies, 2019, 121, pp.122-141. ⟨10.1016/j.ijhcs.2018.05.001⟩
José Creissac Campos, Fayollas Camille, Marcelo Gonçalves, Célia Martinie de Almeida, David Navarre, Philippe Palanque, Miguel Pinto
A more intelligent test case generation approach through task models manipulation
Proceedings of the ACM on Human-Computer Interaction , 2017, 1 (EICS, article 9), pp.1-20. ⟨10.1145/3095811⟩
Celia Martinie De Almeida, Philippe Palanque, Racim Mehdi Fahssi, Jean-Paul Blanquart, Camille Fayollas, Christel Seguin
Task Model-Based Systematic Analysis of Both System Failures and Human Errors
Dans : IEEE Transactions on Human-Machine Systems, IEEE : Institute of Electrical and Electronics Engineers, Vol. 46 N. 2, p. 243-254, avril 2016.
Camille Fayollas, Celia Martinie De Almeida, David Navarre, Philippe Palanque
A Generic Approach for Assessing Compatibility between Task Descriptions and Interactive Systems: Application to the Effectiveness of a Flight Control Unit
Dans : i-com, de Gruyter, Berlin – Germany, Numéro spécial Model-Based Interface Engineering, Vol. 14 N. 3, p. 170-191, décembre 2015.
Eric Barboni, Celia Martinie De Almeida, David Navarre, Philippe Palanque, Marco Antonio Winckler
Bridging the Gap between a Behavioural Formal Description Technique and User Interface description language: Enhancing ICO with a Graphical User Interface markup language
Dans : Science of Computer Programming, Elsevier, Vol. 86, p. 3-29, juin 2014.
Résumé Accès : http://dx.doi.org/10.1016/j.scico.2013.04.001 – https://oatao.univ-toulouse.fr/12617/
BibTeXCelia Martinie De Almeida, David Navarre, Philippe Palanque
A Multi-Formalism Approach for Model-Based Dynamic Distribution of User Interfaces of Critical Interactive Systems
Dans : International Journal of Human-Computer Studies, Elsevier, Vol. 2013.08, (en ligne), septembre 2013.
Accès : http://dx.doi.org/10.1016/j.ijhcs.2013.08.013 – https://oatao.univ-toulouse.fr/12676/
BibTeXDavid Navarre, Philippe Palanque, Eric Barboni, Jean-François Ladry, Celia Martinie De Almeida
Designing for resilience to hardware failures in interactive systems: A model and simulation-based approach
Dans : Elsevier’s Safety Science, Elsevier, Numéro spécial Reliability Engineering and System Safety, Vol. 96, p. 38-52, janvier 2011.
Elodie Bouzekri, Alexandre Canny, Célia Martinie de Almeida, Philippe Palanque, Eric Barboni, David Navarre, Christine Gris, Yannick Deleris
Revisiting system’s pages in engine indication and alerting system for flight crew using the DSCU architecture and the OQCR system generic state description
INCOSE International Conference on Human System Integration (INCOSE HSI 2019), Sep 2019, Biarritz, France. pp.1-9
Alexandre Canny, Fayollas Camille, Célia Martinie de Almeida, David Navarre, Philippe Palanque, Christine Gris, Yannick Deleris
Divide to Conquer: Functional Decomposition to Support Model-Based Engineering of Command and Control of Cyber-Physical Systems
12th IEEE International Conference on Cyber Physical and Social Computing (CPSCom-2019), Jul 2019, Atlanta, United States. pp.0, ⟨10.1109/iThings/GreenCom/CPSCom/SmartData.2019.00132⟩
Alexandre Canny, Elodie Bouzekri, Célia Martinie de Almeida, Philippe Palanque
On the Importance of Supporting Multiple Stakeholders Points of View for the Testing of Interactive Systems
1st Workshop on Research and Practice Challenges for Engineering Interactive Systems while Integrating Multiple Stakeholders Viewpoints (EISM 2019), ACM SIGCHI, Jun 2019, Valencia, Spain. pp.113–121
Regina Bernhaupt, Philippe Palanque, Dimitri Drouet, Célia Martinie de Almeida
Enriching Task Models with Usability and User Experience Evaluation Data
7th International Conference on Human-Centred Software Engineering (HCSE 2018), Sep 2018, Sophia Antipolis, France. pp.146-163, ⟨10.1007/978-3-030-05909-5_9⟩
Alexandre Canny, Elodie Bouzekri, Célia Martinie de Almeida, Philippe Palanque
Rationalizing the Need of Architecture-Driven Testing of Interactive Systems
7th International Working Conference on Human-Centered Software Engineering (HCSE 2018), Sep 2018, Sophia Antipolis, France. pp.164-186, ⟨10.1007/978-3-030-05909-5_10⟩
Elodie Bouzekri, Alexandre Canny, Célia Martinie de Almeida, Philippe Palanque, Christine Gris
Using Task Descriptions with Explicit Representation of Allocation of Functions, Authority and Responsibility to Design and Assess Automation
5th IFIP Working Conference on Human Work Interaction Design (HWID), Aug 2018, Espoo, Finland. pp.36-56, ⟨10.1007/978-3-030-05297-3_3⟩
Elodie Bouzekri, Alexandre Canny, Célia Martinie de Almeida, Philippe Palanque
Specific Task Modeling for Cyber Physical Systems
Workshop on Heterogeneous Models and Modeling Approaches for Engineering of Interactive Systems, hold in conjunction with the 10th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2018), Jun 2018, Paris, France
Célia Martinie de Almeida, David Navarre, Philippe Palanque, Eric Barboni, Alexandre Canny
TOUCAN: An IDE Supporting the Development of Effective Interactive Java Applications
ACM SIGCHI conference Engineering Interactive Computing Systems (EICS 2018), Jun 2018, Paris, France. pp.1-7
Elodie Bouzekri, Alexandre Canny, Célia Martinie de Almeida, Philippe Palanque
A Generic Software and Hardware Architecture for Hybrid Interactive Systems
Workshop on Heterogeneous Models and Modeling Approaches for Engineering of Interactive Systems @ EICS 2018, Jun 2018, Paris, France
Philippe Palanque, Célia Martinie de Almeida, Fayollas Camille
Automation: Danger or Opportunity? Designing and Assessing Automation for Interactive Systems (CHI 2018)
ACM Conference on Human Factors in Computing Systems (CHI 2018), ACM SIGCHI : Special Interest Group on Computer-Human Interaction, Apr 2018, Montréal, Canada. pp.1-4, ⟨10.1145/3170427.3170652⟩
Célia Martinie de Almeida, Philippe Palanque
Explicit representation of function allocation and authority sharing (initiative and responsibility) (CHI 2018 Workshop – Interacting with Autonomous Vehicles: Learning from other Domains, Montréal, Canada, 22/04/2018-22/04/2018)
Workshop “Interacting with Autonomous Vehicles: Learning from other Domains” – ACM CHI Conference on Human Factors in Computing Systems – CHI 2018, Apr 2018, Montréal, Canada. pp.1-5
Célia Martinie de Almeida, Philippe Palanque
Safety-Critical Automation : Aircrafts, Autonomous Vehicles, Air Traffic Management and Satellite Ground Segments Perspectives (HUDEP 2017)
5th Human Dependability Workshop: “Towards Human Centered Design in the whole system lifecycle” (HUDEP 2017), EAAP : European Association for Aviation Psychology, Nov 2017, Noordwijk, Netherlands
Elodie Bouzekri, Alexandre Canny, Fayollas Camille, Célia Martinie de Almeida, Philippe Palanque, Eric Barboni, Yannick Deleris, Christine Gris
A List of Pre-Requisites to Make Recommender Systems Deployable in Critical Context
2nd Workshop on Engineering Computer-Human Interaction in Recommender Systems co-located with the 9th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EnCHIReS @ EICS 2017), Jun 2017, Lisbonne, Portugal. pp.42-55
Philippe Palanque, Célia Martinie de Almeida, Fayollas Camille
Automation: danger or opportunity? Designing and assessing automation for interactive systems (CHI 2017)
CHI Conference on Human Factors in Computing Systems (CHI 2017), ACM SIGCHI: ACM Special Interest Group on Computer-Human Interaction, May 2017, Denver, Colorado, United States. pp.1257-1260, ⟨10.1145/3027063.3027115⟩
From Aircrafts Interactive Cockpits to Autonomous Vehicles: Are Design Principles Transferable ? (regular paper)
Dans : Conference on Human Factors in Computing Systems – Workshop: HCI and Autonomous Vehicles (CHI Workshop 2016), San Jose, USA, 07/05/16-12/05/16, ACM SIGCHI, (en ligne), mai 2016.
Résumé Accès : https://portail.irit.fr/partage/data/public/94e05008d2aabfaf.php – https://oatao.univ-toulouse.fr/24970/1/martiniedealmeida_24970.pdf – https://oatao.univ-toulouse.fr/24970/
BibTeXRacim Mehdi Fahssi, Celia Martinie De Almeida, Philippe Palanque
Embedding explicit representation of cyber-physical elements in task models (regular paper)
Dans : IEEE International Conference on Systems, Man and Cybernetics, Budapest, Hongrie, 09/10/16-12/10/16, IEEE Systems, Man, and Cybernetics Society, p. 1969-1974, octobre 2016.
Résumé Accès : http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=7844528 – https://oatao.univ-toulouse.fr/18941/
BibTeXRegina Bernhaupt, Philippe Palanque, François Manciet, Celia Martinie De Almeida
User-Test Results Injection into Task-Based Design Process for the Assessment and Improvement of Both Usability and User Experience (regular paper)
Dans : International Working Conference on Human-Centred Software Engineering International Working Conference on Human Error, Safety, and System Development (HCSE+HESSD 2016), Stockholm, Sweden, 29/08/16-31/08/16, Vol. 9856, Cristian Bogdan, Jan Gulliksen, Stefan Sauer, Peter Forbrig, Marco Winckler (Eds.), Springer, 0302-9743, p. 56-72, août 2016.
Résumé Accès : http://link.springer.com/chapter/10.1007/978-3-319-44902-9_5
BibTeXCamille Fayollas, Celia Martinie De Almeida, Philippe Palanque, Eric Barboni, Yannick Deleris
What Can Be Learnt from Engineering Safety Critical Partly-Autonomous Systems when Engineering Recommender Systems (regular paper)
Dans : EncWorkshop on Engineering Computer-Human Interaction in Recommender Systems (EnCHIReS 2016), Bruxelles, Belgique, 21/06/16, CEUR-WS : Workshop proceedings, (en ligne), 2016.
Résumé Accès : http://ceur-ws.org/Vol-1705/03-paper.pdf – https://oatao.univ-toulouse.fr/24687/
BibTeXDorrit Billman, Camille Fayollas, Michael Feary, Celia Martinie De Almeida, Philippe Palanque
Complementary Tools and Techniques for Supporting Fitness-for-Purpose of Interactive Critical Systems (regular paper)
Dans : International Working Conference on Human-Centred Software Engineering International Working Conference on Human Error, Safety, and System Development (HCSE+HESSD 2016), Stockholm, Suède, 29/08/16-31/08/16, Springer, (en ligne), 2016.
Résumé Accès : https://doi.org/10.1007/978-3-319-44902-9_12 – https://oatao.univ-toulouse.fr/24686/
BibTeXMichael Feary, Celia Martinie De Almeida, Philippe Palanque, Manfred Tscheligi
Multiple Views on Safety-Critical Automation: Aircrafts, Autonomous Vehicles, Air Traffic Management and Satellite Ground Segments Perspectives (short paper)
Dans : ACM International Conference on Human Factors in Computing Systems (ACM CHI 2016), San José, USA, 07/05/16-12/05/16, ACM Digital Library, (en ligne), mai 2016.
Accès : http://dl.acm.org/citation.cfm?id=2886430&CFID=637165741&CFTOKEN=31278608 – https://oatao.univ-toulouse.fr/17081/
BibTeXPhilippe Palanque, Celia Martinie De Almeida
Designing and Assessing Interactive Systems Using Task Models (short paper)
Dans : ACM International Conference on Human Factors in Computing Systems (ACM CHI 2016), San José, USA, 07/05/16-12/05/16, ACM Digital Library, (en ligne), mai 2016.
Accès : http://dl.acm.org/citation.cfm?id=2856686&CFID=637165741&CFTOKEN=31278608 – https://oatao.univ-toulouse.fr/17080/
BibTeXJosé Creissac Campos, Camille Fayollas, Celia Martinie De Almeida, David Navarre, Philippe Palanque, Miguel Pinto
Systematic automation of scenario-based testing of user interfaces (regular paper)
Dans : ACM Special Interest Group on Computer-Human Interaction – Conference Engineering Interactive Computing Systems (SIGCHI – EICS 2016), Bruxelles, Belgique, 21/06/16-24/06/16, ACM Digital Library, p. 138-148, 2016.
Accès : http://dx.doi.org/10.1145/2933242.2948735 – https://oatao.univ-toulouse.fr/17072/
BibTeXCamille Fayollas, Celia Martinie De Almeida, David Navarre, Philippe Palanque
Engineering mixed-criticality interactive applications (regular paper)
Dans : ACM Special Interest Group on Computer-Human Interaction – Conference Engineering Interactive Computing Systems (SIGCHI – EICS 2016), Bruxelles, Belgique, 21/06/16-24/06/16, ACM Digital Library, p. 108-119, 2016.
Accès : http://dx.doi.org/10.1145/2933242.2933258 – https://oatao.univ-toulouse.fr/17071/
BibTeXCamille Fayollas, Celia Martinie De Almeida, Philippe Palanque, Racim Mehdi Fahssi
Task Models for Supporting Function Allocation between Operators and Autonomous Systems: Application to Collision Avoidance Operations for Spacecraft (regular paper)
Dans : AAAI 2015 Spring Symposium on Intelligent systems for supporting distributed human teamwork, Stanford CA, USA, 21/03/16-23/03/16, AAAI Press, (support électronique), 2016.
Résumé Accès : https://portail.irit.fr/partage/data/public/f18f4ba5732c145f.php – https://oatao.univ-toulouse.fr/24684/
BibTeXPhilippe Palanque, Racim Mehdi Fahssi, Celia Martinie De Almeida, Marco Antonio Winckler, Michel Galindo
Retour d’expérience sur l’enseignement de la modélisation des taches au Master Interaction Homme-Machine de Toulouse
Dans : GT Modèles de Tâches – IHM 2015, Toulouse, 27/10/15-30/10/15.
Celia Martinie De Almeida, Philippe Palanque
Modeling and Analysis of Human Error Based on Tasks Descriptions: Connecting Research Knowledge with Practice
Dans : Human Dependability Workshop (HUDEP 2015), ESA/ESOC, Darmstadt, Germany, 06/10/15-07/10/15.
Regina Bernhaupt, Martin Cronel, François Manciet, Celia Martinie De Almeida, Philippe Palanque
Transparent Automation for Assessing and Designing better Interactions between Operators and Partly-Autonomous Interactive Systems (regular paper)
Dans : International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS 2015), Toulouse, 30/09/15-02/10/15, ACM Digital Library, (en ligne), décembre 2015.
Accès : http://dl.acm.org/ – https://oatao.univ-toulouse.fr/16929/
BibTeXCelia Martinie De Almeida, Philippe Palanque, Marco Antonio Winckler, Regina Bernhaupt
AUTOM AT ICS: Research activities on Automation (short paper)
Dans : International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS 2015), Toulouse, 30/09/15-02/10/15, ACM Digital Library, (en ligne), décembre 2015.
Accès : http://dl.acm.org/ – https://oatao.univ-toulouse.fr/16928/
BibTeXMartina Ragosta, Celia Martinie De Almeida, Philippe Palanque, David Navarre, Mark-Alexander Sujan
Concept Maps as a Glue for Integrating Modeling Techniques for the Analysis and Re-Design of Partly-Autonomous Interactive Systems (regular paper)
Dans : International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS 2015), Toulouse, 30/09/15-02/10/15, ACM Digital Library, (en ligne), décembre 2015.
Accès : http://dl.acm.org/ – https://oatao.univ-toulouse.fr/16927/
BibTeXPhilippe Palanque, Celia Martinie De Almeida
Designing and Assessing Interactive Systems Using Task Models (short paper)
Dans : International Conference on Human-Computer Interaction (HCI 2015), Seoul, Korea, 18/04/15-23/04/15, ACM : Association for Computing Machinery, p. 2465-2466, 2015.
Chris Johnson, Michael Feary, Celia Martinie De Almeida, Philippe Palanque, Regina Peldszus
IFIP WG 13.5 Workshop on Resilience, Reliability, Safety and Human Error in System Development (short paper)
Dans : IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT 2015), Bamberg, Germany, 14/09/15-18/09/15, Springer, p. 663-664, 2015.
Accès : http://dx.doi.org/10.1007/978-3-319-22723-8_91
BibTeXCamille Fayollas, Celia Martinie De Almeida, Philippe Palanque, Racim Mehdi Fahssi
Accounting for Organisational faults in Task Model Based Systematic Analysis of System Failures and Human Errors (regular paper)
Dans : IFIP WG 13.5 Workshop on Resilience, Reliability, Safety and Human Error in System Development, Bamberg, Germany, 14/09/15, University of Bamberg Press, p. 101-116, 2015.
Eric Barboni, Arnaud Hamon, Celia Martinie De Almeida, Philippe Palanque
A User-Centered View on Formal Methods: Interactive Support for Validation and Verification (regular paper)
Dans : Workshop on Formal Methods in Human Computer Interaction (FoMHCI 2015), Duisburg, Germany, 23/06/15-23/06/15, RWTH Aachen University, p. 24-29, juin 2015.
Accès : https://publications.rwth-aachen.de/record/479353/files/FoMHCI2015proceedings.pdf – https://oatao.univ-toulouse.fr/15405/
BibTeXCamille Fayollas, Celia Martinie De Almeida, Philippe Palanque, Yannick Deleris
Beyond Formal Methods for Critical Interactive Systems: Dealing with Faults at Runtime (regular paper)
Dans : Workshop on Formal Methods in Human Computer Interaction (FoMHCI 2015), Duisburg, Germany, 23/06/15-23/06/15, RWTH Aachen University, p. 19-23, juin 2015.
Accès : https://publications.rwth-aachen.de/record/479353/files/FoMHCI2015proceedings.pdf – https://oatao.univ-toulouse.fr/15399/
BibTeXRacim Mehdi Fahssi, Celia Martinie De Almeida, Philippe Palanque
Enhanced Task Modelling for Systematic Identification and Explicit Representation of Human Errors (regular paper)
Dans : IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT 2015), Bamberg, 14/09/15-18/09/15, Springer-Verlag, (support électronique), septembre 2015.
Celia Martinie De Almeida, David Navarre, Philippe Palanque, Camille Fayollas
A Generic Tool-Supported Framework for Coupling Task Models and Interactive Applications (regular paper)
Dans : ACM Special Interest Group on Computer-Human Interaction – Conference Engineering Interactive Computing Systems (SIGCHI – EICS 2015), Duisburg, 23/06/15-26/06/15, ACM Press, (support électronique), juin 2015.
Philippe Palanque, Celia Martinie De Almeida
Designing and Assessing Interactive Systems Using Task Models (short paper)
Dans : Conference on Human Factors in Computing Systems – Special Interest Group on Computer-Human Interaction (CHI – SIGCHI 2015), Seoul, Korea, 18/04/15-23/04/15, ACM Press, (support électronique), avril 2015.
Celia Martinie De Almeida, Philippe Palanque
Design, Development and Evaluation Challenges for Future Mobile User Interfaces in Safety-Critical Contexts (short paper)
Dans : Workshop on Future Mobile User Interfaces. 13th International Conference on Mobile Systems, Applications and Services, Florence, Italie, 18/05/15-22/05/15, ACM Press, (support électronique), mai 2015.
Camille Fayollas, Celia Martinie De Almeida, David Navarre, Philippe Palanque, Racim Mehdi Fahssi
Fault-Tolerant User Interfaces for Critical Systems: Duplication, Redundancy and Diversity as New Dimensions of Distributed User Interfaces (regular paper)
Dans : Workshop on Distributed User Interfaces (DUI 2014), Toulouse, France, 01/07/14, ACM : Association for Computing Machinery, (en ligne), 2014.
Accès : http://dui.uclm.es/2014/submissions/Fault-Tolerant%20User%20Interfaces%20for%20Critical%20Systems.pdf
BibTeXRacim Mehdi Fahssi, Celia Martinie De Almeida, Philippe Palanque
HAMSTERS : un environnement dédition et de simulation de modèles de tâches (Démo) (poster)
Dans : Conférence Francophone sur l’Interaction Homme-Machine (IHM 2014), Lille, 28/10/14-31/10/14, ACM Digital Library, (en ligne), octobre 2014.
Accès : http://dl.acm.org/ – https://oatao.univ-toulouse.fr/13231/
BibTeXPeter Forbrig, Celia Martinie De Almeida, Philippe Palanque, Marco Antonio Winckler, Racim Mehdi Fahssi
Rapid Task-Models Development Using Sub-models, Sub-routines and Generic Components (regular paper)
Dans : Human-Centered Software Engineering (HCSE 2014), Paderborn, 16/09/14-18/09/14, Springer, p. 144-163, septembre 2014.
Accès : http://www.springer.com/computer/swe/book/978-3-662-44810-6 – https://oatao.univ-toulouse.fr/13230/
BibTeXGame Jam 4 Investigating Design Issues with (partly) autonomous systems (short paper)
Dans : GameJam workshop at ACM Conference on Human Computer Interaction (CHI Workshop 2014), Toronto, Canada, 26/04/14-27/04/14, Games Jam web site, (en ligne), avril 2014.
Accès : http://www.gamesjam.nl/project/game-jam-4-investigating-design-issues-with-partly-autonomous-systems/ – https://oatao.univ-toulouse.fr/13036/
BibTeXCelia Martinie De Almeida, Eric Barboni, David Navarre, Philippe Palanque, Racim Mehdi Fahssi, Erwann Poupart, Eliane Cubero-Castan
Multi-Models-Based Engineering of Collaborative Systems: Application to Collision Avoidance Operations for Spacecrafts (regular paper)
Dans : ACM Special Interest Group on Computer-Human Interaction – Conference Engineering Interactive Computing Systems (SIGCHI – EICS 2014), Roma, Italy, 17/06/14-20/06/14, ACM Digital Library, (en ligne), juin 2014.
Accès : http://dl.acm.org/ – https://oatao.univ-toulouse.fr/13035/
BibTeXCamille Fayollas, Celia Martinie De Almeida, Philippe Palanque, Yannick Deleris, Jean-Charles Fabre, David Navarre
An approach for assessing the impact of dependability on usability: application to interactive cockpits. (regular paper)
Dans : European Dependable Computing Conference (EDCC 2014), Newcastle upon Tyne, UK, 13/05/14-16/05/14, IEEE : Institute of Electrical and Electronics Engineers, p. 198-209, mai 2014.
Celia Martinie De Almeida, Philippe Palanque
Fine Grain Modeling of Task Deviations for Assessing Qualitatively the Impact of Both System Failures and Human Error on Operator Performance (regular paper)
Dans : AAAI 2014 Symposium on Formal Verification on Human-Machine Systems, Stanford University, Palo Alto, 24/03/14-26/03/14, AAAI Press, (support électronique), 2014.
Celia Martinie De Almeida, Philippe Palanque
Predicting and Mitigating Human Error Through Detailed Descriptions of Operators’ Tasks
Dans : HUDEP, Oberpfaffenhofen, Allemagne, 13/11/13-14/11/13.
Accès : http://www.congrexprojects.com/2013-events/13m19/hudep-2013
BibTeXCelia Martinie De Almeida, Philippe Palanque, Alberto Pasquini, Martina Ragosta, Sara Silvagni, Mark-Alexander Sujan, Eric Rigaud, Erik Hollnagel
Modelling of Automation Degradation: a Case Study (regular paper)
Dans : SESAR Innovation Days, Stockholm, Suède, 26/11/13-28/11/13, SESAR Work Package E, (en ligne), novembre 2013.
Accès : http://www.sesarinnovationdays.eu/ – https://oatao.univ-toulouse.fr/12807/
BibTeXGuillaume Brat, Celia Martinie De Almeida, Philippe Palanque
V&V of Lexical, Syntactic and Semantic Properties for Interactive Systems Through Model Checking of Formal Description of Dialog (regular paper)
Dans : IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT 2013), Las Vegas, Nevada, Etats-Unis, 21/07/13-26/07/13, Springer, LNCS, p. 290-299, juillet 2013.
Celia Martinie De Almeida, Philippe Palanque, Martina Ragosta, Racim Mehdi Fahssi
Extending Procedural Task Models by Explicit and Systematic Integration of Objects, Knowledge and Information (regular paper)
Dans : European Conference on Cognitive Ergonomics (ECCE 2013), Toulouse, France, 26/08/13-28/08/13, ACM : Association for Computing Machinery, ECCE ’13 23, p. 1-10, octobre 2013.
Accès : http://doi.acm.org/10.1145/2501907.2501954 – https://oatao.univ-toulouse.fr/12675/
BibTeXJosé Luis Silva, Camille Fayollas, Arnaud Hamon, Philippe Palanque, Celia Martinie De Almeida, Eric Barboni
Analysis of WIMP and Post WIMP Interactive Systems based on Formal Specification (regular paper)
Dans : International Workshop on Formal Methods for Interactive Systems (FMIS 2013), London, 24/06/13, Electronic Communications of the EASST, (support électronique), juin 2013.
Celia Martinie De Almeida, Philippe Palanque, Alberto Pasquini, Martina Ragosta, Mark-Alexander Sujan, David Navarre
Understanding functional resonance through a federation of models: preliminary findings of an avionics case study (regular paper)
Dans : International Conference on Computer Safety, Reliability and Security (SAFECOMP 2013), Toulouse, France, 24/09/13-27/09/13, Friedemann Bitsch, Jérémie Guiochet, Mohamed Kaâniche (Eds.), Springer-Verlag, p. 216-227, septembre 2013.
Accès : http://dx.doi.org/10.1007/978-3-642-40793-2_20 – https://oatao.univ-toulouse.fr/12647/
BibTeXDavid Navarre, Celia Martinie De Almeida, Philippe Palanque, Alberto Pasquini, Martina Ragosta
Model-based dynamic distribution of user interfaces of critical interactive systems (regular paper)
Dans : International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS 2013), Naples, Italy, 28/05/13-30/05/13, ACM : Association for Computing Machinery, p. 66-75, 2013.
Michel Galindo, Celia Martinie De Almeida, Philippe Palanque, Marco Antonio Winckler, Peter Forbrig
Tuning an HCI Curriculum for Master Students to Address Interactive Critical Systems Aspects (regular paper)
Dans : HCI International, LAS VEGAS Nevada USA, 21/07/13-26/07/13, Vol. Lecture Notes Computer Sc 8004, Kurosu Masaaki (Eds.), Springer USA, Human-Centred Design Approaches, Methods, Tools, and Environments ISBN 978-3-642-39231-3, p. 51-60, août 2013.
Eric Rigaud, Erik Hollnagel, Celia Martinie De Almeida, Philippe Palanque, Alberto Pasquini, Martina Ragosta, Sara Silvagni, Mark-Alexander Sujan
A framework for modeling the consequences of the propagation of automation degradation: application to air traffic control systems (regular paper)
Dans : SESAR Innovation Days, Braunschweig, 27/11/12-29/11/12, Eurocontrol, (en ligne), décembre 2012.
Accès : http://www.sesarinnovationdays.eu/2012/papers
BibTeXPhilippe Palanque, Regina Bernhaupt, Celia Martinie De Almeida
Designing and Engineering Interactive Critical Systems Using Contributions from Gaming Research and Practice (short paper)
Dans : Workshop on Safety-Critical Systems and Video Games: Contradictions and Commonalities. In conjunction with 4th International Conference on Fun and Games (Fun&Games2012), Toulouse, 04/09/12-06/09/12, ACM Digital Library, (en ligne), septembre 2012.
Accès : dl.acm.org
BibTeXCelia Martinie De Almeida, Philippe Palanque, David Navarre, Eric Barboni, Marco Antonio Winckler
Un processus de développement outillé pour l’exploitation systématique des bénéfices offerts par une conception des systèmes interactifs centrée tâches. (regular paper)
Dans : Conférence Francophone sur l’Interaction Homme-Machine (IHM 2012), Biarritz, 17/10/12-19/10/12, ACM Digital Library, (en ligne), octobre 2012.
Accès : http://dl.acm.org/
BibTeXCelia Martinie De Almeida, Philippe Palanque, David Navarre, Eric Barboni, Erwann Poupart
Systematic Approaches to Training Encompassing Operators mission and Interaction Techniques (short paper)
Dans : International Conference on Human-Computer Interaction in Aeronautics (HCI’Aero 2012), Brussels, 12/09/12-14/09/12, ACM Digital Library, (en ligne), septembre 2012.
Accès : http://dl.acm.org/
BibTeXCelia Martinie De Almeida, Philippe Palanque, David Navarre, Eric Barboni
A Development Process for Usable Large Scale Interactive Critical Systems: Application to Satellite Ground Segments (regular paper)
Dans : Human-Centered Software Engineering (HCSE 2012), Toulouse, 29/10/12-31/10/12, Winckler Marco, Forbrig Peter , Bernhaupt Regina (Eds.), Springer, LNCS 7623, p. 112-134, octobre 2012.
Llúcia Masip, Celia Martinie De Almeida, Marco Antonio Winckler, Philippe Palanque, Toni Granollers , Marta Oliva
A Design Process for Exhibiting Design Choices and Trade-offs in (potentially) Conflicting User Interface Guidelines (regular paper)
Dans : Human-Centered Software Engineering (HCSE 2012), Toulouse, France, 29/10/12-31/10/12, Marco Winckler, Peter Forbrig, Regina Bernhaupt (Eds.), Springer, LNCS 7623, p. 53-71, octobre 2012.
Arnaud Hamon, Philippe Palanque, David Navarre, Celia Martinie De Almeida, Adrienne Tankeu Choitat, Eric Barboni
Interactive Cockpits Applications: Modelling and Validation using a Petri-net based Formalism (regular paper)
Dans : European Congress on Embedded Real-Time Software (ERTS 2012), Toulouse, France, 01/02/12-03/02/12, ERTS : Embedded Real Time Sofware and Systems, (support électronique), février 2012.
Celia Martinie De Almeida, Philippe Palanque, Martina Ragosta
Some Issues with Interaction Design and Implementation in the Context of Autonomous Interactive Critical Systems (regular paper)
Dans : ACM International Conference on Human Factors in Computer Science (Workshop on End-user Interactions with Intelligent and Autonomous Systems), Austin, Texas, 05/05/12-10/05/12, ACM Digital Library, p. 25-30, 2012.
Celia Martinie De Almeida, Philippe Palanque, Alberto Pasquini, Martina Ragosta, Eric Rigaud, Sara Silvagni
Using Complementary ModelS-Based Approaches for Representing and Analysing ATM Systems’ Variability (regular paper)
Dans : International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS 2012), London, UK, 28/05/12-31/05/12, ACM Digital Library, (support électronique), 2012.
Celia Martinie De Almeida, Philippe Palanque, David Navarre, Erwann Poupart
A Systematic Approach to Training for Ground Segment using Tasks and Scenarios: Application to PICARD satellite (regular paper)
Dans : International Conference on Space Operations (SpaceOps 2012), Stockholm, Sweden, 11/06/12-15/06/12, American Institute of Aeronautics and Astronautics (AIAA), (support électronique), 2012.
Celia Martinie De Almeida, Philippe Palanque, David Navarre, Eric Barboni
A Tool-Supported Training Framework for Improving Operators: Dependability Confronted with Faults and Errors (regular paper)
Dans : Safety and Reliability for managing Risk (ESREL 2012), Helsinki, Finland, 25/06/12-29/06/12, Taylor & Francis Group, p. 25-36, 2012.
Philippe Palanque, Cédric Bach, Celia Martinie De Almeida, Marco Antonio Winckler
Pourquoi et comment exploiter la modélisation des tâches opérateurs dans les systèmes critiques: Application à la déclaration dincidents et à lopération des systèmes de commande et contrôles
Dans : Journée scientifique RTRA – FHAE (Facteurs Humains pour la Sécurité Aéronautique), Toulouse, 13/03/12-13/03/12.
Erik Hollnagel, Celia Martinie De Almeida, Philippe Palanque, Alberto Pasquini, Martina Ragosta, Eric Rigaud, Sara Silvagni
System Performances under Automation Degradation (SPAD) (regular paper)
Dans : The First SESAR Innovation Days, Toulouse, France, 29/11/11-01/12/11, SESAR Work Package E, (en ligne), 2012.
Résumé Accès : http://sesarinnovationdays.eu/files/SIDs/SID%202011-SPAD.pdf
BibTeXEric Barboni, Celia Martinie De Almeida, David Navarre, Philippe Palanque, Marco Antonio Winckler
UsiXML Concrete Behaviour with a Formal Description Technique for Interactive Systems (regular paper)
Dans : IFIP WG 2.7/13.4 Workshop on User Interface Description Languages (UIDL 2011), Lisbonne, Portugal, 06/09/11-06/09/11, Adrien Coyette, David Faure, Juan Gonzalez, Jean Vanderdonckt (Eds.), Thales Research and Technology, (support électronique), 2011.
Celia Martinie De Almeida, Philippe Palanque
A Multi-Models Based Development Process for Critical Interactive Systems Integrating Formal and Informal Approaches
Dans : IFIP WG 2.7/13.4 Workshop on Combining Models and Design for interactive systems (ComDeisMoto 2011), Lisbonne, Portugal, 06/09/11-06/09/11.
Philippe Palanque, Celia Martinie De Almeida
Contextual Help for Supporting Critical Systems’ Operators: Application to Space Ground Segments
Dans : Workshop on Activity Context Representation, San Francisco, 07/08/11-08/08/11.
A Model-Based and Systematic Approach to Design and Assess the Level of Automation of Large Interactive Critical Systems (student paper)
Dans : International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS 2011), Barcelone, 26/05/11-27/05/11, IRIT Press, (support électronique), 2011.
Celia Martinie De Almeida, Philippe Palanque, Eric Barboni, Martina Ragosta
Task-Model Based Assessment of Automation Levels: Application to Space Ground Segments (regular paper)
Dans : IEEE International Conference on Systems, Man and Cybernetics, Anchorage, 09/10/11-12/10/11, IEEE Computer Society – Conference Publishing Services, p. 3267-3273, octobre 2011.
Celia Martinie De Almeida, Philippe Palanque, Marco Antonio Winckler
Structuring and Composition Mechanisms to Address Scalability Issues in Task Models (regular paper)
Dans : IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT 2011), Lisboa, 05/09/11-09/09/11, Springer-Verlag, p. 134-152, 2011.
Celia Martinie De Almeida, Philippe Palanque, Eric Barboni, Marco Antonio Winckler, Martina Ragosta, Alberto Pasquini, Paola Lanzi
Formal Tasks and Systems Models as a Tool for Specifying and Assessing Automation Designs (regular paper)
Dans : International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS 2011), Barcelone, 26/05/11-27/05/11, IRIT Press, (support électronique), 2011.
Philippe Palanque, Eric Barboni, Celia Martinie De Almeida, David Navarre, Marco Antonio Winckler
A Tool Supported Model-based Approach for Engineering Usability Evaluation of Interaction Techniques (regular paper)
Dans : ACM Special Interest Group on Computer-Human Interaction – Conference Engineering Interactive Computing Systems (SIGCHI – EICS 2011), Pise, Italie, 13/06/11-16/06/11, ACM Press, p. 21-30, 2011.
Celia Martinie De Almeida, Philippe Palanque, Marco Antonio Winckler, David Navarre, Erwann Poupart
Model-Based Training: An Approach Supporting Operability of Critical Interactive Systems: Application to Satellite Ground Segments (regular paper)
Dans : ACM Special Interest Group on Computer-Human Interaction – Conference Engineering Interactive Computing Systems (SIGCHI – EICS 2011), Pise, Italie, 13/06/11-16/06/11, Springer-Verlag, p. 589-609, juin 2011.
Celia Martinie De Almeida, Philippe Palanque, Marco Antonio Winckler, Stéphane Conversy
DREAMER: a Design Rationale Environment for Argumentation, Modeling and Engineering Requirements (regular paper)
Dans : ACM International Conference on Design of Communication (ACM SIGDOC 2010), Sao Paulo, Brésil, 26/09/10-29/09/10, Junia C. Anacleto, Renata Fortes M. Pontin, Carlos J. Costa (Eds.), ACM : Association for Computing Machinery, p. 73-80, septembre 2010.
Celia Martinie De Almeida, Jean-François Ladry, David Navarre, Philippe Palanque, Marco Antonio Winckler
Embedding Requirements in Design Rationale to Deal Explicitely with User eXperience and Usability in an intensive Model-Based Development Approach (regular paper)
Dans : Workshop on Model Driven Development of Advanced User Interfaces (MDDAUI 2010), Atlanta Georgia USA, 10/04/10, Vol. 617, Jan Van den Bergh, Stefan Sauer, Kai Breiner, Heinrich Hußmann, Gerrit Meixner (Eds.), CEUR-WS : Workshop proceedings, p. 29-32, juillet 2010.
Résumé Accès : http://ceur-ws.org/Vol-617/MDDAUI2010_Paper08.pdf
BibTeXCelia Martinie De Almeida, Philippe Palanque, David Navarre, Marco Antonio Winckler
A formal approach supporting effective and efficient training program for improving operators reliability (regular paper)
Dans : Safety and Reliability for managing Risk (ESREL 2010), Rhodes Grece, 05/09/10-09/09/10, Taylor & Francis Group, p. 234-243, 2010.
Michael Feary, Thomas Feuerle, Cristina Gonzalez Rechea, Francisco Saez, Chris Johnson, Celia Martinie De Almeida, Philippe Palanque, Alberto Pasquini, Pim Van Leeuwen, Marco Antonio Winckler
5th International Conference on Application and Theory of Automation in Command and Control Systems, Toulouse, France, 30/09/15 – 02/10/15, ACM Digital Library, octobre 2015.
Fayollas Camille, Philippe Palanque, Jean-Charles Fabre, Célia Martinie de Almeida, Yannick Deleris
Dealing with Faults During Operations: Beyond Classical Use of Formal Methods
Weyers, Benjamin; Bowen, Judy; Dix, Alan; Palanque, Philippe. The Handbook of Formal Methods in Human-Computer Interaction, Springer International Publishing, pp.549–575, 2017, Human–Computer Interaction Series book series (HCIS), Human–Computer Interaction Series book series (HCIS). ⟨10.1007/978-3-319-51838-1_20⟩
Fayollas Camille, Célia Martinie de Almeida, Philippe Palanque, Eric Barboni, Racim Fahssi, Arnaud Hamon
Exploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development Environment
Weyers, Benjamin; Bowen, Judy; Dix, Alan; Palanque, Philippe. The Handbook of Formal Methods in Human-Computer Interaction, Springer International Publishing, pp.465–504, 2017, Human–Computer Interaction Series book series (HCIS), 978-3-319-51837-4. ⟨10.1007/978-3-319-51838-1_17⟩
Celia Martinie De Almeida, Philippe Palanque, Marco Antonio Winckler
Designing and Assessing Interactive Systems Using Task Models
Dans : Book of Tutorials of the 14th Brazilian Symposium on Human Factors in Computing Systems. Arthur Kronbauer, Ecivaldo Mattos, Andreia Libório Sampaio, Clodis Boscarioli (Eds.) , Brazilian Computing Society, 2, p. 29-58, novembre 2015.
Philippe Palanque, Marco Antonio Winckler, Celia Martinie De Almeida
A Formal Model-Based Approach for Designing Interruptions-Tolerant Advanced User Interfaces
Dans : Model-Driven Development of Advanced User Interfaces. Heinrich Hussmann, Gerrit Meixner, Detlef Zuehlke (Eds.) , Springer, p. 143-170, Vol. Vol. 340, Studies in Computational Intelligence, 2011.
Accès : http://www.springer.com/computer/swe/book/978-3-642-14561-2
BibTeXDavid Navarre, Philippe Palanque, Celia Martinie De Almeida, Sandra Steere
Formal Description Techniques for Human-Machine Interfaces – Model-Based Approaches for the Design and Evaluation of Dependable Usable Interactive Systems
Dans : Handbook of Human-Machine Interaction, A Human-Centered Approach. Guy A. Boy (Eds.) , Ashgate Publishing, (en ligne), avril 2011.
Une approche à base de modèles synergiques pour la prise en compte simultanée de l’utilisabilité, la fiabilité et l’opérabilité des systèmes interactifs critiques
Thèse de doctorat, Université Paul Sabatier, décembre 2011.
Résumé Accès : http://thesesups.ups-tlse.fr/1509/1/2011TOU30254.pdf
BibTeX
Racim Mehdi Fahssi, Celia Martinie De Almeida, Philippe Palanque
HAMSTERS : un environnement dédition et de simulation de modèles de tâches (Démo) (poster)
Dans : Conférence Francophone sur l’Interaction Homme-Machine (IHM 2014), Lille, 28/10/14-31/10/14, ACM Digital Library, (en ligne), octobre 2014.
Accès : http://dl.acm.org/ – https://oatao.univ-toulouse.fr/13231/
BibTeX
Celia Martinie De Almeida, Philippe Palanque, José Luis Silva, David Navarre
Properties verification of interactive systems by tool-supported analysis of its formal specification
Diffusion scientifique. avril 2013.
Accès : http://www.irit.fr/~Celia.Martinie-De-Almeida/Technical_report_on_properties_verification_April_2013.pdf
BibTeX