What is a Cell Cycle Checkpoint? The TotemBioNet Answer. - Déborah Boyenval; Gilles Bernot; Hélène Collavizza; Jean-Paul Comet (CMSB, 2020)

Modélisation formelle de comportements cycliques biologiques avec points de contrôle : la régulation du cycle cellulaire. (Formal modelling of cyclic biological behaviours with checkpoints : the cell cycle regulation). - Déborah Boyenval (2022)

BoNesis: a Python-Based Declarative Environment for the Verification, Reprogramming, and Synthesis of Most Permissive Boolean Networks. - Stéphanie Chevalier; Déborah Boyenval; Gustavo Magaña López; Théo Roncalli; Athénaïs Vaginay; Loïc Paulevé (CMSB, 2024)