Sayan Mitra

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

14EETichakorn Wongpiromsarn, Sayan Mitra, Richard M. Murray, Andrew G. Lamperski: Periodically Controlled Hybrid Systems. HSCC 2009: 396-410
13EEK. Mani Chandy, Sayan Mitra, Concetta Pilotto: Convergence Verification: From Shared Memory to Partially Synchronous Systems. FORMATS 2008: 218-232
12EESeth Gilbert, Nancy A. Lynch, Sayan Mitra, Tina Nolte: Self-stabilizing Mobile Robot Formations with Virtual Nodes. SSS 2008: 188-202
11EESayan Mitra, K. Mani Chandy: A Formalized Theory for Verifying Stability and Convergence of Automata in PVS. TPHOLs 2008: 230-245
10EESayan Mitra, Daniel Liberzon, Nancy A. Lynch: Verifying average dwell time of hybrid systems. ACM Trans. Embedded Comput. Syst. 8(1): (2008)
9EESayan Mitra, Nancy A. Lynch: Trace-Based Semantics for Probabilistic Timed I/O Automata. HSCC 2007: 718-722
8EESayan Mitra, Nancy A. Lynch: Proving Approximate Implementations for Probabilistic I/O Automata. Electr. Notes Theor. Comput. Sci. 174(8): 71-93 (2007)
7EESayan Mitra, Nancy A. Lynch, Daniel Liberzon: Verifying Average Dwell Time by Solving Optimization Problems. HSCC 2006: 476-490
6EEMyla 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
5EEGregory Chockler, Nancy A. Lynch, Sayan Mitra, Joshua A. Tauber: Proving Atomicity: An Assertional Approach. DISC 2005: 152-168
4EEHongping Lim, Dilsun Kirli Kaynar, Nancy A. Lynch, Sayan Mitra: Translating Timed I/O Automata Specifications for Theorem Proving in PVS. FORMATS 2005: 17-31
3EEBen Leong, Sayan Mitra, Barbara Liskov: Path Vector Face Routing: Geographic Routing with Local Face Information. ICNP 2005: 147-158
2EESayan Mitra, Myla Archer: PVS Strategies for Proving Abstraction Properties of Automata. Electr. Notes Theor. Comput. Sci. 125(2): 45-65 (2005)
1EESayan 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)