Current Research Projects
- NWO/DFG-project
Validation of Stochastic Systems-2 (VOSS-2)
-
NWO-project Model
Checking Infinite-State Markov Chains (MC=MC)
-
NWO-project Verifying
Quantitative Properties of Embedded Software (QUPES)
-
NWO-project Modeling and Analysis of
QoS of Component-Based Designs (MOQS)
-
CTIT
U-Bricks project Validation of
Time-Dependent Embedded Systems
- EU IST-project Software Engineering
for Service-Oriented Overlay Computers (SENSORIA)
(as affiliated
member of C.N.R.-ISTI)
>