Célia Martinie

发表

Introduction to Automation and to Its Potential for Interactive Systems Design

Philippe A. Palanque, Célia Martinie, Elodie Bouzekri, 2019, INTERACT.

A framework for modeling the consequences of the propagation of automation degradation : application to air traffic control systems

Philippe A. Palanque, Célia Martinie, Philippe Palanque, 2012 .

Characterizing Sets of Systems: Across-Systems Properties and their Representation

Philippe A. Palanque, Célia Martinie, Elodie Bouzekri, 2020, Human Computer Interaction and Emerging Technologies: Adjunct Proceedings from the INTERACT 2019 Workshops.

Embedding Requirements in Design Rationale to Deal Explicitly with User eXperience and Usability in an "intensive" Model-Based Development Approach

Marco Winckler, Célia Martinie, Philippe Palanque, 2010 .

User-Test Results Injection into Task-Based Design Process for the Assessment and Improvement of Both Usability and User Experience

Philippe A. Palanque, Regina Bernhaupt, Célia Martinie, 2016, HCSE/HESSD.

Interactive Cockpits Applications: Specification, Prototyping and Validation using a Petri-nets based Formalism

Eric Barboni, Célia Martinie, Arnaud Hamon, 2012 .

Designing for resilience to hardware failures in interactive systems: A model and simulation-based approach

Eric Barboni, Philippe A. Palanque, Célia Martinie, 2011, Reliab. Eng. Syst. Saf..

Task Model-Based Systematic Analysis of Both System Failures and Human Errors

Philippe A. Palanque, Célia Martinie, Christel Seguin, 2016, IEEE Transactions on Human-Machine Systems.

A Generic Approach for Assessing Compatibility Between Task Descriptions and Interactive Systems: Application to the Effectiveness of a Flight Control Unit

Philippe A. Palanque, Célia Martinie, David Navarre, 2015, i-com.

Multi-models-based engineering of collaborative systems: application to collision avoidance operations for spacecraft

Eric Barboni, Philippe A. Palanque, Célia Martinie, 2014, EICS.

A More Intelligent Test Case Generation Approach through Task Models Manipulation

Philippe A. Palanque, Célia Martinie, José Creissac Campos, 2017, PACMHCI.

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

Marco Winckler, Eric Barboni, Philippe A. Palanque, 2012, Ergo'IHM.

Analysing and Demonstrating Tool-Supported Customizable Task Notations

Eric Barboni, Philippe A. Palanque, Célia Martinie, 2019, Proc. ACM Hum. Comput. Interact..

Supporting the Analysis of Safety Critical User Interfaces

Philippe A. Palanque, Célia Martinie, Michael D. Harrison, 2020, ACM Trans. Comput. Hum. Interact..

Transparent Automation for Assessing and Designing better Interactions between Operators and Partly-Autonomous Interactive Systems

Philippe A. Palanque, Regina Bernhaupt, Célia Martinie, 2015, ATACCS '15.

Divide to Conquer: Functional Decomposition to Support Model-Based Engineering of Command and Control of Cyber-Physical Systems

Célia Martinie, David Navarre, Alexandre Canny, 2019, 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).

Enhanced Task Modelling for Systematic Identification and Explicit Representation of Human Errors

Philippe A. Palanque, Célia Martinie, Racim Fahssi, 2015, INTERACT.

Systematic automation of scenario-based testing of user interfaces

Philippe A. Palanque, Célia Martinie, José Creissac Campos, 2016, EICS.

Model-based training: an approach supporting operability of critical interactive systems

Marco Winckler, Philippe A. Palanque, Célia Martinie, 2011, EICS '11.

Performance Evaluation of Interactive Systems with Interactive Cooperative Objects Models

Célia Martinie, Philippe Palanque, Camille Fayollas, 2018 .

Dealing with Faults During Operations: Beyond Classical Use of Formal Methods

Philippe A. Palanque, Célia Martinie, Jean-Charles Fabre, 2017, Handbook of Formal Methods in Human-Computer Interaction.

A Development Process for Usable Large Scale Interactive Critical Systems: Application to Satellite Ground Segments

Eric Barboni, Philippe A. Palanque, Célia Martinie, 2012, HCSE.

