2009 |
14 | EE | Tichakorn Wongpiromsarn,
Sayan Mitra,
Richard M. Murray,
Andrew G. Lamperski:
Periodically Controlled Hybrid Systems.
HSCC 2009: 396-410 |
2008 |
13 | EE | K. Mani Chandy,
Sayan Mitra,
Concetta Pilotto:
Convergence Verification: From Shared Memory to Partially Synchronous Systems.
FORMATS 2008: 218-232 |
12 | EE | Seth Gilbert,
Nancy A. Lynch,
Sayan Mitra,
Tina Nolte:
Self-stabilizing Mobile Robot Formations with Virtual Nodes.
SSS 2008: 188-202 |
11 | EE | Sayan Mitra,
K. Mani Chandy:
A Formalized Theory for Verifying Stability and Convergence of Automata in PVS.
TPHOLs 2008: 230-245 |
10 | EE | Sayan Mitra,
Daniel Liberzon,
Nancy A. Lynch:
Verifying average dwell time of hybrid systems.
ACM Trans. Embedded Comput. Syst. 8(1): (2008) |
2007 |
9 | EE | Sayan Mitra,
Nancy A. Lynch:
Trace-Based Semantics for Probabilistic Timed I/O Automata.
HSCC 2007: 718-722 |
8 | EE | 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 | EE | Sayan Mitra,
Nancy A. Lynch,
Daniel Liberzon:
Verifying Average Dwell Time by Solving Optimization Problems.
HSCC 2006: 476-490 |
6 | EE | 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 | EE | Gregory Chockler,
Nancy A. Lynch,
Sayan Mitra,
Joshua A. Tauber:
Proving Atomicity: An Assertional Approach.
DISC 2005: 152-168 |
4 | EE | 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 | EE | Ben Leong,
Sayan Mitra,
Barbara Liskov:
Path Vector Face Routing: Geographic Routing with Local Face Information.
ICNP 2005: 147-158 |
2 | EE | Sayan Mitra,
Myla Archer:
PVS Strategies for Proving Abstraction Properties of Automata.
Electr. Notes Theor. Comput. Sci. 125(2): 45-65 (2005) |
2003 |
1 | EE | Sayan Mitra,
Yong Wang,
Nancy A. Lynch,
Eric Feron:
Safety Verification of Model Helicopter Controller Using Hybrid Input/Output Automata.
HSCC 2003: 343-358 |