Manuela Luminita BUJORIANU Centre for Interdisciplinary Computational and Dynamical Analysis

Events

Recent Services for the Academic Community

HAS : the ETAPS2011 satellite workshop on ``Hybrid Autonomous Systems”

FMA@CDC the 2^nd edition of FMA workshop will be affiliated with CDC'2010

FMA  `` Formal Methods for Aerospace”

CPSWEEK satellite workshop on ``Modelling and Verification of Uncertain Hybrid Systems”

One-day Conference on Mathematics and Industry, Manchester University, July 2010

Special session on reachability analysis of hybrid systems under uncertainty at ADHS2009

One Day Conference on Computation and Dynamics of Continuous and Discrete Processes, Manchester University, June 2009

Workshop on `` Advances in model checking ” Twente Universiteit, 30 November – 1 December, 2006.

Tutorials affiliated with international events

SEFM'2010 half day tutorial on ``Multi-dimensional Co-engineering of Autonomous Systems”

ETAPS2010 full day tutorial on ``Probabilistic modeling of uncertain cyber physical systems”

Tutorial presentation on ``Stochastic hybrid systems - a literature review” at  CDC'08

``Modelling and Verification with Stochastic Hybrid Systems”  full-day tutorial presented at QEST’07 – jointly with Prof. Holger Hermanns

CICADA

InterNano – The ``Interdisciplinary modeling of nano-systems” reading group

CICADA reading group on ``Interdisciplinary analysis of hybrid systems”

Current initiatives

B-UCPS Initiative

You are here: Mathematics > Staff members > Dr. Manuela Bujorianu > Events