| |
| 2008 | ||
|---|---|---|
| 3 | EE | Mardavij Roozbehani, Alexandre Megretski, Emilio Frazzoli, Eric Feron: Distributed Lyapunov Functions in Analysis of Graph Models of Software. HSCC 2008: 443-456 |
| 2007 | ||
| 2 | EE | Eric Feron, Mardavij Roozbehani: Certifying controls and systems software CoRR abs/cs/0701132: (2007) |
| 2005 | ||
| 1 | EE | Mardavij Roozbehani, Eric Feron, Alexandre Megretski: Modeling, Optimization and Computation for Software Verification. HSCC 2005: 606-622 |
| 1 | Eric Feron | [1] [2] [3] |
| 2 | Emilio Frazzoli | [3] |
| 3 | Alexandre Megretski | [1] [3] |