You are here: Home / Infrastructures / Res. Infrastructure
Large-Scale Informatics Systems Laboratory (LaSIGE)
Hosting Legal Entity
University of Lisbon
Av. Rovisco Pais, MicroLab-Tecnico, Campus Alameda, Lisboa, PO: 1049-001, Grande Lisboa (Portugal)
Faculdade de Ciências da Universidade de Lisboa Departamento de Informática Edifício C6, Piso 3, Lisboa, PO: 1749-016 (Portugal)
Type Of RI
Coordinating Country
Current Status:
Operational since 1998
Scientific Description
LaSIGE is a research unit of the Department of Computer Science andEngineering (DI) of the University of Lisbon (ULisboa), Faculty of Sciences (FCUL). LaSIGE performs a number of research activities in several sub-areas of computer science and engineering including:human-computer interaction and multimedia; information management, net-centric, parallel and distributed computing; software engineering; and security and dependability.The current research lines pursued, which constitute guiding vectors for LaSIGE researchers, are: Biomedical Informatics; Fault and Intrusion Tolerance in Open Distributed Systems; Human Computer Interaction and Multimedia; Methods and Techniques for Engineering Software Systems;Timeliness and Adaptation in Dependable Systems.

RI Keywords
Human-computer interaction and multimedia, Software engineering and net-centric computing, Information management, Security and dependability
RI Category
Research Bibliographies
Bio-informatics Facilities
Data Mining and Analysis (Methodological) Centers, including statistical analysis
Distributed Computing Facilities
Data Archives, Data Repositories and Collections
Software Service Facilities
Scientific Domain
Information Science and Technology
ProteinOn - Protein Interactions and Ontology


- a set of tools and libraries for intrusion tolerance using the Java programming language, including implementations of Byzantine Paxos and verifiable secret sharing;

CIDS - Citation Impact Discerning Self-citations


- an Eclipse plug-in for learning and designing unit tests for the Java language;

MobileWaaT - Mobile Web accessibility assessment Tool


- a concurrent, message-passing programming language based on the pi-calculus;


- a tool that supports the checking of Java classes against property-driven algebraic specifications;

MPI Sessions

- toolchain for validating Message Passing Interface programs written in the C language;

Therminfo - Collecting, Retrieving, and Estimating Reliable Thermochemical Data


- an extensible interoperable object-oriented n-Level hierarchical scheduling simulator;


- a Byzantine fault-tolerant coordination service based on the tuple space model;


- a framework for automatic and dependable adaptation in dynamic environments;


- a layered communication toolkit;

QualWeb Evaluator

B3PP - Blood Brain Barrier Penetration Prediction


- a distributed wormhole that provides a set of time and security related services;


- a protocol suite for group communication;


- a mini object-oriented language in a Java-like style with support for concurrency, that allows programmers to specify class usage protocols as types;


- a real-time proactive secret sharing library for RTAI (Real Time Application Interface);

MIL - Multithreaded Intermediate Language


- Pedagogical environment for experimenting object-oriented programming in Java;


- an extension of the Java language that enables the verification of Java programs against a session type specification;

NAMS - Non-contiguous Atom Matching Structural Similarity


- a Byzantine-fault-tolerant state machine replication library developed in Java with simplicity and robustness as primary requirements;

40+ computer farm for distributed systems experiments
A cluster of high‐performance servers for information integration experiments
Restricted and isolated network for security experiments
A small audio‐video studio for HCI experiments
SEGRID - Security for smart Electricity GRIDs
TClouds - Trustworthy Clouds Privacy and Resilience for Internet-scale Critical Infrastructure
GUIDE—Gentle User Interfaces for Disabled and Elderly Citizens
ACCESSIBLE - Accessibility Assessment Simulation Environment for New Applications Design and Development
BiobankCloud - Scalable, Secure Storage of Biobank Data
SecFuNet - Security for Future Networks
KARYON - Kernel-Based ARchitecture for safetY-critical cONtrol
ITACA - Innovation Technologies and Applications for Coastal Archaeological sites
ASTARTE - Assessment, STrategy And Risk Reduction for Tsunamis in Europe
MASSIF - MAnagement of Security information and events in Service InFrastructures
Date of last update: 09/07/2014
Printable version