Dependability in Large-scale Service-oriented Systems
The 26th Intl. Conf. on Distributed Computing Systems
VLDB Workshop on Design, Implementation, and Deployment of Database Replication
Workshop on Dependable Distributed Data Management
We are working with FEUP in the development of Model-based testing tools for user interfaces.
We are cooperating with Educed in the development of PROVA: a Platform for Software Verification and Validation. Funding by AdI.
The goal of this project is to develop tools that provide an effective basis for predicting, reasoning, and certifying the behaviour of systems.
This project aims at developing a rapid prototyping platform for ubiquitous computing environments.
The IVY workbench is a model based tool for the analysis of interactive systems designs. The tool acts as a front end to the SMV model checker, creating an abstraction layer where models of interactive systems can be developed and analysed.