| 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 |
