2016

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

2015

• Tasks Decomposition of System Models for Human-Machine Interaction Analysis. Guillaume Maudoux, Sébastien Combéfis, Charles Pecheur. Proceedings of the Workshop on Formal Methods for Human Computer Interaction 2015.

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.

2013

• A Formal Framework for the Analysis of Human-Machine Interactions. Sébastien Combéfis. Doctoral thesis, Université catholique de Louvain.

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.

2009

• Operational Model: Integrating User Tasks and Environment Information with System Model. Sébastien Combéfis. 3rd International Workshop on Formal Methods for Interactive Systems (FMIS 2009), Eindhoven, Netherlands.
• A Bisimulation-Based Approach to the Analysis of Human-Computer Interaction. Sébastien Combéfis, Charles Pecheur. ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2009, Pittsburgh, PA.

2011

• A Formal Framework for Design and Analysis of Human-Machine Interaction. Sébastien Combéfis. 2011 IEEE International Conference on Systems, Man, and Cybernetics, October 9-12, 2011, Anchorage, AK, USA.

2009

• A Bisimulation-Based Approach to the Analysis of Human-Computer Interaction. Sébastien Combéfis. ACM SIGCHI Symposium on Engineering Interactive Computing Systems, July 14-17, 2009, Pittsburgh, PA, USA.