Publications de Camille FAYOLLAS
José Creissac Campos, Camille Fayollas, Michael Harrison, Célia Martinie, Paolo Masci, Philippe Palanque
Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools
ACM Transactions on Computer-Human Interaction, 2020, 27 (5), pp.1-48. ⟨10.1145/3404199⟩
Elodie Bouzekri, Alexandre Canny, Camille Fayollas, Célia Martinie, 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, Camille Fayollas, Marcelo Gonçalves, Célia Martinie, 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⟩
Camille Fayollas, Célia Martinie, 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
i-com, 2015, 14 (3), ⟨10.1515/icom-2015-0037⟩
Célia Martinie, Philippe Palanque, Racim Fahssi, Jean-Paul Blanquart, Camille Fayollas, Christel Seguin
Task Model-Based Systematic Analysis of Both System Failures and Human Errors
IEEE Transactions on Human-Machine Systems, 2015, 46 (2), pp.243-254. ⟨10.1109/THMS.2014.2365956⟩
Camille Fayollas, Jean-Charles Fabre, Philippe Palanque, Eric Barboni, David Navarre, Yannick Deleris
Interactive Cockpits as Critical Applications: a Model-Based and a Fault-Tolerant Approach
Dans : International Journal of Critical Computer-Based Systems, Inderscience Publishers, Numéro spécial Special Issue on Fault-Tolerant Computer Systems, Vol. 4 N. 3, p. 202-226, 2013.
Accès : http://www.inderscience.com/info/inarticle.php?artid=58407
BibTeX
Alexandre Canny, Camille Fayollas, Célia Martinie, 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. ⟨10.1109/iThings/GreenCom/CPSCom/SmartData.2019.00132⟩
Philippe Palanque, Célia Martinie, Camille Fayollas
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⟩
Camille Fayollas, Célia Martinie, Philippe Palanque, Yamine Aït-Ameur
QBP Notation for Explicit Representation of Properties, Their Refinement and Their Potential Conflicts: Application to Interactive Systems
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.91-105, ⟨10.1007/978-3-319-92081-8_9⟩
Elodie Bouzekri, Alexandre Canny, Camille Fayollas, Célia Martinie, 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, Camille Fayollas
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⟩
Camille Fayollas, Célia Martinie, Philippe Palanque, Paolo Masci, Michael Harrison, José Creissac Campos, Saulo Rodrigues E Silva
Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web
3rd Workshop on Formal Integrated Development Environment (F-IDE 2016), co-located with FM 2016, Nov 2016, Limassol, Cyprus. pp.1-19, ⟨10.4204/EPTCS.240.1⟩
Camille Fayollas, Jean-Charles Fabre, Philippe Palanque, Martin Cronel, David Navarre, Yannick Deleris
A Three-fold Approach towards Increased Assurance Levels for Interactive Systems: A Flight Control Unit Case Study
International Conference on Human-Computer Interaction in Aeronautics (HCI’Aero 2016), Sep 2016, Paris, France. pp.1-9
Dorrit Billman, Camille Fayollas, Michael Feary, Célia Martinie, Philippe Palanque
Complementary Tools and Techniques for Supporting Fitness-for-Purpose of Interactive Critical Systems
6th International Conference on Human-Centred Software Engineering (HCSE 2016) / 8th International Conference on Human Error, Safety (HESSD 2016) and System Development (HESSD), Aug 2016, Stockholm, Sweden. pp.181-202, ⟨10.1007/978-3-319-44902-9_12⟩
José Creissac Campos, Camille Fayollas, Célia Martinie, David Navarre, Philippe Palanque, Miguel Pinto
Systematic automation of scenario-based testing of user interfaces
8th ACM SIGCHI conference Engineering Interactive Computing Systems (EICS 2016), Jun 2016, Bruxelles, Belgium. pp.138-148, ⟨10.1145/2933242.2948735⟩
Camille Fayollas, Célia Martinie, 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
Camille Fayollas, Célia Martinie, David Navarre, Philippe Palanque
Engineering mixed-criticality interactive applications
8th ACM SIGCHI conference Engineering Interactive Computing Systems (EICS 2016), Jun 2016, Bruxelles, Belgium. pp.108-119, ⟨10.1145/2933242.2933258⟩
Camille Fayollas, Célia Martinie, Philippe Palanque, Racim 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
Célia Martinie, David Navarre, Philippe Palanque, Camille Fayollas
A Generic Tool-Supported Framework for Coupling Task Models and Interactive Applications
7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2015), ACM SIGCHI: Special Interest Group on Computer-Human Interaction, Jun 2015, Duisburg, Germany. pp.244-253, ⟨10.1145/2774225.2774845⟩
Camille Fayollas, Célia Martinie, Philippe Palanque, Yannick Deleris
Beyond Formal Methods for Critical Interactive Systems: Dealing with Faults at Runtime
Workshop on Formal Methods in Human Computer Interaction (FoMHCI 2015), Jun 2015, Duisburg, Germany. pp. 19-23
Camille Fayollas, Jean-Charles Fabre, Philippe Palanque, Martin Cronel, David Navarre, Yannick Deleris
A Software-Implemented Fault-Tolerance Approach for Control and Display Systems in Avionics
20th Pacific Rim International Symposium on Dependable Computing (2014), Nov 2014, Singapour, Singapore. pp.21–30, ⟨10.1109/PRDC.2014.11⟩
Camille Fayollas, Philippe Palanque, Jean-Charles Fabre, David Navarre, Eric Barboni, Martin Cronel, Yannick Deleris
Résilience des systèmes interactifs: contribution par une architecture tolérante aux fautes
26ème Conférence francophone sur l’Interaction Homme-Machine (IHM 2014), Association Francophone d’Interaction Homme-Machine, Oct 2014, Lille, France. pp.80-90
Camille Fayollas, Philippe Palanque, Jean-Charles Fabre, David Navarre, Eric Barboni, Martin Cronel, Yannick Deleris
A Fault-Tolerant Architecture for Resilient Interactive Systems
26ème Conférence Francophone sur l’Interaction Homme-Machine (IHM 2014), AFIA : Association Francophone d’Interaction Homme-Machine; Université Lille 1; INRIA Lille – Nord Europe, Oct 2014, Lille, France. pp.80-90, ⟨10.1145/2670444.2670462⟩
Camille Fayollas, Célia Martinie, David Navarre, Philippe Palanque, Racim 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, 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, United Kingdom. pp.198–209, ⟨10.1109/EDCC.2014.17⟩
Camille Fayollas, Philippe Palanque, Jean Charles Fabre, David Navarre, Yannick Deleris, Arnaud Hamon
A Fault-Tolerant Software Architecture and its Formal Specification for Embedded, Real-Time Interactive Systems
Conference Embedded Real Time Software and Systems (ERTS 2014), 3AF Midi-Pyrénées: the French Society of Aeronautic and Aerospace; SEE: the French Society for Electricity, Electronics, and Information & Communication Technologies., Feb 2014, Toulouse, France
Addressing dependability for interactive systems: application to interactive cockpits (student paper)
Dans : ACM Special Interest Group on Computer-Human Interaction – Conference Engineering Interactive Computing Systems (SIGCHI – EICS 2013), London, UK, 24/06/13-27/06/13, ACM : Association for Computing Machinery, p. 163-166, juin 2013.
Accès : http://dl.acm.org/citation.cfm?id=2494603.2480336&coll=DL&dl=ACM&CFID=415005785&CFTOKEN=57834103
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.
Camille Fayollas, Jean-Charles Fabre, David Navarre, Philippe Palanque, Yannick Deleris
Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approach (regular paper)
Dans : Software Engineering for Resilient Systems (SERENE 2012), Pisa, Italy, 27/09/12-28/09/12, Paris Avgeriou (Eds.), Springer-Verlag, p. 32-46, septembre 2012.
Accès : http://link.springer.com/chapter/10.1007/978-3-642-33176-3_3
BibTeXAdrienne Tankeu Choitat, David Navarre, Philippe Palanque, Yannick Deleris, Jean-Charles Fabre, Camille Fayollas
Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques (regular paper)
Dans : Pacific Rim International Symposium on Dependable Computing (PRDC 2011), Pasadena, California, USA, 12/12/11-14/12/11, IEEE : Institute of Electrical and Electronics Engineers, p. 164-173, 2011.
Accès : http://ieeexplore.ieee.org/xpl/articleDetails.jsp?tp=&arnumber=6133078&queryText%3Dtankeu
BibTeX
Célia Martinie, Philippe Palanque, Camille Fayollas
Performance Evaluation of Interactive Systems with Interactive Cooperative Objects Models
Antti Oulasvirta, Per Ola Kristensson, Xiaojun Bi, Andrew Howes. Computational Interaction, Oxford University Press, 2018, 9780198799610
Camille Fayollas, Célia Martinie, 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⟩
Camille Fayollas, Philippe Palanque, Jean-Charles Fabre, Célia Martinie, 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), 978-3-319-51837-4. ⟨10.1007/978-3-319-51838-1_20⟩