You are here: Home / Infrastructures / Res. Infrastructure
Large-Scale Informatics Systems Laboratory (LaSIGE)
Identification
Hosting Legal Entity
University of Lisbon
Address:
Av. Rovisco Pais, MicroLab-Tecnico, Campus Alameda, Lisboa, PO: 1049-001, Grande Lisboa (Portugal)
Location
Faculdade de Ciências da Universidade de Lisboa Departamento de Informática Edifício C6, Piso 3, Lisboa, PO: 1749-016 (Portugal)
Structure
Type Of RI
Single-sited
Coordinating Country
Portugal
Status
Status
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
Information management, Human-computer interaction and multimedia, Security and dependability, Software engineering and net-centric computing
Classifications
RI Category
Data Mining and Analysis (Methodological) Centers, including statistical analysis
Distributed Computing Facilities
Databases
Research Bibliographies
Software Service Facilities
Bio-informatics Facilities
Data Archives, Data Repositories and Collections
Scientific Domain
Information Science and Technology
Services
CIDS - Citation Impact Discerning Self-citations

http://cids.fc.ul.pt/cids_2_3/.

SMaRt

- a Byzantine-fault-tolerant state machine replication library developed in Java with simplicity and robustness as primary requirements; https://code.google.com/p/bft-smart/.

PESTT

- an Eclipse plug-in for learning and designing unit tests for the Java language; http://pestt.github.io/.

Therminfo - Collecting, Retrieving, and Estimating Reliable Thermochemical Data

http://therminfo.lasige.di.fc.ul.pt/.

hsSim

- an extensible interoperable object-oriented n-Level hierarchical scheduling simulator; https://code.google.com/p/hssim/.

QualWeb Evaluator

http://accessible-serv.lasige.di.fc.ul.pt/~qualweb/evaluator_online/en/.

MobileWaaT - Mobile Web accessibility assessment Tool

http://www.accessible-eu.org/index.php/wcag-20-assessment-tool.html.

MPI Sessions

- toolchain for validating Message Passing Interface programs written in the C language; http://gloss.di.fc.ul.pt/MPISessions.

TCB/TTCB

- a distributed wormhole that provides a set of time and security related services; http://www.navigators.di.fc.ul.pt/software/tcb/index.htm.

Appia

- a layered communication toolkit; http://appia.di.fc.ul.pt/wiki/index.php?title=Main_Page.

MIL - Multithreaded Intermediate Language

http://gloss.di.fc.ul.pt/mil.

SePi

- a concurrent, message-passing programming language based on the pi-calculus; http://gloss.di.fc.ul.pt/sepi.

ProteinOn - Protein Interactions and Ontology

http://www.lasige.di.fc.ul.pt/webtools/proteinon/.

BICA

- an extension of the Java language that enables the verification of Java programs against a session type specification; http://plone.di.fc.ul.pt/gloss/bica.

xAmp

- a protocol suite for group communication; http://www.navigators.di.fc.ul.pt/software/xAMp/xAMp.html.

DepSpace

- a Byzantine fault-tolerant coordination service based on the tuple space model; http://www.navigators.di.fc.ul.pt/software/depspace/.

ConGu

- a tool that supports the checking of Java classes against property-driven algebraic specifications; http://gloss.di.fc.ul.pt/congu.

B3PP - Blood Brain Barrier Penetration Prediction

http://b3pp.lasige.di.fc.ul.pt/.

NAMS - Non-contiguous Atom Matching Structural Similarity

http://nams.lasige.di.fc.ul.pt/.

Mool

- a mini object-oriented language in a Java-like style with support for concurrency, that allows programmers to specify class usage protocols as types; http://gloss.di.fc.ul.pt/mool/.

RT-PSS

- a real-time proactive secret sharing library for RTAI (Real Time Application Interface); http://sourceforge.net/projects/rt-pss/.

AGUIA/J

- Pedagogical environment for experimenting object-oriented programming in Java; http://www.aguiaj.org.pt/.

JITT

- a set of tools and libraries for intrusion tolerance using the Java programming language, including implementations of Byzantine Paxos and verifiable secret sharing; http://www.navigators.di.fc.ul.pt/software/jitt/.

Adaptare

- a framework for automatic and dependable adaptation in dynamic environments; http://www.navigators.di.fc.ul.pt/software/Adaptare.jar.

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