Luminita Manuela Bujorianu

Papers

Total Citations

H-Index

About

Luminita Manuela Bujorianu is a leading voice in the formal verification of complex, safety-critical systems, with a core focus on stochastic hybrid systems and their rigorous analysis. Her most influential work, "Stochastic Reachability Analysis of Hybrid Systems," has garnered over 59 citations, establishing a foundational framework for determining whether a system operating under uncertainty can reach unsafe states. This contribution is pivotal for fields like autonomous vehicles and aerospace, where unpredictable environments demand provable safety guarantees. Beyond this, Bujorianu has pioneered the concept of "Hilbertian Formal Methods," a novel paradigm designed for embedded systems that must function reliably in harsh, unpredictable physical environments. While initially developed for deterministic cases, her work extends this framework to handle the inherent uncertainty of real-world conditions, offering a powerful mathematical approach to system reconfigurability and resilience. Her research bridges the gap between abstract formal logic and the messy realities of physical systems, making her a key figure in advancing dependable cyber-physical systems.