Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web
Fayollas, Camille, Martinie, Célia, Palanque, Philippe, Masci, Paolo, Harrison, Michael D., Campos, José C., Rodrigues e Silva, Saulo
Published in Electronic proceedings in theoretical computer science (01.01.2017)
Published in Electronic proceedings in theoretical computer science (01.01.2017)
Get full text
Journal Article
Engineering issues related to the development of a recommender system in a critical context: Application to interactive cockpits
Bouzekri, E., Canny, A., Fayollas, C., Martinie, C., Palanque, P., Barboni, E., Deleris, Y., Gris, C.
Published in International journal of human-computer studies (01.01.2019)
Published in International journal of human-computer studies (01.01.2019)
Get full text
Journal Article
Task Model-Based Systematic Analysis of Both System Failures and Human Errors
Martinie, C., Palanque, P., Fahssi, R., Blanquart, J.-P, Fayollas, C., Seguin, C.
Published in IEEE transactions on human-machine systems (01.04.2016)
Published in IEEE transactions on human-machine systems (01.04.2016)
Get full text
Journal Article
SafeOps: A Concept of Continuous Safety
Fayollas, Camille, Bonnin, Hugues, Flebus, Olivier
Published in 2020 16th European Dependable Computing Conference (EDCC) (01.09.2020)
Published in 2020 16th European Dependable Computing Conference (EDCC) (01.09.2020)
Get full text
Conference Proceeding
A Software-Implemented Fault-Tolerance Approach for Control and Display Systems in Avionics
Fayollas, C., Fabre, J. C., Palanque, P., Cronel, M., Navarre, D., Deleris, Y.
Published in 2014 IEEE 20th Pacific Rim International Symposium on Dependable Computing (01.11.2014)
Published in 2014 IEEE 20th Pacific Rim International Symposium on Dependable Computing (01.11.2014)
Get full text
Conference Proceeding
Automated Testing of ARINC 661 Cockpit Display Systems: Factors to Accelerate DO-178C Certification
Couadau, Francois, Dervaux, Nicolas, Fayollas, Camille, Thuong, Jean-Francois, Lyons, John
Published in 2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC) (01.10.2023)
Published in 2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC) (01.10.2023)
Get full text
Conference Proceeding
Divide to Conquer: Functional Decomposition to Support Model-Based Engineering of Command and Control of Cyber-Physical Systems
Canny, Alexandre, Fayollas, Camille, Martinie, Celia, Navarre, David, Palanque, Philippe, Gris, Christine, Deleris, Yannick
Published in 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) (01.07.2019)
Published in 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) (01.07.2019)
Get full text
Conference Proceeding
Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web
Fayollas, Camille, Martinie, Célia, Palanque, Philippe, Masci, Paolo, Harrison, Michael D, Campos, José C, Silva, Saulo Rodrigues e
Published in arXiv.org (30.01.2017)
Published in arXiv.org (30.01.2017)
Get full text
Paper
Journal Article
An Approach for Assessing the Impact of Dependability on Usability: Application to Interactive Cockpits
Fayollas, C., Martinie, C., Palanque, P., Deleris, Y., Fabre, J.-C, Navarre, D.
Published in 2014 Tenth European Dependable Computing Conference (01.05.2014)
Published in 2014 Tenth European Dependable Computing Conference (01.05.2014)
Get full text
Conference Proceeding
Exploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development Environment
Fayollas, Camille, Martinie, Célia, Palanque, Philippe, Barboni, Eric, Fahssi, Racim, Hamon, Arnaud
Published in The Handbook of Formal Methods in Human-Computer Interaction (2017)
Published in The Handbook of Formal Methods in Human-Computer Interaction (2017)
Get full text
Book Chapter
Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques
Tankeu-Choitat, A., Navarre, D., Palanque, P., Deleris, Y., Fabre, J.-C, Fayollas, C.
Published in 2011 IEEE 17th Pacific Rim International Symposium on Dependable Computing (01.12.2011)
Published in 2011 IEEE 17th Pacific Rim International Symposium on Dependable Computing (01.12.2011)
Get full text
Conference Proceeding