Sébastien Combéfis
Contact Information
|
Sébastien Combéfis |
Office: Réaumur A.143 (1st floor) |
Biography
Sébastien Combéfis was a PhD student from September 2007 to September 2013 and worked as a teaching assistant in the Computer Science and Engineering Department at Université catholique de Louvain in Belgium. He is doing research in the formal methods for human-machine interaction (HMI).
Publications
- Automatic Detection of Potential Automation Surprises for ADEPT Models. Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur. IEEE Transactions on Human-Machine Systems.
- 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.
- 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.
- A Formal Framework for the Analysis of Human-Machine Interactions. Sébastien Combéfis. Doctoral thesis, Université catholique de Louvain.
- 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.
- 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.
Talks
- 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.
- 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.
Tags: -
Find It
Sections
Verification Diagnosis Autonomy ModelChecking Planning PDDL Requirements Testing LTL ThemeCoverage HumanComputerInteraction UserModel ProjectMOVES ThemeHMI LVL Website SymbolicModelChecking CTL Actions SMV EpistemicLogic ProjectNASA PartialOrderReduction BoundedModelChecking ThemePOR TemporalLogic Simulation Tools Tutorial Publication Equivalences