Towards Correspondence Carrying Specifications. - Marius C. Bujorianu; Eerke A. Boiten (AMAST, 2004)

Integration of Specification Languages Using Viewpoints. - Marius C. Bujorianu (IFM, 2004)

Abstractions of Stochastic Hybrid Systems. - Manuela-Luminita Bujorianu; Marius C. Bujorianu; John Lygeros (CDC/ECC, 2005)

Bisimulation for General Stochastic Hybrid Systems. - Manuela-Luminita Bujorianu; John Lygeros; Marius C. Bujorianu (HSCC, 2005)

Viewpoint Development of Stochastic Hybrid Systems. - Manuela-Luminita Bujorianu; Marius C. Bujorianu (CDC, 2006)

Model Checking for a Class of Performance Properties of Fluid Stochastic Models. - Manuela-Luminita Bujorianu; Marius C. Bujorianu (EPEW, 2006)

Towards Hilbertian Formal Methods. - Marius C. Bujorianu; Manuela-Luminita Bujorianu (ACSD, 2007)

An Integrated Specification Framework for Embedded Systems. - Marius C. Bujorianu; Manuela-Luminita Bujorianu (SEFM, 2007)

A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems. - Marius C. Bujorianu; Manuela-Luminita Bujorianu; Howard Barringer (CLIMA, 2008)

State Constrained Reachability for Stochastic Hybrid Systems. - Manuela-Luminita Bujorianu; Marius C. Bujorianu (ADHS, 2009)

An Integrated Specification Logic for Cyber-Physical Systems. - Marius C. Bujorianu; Howard Barringer (ICECCS, 2009)

Co-evolution Preserving Model Reduction for Uncertain Cyber-physical Systems - Towards a Framework for Nanoscience. - Manuela-Luminita Bujorianu; Marius C. Bujorianu (ICINCO-SPSMC, 2009)

Towards Co-Engineering Communicating Autonomous Cyber-physical Systems. - Manuela-Luminita Bujorianu; Marius C. Bujorianu (NASA Formal Methods, 2009)

Systems theory in an analytic setting. - Manuela-Luminita Bujorianu; Marius C. Bujorianu; Howard Barringer (CDC/ECC, 2011)

Stochastic non sequitur behavior analysis of fault tolerant hybrid systems. - Manuela-Luminita Bujorianu; Marius C. Bujorianu (HSCC, 2011)

Contingent Hybrid Systems. - Manuela-Luminita Bujorianu; Marius C. Bujorianu (ADHS, 2012)

A coordination model for ultra-large scale systems of systems. - Manuela-Luminita Bujorianu; Marius C. Bujorianu (AiSoS, 2013)