Sébastien Combéfis

Orcid: 0000-0002-8987-9589

According to our database1, Sébastien Combéfis authored at least 17 papers between 2009 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Raising Young Pupils and Students' Awareness Levels About the Impacts of Digital Technologies on the Environment, Climate, Health and Well-Being Through a Challenge.
Proceedings of the IEEE Frontiers in Education Conference, 2023

Using Continuous Competency-Based Assessment as a Success Support Service in Higher Education.
Proceedings of the IEEE Frontiers in Education Conference, 2023

2022
Continuous Competency-Based Assessment: Impact of Regular Student Involvement on their Performances and Success.
Proceedings of the IEEE Frontiers in Education Conference, 2022

2021
Transforming a Course with a Traditional Evaluation into a Competency-Based Assessment Approach: a Practical Experiment.
Proceedings of the IEEE Frontiers in Education Conference, 2021

A COVID-19 Teaching Experiment: Combining Competency-Based Assessment and Micro-Courses to Teach Technical and Non-Technical Skills.
Proceedings of the IEEE Frontiers in Education Conference, 2021

2020
Bebras Based Activities for Computer Science Education: Review and Perspectives.
Proceedings of the Informatics in Schools. Engaging Learners in Computational Thinking, 2020

Challengr, a Classroom Response System for Competency Based Assessment and Real-Time Feedback with Micro-Contests.
Proceedings of the IEEE Frontiers in Education Conference, 2020

Reinventing Evaluations with Competency Based Assessments: a Practical Experiment with Future Computer Science Engineers.
Proceedings of the IEEE Frontiers in Education Conference, 2020

2019
Automated Generation of Computer Graded Unit Testing-Based Programming Assessments for Education.
CoRR, 2019

2017
Learning Safe Interactions and Full-Control.
Proceedings of the Handbook of Formal Methods in Human-Computer Interaction., 2017

Formal Analysis of Multiple Coordinated HMI Systems.
Proceedings of the Handbook of Formal Methods in Human-Computer Interaction., 2017

2016
Automatic Detection of Potential Automation Surprises for ADEPT Models.
IEEE Trans. Hum. Mach. Syst., 2016

2015
Pythia reloaded: an intelligent unit testing-based code grader for education.
Proceedings of the 1st International Workshop on Code Hunt on Educational Software Engineering, 2015

2014
State Event Models for the Formal Analysis of Human-Machine Interactions.
Proceedings of the 2014 AAAI Spring Symposia, 2014

2013
A formal framework for the analysis of human-machine interactions.
PhD thesis, 2013

2011
A formal framework for design and analysis of human-machine interaction.
Proceedings of the IEEE International Conference on Systems, 2011

2009
A bisimulation-based approach to the analysis of human-computer interaction.
Proceedings of the 1st ACM SIGCHI symposium on Engineering Interactive Computing System , 2009


  Loading...