2019

  1. Sébastien Combéfis, Guillaume de Moffarts, Mile Jovanov. TLCS: A Digital Library with Resources to Teach and Learn Computer Science. Dans Olympiads in Informatics, 13:3-20, 2019. PDF Slides

2017

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

2016

  1. Sébastien Combéfis, Arnaud Schils. Automatic Programming Error Class Identification with Code Plagiarism-Based Clustering. Dans Actes du 2ème Int'l Code Hunt Workshop on Educational Software Engineering, 1-6, Seattle, WA, USA, Novembre 2016. PDF Slides
  2. Sébastien Combéfis, Gytautas Beresnevičius, Valentina Dagienė. Learning Programming through Games and Contests: Overview, Characterisation and Discussion. Dans Olympiads in Informatics, 10:39-60, 2016. PDF
  3. Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur. Automatic Detection of Potential Automation Surprises for ADEPT Models. Dans IEEE Transactions on Human-Machine Systems, 46(2):267-278, 2016. PDF
  4. 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. Dans Actes du European MOOCs Stakeholders Summit 2016, 521-525, Graz, Autriche, Février 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. Présenté au HybridEd Workshop: MOOC-based Models for Hybrid Pedagogies, Toledo, Espagne, Septembre 2015. PDF Slides
  2. Sébastien Combéfis, Chantal Poncin. Web Platform to Support Teaching Programming with Snap! and Manage Pupils' Learning. Dans Actes de la Scratch Conference 2015, Amsterdam, Pays-Bas, Aout 2015. PDF Slides
  3. Sébastien Combéfis, Alexis Paques. Pythia reloaded: an Intelligent Unit Testing-Based Code Grader for Education. Dans Actes du 1er Int'l Code Hunt Workshop on Educational Software Engineering, 5-8, Baltimore, MD, USA, Juillet 2015. PDF Slides
  4. Sébastien Combéfis, Alexis Paques. Organising National Olympiads in Informatics: a Review of Selection Processes, Trainings and Promotion Activities. Dans 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. Dans Actes du Workshop on Formal Methods in Human Computer Interaction, 7-12, Duisburg, Allemagne, Juin 2015. PDF
  6. Sébastien Combéfis, Peter Van Roy. Three-Step Transformation of a Traditional University Course into a MOOC: a LouvainX Experience. Dans Actes du European MOOCs Stakeholders Summit 2015, 76-80, Mons, Belgique, Mai 2015. PDF Slides

2014

  1. Sébastien Combéfis, Jérémy Wautelet. Programming Trainings and Informatics Teaching Through Online Contests. Dans 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. Mémoire de master complémentaire. Université catholique de Louvain (UCLouvain), Belgique, Juin 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. Présenté au 28ème Congrès de l'Association Internationale de Pédagogie Universitaire, Mons, Belgique, Mai 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. Présenté au 28ème Congrès de l'Association Internationale de Pédagogie Universitaire, Mons, Belgique, Mai 2014. Slides
  5. Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur. State Event Models for the Formal Analysis of Human-Machine Interactions. Dans Actes du Formal Verification and Modeling in Human-Machine Systems AAAI Spring Symposium, 15-20, Palo Alto, CA, USA, Mars 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. Dans Actes du European MOOCs Stakeholders Summit 2014, 205-208, Lausanne, Suisse, Février 2014. PDF Slides

2013

  1. Sébastien Combéfis, Jean-François Rees. The LouvainX Courses: Selection, Support and On-campus Activities. Poster présenté au edX Consortium Meeting, Boston, MA, USA, Novembre 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 présenté au edX Consortium Meeting, Boston, MA, USA, Novembre 2013. Poster
  3. Sébastien Combéfis. A Formal Framework for the Analysis of Human-Machine Interactions. Thèse de doctorat. Université catholique deLouvain (UCLouvain), Belgique, Novembre 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. Dans 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. Dans 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. Dans Actes du Workshop on Formal Methods in Human-Machine Interaction, 9-11, Londres, UK, Mai 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 !. Dans Actes du 27ème Congrès de l'Association Internationale de Pédagogie Universitaire, Trois-Rivières, QC, Canada, Mai 2012. PDF Slides

2011

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

2009

  1. Sébastien Combéfis, Charles Pecheur. LTS-Based Analysis of Interactive Systems. Poster présenté au MoVES Annual Meeting, Louvain-la-Neuve, Belgique, Décembre 2009. Poster
  2. Sébastien Combéfis. Operational Model: Integrating User Tasks and Environment Information with System Model. Présenté au 3ème International Workshop on Formal Methods for Interactive Systems, Eindhoven, Pays-Bas, Novembre 2009. PDF Slides
  3. Sébastien Combéfis, Charles Pecheur. A Bisimulation-Based Approach to the Analysis of Human-Computer Interaction. Dans Actes du ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 101-110, Pittsburgh, PA, USA, Juillet 2009. PDF Slides

2008

  1. Sébastien Combéfis. Formal Analysis of Human-Automation Interaction. Dans Actes du 8ème International Summer School on MOdelling and VErifying parallel Processes, Orléans, France, Juin 2008. PDF Slides

2007

  1. Sébastien Combéfis, Jean Miller. Viral Marketing and Community Detection Algorithm. Mémoire de master. Université catholique de Louvain (UCLouvain), Belgique, Juin 2007. PDF

Uppsala, Suède,
    Avril 2015.
Uppsala, Suède, Avril 2015.