Sayan Mitra

	2009
17		Pavithra Prabhakar, Sayan Mitra, Mahesh Viswanathan: On Convergence of Concurrent Systems under Regular Interactions. CONCUR 2009: 527-541
16		Tichakorn Wongpiromsarn, Sayan Mitra, Richard M. Murray, Andrew G. Lamperski: Periodically Controlled Hybrid Systems. HSCC 2009: 396-410
15		Robert E. Lee DeVille, Sayan Mitra: Stability of Distributed Algorithms in the Face of Incessant Faults. SSS 2009: 224-237
14		Seth Gilbert, Nancy A. Lynch, Sayan Mitra, Tina Nolte: Self-stabilizing robot formations over unreliable networks. TAAS 4(3): (2009)
	2008
13		K. Mani Chandy, Sayan Mitra, Concetta Pilotto: Convergence Verification: From Shared Memory to Partially Synchronous Systems. FORMATS 2008: 218-232
12		Seth Gilbert, Nancy A. Lynch, Sayan Mitra, Tina Nolte: Self-stabilizing Mobile Robot Formations with Virtual Nodes. SSS 2008: 188-202
11		Sayan Mitra, K. Mani Chandy: A Formalized Theory for Verifying Stability and Convergence of Automata in PVS. TPHOLs 2008: 230-245
10		Sayan Mitra, Daniel Liberzon, Nancy A. Lynch: Verifying average dwell time of hybrid systems. ACM Trans. Embedded Comput. Syst. 8(1): (2008)
	2007
9		Sayan Mitra, Nancy A. Lynch: Trace-Based Semantics for Probabilistic Timed I/O Automata. HSCC 2007: 718-722
8		Sayan Mitra, Nancy A. Lynch: Proving Approximate Implementations for Probabilistic I/O Automata. Electr. Notes Theor. Comput. Sci. 174(8): 71-93 (2007)
	2006
7		Sayan Mitra, Nancy A. Lynch, Daniel Liberzon: Verifying Average Dwell Time by Solving Optimization Problems. HSCC 2006: 476-490
6		Myla Archer, Hongping Lim, Nancy A. Lynch, Sayan Mitra, Shinya Umeno: Specifying and proving properties of timed I/O automata in the TIOA toolkit. MEMOCODE 2006: 129-138
	2005
5		Gregory Chockler, Nancy A. Lynch, Sayan Mitra, Joshua A. Tauber: Proving Atomicity: An Assertional Approach. DISC 2005: 152-168
4		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
3		Ben Leong, Sayan Mitra, Barbara Liskov: Path Vector Face Routing: Geographic Routing with Local Face Information. ICNP 2005: 147-158
2		Sayan Mitra, Myla Archer: PVS Strategies for Proving Abstraction Properties of Automata. Electr. Notes Theor. Comput. Sci. 125(2): 45-65 (2005)
	2003
1		Sayan Mitra, Yong Wang, Nancy A. Lynch, Eric Feron: Safety Verification of Model Helicopter Controller Using Hybrid Input/Output Automata. HSCC 2003: 343-358

Coauthor Index

1	Myla Archer	[2] [6]
2	K. Mani Chandy	[11] [13]
3	Gregory Chockler	[5]
4	Robert E. Lee DeVille	[15]
5	Eric Feron	[1]
6	Seth Gilbert	[12] [14]
7	Dilsun Kirli Kaynar	[4]
8	Andrew G. Lamperski	[16]
9	Ben Leong	[3]
10	Daniel Liberzon	[7] [10]
11	Hongping Lim	[4] [6]
12	Barbara Liskov	[3]
13	Nancy A. Lynch	[1] [4] [5] [6] [7] [8] [9] [10] [12] [14]
14	Richard M. Murray	[16]
15	Tina Nolte	[12] [14]
16	Concetta Pilotto	[13]
17	Pavithra Prabhakar	[17]
18	Joshua A. Tauber	[5]
19	Shinya Umeno	[6]
20	Mahesh Viswanathan	[17]
21	Yong Wang	[1]
22	Tichakorn Wongpiromsarn	[16]

Colors in the list of coauthors