Samy Jaziri

According to our database, Samy Jaziri authored at least 6 papers between 2014 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

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

2019

Automate sur les structures temporisée. (Automata on timed structures).

Samy Jaziri

PhD thesis, 2019

2018

Efficient Timed Diagnosis Using Automata with Timed Domains.

Patricia Bouyer, Samy Jaziri, Nicolas Markey

Proceedings of the Runtime Verification - 18th International Conference, 2018

2017

On the Determinization of Timed Systems.

Patricia Bouyer, Samy Jaziri, Nicolas Markey

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

2015

On the Value Problem in Weighted Timed Games.

Patricia Bouyer, Samy Jaziri, Nicolas Markey

Proceedings of the 26th International Conference on Concurrency Theory, 2015

2014

Adequacy and Complete Axiomatization for Timed Modal Logic.

Samy Jaziri, Kim Guldstrand Larsen, Radu Mardare, Bingtian Xue

Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, 2014