O Portal de sites destina-se ao alojamento das páginas web das várias iniciativas e projectos desenvolvidos pela FCT NOVA ou que, de alguma forma, estão associados à Faculdade.
Given a set of rules which restrict the concurrent execution of the methods of a Java class M, gluon statically verifies that the usage of M by another Java class C abides to those rules.
This project provides a library that allows to trace and log user defined events in Java programs. Can deused for both correctness and performance debugging of Java progams.
MoTH allows to detect atomicity violation in transactional memory Java-based programs that execute in strong atomicity, through static analysis of the Java bytecode programs. MoTH is an extensible and flexible framework, which can be extended with plugins that detect specific types of anomalies.
An adaptation of the BTRFS linuex kernel module to suport a transactional behaviour (like in databases) over the file system. Main developer: João Eduardo Luís