Sébastien Combéfis
Sébastien Combéfis
Académie de Recherche et d'Enseignement Supérieur (ARES)
Verified email at combefis.be - Homepage
Title
Cited by
Cited by
Year
Learning programming through games and contests: overview, characterisation and discussion
S Combéfis, G Beresnevičius, V Dagienė
Olympiads in Informatics 10 (1), 39-60, 2016
512016
A bisimulation-based approach to the analysis of human-computer interaction
S Combéfis, C Pecheur
Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive …, 2009
432009
Recasting a Traditional Course into a MOOC by Means of a SPOC
S Combéfis, A Bibal, P Van Roy
Proceedings of the European MOOCs Stakeholders Summit, 205-208, 2014
412014
A formal framework for design and analysis of human-machine interaction
S Combéfis, D Giannakopoulou, C Pecheur, M Feary
Systems, Man, and Cybernetics (SMC), 2011 IEEE International Conference on …, 2011
362011
Programming Trainings and Informatics Teaching Through Online Contests.
S Combéfis, J Wautelet
Olympiads in Informatics 8, 2014
322014
Learning system abstractions for human operators
S Combéfis, D Giannakopoulou, C Pecheur, M Feary
Proceedings of the International Workshop on Machine Learning Technologies …, 2011
222011
Teaching Programming and Algorithm Design with Pythia, a Web-Based Learning Platform.
S Combéfis, V CLÉMENT de SAINT-MARCQ
Olympiads in Informatics 6, 2012
192012
A Formal Framework for the Analysis of Human-Machine Interactions
S Combéfis
Université catholique de Louvain, 2013
112013
Growing Algorithmic Thinking Through Interactive Problems to Encourage Learning Programming
S COMBÉFIS, VVAN den SCHRIECK, A NOOTENS
Olympiads in Informatics 7, 3-13, 2013
92013
Three-step transformation of a traditional university course into a MOOC: a LouvainX experience
S Combéfis, P Van Roy
Proceedings of the European MOOCs Stakeholders Summit 2015, 76-80, 2015
72015
Automatic detection of potential automation surprises for ADEPT models
S Combéfis, D Giannakopoulou, C Pecheur
IEEE Transactions on Human-Machine Systems 46 (2), 267-278, 2015
72015
Pythia reloaded: an intelligent unit testing-based code grader for education
S Combéfis, A Paques
Proceedings of the 1st International Workshop on Code Hunt Workshop on …, 2015
62015
Belgian olympiads in informatics: the story of launching a national contest
S Combéfis, D Leroy
Olympiads in Informatics 5, 131-139, 2011
62011
Operational Model: Integrating User Tasks and Environment Information with System Model
S Combéfis
Preliminary Proceedings of the Third International Workshop on Formal …, 2009
52009
Learning and teaching algorithm design and optimisation using contests tasks
S Combefis, SA Barry, M Crappe, M David, G de MOFFARTS, H HACHEZ, ...
Olympiads in Informatics 11, 19-28, 2017
42017
Automatic programming error class identification with code plagiarism-based clustering
S Combéfis, A Schils
Proceedings of the 2nd International Code Hunt Workshop on Educational …, 2016
42016
State Event Models for the Formal Analysis of Human-Machine Interactions
S Combéfis, D Giannakopoulou, C Pecheur
AAAI 2014 symposium on modeling in human-machine systems: challenges for …, 2014
42014
CorrectOz–Recognizing common mistakes in the programming exercises of a computer science MOOC
N Magrofuoco, A Paquot, P VAN ROY, C PÊCHEUR, S COMBÉFIS
Master’s thesis, Ecole Polytechnique de Louvain (EPL), Louvain, 2016.[Online …, 0
3
Organising National Olympiads in Informatics: a Review of Selection Processes, Trainings and Promotion Activities.
S COMBÉFIS, A PAQUES
Olympiads in Informatics 9, 2015
22015
Automatic Generation of Full-Control System Abstraction for Human-Machine Interaction
S Combéfis, C Pecheur
Human-Machine Interaction (Formal H), 2012
22012
The system can't perform the operation now. Try again later.
Articles 1–20