Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
Facts & Numbers
000
Presentation

Advanced Computing Systems

At CRACS, our mission is to pursue scientific excellence in the areas of programming languages, parallel and distributed computing, security and privacy, information mining, and Web based systems with a focus on developing scalable software systems for challenging, multidisciplinary applications.

Our research environment is enriched with junior talented researchers that together with senior researchers build the necessary critical mass and scientific competences to fulfill the institution’s mission.

Latest News

INESC TEC with five FCT exploratory projects approved in four R&D areas

Telecommunications and Multimedia, Applied Photonics, High-assurance Software and Advanced Computing Systems – these are the four domains that INESC TEC researchers will explore within the scope of the five projects that were approved through the Call for Exploratory Projects promoted by the Foundation for Science and Technology (FCT).

02nd October 2024

Computer Science and Engineering

A discussion about security and privacy at an international event organised in Portugal for the first time

Encryption, malicious software, data privacy, web and mobile security, secure access control and authentication – these were some of the topics discussed at the 14th edition of the ACM Conference on data and application security and privacy. Organised by INESC TEC and the Faculty of Sciences of the University of Porto (FCUP), this was the first time that the Conference took place in a country other than the United States of America.

27th June 2024

Privacy in 6G networks can be a challenge: INESC TEC integrates European project focusing on protection

Future 6G networks should make data privacy a top priority. INESC TEC is part of PRIVATEER, a European project that aims to create a robust and decentralised AI-based security analysis for 6G networks. "Privacy" is the key word. 

13th June 2023

INESC TEC researchers acknowledged for research work aimed at protecting the privacy of mobile phones

A group of INESC TEC researchers was acknowledged due to their research work on the management of permissions on mobile devices. The team developed a set of techniques to automate the response to requests for permissions by smartphone applications, with a reliability of 90%. This work received the award for best scientific paper at the ACM CODASPY conference, which took place in the United States of America.

08th July 2022

INESC TEC part of project that will make autonomous vehicles safer

INESC TEC will contribute to the development of perception algorithms, computing and architectures based on artificial intelligence, within the scope of the project THEIA - Automated Perception Driving, a partnership between the University of Porto and Bosch - which aims to make autonomous vehicles safer through a better perception of the outside environment.

07th June 2022

045

Featured Projects

TSP2Net

Time Series Privacy-Preserving: New Approaches via Complex Networks

2025-2026

FGPEPlusPlus

FGPE++ Gamified Programming Learning at Scale

2023-2025

BLOCKCHAINPT

BLOCKCHAIN.PT - AGENDA “DESCENTRALIZAR PORTUGAL COM BLOCKCHAIN”

2023-2025

ATE

Alliance for Energy Transition

2023-2025

PRIVATEER

Privacy-first Security Enablers for 6G Networks

2023-2025

THEIA

Automated Perception Driving

2022-2023

AI4DM

AI predictive modeling Services

2021-2022

FGPEPlus

Learning tools interoperability for gamified programming education

2021-2023

JuezLTI

Automatic assessment of computing exercises using LTI standard

2021-2023

PANDORA

Cyber Defence Platform for Real-time Threat Hunting, Incident Response and Information Sharing

2020-2022

Cortaderia

Desenvolvimento de Software para Monitorização da Espécie Invasora Cortaderia selloana

2020-2020

T4CDTKC

Training 4 Cotec, Digital Transformation Knowledge Challenge - Elaboração de Programa de Formação “CONHECER E COMPREENDER O DESAFIO DAS TECNOLOGIAS DE TRANSFORMAÇÃO DIGITAL”

2019-2021

Authenticus19_20

Consultoria Tecnológica em Sistemas CRIS e Cálculo de APC

2019-2020

Angerona

Privacy preserving IOT middleware

2018-2019

FGPE

Framework for Gamified Programming Education

2018-2021

AuthenticusNF

Desenvolvimento de Indicadores de Produção Científica Baseados no Authenticus

2018-2018

PGODISSEIA

Serviço de instalação e configuração de uma plataforma de autenticação, implementação de solução de gestão centralizada de certificados digitais, auditoria de segurança (pen-testing) e análise de impacto de privacidade dos tratamentos de dados pessoais das plataformas de integração e autenticação

2018-2020

CRADLE

Deep learning in cancer drug discovery: a pipeline for the generation of new therapies

2018-2021

