Marius C. Bujorianu

17 papers B 3Unranked 14
YearRankTypeTitle / Venue / Authors
2013 — conf
A coordination model for ultra-large scale systems of systems.
AiSoS
Manuela-Luminita Bujorianu, Marius C. Bujorianu
2012 — conf
Contingent Hybrid Systems.
ADHS
Manuela-Luminita Bujorianu, Marius C. Bujorianu
2011 — conf
Stochastic non sequitur behavior analysis of fault tolerant hybrid systems.
HSCC
Manuela-Luminita Bujorianu, Marius C. Bujorianu
2011 — conf
Systems theory in an analytic setting.
CDC/ECC
Manuela-Luminita Bujorianu, Marius C. Bujorianu, Howard Barringer
2009 B conf
An Integrated Specification Logic for Cyber-Physical Systems.
ICECCS
Marius C. Bujorianu, Howard Barringer
2009 — conf
Co-evolution Preserving Model Reduction for Uncertain Cyber-physical Systems - Towards a Framework for Nanoscience.
ICINCO-SPSMC
Manuela-Luminita Bujorianu, Marius C. Bujorianu
2009 — conf
State Constrained Reachability for Stochastic Hybrid Systems.
ADHS
Manuela-Luminita Bujorianu, Marius C. Bujorianu
2009 — conf
Towards Co-Engineering Communicating Autonomous Cyber-physical Systems.
NASA Formal Methods
Manuela-Luminita Bujorianu, Marius C. Bujorianu
2008 — conf
A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems.
CLIMA
Marius C. Bujorianu, Manuela-Luminita Bujorianu, Howard Barringer
2007 B conf
An Integrated Specification Framework for Embedded Systems.
SEFM
Marius C. Bujorianu, Manuela-Luminita Bujorianu
2007 — conf
Towards Hilbertian Formal Methods.
ACSD
Marius C. Bujorianu, Manuela-Luminita Bujorianu
2006 — conf
Model Checking for a Class of Performance Properties of Fluid Stochastic Models.
EPEW
Manuela-Luminita Bujorianu, Marius C. Bujorianu
2006 — conf
Viewpoint Development of Stochastic Hybrid Systems.
CDC
Manuela-Luminita Bujorianu, Marius C. Bujorianu
2005 — conf
Abstractions of Stochastic Hybrid Systems.
CDC/ECC
Manuela-Luminita Bujorianu, Marius C. Bujorianu, John Lygeros
2005 — conf
Bisimulation for General Stochastic Hybrid Systems.
HSCC
Manuela-Luminita Bujorianu, John Lygeros, Marius C. Bujorianu
2004 B conf
Integration of Specification Languages Using Viewpoints.
IFM
Marius C. Bujorianu
2004 — conf
Towards Correspondence Carrying Specifications.
AMAST
Marius C. Bujorianu, Eerke A. Boiten