Learning Safe Interactions and Full-Control. - Guillaume Maudoux; Charles Pecheur; Sébastien Combéfis (Handbook of Formal Methods in Human-Computer Interaction, 2017)

Correct, Efficient, and Tailored: The Future of Build Systems. - Guillaume Maudoux; Kim Mens (IEEE Softw., 2018)

Lessons and Pitfalls in Building Firefox with Tup. - Guillaume Maudoux; Kim Mens (SATToSE, 2019)