Verified Runtime Assertion Checking for Memory Properties. - Dara Ly; Nikolai Kosmatov; Frédéric Loulergue; Julien Signoles (TAP@STAF, 2020)

Formalisation d'un vérificateur dynamique de propriétés mémoire pour programmes C. (Formalization of a Runtime Assertion Checker for Memory Properties of C Programs). - Dara Ly (2022)

Sound Runtime Assertion Checking for Memory Properties via Program Transformation. - Dara Ly; Nikolai Kosmatov; Frédéric Loulergue; Julien Signoles (Formal Aspects Comput., 2024)