Current projects

H2020

EUBrasilCloudFORUM – Fostering an International dialogue between Europe & Brazil

EUBra-BIGSEA – Europe-Brazil Collaboration of BIG Data Scientific Research through Cloud-Centric Applications

FP7

CECRIS – CErtification of CRItical Systems

DEVASSES – DEsign, Verification and VAlidation of large-scale, dynamic Service SystEmS

Some Past projects

FP7

AMBER - Assessing, Measuring, and Benchmarking Resilience

Critical-Step - Designing Large-Scale Safety-Critical Systems by using Off-The-Shelf software components

IST

DBench - Dependability Benchmarking

Other funding

DWS Data Warehouse Striping

DWOST - Data Warehousing using Open Source Technology: high performance at low infrastructure cost

TACID - Timely ACID Transactions in DBMS

VAL-COTS-RT - Validation of Real-Time COTS products

WebBench - Dependability benchmarking for web-servers focusing on availability and security

ADW - Affordable Data Warehouses

IDPD - Intelligent Data Processing for Dependability

DBSC - Dependability Benchmarking for Software Components

REVVIS – Rede de Especialistas em Verificação e Validação de Software