 | 2009 |
|---|
| 9 |       | Marius C. Bujorianu,
Howard Barringer:
An Integrated Specification Logic for Cyber-Physical Systems.
ICECCS 2009: 291-300 |
| 8 |  | 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 |
|---|
| 7 | | 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 |
| 2007 |
|---|
| 6 | | Marius C. Bujorianu,
Manuela L. Bujorianu:
Towards Hilbertian Formal Methods.
ACSD 2007: 240-241 |
| 5 | | Marius C. Bujorianu,
Manuela L. Bujorianu:
An Integrated Specification Framework for Embedded Systems.
SEFM 2007: 161-172 |
| 2006 |
|---|
| 4 | | Manuela L. Bujorianu,
Marius C. Bujorianu:
Model Checking for a Class of Performance Properties of Fluid Stochastic Models.
EPEW 2006: 93-107 |
| 2005 |
|---|
| 3 | | Manuela L. Bujorianu,
John Lygeros,
Marius C. Bujorianu:
Bisimulation for General Stochastic Hybrid Systems.
HSCC 2005: 198-214 |
| 2004 |
|---|
| 2 | | Marius C. Bujorianu,
Eerke A. Boiten:
Towards Correspondence Carrying Specifications.
AMAST 2004: 57-71 |
| 1 | | Marius C. Bujorianu:
Integration of Specification Languages Using Viewpoints.
IFM 2004: 421-440 |
