Marius C. Bujorianu

According to our database, Marius C. Bujorianu authored at least 17 papers between 2004 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

A coordination model for ultra-large scale systems of systems.

Manuela-Luminita Bujorianu, Marius C. Bujorianu

Proceedings of the Proceedings 1st Workshop on Advances in Systems of Systems, 2013

2012

Contingent Hybrid Systems.

Manuela-Luminita Bujorianu, Marius C. Bujorianu

Proceedings of the 4th IFAC Conference on Analysis and Design of Hybrid Systems, 2012

2011

Stochastic non sequitur behavior analysis of fault tolerant hybrid systems.

Manuela-Luminita Bujorianu, Marius C. Bujorianu

Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

Systems theory in an analytic setting.

Manuela-Luminita Bujorianu, Marius C. Bujorianu, Howard Barringer

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

2009

Towards Co-Engineering Communicating Autonomous Cyber-physical Systems.

Manuela-Luminita Bujorianu, Marius C. Bujorianu

Proceedings of the First NASA Formal Methods Symposium, 2009

Co-evolution Preserving Model Reduction for Uncertain Cyber-physical Systems - Towards a Framework for Nanoscience.

Manuela-Luminita Bujorianu, Marius C. Bujorianu

Proceedings of the ICINCO 2009, Proceedings of the 6th International Conference on Informatics in Control, Automation and Robotics, 2009

An Integrated Specification Logic for Cyber-Physical Systems.

Marius C. Bujorianu, Howard Barringer

Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009

State Constrained Reachability for Stochastic Hybrid Systems.

Manuela-Luminita Bujorianu, Marius C. Bujorianu

Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009

2008

A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems.

Marius C. Bujorianu, Manuela-Luminita Bujorianu, Howard Barringer

Proceedings of the Computational Logic in Multi-Agent Systems, 9th International Workshop, 2008

2007

An Integrated Specification Framework for Embedded Systems.

Marius C. Bujorianu, Manuela-Luminita Bujorianu

Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

Towards Hilbertian Formal Methods.

Marius C. Bujorianu, Manuela-Luminita Bujorianu

Proceedings of the Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007

2006

Model Checking for a Class of Performance Properties of Fluid Stochastic Models.

Manuela-Luminita Bujorianu, Marius C. Bujorianu

Proceedings of the Formal Methods and Stochastic Models for Performance Evaluation, 2006

Viewpoint Development of Stochastic Hybrid Systems.

Manuela-Luminita Bujorianu, Marius C. Bujorianu

Proceedings of the 45th IEEE Conference on Decision and Control, 2006

2005

Bisimulation for General Stochastic Hybrid Systems.

Manuela-Luminita Bujorianu, John Lygeros, Marius C. Bujorianu

Proceedings of the Hybrid Systems: Computation and Control, 8th International Workshop, 2005

Abstractions of Stochastic Hybrid Systems.

Manuela-Luminita Bujorianu, Marius C. Bujorianu, John Lygeros

Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

2004

Integration of Specification Languages Using Viewpoints.

Marius C. Bujorianu

Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

Towards Correspondence Carrying Specifications.

Marius C. Bujorianu, Eerke A. Boiten

Proceedings of the Algebraic Methodology and Software Technology, 2004