Conference Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols 2006 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 4167:238-253 Canetti R, Cheung L, Kaynar D, Liskov M, Lynch N, Pereira O, Segala R
Conference Translating Timed I/O Automata Specifications for Theorem Proving in PVS 2005 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 3829:17-31 Lim H, Kaynar D, Lynch N, Mitra S
Journal Article Decomposing Verification of Timed I/O Automata 2004 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 3253:84-101 Kaynar DK, Lynch N
Conference Timed I/O automata: A mathematical framework for modeling and analyzing real-time systems 2003 • Proceedings - Real-Time Systems Symposium • 166-177 Kaynar DK, Lynch N, Segala R, Vaandrager F
