Utilization of Timed Automata as a Verification Tool for Security Protocols

Koltuksuz, Ahmet; Külahçıoğlu, Burcu; Ozkan, Murat

doi:10.1109/ssiri-c.2010.27

Cited by 6 publications

(1 citation statement)

References 22 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Timed automata is proposed by Alur and Dill [13] in the early nineties as an extension to the classical automata, which is extended with clock variables. Timed automata theory has become an important research area and been widely studied in the context of both formal languages and verification of real time systems [121].…”

Section: Repair Of Timed Automatamentioning

confidence: 99%

Using software testing to repair models

Radavelli

2019

Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of

View full text Add to dashboard Cite

and colleagues at university, in particular Justyna Petke, Paolo Vavassori, Silvia Bonfanti, and Andrea Bombarda, for their contribution throughout my PhD, not only scientifically, but also on a human perspective. A special thank I wish to give to Yu Lei, his family and his team at University of Texas at Arlington for the encouragement and the support in research activities. Thanks to Dimitris Simos and his team at SBA Research in Vienna, for his guidance and openness in collaborating with me.Thanks also to the co-supervisor of my M.Sc. thesis, Prof. Sarah Nadi, for having solicited in me a curiosity for the topics in software product lines, and giving me many clues on how to approach research.Finally, I wish to thank the many kind people (researchers and not) with whom I had the pleasure to interact during the journey to produce this thesis.I would like to thank the University of Bergamo for making it possible.

show abstract

Section: Repair Of Timed Automatamentioning

confidence: 99%