DREAMER: a design rationale environment for argumentation, modeling and engineering requirements

Marco Winckler, Philippe A. Palanque, Célia Martinie, 2010, SIGDOC '10.

Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems

Jeffrey Nichols, Nuno Jardim Nunes, Célia Martinie, 2017, EICS.

Tuning an HCI Curriculum for Master Students to Address Interactive Critical Systems Aspects

Marco Winckler, Philippe A. Palanque, Célia Martinie, 2013, HCI.

Human-Centered Software Engineering: 8th IFIP WG 13.2 International Working Conference, HCSE 2020, Eindhoven, The Netherlands, November 30 – December 2, 2020, Proceedings

Philippe A. Palanque, Regina Bernhaupt, Célia Martinie, 2020, HCSE.

Concept Maps for Integrating Modeling Techniques for the Analysis and Re-Design of Partly-Autonomous Interactive Systems

Philippe A. Palanque, Célia Martinie, Martina Ragosta, 2015, ATACCS '15.

Game Jam 4 Investigating Design Issues with (partly) autonomous systems

Célia Martinie, 2014 .

Task models based engineering of interactive systems

Célia Martinie, Philippe Palanque, 2020, EICS.

Engineering issues related to the development of a recommender system in a critical context: Application to interactive cockpits

Eric Barboni, Philippe A. Palanque, Célia Martinie, 2019, Int. J. Hum. Comput. Stud..

Task-model based assessment of automation levels: Application to space ground segments

Eric Barboni, Philippe A. Palanque, Célia Martinie, 2011, 2011 IEEE International Conference on Systems, Man, and Cybernetics.

Enriching Task Models with Usability and User Experience Evaluation Data

Philippe A. Palanque, Regina Bernhaupt, Célia Martinie, 2018, HCSE.

Fine Grain Modeling of Task Deviations for Assessing Qualitatively the Impact of Both System Failures and Human Error on Operator Performance

Philippe A. Palanque, Célia Martinie, 2014, AAAI Spring Symposia.

On the Importance of Supporting Multiple Stakeholders Points of View for the Testing of Interactive Systems

Célia Martinie, Elodie Bouzekri, Alexandre Canny, 2019, EICS Workshops.

Rapid Task-Models Development Using Sub-models, Sub-routines and Generic Components

Marco Winckler, Philippe A. Palanque, Célia Martinie, 2014, HCSE.

Complementary Tools and Techniques for Supporting Fitness-for-Purpose of Interactive Critical Systems

Philippe A. Palanque, Célia Martinie, Dorrit Billman, 2016, HCSE/HESSD.

TOUCAN: An IDE Supporting the Development of Effective Interactive Java Applications

Eric Barboni, Philippe A. Palanque, Célia Martinie, 2018, EICS.

IFIP WG 13.5 Workshop on Resilience, Reliability, Safety and Human Error in System Development

Philippe A. Palanque, Chris W. Johnson, Célia Martinie, 2015, INTERACT.

Investigating the effect of automation on user experience: enriching a task-modeling notation

Regina Bernhaupt, Célia Martinie, Elodie Bouzekri, 2019 .

Structuring and Composition Mechanisms to Address Scalability Issues in Task Models

Marco Winckler, Philippe A. Palanque, Célia Martinie, 2011, INTERACT.

A Formal Model-Based Approach for Designing Interruptions-Tolerant Advanced User Interfaces

Marco Winckler, Philippe A. Palanque, Célia Martinie, 2011, Model-Driven Development of Advanced User Interfaces.

Multiple Views on Safety-Critical Automation: Aircrafts, Autonomous Vehicles, Air Traffic Management and Satellite Ground Segments Perspectives

Philippe A. Palanque, Manfred Tscheligi, Célia Martinie, 2016, CHI Extended Abstracts.

A Generic Multimodels-Based Approach for the Analysis of Usability and Security of Authentication Mechanisms

Marco Winckler, Célia Martinie, Philippe Palanque, 2020, HCSE.

Formal tasks and systems models as a tool for specifying and assessing automation designs

Marco Winckler, Eric Barboni, Philippe A. Palanque, 2011, ATACCS.

Fault-Tolerant User Interfaces for Critical Systems: Duplication, Redundancy and Diversity as New Dimensions of Distributed User Interfaces

