A privacy-aware keyboard toolkit for data collection in-the-wild. With this keyboard you are able to collect everyday typing data, enabling continuous and spontaneous assessments, without collecting any sensitive information. Used in 3 studies, in Lisbon and Newcastle...
SOFTWARE & TOOLS
Koala Boutique is a strategy game about running a shop on the brink of bankruptcy. In this game we explore how we can promote family connected through asymmetric asynchronous collaborative play. Team: Pedro Pais, David Gonçalves, Tiago Guerreiro, Teresa Romão (FCT...
Tsallis Entropy calculator
The Tsallis Entropy calculator is a tool developed to compute and compare several versions of conditional Tsallis entropies existing in the literature. Team: Andreia Teixeira; André Souto; Luís Filipe Antunes
QUEST is a suite of tools integrated in a Eclipse plug-in that aim to ensure compliance of Java implementations of data abstractions with their property-driven specifications. The general aim of QUEST suite of tools is to ensure the compliance of Java implementations...
DOL is a Dependent Object-oriented Language featuring dependent types, mutable objects and class-based inheritance with subtyping. The DOL compiler is responsible for typechecking DOL programs, relying on the Z3 SMT solver for checking the constraints issued by types,...
CONFIDENT is a toolchain for effective construction and evolution of REST APIs. CONFIDENT aims at supporting all phases of RESTful software development with: Documentation generation; Code generation (stubs) for server- and client-side; API testing; Runtime...
VETA is a tool that analyses the performance of several variant prediction methods at different levels. Team @ LASIGE: Alcides Fonseca; Pedro Barbosa
KGsim-benchmark is a collection of 21 benchmark data sets for large biomedical knowledge graphs similarity evaluation. Team @ LASIGE: Catia Pesquita; Rita Sousa; Carlota Cardoso
PPRSSM is a entity linking software based on Personalized PageRank using Semantic Similarity Measures. Team @ LASIGE: Francisco M. Couto
DiShIn is a software package provides the basic functions to start using semantic similarity measures directly from a rdf or owl file. Team @ LASIGE: Francisco M. Couto
MER is a Named-Entity Recognition tool which given any lexicon and any input text returns the list of terms recognized in the text, including their exact location (annotations). Team @ LASIGE: Francisco M. Couto
Gerador declarações de acessibilidade
A tool for generating accessibility declarations according to the Portuguese model. Team @ LASIGE: Carlos Duarte
A tool for visualization of large-scale volumes of accessibility data. Team @ LASIGE: Bruno Andrade; Carlos Duarte
A tool for assisting web accessibility evaluations. Team @ LASIGE: Tânia Frazão; Carlos Duarte
The QualWeb acessibility evaluation engine to be used in Chromium based browsers. Team @ LASIGE: João Vicente; António Estriga; Bruno Andrade; André Santos; Carlos Duarte; Luís Carriço
The QualWeb accessibility evaluation as an online service (source code). Team @ LASIGE: João Vicente; António Estriga; Bruno Andrade; André Santos; Carlos Duarte; Luís Carriço
Android mobile app to use tangible blocks with TopCodes to control the Dash robot. Team @ LASIGE: Filipa Rocha; Ana Pires; Tiago Guerreiro
A web-based digital neurorehabilitation platform that allows people with MCI to perform tasks in a photo-realistic interactive supermarket. Team @ LASIGE: Sérgio Alves; Filipa Brito; Tiago Guerreiro; Luís Carriço
A web application to promote healthy eating in children from 2 to 6 years. It has the goal to study the effectiveness of the program on increase vegetable consumption, decrease sugar consumption and promote parental behaviors that contribute to the encouragement and...
A platform that enables subjective and objective data collection for Parkinson’s disease. Futhermore, improves data visualization for clinicians. Team @ LASIGE: Diogo Branco; Sérgio Alves; Ricardo Pereira; César Mendes; Tiago Guerreiro
Roteiro dos Descobrimentos
Mobile app designed for children that allows the digital exploration of the city of Lisbon based on the theme of the Portuguese Discoveries Team @ LASIGE: Sérgio Alves; João Raposo; Carlos Duarte; Luís Carriço
A web platform that supports psychologists in the process of collecting meaningful information about a person, and applying it in reminiscence and cognitive stimulation sessions. Team @ LASIGE: Sérgio Alves; Tiago Guerreiro
GenoDedup is an algorithm that integrates efficient similarity-based deduplication and specialized delta-encoding for genome sequencing data. It increases data reduction gains and restores data faster than the generic compressors used in practice (e.g., GZIP), while...
Ecological Mapping is a mobile application that is used by experts and scientists to better understand the ecological landscape of urban parks and gardens. As a user, you can travel to specific marked locations, or to a location with some habitats (e.g, large urban...
T-CBIR supports searching large scale encrypted image databases based on the images' visual contents. T-CBIR leverages Searchable Symmetric Encryption (SSE) techniques, Content-Based Image Retrieval (CBIR) mechanisms, and trusted hardware (Intel SGX) for trustworthy...
BISEN is a searchable symmetric encryption scheme, allowing for secure boolean queries over remote datastores by leveraging Intel SGX for trustworthy computation. Team @ LASIGE: Bernardo Ferreira
VisuaLeague III – Visual Analytics of Multiple Games
Prototype for analyzing League of Legend games of professional teams using visualization and clustering techniques. This version offers the most wanted features of static data analysis, a visual animated representation of individual matches, and options to search for...
Play JBT – Mobile Application for the Tropical Botanical Garden of Lisbon
Mobile application (Android and iOS), which acts mainly as a helping guide for visitors of the Lisbon Tropical Botanical Garden. This mobile application allows these visitors to interact in different ways with garden components (plants, buildings, birds and...
This tool decides whether two words are bisimilar, according to the labelled transition system defined by the given grammar's productions.
A tool that tests if two context-free session types are equivalent.
A concurrent programming language, based on a core functional language with primitives to fork new threads, create channels and exchange messages along these channels. The powerful type system of context-free session types governs the interactions on communication...
OTD (OSINT Threat Detector pilot)
In the scope of the DiSIEM H2020 project, a pilot was built as a service to select cybersecurity threat intelligence from the Twitter stream, targeted to a specified information technology infrastructure. The pilot consists of a processing pipeline considering tweet...
A code compiler and synthesizer in the homonymous language, implemented in Python. The Æon language supports refined and dependent types with and without decidability restrictions. Team: Alcides Fonseca; Paulo Santos; Sara Silva; Andreia Mordido; Vasco T....
This work aims to continue the previously developed project, called ARWithMaps, which implements techniques of visualization of points of interest in Augmented Reality including clues to points of interest outside the field of view and using maps. Additionally, it is...
RoseTrajVis is a system for analyzing trajectories using graphics inspired in wind roses. The elements of the rose include petals that aggregate trajectories given their direction and that also show their average speeds within an area around a point in a map, as well...
ChemRecSys (Chemical Compounds Recommender System) is a system for recommending Chemical Compounds, integrating collaborative-filtering algorithms for implicit feedback (Alternating Least Squares (ALS) and Bayesian Personalized Ranking(BPR)), a content-based algorithm...
BiOnt is a system to perform relation extraction using a deep learning system. BiOnt, employs four types of biomedical ontologies, namely, the Gene Ontology, the Human Phenotype Ontology, the Human Disease Ontology, and the Chemical Entities of Biological Interest,...
BFT ordering service for Hyperledger Fabric
This is a Byzantine fault-tolerant (BFT) ordering service for Hyperledger Fabric. This BFT ordering service is a wrapper around BFT-SMaRt, a Java open source BFT library maintained by the LaSIGE research unit at the University of Lisbon.
An automated web accessibility evaluation engine with support for WCAG 2.1 and ACT-Rules. Team @ LASIGE: João Vicente; António Estriga; Bruno Andrade; André Santos; Carlos Duarte; Luís Carriço
This project’s objective is the development of mechanisms to take advantage of the knowledge that is in the crowd to validate news about football transfers. The project allows users to vote on news thus helping with their validation and taking advantage of social...
Onde e quem vai ver
"Onde e quem vai ver" (Where and who's going) is an app that allow the user to browse, create and share the best events.
O Mundo em Pessoa
“O Mundo em Pessoa” is a collaboration project with Sapo Labs for the celebration of the 125th year of birth of Fernando Pessoa. The team developed an web app where it’s possible to analyze the impact of the poet’s work in the social networks.
Lusica is a project of automatic collection of music quotes of Lusophone artists from the social networks. The initial aim is to produce a history of the popularity of the typical Lusophone music styles (i.e.: fado, samba, etc.) on the social networks. In this way,...
Cooperari is a tool for cooperative testing of multithreaded Java applications.
aspa: a patching tool for JVM class files. aspa derives and applies patches between Java classes compiled to the Java Virtual Machine (JVM) bytecode format, resorting to an abstract syntax tree representation of JVM bytecode.
TryIt, learn and use RSS tools straight from your web browser.
PAMPA (Power-Aware Message Propagation Algorithm) is a broadcast algorithm for mobile ad hoc networks (MANETS). PAMPA tries to save resources of participants in MANETs by reducing the number of nodes that are required to retransmit a message so that it gets delivered...
mobIPLity produces bonnmotion traces from the eduroam records collected by the Instituto Politécnico de Lisboa (IPL). Its goal is to provide to the mobile computing research community realistic mobility scenarios.
KeyManager: admins management tool
KeyMgr, Key Manager, is a software package that facilitates the management of individual logins for system administrators of Linux servers. In contrast with traditional approaches, keymgr implements a solution that is completely independent of remote authentication...
The Epidemiology Ontology aims at increasing the amount of epidemiological data available, improving disease surveillance systems, and promoting the collaboration among epidemiological researchers. It currently covers the transmission of infection and epidemiology...
GIN, Genome Inspector, was devised to design primers within microbial species or genus as broad as possible, for PCR gene-screening projects. It uses BLAST to find DNA sequences highly similar to the gene or sequence chosen by the user, in complete sequenced microbial...
WAP 2.0 (Web Application Protection) is a source code static analysis and data mining tool to detect and correct input validation vulnerabilities in web applications written in PHP (version 4.0 or higher) with a low rate of false positives. This tool does taint...
SASULisboa App is a app available for Android and iOS that enables all the students to check the menus and balance in refectories of the University of Lisbon.
Missinks (Missinks: finding the missing links) is a web application that given a search query identifies the links in the first two pages of a given Google country search engine (e.g. google.ca - Canada) that are not present in the first four pages of another Google...
CMPSim is a web tool that implements a novel approach to measure the similarity between chemical compounds and metabolic pathays using semantic similarity. Information about Chemical Compounds is gathered from the Chemical Entities of Biological Interest and...
GRYFUN (GRaph analYzer of FUNctional annotation) allows the visualization, filtering and subsequent analysis of Gene Ontology (GO) annotation profiles. A GO annotation functional profile consists of the collection of GO terms that annotate a given set of proteins....
CESSM (Collaborative Evaluation of GO-based Semantic Similarity Measures) is an online tool for the automated evaluation of GO-based semantic similarity measures, that enables the comparison of new measures against previously published ones in terms of performance...
AgreementMakerLight is an automated and efficient ontology matching system derived from AgreementMaker that has been in development since the beginning of 2013. It is open source and freely available through GitHub both as an Eclipse project and as an executable jar....
ThermInfo (Collecting, Retrieving, and Estimating Reliable Thermochemical Data) is a cheminformatics system designed and built with two main objectives in mind: collecting and retrieving critically evaluated thermochemical values, and estimating new data. In its...
ProteInOn is a web tool focused on calculating GO-based protein semantic similarity. It features a stepwise query selection menu, which together with the possibility of selecting results as input for new queries, makes it flexible and customizable. It also...
NAMS (Non-contiguous Atom Matching Structural Similarity) is a free Webtool to calculate similarity between molecules based on the structural/topological relationships of each atom towards all the others within a molecule. This functionality allows the calculation of...
B3PP (Blood Brain Barrier Penetration Prediction) is a web application that interfaces a machine learning model designed to predict the Blood-Brain Barrier penetration properties for any organic molecule. Compounds can be entered with their common name (in english),...
CIDS (Citation Impact Discerning Self-citations) is a user-friendly web tool that calculates different citation statistics, such as the h-index and g-index.
SCFS is a cloud-backed file system that provides strong consistency even on top of eventually-consistent cloud storage services. Its build on top of FUSE, thus providing a POSIX-like interface. SCFS provides also a pluggable backend that allows it to work with a...
DepSky is a system that improves the availability, confidentiality and integrity of stored data in the cloud. It reaches this goal by encrypting, enconding and replicating all the data on a set of differents clouds, forming a cloud-of-clouds. For the current...
DNA Privacy Detector
The DNA privacy detector is a method that systematically detects privacy-sensitive DNA segments coming directly from an input stream, using as reference a knowledge database of known privacy-sensitive nucleic and amino acid sequences.
JDNA is a referential compressor for aligned DNA files.
OpenRQ is a Java library that implements the RaptorQ FEC scheme described in RFC 6330. The aim is to provide to developers a library that is easy to use and incorporate in their applications, whilst maintaining RaptorQ’s acclaimed performance and resilience. Forward...
hsSim is an Extensible Interoperable Object-Oriented n-Level Hierarchical Scheduling Simulator.
Adaptare, a framework for automatic and dependable adaptation in dynamic environments.
BFT-SMaRt is a high-performance Byzantine fault-tolerant state machine replication library developed in Java with simplicity and robustness as primary requirements. Our main objective is to provide a code base that can be used to build dependable services and also...
DepSpace (Dependable Tuple Space) is fault and intrusion-tolerant secure tuple space implementation. The main objective of the system is to provide an extended tuple space abstraction that could be used to implement Byzantine fault tolerant applications.
Real-Time Proactive Secret Sharing Library for RTAI is an implementation of the Shamir's secret sharing scheme and Herzberg's proactive secret sharing algorithm. The library uses a port of GNU GMP in order to make multiple precision arithmetic operatio
Appia is an open source layered communication toolkit implemented in Java and providing extended configuration and programming possibilities. The Appia toolkit is composed by (1) a core that is used to compose protocols and (2) a set of protocols that provide group...
SePi is a concurrent, message-passing programming language based on the pi-calculus. The language features synchronous, bi-directional channel-based communication. Programs use primitives to send and receive messages as well as offer and select choices. Channel...
ProPi is a tool to statically verify whether message passing programs are free from deadlocks. The tool takes as input a system specified in the pi-calculus, together with typing annotations that describe the communications in the channels, as well as event...
PESTT (PESTT an Educational Testing Tool) is an Eclipse plug-in for learning and designing unit tests for the Java language. Currently, PESTT supports unit tests based on the control and data flow graphs (CFG) of methods. It generates the CFG based on the source code...
ParTypes is a toolchain for validating and synthesising message-based programs for Message Passing Interface (MPI) programs. The general aim is to enforce program compliance with dependent-type based protocol specifications, enforcing properties such as protocol...
Mool is a mini object-oriented language in a Java-like style with support for concurrency, that allows programmers to specify class usage protocols as types. The specification formalizes (1) the available methods, (2) the tests clients must perform on the values...
MIL (Multithreaded Intermediate Language) is an assembly language targeted at an abstract multi-processor equipped with a shared main memory. Each processor consists of a series of registers and of a local memory for instructions and for local data. The main memory is...
ConGu is a tool that supports the checking of Java classes against property-driven algebraic specifications. Checking classes consists in determining, at run-time, whether the classes that are subject to analysis behave as required by the specification. The first...
Bica is an extension of the Java language that enables the verification of Java programs against a session type specification. This specification represents the changes in the interface of an object. In Java, the interface of an object is the set of methods declared...
AguiaJ is an pedagogical environment for experimenting object-oriented programming in Java. The tool enables users to interactively test object classes by creating and manipulating objects and visualizing the result of such interaction in terms of object state. The...