A bisimulation-based approach to the analysis of human-computer interaction. - Sébastien Combéfis; Charles Pecheur (EICS, 2009)

A formal framework for design and analysis of human-machine interaction. - Sébastien Combéfis; Dimitra Giannakopoulou; Charles Pecheur; Michael Feary (SMC, 2011)

A formal framework for the analysis of human-machine interactions. - Sébastien Combéfis (2013)

State Event Models for the Formal Analysis of Human-Machine Interactions. - Sébastien Combéfis; Charles Pecheur; Dimitra Giannakopoulou (AAAI Spring Symposia, 2014)

Pythia reloaded: an intelligent unit testing-based code grader for education. - Sébastien Combéfis; Alexis Paques (CHESE@ISSTA, 2015)

Automatic Detection of Potential Automation Surprises for ADEPT Models. - Sébastien Combéfis; Dimitra Giannakopoulou; Charles Pecheur (IEEE Trans. Hum. Mach. Syst., 2016)

Formal Analysis of Multiple Coordinated HMI Systems. - Guillaume Brat; Sébastien Combéfis; Dimitra Giannakopoulou; Charles Pecheur; Franco Raimondi; Neha Rungta (Handbook of Formal Methods in Human-Computer Interaction, 2017)

Learning Safe Interactions and Full-Control. - Guillaume Maudoux; Charles Pecheur; Sébastien Combéfis (Handbook of Formal Methods in Human-Computer Interaction, 2017)

Automated Generation of Computer Graded Unit Testing-Based Programming Assessments for Education. - Sébastien Combéfis; Guillaume de Moffarts (CoRR, 2019)

Reinventing Evaluations with Competency Based Assessments: a Practical Experiment with Future Computer Science Engineers. - Sébastien Combéfis; Guillaume de Moffarts (FIE, 2020)

Challengr, a Classroom Response System for Competency Based Assessment and Real-Time Feedback with Micro-Contests. - Guillaume de Moffarts; Sébastien Combéfis (FIE, 2020)

Bebras Based Activities for Computer Science Education: Review and Perspectives. - Sébastien Combéfis; Gabriele Stupuriene (ISSEP, 2020)

A COVID-19 Teaching Experiment: Combining Competency-Based Assessment and Micro-Courses to Teach Technical and Non-Technical Skills. - Sébastien Combéfis (FIE, 2021)

Transforming a Course with a Traditional Evaluation into a Competency-Based Assessment Approach: a Practical Experiment. - Sébastien Combéfis; Virginie Van den Schrieck (FIE, 2021)

Continuous Competency-Based Assessment: Impact of Regular Student Involvement on their Performances and Success. - Sébastien Combéfis; Virginie Van den Schrieck (FIE, 2022)

Using Continuous Competency-Based Assessment as a Success Support Service in Higher Education. - Sébastien Combéfis (FIE, 2023)

Raising Young Pupils and Students' Awareness Levels About the Impacts of Digital Technologies on the Environment, Climate, Health and Well-Being Through a Challenge. - Sébastien Combéfis; Steve Tumson (FIE, 2023)

Artificial Intelligence in Primary and Secondary Education: a Review of Educational Activities Development. - Sébastien Combéfis (ISSEP (Local Proceedings), 2023)