Stochastic Hybrid Models: An Overview. - Giordano Pola; Manuela-Luminita Bujorianu; John Lygeros; Maria Domenica Di Benedetto (ADHS, 2003)

Reachability Questions in Piecewise Deterministic Markov Processes. - Manuela-Luminita Bujorianu; John Lygeros (HSCC, 2003)

General stochastic hybrid systems: modelling and optimal control. - Manuela-Luminita Bujorianu; John Lygeros (CDC, 2004)

Extended Stochastic Hybrid Systems and Their Reachability Problem. - Manuela-Luminita Bujorianu (HSCC, 2004)

A Statistical Inference Method for the Stochastic Reachability Analysis. - Manuela-Luminita Bujorianu (CDC/ECC, 2005)

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)

Stochastic hybrid system : modelling and verification. - Manuela-Luminita Bujorianu (2005)

Functional Abstractions of stochastic Hybrid Systems. - Manuela-Luminita Bujorianu; Henk A. P. Blom; Holger Hermanns (ADHS, 2006)

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)

New insights on stochastic reachability. - Manuela-Luminita Bujorianu; John Lygeros (CDC, 2007)

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

Symmetry reduction for stochastic hybrid systems. - Manuela-Luminita Bujorianu; Joost-Pieter Katoen (CDC, 2008)

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

Reachability Analysis of Stochastic Hybrid Systems by Optimal Control. - Manuela-Luminita Bujorianu; John Lygeros; Rom Langerak (HSCC, 2008)

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

Dealing with stochastic reachability. - Manuela-Luminita Bujorianu (CDC, 2009)

Large deviation methods for stochastic reachability. - Manuela-Luminita Bujorianu; Hong Wang 001 (CDC, 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)

Variational inequalities for the stochastic reachability problem. - Manuela-Luminita Bujorianu (CDC, 2010)

How good are the stochastic analysis methods for stochastic reachability. - Manuela-Luminita Bujorianu (CDC/ECC, 2011)

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)

Preface. - Manuela-Luminita Bujorianu; Michael Fisher 001; Corina S. Pasareanu (Ann. Math. Artif. Intell., 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)

Complex systems techniques for cyber-physical systems: position paper. - Manuela-Luminita Bujorianu; Robert S. MacKay (CyPhy, 2014)

A Modelling Framework for Cyber-Physical System Resilience. - Manuela-Luminita Bujorianu; Nir Piterman (CyPhy, 2015)

Functional model reduction of inhomogeneous Markov chains. - Manuela-Luminita Bujorianu (ECC, 2015)

Safety Verification of Piecewise-Deterministic Markov Processes. - Rafael Wisniewski; Christoffer Sloth; Manuela-Luminita Bujorianu; Nir Piterman (HSCC, 2016)

Stochastic safety analysis of stochastic hybrid systems. - Rafael Wisniewski; Manuela-Luminita Bujorianu (CDC, 2017)

CPS Dependability Framework Based on Inhomogeneous Stochastic Hybrid Systems. - Manuela-Luminita Bujorianu (CyPhy/WESE, 2018)

New Insights on p-safety of Stochastic Systems. - Manuela-Luminita Bujorianu; Rafael Wisniewski (CDC, 2019)

Vulnerabilities and safety assurance methods in Cyber-Physical Systems: A comprehensive review. - Victor Bolbot; Gerasimos Theotokatos; Manuela-Luminita Bujorianu; Evangelos Boulougouris; Dracos Vassalos (Reliab. Eng. Syst. Saf., 2019)

$p$-Safe Analysis of Stochastic Hybrid Processes. - Rafael Wisniewski; Manuela-Luminita Bujorianu; Christoffer Sloth (IEEE Trans. Autom. Control., 2020)

Stochastic Safety for Random Dynamical Systems. - Manuela-Luminita Bujorianu; Rafal Wisniewski; Evangelos Boulougouris (ACC, 2021)

Safety of stochastic systems: An analytic and computational approach. - Rafal Wisniewski; Manuela-Luminita Bujorianu (Autom., 2021)

Stochastic Safety for Markov Chains. - Manuela-Luminita Bujorianu; Rafael Wisniewski; Evangelos Boulougouris (IEEE Control. Syst. Lett., 2021)

Cyber-Physical Ecosystems: Modelling and Verification. - Manuela-Luminita Bujorianu (ECBS, 2023)

From MDP to POMDP and Back: Safety and Compositionality. - Manuela-Luminita Bujorianu; Tristan Caulfield; David J. Pym; Rafael Wisniewski (ECC, 2023)

Online Learning of Safety function for Markov Decision Processes. - Abhijit Mazumdar; Rafal Wisniewski; Manuela-Luminita Bujorianu (ECC, 2023)

Robust Correlated Equilibrium: Definition and Computation. - Rahul Misra; Rafal Wisniewski; Carsten Skovmose Kallesøe; Manuela-Luminita Bujorianu (CoRR, 2023)

Probabilistic Safety Guarantees for Markov Decision Processes. - Rafal Wisniewski; Manuela-Luminita Bujorianu (IEEE Trans. Autom. Control., 2023)

Safe Reinforcement Learning for Constrained Markov Decision Processes with Stochastic Stopping Time. - Abhijit Mazumdar; Rafal Wisniewski; Manuela-Luminita Bujorianu (CDC, 2024)

Online Model-Free Safety Verification for Markov Decision Processes Without Safety Violation. - Abhijit Mazumdar; Rafal Wisniewski; Manuela-Luminita Bujorianu (ECC, 2024)