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, 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⟩
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
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
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
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
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
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⟩
Fayollas Camille, Célia Martinie de Almeida, Philippe Palanque, Eric Barboni, Yannick Deleris
What Can Be Learnt from Engineering Safety Critical Partly-Autonomous Systems when Engineering Recommender Systems
Workshop on Engineering Computer-Human Interaction in Recommender Systems (EnCHIReS 2016), Jun 2016, Bruxelles, Belgium. pp.14-25
From Aircrafts Interactive Cockpits to Autonomous Vehicles: Are Design Principles Transferable ?
34th Conference on Human Factors in Computing Systems Workshop: HCI and Autonomous Vehicles (Workshop CHI 2016), May 2016, San Jose, United States. pp.1-4
Philippe Palanque, Racim Mehdi Fahssi, Célia Martinie de Almeida, Marco Winckler, Michel Galindo
Retour d’expérience sur l’enseignement de la modélisation des taches au Master Interaction Homme-Machine de Toulouse (GT Modèles de Tâches – IHM 2015)
GT Modèles de Tâches – 27ème Conférence Francophone sur l’interaction Homme-Machine – IHM 2015, Association Francophone d’Interaction Homme-Machine (AFIHM), Oct 2015, Toulouse, France
Célia Martinie de Almeida, Philippe Palanque
Modeling and Analysis of Human Error Based on Tasks Descriptions: Connecting Research Knowledge with Practice (Human Dependability Workshop (HUDEP 2015)
Human Dependability Workshop (HUDEP 2015), Oct 2015, Darmstadt, Germany
Fayollas Camille, Célia Martinie de Almeida, Philippe Palanque, Racim Mehdi Fahssi
Accounting for Organisational faults in Task Model Based Systematic Analysis of System Failures and Human Errors
IFIP WG 13.5 Workshop on Resilience, Reliability, Safety and Human Error in System Development @ INTERACT 2015, IFIP : International Federation for Information Processing, Sep 2015, Bamberg, Germany. pp.101–116
Fayollas Camille, Célia 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
4th Workshop on Distributed User Interfaces and Multimodal Interaction (DIU 2014), Jul 2014, Toulouse, France. pp.27-30, ⟨10.1145/2677356.2677662⟩
Camille Fayollas, Célia 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.
European Dependable Computing Conference, May 2014, Newcastle upon Tyne, UK, United Kingdom. pp.198–209, ⟨10.1109/EDCC.2014.17⟩
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.
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⟩
Célia Martinie de Almeida, Philippe Palanque, Marco Winckler
Designing and Assessing Interactive Systems Using Task Models
Kronbauer, Arthur; Mattos, Ecivaldo; Sampaio, Andreia Libório; Boscarioli, Clodis. Book of Tutorials of the 14th Brazilian Symposium on Human Factors in Computing Systems (IHC 2015), Salvador Brazil, November 3-6, 2, Brazilian Computing Society, pp.29–58, 2015
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
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