Incremental Methods for Checking Real-Time Consistency. - Thierry Jéron; Nicolas Markey; David Mentré; Reiya Noguchi; Ocan Sankur (FORMATS, 2020)

Repairing Real-Time Requirements. - Reiya Noguchi; Ocan Sankur; Thierry Jéron; Nicolas Markey; David Mentré (ATVA, 2022)

Online Test Synthesis From Requirements: Enhancing Reinforcement Learning with Game Theory. - Ocan Sankur; Thierry Jéron; Nicolas Markey; David Mentré; Reiya Noguchi (CoRR, 2024)