Publications ​

2023 ​

1. Sébastien Combéfis. Artificial Intelligence in Primary and Secondary Education: a Review of Educational Activities Development. In local Proceedings of the 16th International Conference on Informatics in Schools: Situation, Evolution and Perspectives (ISSEP 2023), 3-13, Lausanne, Switzerland, October 2023.
2. Sébastien Combéfis, and Steve Tumson. Raising Young Pupils and Students' Awareness Levels About the Impacts of Digital Technologies on the Environment, Climate, Health and Well-Being Through a Challenge. In Proceedings of Frontiers in Education 2023 (FIE 2023), College Station, TX, USA, October 2023.
3. Sébastien Combéfis. Using Continuous Competency-Based Assessment as a Success Support Service in Higher Education. In Proceedings of Frontiers in Education 2023 (FIE 2023), College Station, TX, USA, October 2023.

2022 ​

4. Sébastien Combéfis, and Virginie Van den Schrieck. Continuous Competency-Based Assessment: Impact of Regular Student Involvement on their Performances and Success. In Proceedings of Frontiers in Education 2022 (FIE 2022), Uppsala, Sweden, October 2022.
5. Sébastien Combéfis. Automated Code Assessment for Education: Review, Classification and Perspectives on Techniques and Tools. Software, 1(1):3-30, 2022.

2021 ​

6. Sébastien Combéfis. Conception d'un cours entièrement dispensé à distance combinant les concepts de microcours et d'évaluations par compétences. Synergies Turquie, 14:103-117, 2021.
7. Sébastien Combéfis, and Virginie Van den Schrieck. Transforming a Course with a Traditional Evaluation into a Competency-Based Assessment Approach: a Practical Experiment. In Proceedings of Frontiers in Education 2021 (FIE 2021), Lincoln, NE, USA, October 2021.
8. Sébastien Combéfis. A COVID-19 Teaching Experiment: Combining Competency-Based Assessment and Micro-Courses to Teach Technical and Non-Technical Skills. In Proceedings of Frontiers in Education 2021 (FIE 2021), Lincoln, NE, USA, October 2021.

2020 ​

9. Sébastien Combéfis, and Gabrielė Stupurienė. Bebras Based Activities for Computer Science Education: Review and Perspectives. In Proceedings of the 13th International Conference on Informatics in School: Situation, Evaluation, Problems (ISSEP 2020), 15-29, Tallinn, Estonia, November 2020.
10. Sébastien Combéfis, and Guillaume de Moffarts. Reinventing Evaluations with Competency Based Assessments: a Practical Experiment with Future Computer Science Engineers. In Proceedings of Frontiers in Education 2020 (FIE 2020), Uppsala, Sweden, October 2020.
11. Guillaume de Moffarts, and Sébastien Combéfis. Challengr, a Classroom Response System for Competency Based Assessment and Real-Time Feedback with Micro-Contests. In Proceedings of Frontiers in Education 2020 (FIE 2020), Uppsala, Sweden, October 2020.

2019 ​

12. Sébastien Combéfis. The Only Way to Create the Skills of the Future is to Disrupt the Education of Today. Keynote presented at 1st Global Forum for Education and Learning (GFEL 2019), Dubai, United Arab Emirates, December 2019.
13. Sébastien Combéfis, and Guillaume de Moffarts. Automated Generation of Computer Graded Unit Testing-Based Programming Assessments for Education. In Proceedings of the 6th International Conference on Computer Science, Engineering and Information Technology (CSEIT 2019), 91-100, Zurich, Switzerland, November 2019.
14. Sébastien Combéfis, and Guillaume de Moffarts. Learning Computer Science at a Fair with an Escape Game. In local Proceedings of the 12th International Conference on Informatics in Schools: Situation, Evolution and Perspectives (ISSEP 2019), 93-95, Larnaca, Cyprus, November 2019.
15. Pablo Nicaise, François Wyngaerden, Hélène Garin, Sébastien d'Oreye de Lantremange, Sébastien Combéfis, and Vincent Lorant. Does the Structure of the Personal Networks of Patients with Severe Mental Illness Differ from the Common Types Found in the General Population?. Presented at the 4th European Conference on Social Networks (EUSN 2019), Zurich, Switzerland, September 2019.
16. Sébastien Combéfis, Guillaume de Moffarts, and Mile Jovanov. TLCS: A Digital Library with Resources to Teach and Learn Computer Science. In Olympiads in Informatics, 13:3-20, 2019.
17. Sébastien d'Oreye de Lantremange, Sébastien Combéfis, Hélène Garin, François Wyngaerden, Pablo Nicaise, and Vincent Lorant. A Generic and Flexible Analysis Framework to Categorise Social Support Networks. Presented at the XXXIX Sunbelt Social Networks Conference (Sunbelt 2019), Montréal, QC, Canada, June 2019.

2017 ​

