Sébastien Combéfis

According to our database, Sébastien Combéfis authored at least 18 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Artificial Intelligence in Primary and Secondary Education: a Review of Educational Activities Development.

Sébastien Combéfis

Proceedings of the 16th International Conference on Informatics in Schools: Situation, 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

Proceedings of the IEEE Frontiers in Education Conference, 2023

Using Continuous Competency-Based Assessment as a Success Support Service in Higher Education.

Sébastien Combéfis

Proceedings of the IEEE Frontiers in Education Conference, 2023

2022

Continuous Competency-Based Assessment: Impact of Regular Student Involvement on their Performances and Success.

Sébastien Combéfis, Virginie Van den Schrieck

Proceedings of the IEEE Frontiers in Education Conference, 2022

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

Proceedings of the IEEE Frontiers in Education Conference, 2021

A COVID-19 Teaching Experiment: Combining Competency-Based Assessment and Micro-Courses to Teach Technical and Non-Technical Skills.

Sébastien Combéfis

Proceedings of the IEEE Frontiers in Education Conference, 2021

2020

Bebras Based Activities for Computer Science Education: Review and Perspectives.

Sébastien Combéfis, Gabriele Stupuriene

Proceedings of the Informatics in Schools. Engaging Learners in Computational Thinking, 2020

Challengr, a Classroom Response System for Competency Based Assessment and Real-Time Feedback with Micro-Contests.

Guillaume de Moffarts, Sébastien Combéfis

Proceedings of the IEEE Frontiers in Education Conference, 2020

Reinventing Evaluations with Competency Based Assessments: a Practical Experiment with Future Computer Science Engineers.

Sébastien Combéfis, Guillaume de Moffarts

Proceedings of the IEEE Frontiers in Education Conference, 2020

2019

Automated Generation of Computer Graded Unit Testing-Based Programming Assessments for Education.

Sébastien Combéfis, Guillaume de Moffarts

CoRR, 2019

2017

Learning Safe Interactions and Full-Control.

Guillaume Maudoux, Charles Pecheur, Sébastien Combéfis

Proceedings of the Handbook of Formal Methods in Human-Computer Interaction., 2017

Formal Analysis of Multiple Coordinated HMI Systems.

Guillaume Brat, Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur, Franco Raimondi, Neha Rungta

Proceedings of the Handbook of Formal Methods in Human-Computer Interaction., 2017

2016

Automatic Detection of Potential Automation Surprises for ADEPT Models.

Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur

IEEE Trans. Hum. Mach. Syst., 2016

2015

Pythia reloaded: an intelligent unit testing-based code grader for education.

Sébastien Combéfis, Alexis Paques

Proceedings of the 1st International Workshop on Code Hunt on Educational Software Engineering, 2015

2014

State Event Models for the Formal Analysis of Human-Machine Interactions.

Sébastien Combéfis, Charles Pecheur, Dimitra Giannakopoulou

Proceedings of the 2014 AAAI Spring Symposia, 2014

2013

A formal framework for the analysis of human-machine interactions.

Sébastien Combéfis

PhD thesis, 2013

2011

A formal framework for design and analysis of human-machine interaction.

Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur, Michael Feary

Proceedings of the IEEE International Conference on Systems, 2011

2009

A bisimulation-based approach to the analysis of human-computer interaction.

Sébastien Combéfis, Charles Pecheur

Proceedings of the 1st ACM SIGCHI symposium on Engineering Interactive Computing System , 2009