2016

  1. Sébastien Combéfis, 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, 1-6, Seattle, WA, USA, November 2016. PDF Slides
  2. Guillaume Brat, Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur, Franco Raimondi, Neha Rungta. Formal Analysis of Multiple Coordinated HMI Systems. To appear, 2016.
  3. Sébastien Combéfis, Gytautas Beresnevičius, Valentina Dagienė. Learning Programming through Games and Contests: Overview, Characterisation and Discussion. In Olympiads in Informatics, 10:39-60, 2016. PDF
  4. Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur. Automatic Detection of Potential Automation Surprises for ADEPT Models. In IEEE Transactions on Human-Machine Systems, 46(2):267-278, 2016. PDF
  5. Sébastien Combéfis, Marie-Françoise Lefebvre, Quentin Lurkin, Cédric Marchand, Philippe Melotte. TeachEng, a Multi-Paradigm MOOCs Provider Platform to Teach Future Engineers. In Proceedings of the European MOOCs Stakeholders Summit 2016, 521-525, Graz, Austria, February 2016. PDF Poster

2015

  1. Sébastien Combéfis, Corentin Vande Kerckhove, Peter Van Roy. Transforming a University Course into a Two-public Sustainable MOOC. Presented at the HybridEd Workshop: MOOC-based Models for Hybrid Pedagogies, Toledo, Spain, September 2015. PDF Slides
  2. Sébastien Combéfis, Chantal Poncin. Web Platform to Support Teaching Programming with Snap! and Manage Pupils' Learning. In Proceedings of the Scratch Conference 2015, Amsterdam, The Netherlands, August 2015. PDF Slides
  3. Sébastien Combéfis, 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, 5-8, Baltimore, MD, USA, July 2015. PDF Slides
  4. Sébastien Combéfis, Alexis Paques. Organising National Olympiads in Informatics: a Review of Selection Processes, Trainings and Promotion Activities. In Olympiads in Informatics, 9:15-26, 2015. PDF
  5. Guillaume Maudoux, Sébastien Combéfis, Charles Pecheur. Tasks Decomposition of System Models for Human-Machine Interaction Analysis. In Proceedings of the Workshop on Formal Methods in Human Computer Interaction, 7-12, Duisburg, Germany, June 2015. PDF
  6. Sébastien Combéfis, 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, 76-80, Mons, Belgium, May 2015. PDF Slides

2014

  1. Sébastien Combéfis, Jérémy Wautelet. Programming Trainings and Informatics Teaching Through Online Contests. In Olympiads in Informatics, 8:21-34, 2014. PDF Slides
  2. 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 (UCL), Belgium, June 2014. PDF Slides
  3. Sébastien Combéfis, Fabien Duchêne, 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, Mons, Belgium, May 2014. PDF Slides
  4. Sébastien Combéfis, 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, Mons, Belgium, May 2014. Slides
  5. Sébastien Combéfis, Dimitra Giannakopoulou, 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, 15-20, Palo Alto, CA, USA, March 2014. PDF Slides
  6. Sébastien Combéfis, Adrien Bibal, Peter Van Roy. Recasting a Traditional Course into a MOOC by Means of a SPOC. In Proceedings of the European MOOCs Stakeholders Summit 2014, 205-208, Lausanne, Switzerland, February 2014. PDF Slides

2013

  1. Sébastien Combéfis, 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. Poster
  2. Sébastien Combéfis, Adrien Bibal, 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. Poster
  3. Sébastien Combéfis. A Formal Framework for the Analysis of Human-Machine Interactions. PhD Thesis. Université catholique de Louvain (UCL), Belgium, November 2013. PDF Slides Slides
  4. Sébastien Combéfis, Virginie Van den Schrieck, Alexis Nootens. Growing Algorithmic Thinking Through Interactive Problems to Encourage Learning Programming. In Olympiads in Informatics, 7:3-13, 2013. PDF Slides

2012

  1. Sébastien Combéfis, 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. PDF Slides
  2. Sébastien Combéfis, 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, 9-11, London, UK, May 2012. PDF
  3. Jim Plumat, Chantal Poncin, Delphine Ducarme, 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, Trois-Rivières, QC, Canada, May 2012. PDF Slides

2011

  1. Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur, Peter Mehlitz. A JavaPathfinder Extension to Analyse Human-Machine Interactions. In Proceedings of the Java Pathfinder Workshop 2011, Lawrence, KA, USA, November 2011. PDF Slides
  2. Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur, Michael Feary. Learning System Abstractions for Human Operators. In Proceedings of the 2011 International Workshop on Machine Learning Technologies in Software Engineering, 3-10, Lawrence, KA, USA, November 2011. PDF Slides
  3. Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur, 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, 1801-1808, Anchorage, AK, USA, October 2011. PDF Slides
  4. Sébastien Combéfis, Damien Leroy. Belgian Olympiads in Informatics: The Story of Launching a National Contest. In Olympiads in Informatics, 5:131-139, 2011. PDF Slides

2009

  1. Sébastien Combéfis, Charles Pecheur. LTS-Based Analysis of Interactive Systems. Poster presented at the MoVES Annual Meeting, Louvain-la-Neuve, Belgium, December 2009. Poster
  2. 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, Eindhoven, The Netherlands, November 2009. PDF Slides
  3. Sébastien Combéfis, 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, 101-110, Pittsburgh, PA, USA, July 2009. PDF Slides

2008

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

2007

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

Uppsala, Sweden,
    April 2015.
Uppsala, Sweden, April 2015.