18. Sébastien Combéfis, Saïkou Ahmadou Barry, Martin Crappe, Mathieu David, Guillaume de Moffarts, Hadrien Hachez, and Julien Kessels. Learning and Teaching Algorithm Design and Optimisation Using Contests Tasks. In Olympiads in Informatics, 11:19-28, 2017.
19. Chang Liu, Sébastien Combéfis, Judith Bishop, and Tao Xie. Workshop Proposal: The Third International Workshop on Coding and Human aspects of Educational Software Engineering (CHESE 2017).
20. Guillaume Brat, Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur, Franco Raimondi, and Neha Rungta. Formal Analysis of Multiple Coordinated HMI Systems. In Benjamin Weyers, Judy Bowen, Alan Dix, and Philippe Palanque, Eds., The Handbook of Formal Methods in Human-Computer Interaction, ch. 15, 405-431, 2017.
21. Guillaume Maudoux, Charles Pecheur, and Sébastien Combéfis. Learning Safe Interactions and Full-Control. In Benjamin Weyers, Judy Bowen, Alan Dix, and Philippe Palanque, Eds., The Handbook of Formal Methods in Human-Computer Interaction, ch. 11, 297-317, 2017.

2016 ​

22. Sébastien Combéfis, and Arnaud Schils. Automatic Programming Error Class Identification with Code Plagiarism-Based Clustering. In Proceedings of the 2nd Int'l Code Hunt Workshop on Educational Software Engineering (CHESE 2016), 1-6, Seattle, WA, USA, November 2016.
23. Sébastien Combéfis, Gytautas Beresnevičius, and Valentina Dagienė. Learning Programming through Games and Contests: Overview, Characterisation and Discussion. In Olympiads in Informatics, 10:39-60, 2016.
24. Sébastien Combéfis, Dimitra Giannakopoulou, and Charles Pecheur. Automatic Detection of Potential Automation Surprises for ADEPT Models. In IEEE Transactions on Human-Machine Systems, 46(2):267-278, 2016.
25. Sébastien Combéfis, Marie-Françoise Lefebvre, Quentin Lurkin, Cédric Marchand, and Philippe Melotte. TeachEng, a Multi-Paradigm MOOCs Provider Platform to Teach Future Engineers. In Proceedings of the European MOOCs Stakeholders Summit 2016 (EMOOCs 2016), 521-525, Graz, Austria, February 2016.

2015 ​

26. Sébastien Combéfis, Corentin Vande Kerckhove, and Peter Van Roy. Transforming a University Course into a Two-public Sustainable MOOC. Presented at the HybridEd Workshop: MOOC-based Models for Hybrid Pedagogies (HybridEd 2015), Toledo, Spain, September 2015.
27. Sébastien Combéfis, and Chantal Poncin. Web Platform to Support Teaching Programming with Snap! and Manage Pupils' Learning. In Proceedings of the Scratch Conference 2015 (Scratch2015AMS), Amsterdam, The Netherlands, August 2015.
28. Sébastien Combéfis, and Alexis Paques. Pythia reloaded: an Intelligent Unit Testing-Based Code Grader for Education. In Proceedings of the 1st Int'l Code Hunt Workshop on Educational Software Engineering (CHESE 2015), 5-8, Baltimore, MD, USA, July 2015.
29. Sébastien Combéfis, and Alexis Paques. Organising National Olympiads in Informatics: a Review of Selection Processes, Trainings and Promotion Activities. In Olympiads in Informatics, 9:15-26, 2015.
30. Guillaume Maudoux, Sébastien Combéfis, and Charles Pecheur. Tasks Decomposition of System Models for Human-Machine Interaction Analysis. In Proceedings of the Workshop on Formal Methods in Human Computer Interaction (FoMHCI 2015), 7-12, Duisburg, Germany, June 2015.
31. Sébastien Combéfis, and Peter Van Roy. Three-Step Transformation of a Traditional University Course into a MOOC: a LouvainX Experience. In Proceedings of the European MOOCs Stakeholders Summit 2015 (EMOOCs 2015), 76-80, Mons, Belgium, May 2015.

2014 ​

