User menu

Accès à distance ? S'identifier sur le proxy UCLouvain

Search

Displaying 17 results.
    • Speech
    Operational model: integrating user tasks and environment information with system model
    Combéfis, Sébastien[UCL] (2009) 3rd International Workshop on Formal Methods for Interactive Systems (FMIS 2009) — Eindhoven, Netherlands
    • Speech
    Operational model: integrating user tasks and environment information with system model
    Combéfis, Sébastien[UCL] (2009) 3rd International Workshop on Formal Methods for Interactive Systems (FMIS 2009) — Eindhoven, Netherlands
    • Speech
    Three-Step Transformation of a Traditional University Course into a MOOC: a LouvainX Experience
    Combéfis, Sébastien Van Roy, Peter[UCL] (2015) EMOOCS 2015 (Third MOOC European Stakeholders Summit) — Mons, Belgium
    • Journal article
    Belgian Olympiads in Informatics: the story of launching a national contest
    Combéfis, Sébastien[UCL] Leroy, Damien[UCL] (2011) Olympiads in Informatics — Vol. 5, p. 131-139 (2011)
    • Speech
    Recasting a traditional course into a MOOC by means of a SPOC
    Combéfis, Sébastien[UCL] Bibal, Adrien[UCL] Van Roy, Peter[UCL] (2014) EMOOCs 2014, the Second MOOC European Stakeholders Summit — Lausanne, Switzerland
    • BookChapter
    Learning Safe Interactions and Full-Control
    Maudoux, Guillaume[UCL] Pecheur, Charles[UCL] Combéfis, Sébastien[UCL] (2017) Formal Methods in Human Computer Interactions —
    • Speech
    Tasks Decomposition of System Models for Human-Machine Interaction Analysis
    Maudoux, Guillaume[UCL] Combéfis, Sébastien[UCL] Pecheur, Charles[UCL] (2015) Workshop on Formal Methods in Human Computer Interaction (FoMHCI), in conjunction with ACM SIGCHI Symposium on Enginnering Interactive Computing Systems (EICS) 2015 — Duisburg, Germany
    • Speech
    State Event Models for the Formal Analysis of Human-Machine Interactions
    Combéfis, Sébastien[UCL] Giannakopoulou, Dimitra Pecheur, Charles[UCL] (2014) AAAI 2014 Symposium "Modeling in Human Machine Systems: Challenges for Formal Verification" — Palo Alto, 2014
    • Journal article
    Automatic Detection of Potential Automation Surprises for ADEPT Models
    Combéfis, Sébastien[UCL] Giannakopoulou, Dimitra Pecheur, Charles[UCL] (2016) IEEE Transactions on Human-Machine Systems — Vol. 46, no. 2, p. 267-278 (2016)
    • Speech
    A bisimulation-based approach to the analysis of human-computer interaction
    Combéfis, Sébastien[UCL] Pecheur, Charles[UCL] (2009) the acm sigchi symposium on engineering interactive computing systems — Pittsburgh, Pennsylvania, USA.
    • Speech
    A JavaPathfinder Extension to Analyse Human-Machine Interactions
    Combéfis, Sébastien[UCL] Giannakopoulou, Dimitra Pecheur, Charles[UCL] Mehlitz, Peter (2011) The Java Pathfinder Workshop 2011 — Oread, Lawrence, Kansas
    • Speech
    Transforming a University Course into a Two-public Sustainable MOOC
    Combéfis, Sébastien[UCL] Vande Kerckhove, Corentin[UCL] Van Roy, Peter[UCL] (2015) HybridEd Workshop on MOOC-based Models for Hybrid Pedagogies — Toledo, Spain