Philippe A. Palanque, Célia Martinie, David Navarre, 2014, DUI '14.

Characterizing Sets of Systems: Representation and Analysis of Across-Systems Properties

Philippe A. Palanque, Célia Martinie, Elodie Bouzekri, 2019, INTERACT Workshops.

Designing and Assessing Interactive Systems Using Task Models

Philippe A. Palanque, Célia Martinie, C. Martinie, 2015, CHI Extended Abstracts.

Design, Development and Evaluation Challenges for Future Mobile User Interfaces in Safety-Critical Contexts

Philippe A. Palanque, Célia Martinie, 2015, FutureMobileUI@MobiSys.

A multi-formalism approach for model-based dynamic distribution of user interfaces of critical interactive systems

Philippe A. Palanque, Célia Martinie, David Navarre, 2014, Int. J. Hum. Comput. Stud..

System Performance under Automation Degradation (WP-E project SPAD)

Célia Martinie, Philippe Palanque, Erik Hollnagel, 2011 .

A List of Pre-Requisites to Make Recommender Systems Deployable in Critical Context

Eric Barboni, Philippe A. Palanque, Célia Martinie, 2017, EnCHIReS@EICS.

A-RCRAFT: a Generic Framework for Automation Analysis and Design: Application to Automotive, Tactile in vehicle Interactions

Philippe A. Palanque, Célia Martinie, Elodie Bouzekri, 2020, AutomationXP@CHI.

V&V of Lexical, Syntactic and Semantic Properties for Interactive Systems through Model Checking of Formal Description of Dialog

Philippe A. Palanque, Célia Martinie, Guillaume Brat, 2013, HCI.

Embedding explicit representation of cyber-physical elements in task models

Philippe A. Palanque, Célia Martinie, Racim Fahssi, 2016, 2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC).

Designing and Assessing Interactive Systems Using Task Models

Marco Winckler, Philippe A. Palanque, Célia Martinie, 2016, INTERACT.

Designing and Assessing Interactive Systems Using Task Models

Philippe A. Palanque, Célia Martinie, 2016, CHI Extended Abstracts.

Bridging the gap between a behavioural formal description technique and a user interface description language: Enhancing ICO with a graphical user interface markup language

Marco Winckler, Eric Barboni, Célia Martinie, 2014, Sci. Comput. Program..

QBP Notation for Explicit Representation of Properties, Their Refinement and Their Potential Conflicts: Application to Interactive Systems

Philippe A. Palanque, Célia Martinie, Yamine Aït Ameur, 2017, INTERACT Workshops.

Analysis of WIMP and Post WIMP Interactive Systems based on Formal Specification

Eric Barboni, Philippe A. Palanque, Célia Martinie, 2013, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

Engineering mixed-criticality interactive applications

Philippe A. Palanque, Célia Martinie, David Navarre, 2016, EICS.

Extending procedural task models by systematic explicit integration of objects, knowledge and information

Philippe A. Palanque, Célia Martinie, Martina Ragosta, 2013, ECCE.

Formal Description Techniques for Human–Machine Interfaces: Model-Based Approaches for the Design and Evaluation of Dependable Usable Interactive Systems

Marco Winckler, Célia Martinie, Philippe Palanque, 2017 .

A generic tool-supported framework for coupling task models and interactive applications

Philippe A. Palanque, Célia Martinie, David Navarre, 2015, EICS.

Rationalizing the Need of Architecture-Driven Testing of Interactive Systems

Philippe A. Palanque, Célia Martinie, Elodie Bouzekri, 2018, HCSE.

A Roadmap and Some Directions Towards the Engineering of Interactive Systems Deployable in Safety Critical Contexts

Célia Martinie, David Navarre, Philippe Palanque, 2019, EICS Workshops.

Model-Based Engineering of Critical Large Scale Socio-Technical Systems: Contributions and Future Directions

Célia Martinie, 2020 .

Modeling Trade-offs Consequences Propagation and their Impacts

Célia Martinie, Erik Hollnagel, Eric Rigaud, 2013 .

Using Task Descriptions with Explicit Representation of Allocation of Functions, Authority and Responsibility to Design and Assess Automation

Philippe A. Palanque, Célia Martinie, Elodie Bouzekri, 2018, HWID.

Exploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development Environment

Eric Barboni, Philippe A. Palanque, Célia Martinie, 2017, Handbook of Formal Methods in Human-Computer Interaction.

A model-based approach for supporting engineering usability evaluation of interaction techniques

Marco Winckler, Eric Barboni, Philippe A. Palanque, 2011, EICS '11.

Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web

Philippe A. Palanque, Célia Martinie, Michael D. Harrison, 2017, F-IDE@FM.

Automation: Danger or Opportunity? Designing and Assessing Automation for Interactive Systems

Philippe A. Palanque, Célia Martinie, Camille Fayollas, 2018, CHI EA '18.

Extending Procedural Task Models by Explicit and Systematic Integration of Objects, Knowledge and Information

Célia Martinie, Philippe Palanque, Martina Ragosta, 2013 .

Exploiting gaming research and practice for engineering interactive critical systems

Philippe A. Palanque, Regina Bernhaupt, Célia Martinie, 2011, ATACCS.

Automation: Danger or Opportunity? Designing and Assessing Automation for Interactive Systems

Philippe A. Palanque, Célia Martinie, Camille Fayollas, 2017, CHI Extended Abstracts.

What Can Be Learnt from Engineering Safety Critical Partly-Autonomous Systems when Engineering Recommender Systems

Eric Barboni, Philippe A. Palanque, Célia Martinie, 2016, EnCHIReS@EICS.

Using complementary models-based approaches for representing and analysing ATM systems' variability

Philippe A. Palanque, Célia Martinie, Alberto Pasquini, 2012, ATACCS.

A Generic Visualization Approach Supporting Task-Based Evaluation of Usability and User Experience

Philippe A. Palanque, Regina Bernhaupt, Célia Martinie, 2020, International Conference on Human-Centered Software Engineering.

Understanding Functional Resonance through a Federation of Models: Preliminary Findings of an Avionics Case Study

Philippe A. Palanque, Célia Martinie, Alberto Pasquini, 2013, SAFECOMP.

Model-based dynamic distribution of user interfaces of critical interactive systems

Philippe A. Palanque, Célia Martinie, Alberto Pasquini, 2013, ATACCS.

A Design Process for Exhibiting Design Choices and Trade-Offs in (Potentially) Conflicting User Interface Guidelines

Marco Winckler, Philippe A. Palanque, Célia Martinie, 2012, HCSE.

Deep System Knowledge Required: Revisiting UCD Contribution in the Design of Complex Command and Control Systems

Philippe A. Palanque, Célia Martinie, Elodie Bouzekri, 2019, INTERACT.

HAMSTERS : un environnement d’édition et de simulation de modèles de tâches

Célia Martinie, Philippe Palanque, Racim Fahssi, 2014 .

An Approach for Assessing the Impact of Dependability on Usability: Application to Interactive Cockpits

Philippe A. Palanque, Célia Martinie, Jean-Charles Fabre, 2014, 2014 Tenth European Dependable Computing Conference.

Engineering Model-Based Software Testing of WIMP Interactive Applications

Eric Barboni, Philippe A. Palanque, Célia Martinie, 2021, Proc. ACM Hum. Comput. Interact..

From Human-Human Computer Mediated Communication to Human-Automation Collaboration in the Light of Large Civil Aircraft Workplace

Philippe A. Palanque, Célia Martinie, Elodie Bouzekri, 2021, AutomationXP@CHI.

Should I Add Recommendations to My Warning System? The RCRAFT Framework Can Answer This and Other Questions About Supporting the Assessment of Automation Designs

Philippe A. Palanque, Célia Martinie, Elodie Bouzekri, 2021, INTERACT.

Engineering Task-based Augmented Reality Guidance: Application to the Training of Aircraft Flight Procedures

Célia Martinie, Philippe Palanque, Lucio Davide Spano, 2021, Interact. Comput..

Some Issues with Interaction Design and Implementation in the Context of Autonomous Interactive Critical Systems

Célia Martinie, Philippe Palanque, Martina Ragosta, 2012 .

Designing and Engineering Interactive Critical Systems Using Contributions from Gaming Research and Practice

Regina Bernhaupt, Célia Martinie, Philippe Palanque, 2012 .