Marius C. Bujorianu

Publication Activity (10 Years)

Years Active: 2004-2013
Publications (10 Years): 0

Top Topics

Computational Models

Top Venues

Publications

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