Samy Jaziri

Publication Activity (10 Years)

Years Active: 2014-2021
Publications (10 Years): 3

Top Topics

Prime Implicates

Top Venues

Int. J. Softw. Tools Technol. Transf.

University of Paris-Saclay, France (PHD)

Education History

University of Paris-Saclay, France

PHD

Publications

Patricia Bouyer, Léo Henry, Samy Jaziri, Thierry Jéron, Nicolas Markey
Diagnosing timed automata using timed markings. Int. J. Softw. Tools Technol. Transf. 23 (2) (2021)
Patricia Bouyer, Samy Jaziri, Nicolas Markey
Efficient Timed Diagnosis Using Automata with Timed Domains. RV (2018)
Patricia Bouyer, Samy Jaziri, Nicolas Markey
On the Determinization of Timed Systems. FORMATS (2017)
Patricia Bouyer, Samy Jaziri, Nicolas Markey
On the Value Problem in Weighted Timed Games. CONCUR (2015)
Samy Jaziri, Kim Guldstrand Larsen, Radu Mardare, Bingtian Xue
Adequacy and Complete Axiomatization for Timed Modal Logic. MFPS (2014)