Marius C. Bujorianu

Available identifiers

zbMath Open bujorianu.marius-cMaRDI QIDQ547912

List of research outcomes

Publication	Date of Publication	Type
Stochastic non sequitur behavior analysis of fault tolerant hybrid systems	2017-05-16	Paper
Interdisciplinary Modeling of Autonomous Systems Deployed in Uncertain Dynamic Environments	2013-01-09	Paper
State constrained reachability for stochastic hybrid systems	2011-06-27	Paper
A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems	2009-08-20	Paper
Integrated Formal Methods	2009-05-07	Paper
Model Checking for a Class of Performance Properties of Fluid Stochastic Models	2009-03-12	Paper
Hybrid Systems: Computation and Control	2005-11-11	Paper
Algebraic Methodology and Software Technology	2005-08-25	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Marius C. Bujorianu