Sébastien Combéfis
Sébastien Combéfis
ECAM Brussels Engineering School
Verified email at combefis.be - Homepage
TitleCited byYear
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
402009
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
342011
Learning programming through games and contests: overview, characterisation and discussion
S Combefis, G Beresnevičius, V Dagienė
Olympiads in Informatics 10 (1), 39-60, 2016
302016
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
292014
Programming Trainings and Informatics Teaching Through Online Contests.
S Combéfis, J Wautelet
Olympiads in Informatics 8, 2014
262014
Teaching Programming and Algorithm Design with Pythia, a Web-Based Learning Platform.
S Combéfis, C de SAINT-MARCQ
Olympiads in Informatics 6, 2012
192012
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
192011
A Formal Framework for the Analysis of Human-Machine Interactions
S Combéfis
Université catholique de Louvain, 2013
122013
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
62013
Belgian olympiads in informatics: the story of launching a national contest
S Combéfis, D Leroy
Olympiads in Informatics 5, 131-139, 2011
62011
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
52015
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
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
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
42015
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
42015
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
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
32017
Automatic Generation of Full-Control System Abstraction for Human-Machine Interaction
S Combéfis, C Pecheur
Human-Machine Interaction (Formal H), 2012
22012
A JavaPathfinder extension to analyse human-machine interactions
S Combéfis, D Giannakopoulou, C Pecheur, P Mehlitz
Proceedings of the Java Pathfinder Workshop 2011, 2011
22011
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
2
The system can't perform the operation now. Try again later.
Articles 1–20