Adequacy and Complete Axiomatization for Timed Modal Logic. - Samy Jaziri; Kim Guldstrand Larsen; Radu Mardare; Bingtian Xue (MFPS, 2014)

On the Value Problem in Weighted Timed Games. - Patricia Bouyer; Samy Jaziri; Nicolas Markey (CONCUR, 2015)

On the Determinization of Timed Systems. - Patricia Bouyer; Samy Jaziri; Nicolas Markey (FORMATS, 2017)

Efficient Timed Diagnosis Using Automata with Timed Domains. - Patricia Bouyer; Samy Jaziri; Nicolas Markey (RV, 2018)

Automate sur les structures temporisée. (Automata on timed structures). - Samy Jaziri (2019)

Diagnosing timed automata using timed markings. - Patricia Bouyer; Léo Henry; Samy Jaziri; Thierry Jéron; Nicolas Markey (Int. J. Softw. Tools Technol. Transf., 2021)