Manuela L. BUJORIANU	Online Papers

	Book Chapters ( Springer Verlag )
A Formal Framework for User-centric Control of Multi-Agent Cyber-physical Systems A Model Checking Strategy for a Performance Measure of Fluid Stochastic Models Bisimulation for Stochastic Hybrid Systems

Conference Proceedings

Towards Hilbertian Formal Methods Workshop on Formal Methods for Aerospace (FMA) Symmetry reduction for stochastic hybrid systems Dealing with stochastic reachability Large deviation methods for stochastic reachability State constrained reachability for stochastic hybrid systems Towards Co-Engineering Communicating Autonomous Cyber-physical Systems An Integrated Specification Framework for Embedded Systems A Randomized Model for Communicating Embedded Systems Viewpoint Development of Stochastic Hybrid Systems Abstractions of Stochastic Hybrid Systems Topological Superposition of Abstractions of Stochastic Hybrid Systems Distributed Stochastic Hybrid Systems True Concurrent Stochastic Processes

	Research reports
Towards a General Theory of Stochastic Hybrid Systems Formal Engineering Hybrid Systems: Semantic Underpinnings Bisimulation, Logic and Reachability Analysis for Markovian Systems. Towards a formalization of viewpoints testing Formal Testing of Correspondence Carrying Software. On the Hilbert Machines Quantitative Computational Model Towards a Formal Framework for Multidimensional Codesign Extending UML: A foundational approach to heterogeneity Styles in Heterogeneous Modeling With UML Constructive potential theory: A linear logic approach Uncertainty and Reconfigurability in Hilbertean Formal Methods Abstractions of Stochastic Hybrid Systems A Randomized Model for Communicating Embedded Systems
	Deliverables (EC Projects)
Reachability Issues for Stochastic Hybrid Processes Deliverable DSHS1, EC Project IST-2001-38314 COLUMBUS Theoretical Foundations of General Stochastic Hybrid Processes Deliverable DSHS1, EC Project IST-2001-38314 COLUMBUS A Stochastic Hybrid System Modeling Framework Deliverable DSHS1, EC Project IST- 2001-32460 HYBRIDGE