| * | 2009 |
|---|
| 10 | | Manuela L. Bujorianu,
Marius C. Bujorianu:
Co-evolution Preserving Model Reduction for Uncertain Cyber-physical Systems - Towards a Framework for Nanoscience.
ICINCO-SPSMC 2009: 39-46 |
| 2008 |
|---|
| 9 | EE | Manuela L. Bujorianu,
Joost-Pieter Katoen:
Symmetry reduction for stochastic hybrid systems.
CDC 2008: 233-238 |
| 8 | EE | Marius C. Bujorianu,
Manuela L. Bujorianu,
Howard Barringer:
A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems.
CLIMA IX 2008: 97-116 |
| 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 |
