Login

Prototypes

dc?++ Model Checker

Prototype

Authors

Carla Ferreira,

TxBTRFS — A Transactional File System over BTRFS

Prototype

Authors

João Lourenço,

TIG – Tool for Implicit Groups

Prototype

Authors

José Cardoso e Cunha, Carmen Morgado,

Framework DSL para Aplicações Participatory Sensing

Prototype

Authors

Maria Cecília Gomes, Sérgio Duarte,

CaSPER

Prototype

Authors

Marco Correia,

4Sensing – Decentralized Processing for Participatory Sensing Data

Prototype

Authors

Sérgio Duarte, Nuno Preguiça,

LEXMAN

Prototype

Authors

Gabriel Pereira Lopes, Jorge Costa, Ankica Barisic,

TOPIXTRACT

Prototype

Authors

Gabriel Pereira Lopes, Luis Teixeira,

CCCFinder

Prototype

Authors

Miguel Monteiro,

STEARP-WSN: Sitan Project Tool for Experimental Analysis of Secure Routing Protocols in the WiSeNet SImulator

Prototype

Authors

Henrique Domingos, Pedro Silva,