Projects

Members of ReliSA research group were and currently are participating in several projects. The descriptions of the current and past projects are given below.

Research and grant projects

Current:

Finished:

Comercial and internal projects

Current:

  • Openmatics

Finished:

  • Integration and load testing of large distributed cash system (2015)
  • Geminy - Object-based model of parallel computation (2001)
  • SOFA - specification-based testing, run-time tracing and debugging of component-based applications (2000-2001)