Seguir
Guillaume Maudoux
Guillaume Maudoux
Dirección de correo verificada de uclouvain.be
Título
Citado por
Citado por
Año
Correct, efficient, and tailored: The future of build systems
G Maudoux, K Mens
IEEE Software 35 (2), 32-37, 2018
232018
Bringing incremental builds to continuous integration
G Maudoux, K Mens
Proc. 10th Seminar Series Advanced Techniques & Tools for Software Evolution …, 2017
112017
Lessons and Pitfalls in Building Firefox with Tup.
G Maudoux, K Mens
SATToSE, 2019
62019
Combining DASH with MPTCP for video streaming
LV Peschke, O Bonaventure, B Hesmans, G Maudoux
Master’s thesis, 2017
42017
Learning safe interactions and full-control
G Maudoux, C Pecheur, S Combéfis
The Handbook of Formal Methods in Human-Computer Interaction, 297-317, 2017
22017
Tasks Decomposition of System Models for Human-Machine Interaction Analysis
G Maudoux, S Combéfis, C Pecheur
Computer 7, 12, 2015
12015
Build outside of the (sand) box
G Maudoux
NixCon 2019, 2019
2019
Incremental Package Builds
G Maudoux
NixCon 2017, 2017
2017
A formal proof for Speculative Snapshot Isolation
P VAN ROY, Z LI, G MAUDOUX, X GILLARD
" Summarising and visualising large acyclic graphs
P Stormme, K Mens, G Maudoux
Grindcore: description et analyse du genre
G Maudoux, C Pirenne
An Oz implementation using Truffle and Graal
M Istasse, P Van Roy, B Daloze, G Maudoux
Réalisation d’un site web participatif pour la présentation de langages, paradigmes et concepts de programmation
B Georges, K Mens, G Maudoux, C Pecheur
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–13