2016

• Automatic Detection of Potential Automation Surprises for ADEPT Models. Sébastien Combéfis?, Dimitra Giannakopoulou, Charles Pecheur. IEEE Transactions on Human-Machine Systems.

2014

• State Event Models for the Formal Analysis of Human-Machine Interactions. Sébastien Combéfis?, Dimitra Giannakopoulou, Charles Pecheur. Proceedings of AAAI Symposium on Formal Verification in Human-Machine Systems.

2011

• A JavaPathfinder Extension to Analyse Human-Machine Interactions. Sébastien Combéfis?, Dimitra Giannakopoulou, Charles Pecheur, Peter Mehlitz. Java Pathfinder Workshop 2011.
• Learning System Abstractions for Human Operators. Sébastien Combéfis?, Dimitra Giannakopoulou, Charles Pecheur, Michael Feary. International Workshop on Machine Learning Technologies in Software Engineering.
• A Formal Framework for Design and Analysis of Human-Machine Interaction. Sébastien Combéfis?, Dimitra Giannakopoulou, Charles Pecheur, Michael Feary. 2011 IEEE International Conference on Systems, Man, and Cybernetics.