WCET of OCaml Bytecode on Microcontrollers: An Automated Method and Its Formalisation. - Steven Varoumas; Tristan Crolard (WCET, 2019)

Modèles de programmation de haut niveau pour microcontrôleurs à faibles ressources. (High-level programming models for microcontrollers with scarce resources). - Steven Varoumas (2019)

Programming microcontrollers through high-level abstractions. - Steven Varoumas; Basile Pesin; Benoît Vaugon; Emmanuel Chailloux (VMIL@SPLASH, 2020)

Low Cost High Integrity Platform. - Thierry Lecomte; David Déharbe; Denis Sabatier; Étienne Prun; Patrick Péronne; Emmanuel Chailloux; Steven Varoumas; Adilla Susungi; Sylvain Conchon (CoRR, 2020)

Programming microcontrollers through high-level abstractions: The OMicroB project. - Steven Varoumas; Basile Pesin; Benoît Vaugon; Emmanuel Chailloux (J. Comput. Lang., 2023)