Presentations

  1. Formal modeling of biological cyclic behavior with checkpoints, the case of the cell cycle with CTL Model-checking at Women In Machine Learning and Data Science (UPMC, Paris VI) (09/2022)

    [Slides] [Recording] [All Information]
  2. A discrete modelling study devoted to the formalization and verification of mammalian cell cycle checkpoints at Lifeware Public Seminar (Inria Saclay) (03/2022)

    [Slides] [All Information]
  3. Mammalian cell cycle, formalizing phases at GT-Bioss Annual Days (Université Claude Bernard Lyon) (11/2021)

    [Slides] [All Information]
  4. Logical modelling in biology through the case study of the cell cycle and its checkpoints at Public Seminar of the Institute of Biology of Valrose (Nice) (06/2021)

    [Slides]
  5. Study of cell cycle checkpoints, specification and verification (in French) at GT-BIOSS Mensual Seminars (Online) (11/2020)

    [Slides] [All Information]
  6. What is a cell cycle checkpoint, The TotemBioNet answer at CMSB 2020 (Online) (09/2020)

    [Slides] [Recording] [All Information]
  7. From phase characterization toward observable properties verification, at NeuroMod Institute - Public PhD Seminar (Sophia Antipolis, France) (12/2019)

    [Slides] [All Information]
  8. (Poster) Logical and incremental formalization of cell cycle checkpoints at JOBIM 2021 (Online) (07/2021)

    [Slides] [All Information]
  9. (Poster) Introduction of Priorities in Biological Regulatory Networks at Modelife Annual Meeting (Frejus, France) (11/2019)

    [Slides]
  10. (Poster) A discrete cell cycle model, From phase characterization toward observable properties verification, at CNRS Summer School - Formal Modelling of Biological Regulation Networks (Porquerolles) (06/2019)

    [Slides] [All Information]