Authenticus2019

Apoio Técnico ao CINTESIS para extração de indicadores de produção científica baseados no Authenticus

2018-2018

ELVEN

Elven - Expressive Logics for VErifying the Net

2016-2019

Digi-NewB

Non-invasive monitoring of perinatal health through multiparametric digital representation of clinically relevant functions for improving clinical intervention in neonatal units (Digi-NewB)

2016-2020

FOUREYES

TEC4Growth - RL FourEyes - Intelligence, Interaction, Immersion and Innovation for media industries

2015-2019

NanoStima-RL5

NanoSTIMA - Advanced Methodologies for Computer-Aided Detection and Diagnosis

2015-2019

NanoStima-RL3

NanoSTIMA - Health data infrastructure

2015-2019

NanoStima-RL4

NanoSTIMA - Health Data Analysis & Decision

2015-2019

SMILES

SMILES - Smart, Mobile, Intelligent and Large scale Sensing and analytics

2015-2019

FOTOCATGRAF

Graphene-based semiconductor photocatalysis for a safe and sustainable water supply: an advanced technology for emerging pollutants removal

2015-2018

REMINDS

Relevance Mining and Detection System (REMINDS)

2015-2017

PANF

Methods to retrieve and communicate data from Sifarma

2015-2016

SEA

SEA-Sistema de ensino autoadaptativo

2015-2015

MGI

Contrato de Aquisição de serviços de produção e desenvolvimento de módulo para gestão de iterações para integrar no sistema de informação da UP (SIGARRA)

2015-2015

Hyrax

Crowd-Sourcing Mobile Devices to Develop Edge Clouds

2014-2018

DAT

Curation and intelligent data analysis

2014-2015

ABLe

Advice-Based Learning for Health Care

2013-2015

Authenticus

Authenticus - System to Identify and Validate Portuguese Scientific Publications

2013-2016

SIBILA

Towards Smart Interacting Blocks that Improve Learned Advice

2013-2015

ADE

Adverse Drug Effects Detection

2012-2015

e-Policy

Engineering for the Policy-making Life Cycle (ePolicy)

2011-2014

Leap

Logic environments with Advanced Paralelism

2011-2014

MACAW

Macroprogramming for Wireless Sensor Networks

2011-2014

Breadcrumbs

Social network based on personal libraries of news fragments

2010-2012

Ofelia

Open Federated Environments Leveraging Identity and Authorization

2010-2013

Horus

Horn Representations of Uncertain Systems

2010-2013

DIGISCOPE

DIGItally enhanced stethosCOPE for clinical usage

2010-2013

Palco3.0

Intelligent Web system to support the management of a social network on music

2008-2011

Team
Publications

CRACS Publications

View all Publications

2025

GANs in the Panorama of Synthetic Data Generation Methods

Authors
Vaz, B; Figueira, A;

Publication
ACM TRANSACTIONS ON MULTIMEDIA COMPUTING COMMUNICATIONS AND APPLICATIONS

Abstract
This article focuses on the creation and evaluation of synthetic data to address the challenges of imbalanced datasets in machine learning (ML) applications, using fake news detection as a case study. We conducted a thorough literature review on generative adversarial networks (GANs) for tabular data, synthetic data generation methods, and synthetic data quality assessment. By augmenting a public news dataset with synthetic data generated by different GAN architectures, we demonstrate the potential of synthetic data to improve ML models' performance in fake news detection. Our results show a significant improvement in classification performance, especially in the underrepresented class. We also modify and extend a data usage approach to evaluate the quality of synthetic data and investigate the relationship between synthetic data quality and data augmentation performance in classification tasks. We found a positive correlation between synthetic data quality and performance in the underrepresented class, highlighting the importance of high-quality synthetic data for effective data augmentation.

2025

Post, Predict, and Rank: Exploring the Relationship Between Social Media Strategy and Higher Education Institution Rankings

Authors
Bruna Rocha; Álvaro Figueira;

Publication
Informatics

