Sébastien Combéfis

19 papers B 1C 7Misc 1Journal 3Unranked 4
YearRankTypeTitle / Venue / Authors
2023 — conf
Artificial Intelligence in Primary and Secondary Education: a Review of Educational Activities Development.
ISSEP (Local Proceedings)
Sébastien Combéfis
2023 C conf
Raising Young Pupils and Students' Awareness Levels About the Impacts of Digital Technologies on the Environment, Climate, Health and Well-Being Through a Challenge.
FIE
Sébastien Combéfis, Steve Tumson
2023 C conf
Using Continuous Competency-Based Assessment as a Success Support Service in Higher Education.
FIE
Sébastien Combéfis
2022 J jnl
Automated Code Assessment for Education: Review, Classification and Perspectives on Techniques and Tools.
Softw.
Sébastien Combéfis
2022 C conf
Continuous Competency-Based Assessment: Impact of Regular Student Involvement on their Performances and Success.
FIE
Sébastien Combéfis, Virginie Van den Schrieck
2021 C conf
A COVID-19 Teaching Experiment: Combining Competency-Based Assessment and Micro-Courses to Teach Technical and Non-Technical Skills.
FIE
Sébastien Combéfis
2021 C conf
Transforming a Course with a Traditional Evaluation into a Competency-Based Assessment Approach: a Practical Experiment.
FIE
Sébastien Combéfis, Virginie Van den Schrieck
2020 — conf
Bebras Based Activities for Computer Science Education: Review and Perspectives.
ISSEP
Sébastien Combéfis, Gabriele Stupuriene
2020 C conf
Challengr, a Classroom Response System for Competency Based Assessment and Real-Time Feedback with Micro-Contests.
FIE
Guillaume de Moffarts, Sébastien Combéfis
2020 C conf
Reinventing Evaluations with Competency Based Assessments: a Practical Experiment with Future Computer Science Engineers.
FIE
Sébastien Combéfis, Guillaume de Moffarts
2019 J jnl
Automated Generation of Computer Graded Unit Testing-Based Programming Assessments for Education.
CoRR
Sébastien Combéfis, Guillaume de Moffarts
2017 — ch.
Formal Analysis of Multiple Coordinated HMI Systems.
Handbook of Formal Methods in Human-Computer Interaction
Guillaume Brat, Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur, Franco Raimondi, Neha Rungta
2017 — ch.
Learning Safe Interactions and Full-Control.
Handbook of Formal Methods in Human-Computer Interaction
Guillaume Maudoux, Charles Pecheur, Sébastien Combéfis
2016 J jnl
Automatic Detection of Potential Automation Surprises for ADEPT Models.
IEEE Trans. Hum. Mach. Syst.
Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur
2015 — conf
Pythia reloaded: an intelligent unit testing-based code grader for education.
CHESE@ISSTA
Sébastien Combéfis, Alexis Paques
2014 — conf
State Event Models for the Formal Analysis of Human-Machine Interactions.
AAAI Spring Symposia
Sébastien Combéfis, Charles Pecheur, Dimitra Giannakopoulou
2013 — —
A formal framework for the analysis of human-machine interactions.
Sébastien Combéfis
2011 B conf
A formal framework for design and analysis of human-machine interaction.
SMC
Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur, Michael Feary
2009 Misc conf
A bisimulation-based approach to the analysis of human-computer interaction.
EICS
Sébastien Combéfis, Charles Pecheur