Dilsun Kirli Kaynar

	2009
13		Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager: The Theory of Timed I/O Automata Morgan & Claypool Publishers 2009
12		Anupam Datta, Jason Franklin, Deepak Garg, Dilsun Kirli Kaynar: A Logic of Secure Systems and its Application to Trusted Computing. IEEE Symposium on Security and Privacy 2009: 221-236
	2008
11		Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira: Modeling Computational Security in Long-Lived Systems. CONCUR 2008: 114-130
10		Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala: Analyzing Security Protocols Using Time-Bounded Task-PIOAs. Discrete Event Dynamic Systems 18(1): 111-159 (2008)
	2007
9		Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira: Compositional Security for Task-PIOAs. CSF 2007: 125-139
	2006
8		Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala: Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols. DISC 2006: 238-253
	2005
7		Hongping Lim, Dilsun Kirli Kaynar, Nancy A. Lynch, Sayan Mitra: Translating Timed I/O Automata Specifications for Theorem Proving in PVS. FORMATS 2005: 17-31
	2004
6		Dilsun Kirli Kaynar, Nancy A. Lynch: Decomposing Verification of Timed I/O Automata. FORMATS/FTRTFT 2004: 84-101
5		Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsun Kirli Kaynar, Nancy A. Lynch: Using simulated execution in verifying distributed algorithms. STTT 6(1): 67-76 (2004)
	2003
4		Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager: Timed I/O Automata: A Mathematical Framework for Modeling and Analyzing Real-Time Systems. RTSS 2003: 166-177
3		Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsun Kirli Kaynar, Nancy A. Lynch: Using Simulated Execution in Verifying Distributed Algorithms. VMCAI 2003: 283-297
	2002
2		Dilsun Kirli Kaynar: Distributed call-tracking for security. Comput. Lang. 28(1): 129-154 (2002)
	2000
1		Chris Walton, Dilsun Kirli Kaynar, Stephen Gilmore: An abstract machine model of dynamic module replacement. Future Generation Comp. Syst. 16(7): 793-808 (2000)

Coauthor Index

1	Ran Canetti	[8] [9] [10] [11]
2	Ling Cheung	[8] [9] [10] [11]
3	Anupam Datta	[12]
4	Michael D. Ernst	[3] [5]
5	Jason Franklin	[12]
6	Deepak Garg	[12]
7	Stephen J. Garland	[3] [5]
8	Stephen Gilmore (Stephen T. Gilmore)	[1]
9	Hongping Lim	[7]
10	Moses Liskov	[8] [10]
11	Nancy A. Lynch	[3] [4] [5] [6] [7] [8] [9] [10] [11] [13]
12	Sayan Mitra	[7]
13	Olivier Pereira	[8] [9] [10] [11]
14	Roberto Segala	[4] [8] [10] [13]
15	Frits W. Vaandrager	[4] [13]
16	Chris Walton	[1]
17	Toh Ne Win	[3] [5]

Colors in the list of coauthors