Abstract
In today’s competitive higher education sector, institutions increasingly rely on international rankings to secure financial resources, attract top-tier talent, and elevate their global reputation. Simultaneously, these universities have expanded their presence on social media, utilizing sophisticated posting strategies to disseminate information and boost recognition and engagement. This study examines the relationship between higher education institutions’ (HEIs’) rankings and their social media posting strategies. We gathered and analyzed publications from 18 HEIs featured in a consolidated ranking system, examining various features of their social media posts. To better understand these strategies, we categorized the posts into five predefined topics—engagement, research, image, society, and education. This categorization, combined with Long Short-Term Memory (LSTM) and a Random Forest (RF) algorithm, was utilized to predict social media output in the last five days of each month, achieving successful results. This paper further explores how variations in these social media strategies correlate with the rankings of HEIs. Our findings suggest a nuanced interaction between social media engagement and the perceived prestige of HEIs.

2025

Incremental Repair Feedback on Automated Assessment of Programming Assignments

Authors
Paiva, JC; Leal, JP; Figueira, A;

Publication
ELECTRONICS

Abstract
Automated assessment tools for programming assignments have become increasingly popular in computing education. These tools offer a cost-effective and highly available way to provide timely and consistent feedback to students. However, when evaluating a logically incorrect source code, there are some reasonable concerns about the formative gap in the feedback generated by such tools compared to that of human teaching assistants. A teaching assistant either pinpoints logical errors, describes how the program fails to perform the proposed task, or suggests possible ways to fix mistakes without revealing the correct code. On the other hand, automated assessment tools typically return a measure of the program's correctness, possibly backed by failing test cases and, only in a few cases, fixes to the program. In this paper, we introduce a tool, AsanasAssist, to generate formative feedback messages to students to repair functionality mistakes in the submitted source code based on the most similar algorithmic strategy solution. These suggestions are delivered with incremental levels of detail according to the student's needs, from identifying the block containing the error to displaying the correct source code. Furthermore, we evaluate how well the automatically generated messages provided by AsanasAssist match those provided by a human teaching assistant. The results demonstrate that the tool achieves feedback comparable to that of a human grader while being able to provide it just in time.

2025

Multilayer horizontal visibility graphs for multivariate time series analysis

Authors
Silva, VF; Silva, ME; Ribeiro, P; Silva, F;

Publication
DATA MINING AND KNOWLEDGE DISCOVERY

Abstract
Multivariate time series analysis is a vital but challenging task, with multidisciplinary applicability, tackling the characterization of multiple interconnected variables over time and their dependencies. Traditional methodologies often adapt univariate approaches or rely on assumptions specific to certain domains or problems, presenting limitations. A recent promising alternative is to map multivariate time series into high-level network structures such as multiplex networks, with past work relying on connecting successive time series components with interconnections between contemporary timestamps. In this work, we first define a novel cross-horizontal visibility mapping between lagged timestamps of different time series and then introduce the concept of multilayer horizontal visibility graphs. This allows describing cross-dimension dependencies via inter-layer edges, leveraging the entire structure of multilayer networks. To this end, a novel parameter-free topological measure is proposed and common measures are extended for the multilayer setting. Our approach is general and applicable to any kind of multivariate time series data. We provide an extensive experimental evaluation with both synthetic and real-world datasets. We first explore the proposed methodology and the data properties highlighted by each measure, showing that inter-layer edges based on cross-horizontal visibility preserve more information than previous mappings, while also complementing the information captured by commonly used intra-layer edges. We then illustrate the applicability and validity of our approach in multivariate time series mining tasks, showcasing its potential for enhanced data analysis and insights.

2025

Extending the Quantitative Pattern-Matching Paradigm

Authors
Alves, S; Kesner, D; Ramos, M;

Publication
PROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2024

Abstract
We show how (well-established) type systems based on non-idempotent intersection types can be extended to characterize termination properties of functional programming languages with pattern matching features. To model such programming languages, we use a (weak and closed) lambda-calculus integrating a pattern matching mechanism on algebraic data types (ADTs). Remarkably, we also show that this language not only encodes Plotkin's CBV and CBN lambda-calculus as well as other subsuming frameworks, such as the bang-calculus, but can also be used to interpret the semantics of effectful languages with exceptions. After a thorough study of the untyped language, we introduce a type system based on intersection types, and we show through purely logical methods that the set of terminating terms of the language corresponds exactly to that of well-typed terms. Moreover, by considering non-idempotent intersection types, this characterization turns out to be quantitative, i.e. the size of the type derivation of a term t gives an upper bound for the number of evaluation steps from t to its normal form.

Facts & Figures

9Papers in indexed journals

2020

7Proceedings in indexed conferences

2020

17Academic Staff

2020