| |
| 2008 | ||
|---|---|---|
| 7 | EE | Manuela L. Bujorianu, John Lygeros, Rom Langerak: Reachability Analysis of Stochastic Hybrid Systems by Optimal Control. HSCC 2008: 610-613 |
| 2007 | ||
| 6 | EE | Marius C. Bujorianu, Manuela L. Bujorianu: Towards Hilbertian Formal Methods. ACSD 2007: 240-241 |
| 5 | EE | Marius C. Bujorianu, Manuela L. Bujorianu: An Integrated Specification Framework for Embedded Systems. SEFM 2007: 161-172 |
| 2006 | ||
| 4 | EE | Manuela L. Bujorianu, Marius C. Bujorianu: Model Checking for a Class of Performance Properties of Fluid Stochastic Models. EPEW 2006: 93-107 |
| 2005 | ||
| 3 | EE | Manuela L. Bujorianu, John Lygeros, Marius C. Bujorianu: Bisimulation for General Stochastic Hybrid Systems. HSCC 2005: 198-214 |
| 2004 | ||
| 2 | EE | Manuela L. Bujorianu: Extended Stochastic Hybrid Systems and Their Reachability Problem. HSCC 2004: 234-249 |
| 2003 | ||
| 1 | EE | Manuela L. Bujorianu, John Lygeros: Reachability Questions in Piecewise Deterministic Markov Processes. HSCC 2003: 126-140 |
| 1 | Marius C. Bujorianu | [3] [4] [5] [6] |
| 2 | Rom Langerak | [7] |
| 3 | John Lygeros | [1] [3] [7] |