Login

Prototypes

SLMC-K – extension of SLMC for checking security protocol verification

Prototype

Authors

Luis Caires, Bernardo Toninho,

MEMORIA

Prototype

Authors

Nuno Correia, Rui Jesus,

Model Checker for SOA systems modeled in the Conversation Calculus

Prototype

Authors

Luis Caires, Hugo Torres Vieira,

Pen-based Video Annotations

Prototype

Authors

Nuno Correia, Diogo Cabral,

Typechecker for a type and effect system for access control

Prototype

Authors

Ankica Barisic,

Agenda21 Public Participation collaborative Platform

Prototype

Authors

Ankica Barisic,

Meeds v1.0

Prototype

Authors

Sérgio Duarte,

PIPE

Prototype

Authors

Nuno Preguiça, Ankica Barisic,

SmartBins

Prototype

Authors

Teresa Romão,

Byzantium v.2.

Prototype

Authors

Nuno Preguiça,