Manuela Luminita BUJORIANU Centre for Interdisciplinary Computational and Dynamical Analysis

Projects

European projects  

Manuela has been involved in a series of European projects, like:

HYBRIDGE Distributed Control and Stochastic Analysis of Hybrid Systems Supporting Safety Critical Real-Time Systems Design

COLUMBUS Design of embedded controllers for safety critical systems

VOSS Validation of Stochastic Systems, project jointly funded by DFG and NWO

Nationally funded projects

As well, Manuela Bujorianu has been involved in research projects funded by National bodies, like

CICADA funded project Uncertainty in Modeling and Verification of Hybrid Systems

the Dutch NWO project AISHA Abstraction in Stochastic and Hybrid Process Algebra

the British EPSRC project GR/N03389/01 Test Case Extraction From Correctness Proofs

You are here: Mathematics > staff members > Dr. Manuela Bujorianu > Projects