32. Sébastien Combéfis, and Jérémy Wautelet. Programming Trainings and Informatics Teaching Through Online Contests. In Olympiads in Informatics, 8:21-34, 2014.
33. Sébastien Combéfis. Enseigner des outils méthodologiques et former une attitude professionnelle en BAC 1 par un projet disciplinaire : Mise en place et évaluation d’un dispositif d’aide à la réussite. Advanced Master Thesis. Université catholique de Louvain (UCLouvain), Belgium, June 2014.
34. Sébastien Combéfis, Fabien Duchêne, and Virginie Van den Schrieck. APP0, ou la découverte du monde universitaire par des compétences techniques au service de l'intégration sociale. Presented at the 28th Congrès de l'Association Internationale de Pédagogie Universitaire (AIPU 2014), Mons, Belgium, May 2014.
35. Sébastien Combéfis, and Chantal Poncin. Intégration d'un service d'aide à la réussite dans un programme d'études, ou comment passer d'un SAR à un cours dans un programme, en passant par un atelier de formation professionnelle. Presented at the 28th Congrès de l'Association Internationale de Pédagogie Universitaire (AIPU 2014), Mons, Belgium, May 2014.
36. Sébastien Combéfis, Dimitra Giannakopoulou, and Charles Pecheur. State Event Models for the Formal Analysis of Human-Machine Interactions. In Proceedings of the Formal Verification and Modeling in Human-Machine Systems AAAI Spring Symposium (FVHMS 2014), 15-20, Palo Alto, CA, USA, March 2014.
37. Sébastien Combéfis, Adrien Bibal, and Peter Van Roy. Recasting a Traditional Course into a MOOC by Means of a SPOC. In Proceedings of the European MOOCs Stakeholders Summit 2014 (EMOOCs 2014), 205-208, Lausanne, Switzerland, February 2014.

2013 ​

38. Sébastien Combéfis, and Jean-François Rees. The LouvainX Courses: Selection, Support and On-campus Activities. Poster presented at the edX Consortium Meeting, Boston, MA, USA, November 2013.
39. Sébastien Combéfis, Adrien Bibal, and Peter Van Roy. Recasting a Traditional Course into a MOOC by Means of a SPOC. Poster presented at the edX Consortium Meeting, Boston, MA, USA, November 2013.
40. Sébastien Combéfis. A Formal Framework for the Analysis of Human-Machine Interactions. PhD Thesis. Université catholique de Louvain (UCLouvain), Belgium, November 2013.
41. Sébastien Combéfis, Virginie Van den Schrieck, and Alexis Nootens. Growing Algorithmic Thinking Through Interactive Problems to Encourage Learning Programming. In Olympiads in Informatics, 7:3-13, 2013.

2012 ​

42. Sébastien Combéfis, and Vianney le Clément de Saint-Marcq. Teaching Programming and Algorithm Design with Pythia, a Web-Based Learning Platform. In Olympiads in Informatics, 6:31-43, 2012.
43. Sébastien Combéfis, and Charles Pecheur. Automatic Generation of Full-Control System Abstraction for Human-Machine Interaction. In Proceedings of the Workshop on Formal Methods in Human-Machine Interaction (Formal H 2012), 9-11, London, UK, May 2012.
44. Jim Plumat, Chantal Poncin, Delphine Ducarme, and Sébastien Combéfis. Passer d'un « Service d'Aide à la Réussite » à des « Ateliers de Formation Professionnelle » ou comment passer d'un SAR, une béquille ? - à un AFP, un piolet !. In Proceedings of the 27th Congrès de l'Association Internationale de Pédagogie Universitaire (AIPU 2012), Trois-Rivières, QC, Canada, May 2012.

2011 ​

45. Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur, and Peter Mehlitz. A JavaPathfinder Extension to Analyse Human-Machine Interactions. In Proceedings of the Java Pathfinder Workshop 2011 (JPF Workshop 2011), Lawrence, KA, USA, November 2011.
46. Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur, and Michael Feary. Learning System Abstractions for Human Operators. In Proceedings of the 2011 International Workshop on Machine Learning Technologies in Software Engineering (MALETS 2011), 3-10, Lawrence, KA, USA, November 2011.
47. Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur, and Michael Feary. A Formal Framework for Design and Analysis of Human-Machine Interaction. In Proceedings of the 2011 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2011), 1801-1808, Anchorage, AK, USA, October 2011.
48. Sébastien Combéfis, and Damien Leroy. Belgian Olympiads in Informatics: The Story of Launching a National Contest. In Olympiads in Informatics, 5:131-139, 2011.

2009 ​

49. Sébastien Combéfis, and Charles Pecheur. LTS-Based Analysis of Interactive Systems. Poster presented at the MoVES Annual Meeting, Louvain-la-Neuve, Belgium, December 2009.
50. Sébastien Combéfis. Operational Model: Integrating User Tasks and Environment Information with System Model. Presented at the 3rd International Workshop on Formal Methods for Interactive Systems (FMIS 2009), Eindhoven, The Netherlands, November 2009.
51. Sébastien Combéfis, and Charles Pecheur. A Bisimulation-Based Approach to the Analysis of Human-Computer Interaction. In Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2019), 101-110, Pittsburgh, PA, USA, July 2009.

2008 ​

52. Sébastien Combéfis. Formal Analysis of Human-Automation Interaction. In Proceedings of the 8th International Summer School on MOdelling and VErifying parallel Processes (MOVEP 2008), Orléans, France, June 2008.

2007 ​

53. Sébastien Combéfis, and Jean Miller. Viral Marketing and Community Detection Algorithm. Master Thesis. Université catholique de Louvain (UCLouvain), Belgium, June 2007.