User menu

Accès à distance en utilisant le proxy de l'UCL :

All Publications

Displaying 6 results.
    • Speech
    Bringing Incremental Builds to Continuous Integration
    Maudoux, Guillaume[UCL] Mens, Kim[UCL] (2017) SaTToSE -- Seminar Series on Advanced Techniques & Tools for Software Evolution — Madrid (Spain)
    • Journal article
    Correct, Efficient and Tailored: The Future of Build Systems
    Maudoux, Guillaume[UCL] Mens, Kim[UCL] (2018) IEEE Software — Vol. 35, p. 10 (2018)
    • Speech
    Incremental Package Builds
    Maudoux, Guillaume[UCL] (2017) NixCon 2017 — Munich (Germany)
    • 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
    • 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
    Lessons and Pitfalls in Building Firefox with Tup
    Maudoux, Guillaume[UCL] Mens, Kim[UCL] (2019) 12th Seminar on Advanced Techniques Tools for Software Evolution — Bolzano, Italy