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

Human-Centered Computing and Information Science

HumanISE is an interdisciplinary centre focused on research at the forefront of human-centred computing (HCC) with broad and deep expertise in computer science (CS) and information science (IS).

At HumanISE, engineers, scientists and designers focus on research and development of software systems, methods, and tools, capable of leveraging human abilities and practices within their communities and environments, involving high technical and managerial complexity, due to large scale, high heterogeneity, high uncertainty, high integrity, strict compliance to standards and legal frameworks, or domain-specific organisational issues.

Our mission is to pursue high-quality research, innovation, consultancy, and technology transfer, impactful, in close cooperation with academic and industrial partners. We focus on five main research areas - Computer-Human Interaction, Computer Graphics and Interactive Digital Media, Information Management and Information Systems, Software Engineering, and Large Scale and Special Purpose Computing Systems, Languages and Tools - and four innovation areas - Personalised Health Research, Earth, Ocean and Space Science, Geospatial Information Systems Engineering, and Information Systems and Applied Computing.

Furthermore, at HumanISE, we are also strongly committed to training young researchers and professionals, with a significant track record in the supervision of master and PhD students.

Presently, our researchers originate from the University of Porto (UP), Polytechnic of Porto (IPP), University of Trás-os-Montes e Alto Douro (UTAD), Universidade Aberta (UAb) and University of Minho (UM).

Latest News
Robotics

Portugal at the forefront with new technology for measuring radon gas and improving global climate projections

For the next four years, INESC TEC will lead an international consortium with a budget of €2.6M, aimed at using advanced techniques to measure environmental radioactivity. According to estimates, by 2028, new technological solutions will be available that can improve both climate research - particularly in estimating greenhouse gas emissions - and radiological protection for the population and the environment.

02nd October 2024

INESC TEC seeks to help companies embrace digital transformation at lower costs

Digital transition, innovation, business empowerment, financing, disruptive technologies; and a certainty: 2024 will be a year of opportunities for companies that are willing to take risks. Close to 100 participants gathered at Palácio do Freixo to get to know ATTRACT project, coordinated by INESC TEC. 

08th February 2024

INESC TEC researchers strive to improve realism and multisensory experiences in virtual environment training

The scientific work "Studying the Influence of Multisensory Stimuli on a Firefighting Training Virtual Environment" won the 13th edition of the Professor José Luís Encarnação award. It is the sixth time that a group of INESC TEC researchers won this annual award.

17th January 2024

INESC TEC technology to protect olive groves and potentially other crops

The InOlive project reached the end; the olive groves' smart monitoring solutions developed within the scope of the initiative are currently being used. INESC TEC has created a smart trap, a technology that could be optimised to other crops.  

10th October 2023

INESC TEC attended seminar dedicated to the Forest Bioeconomy

Promoting the debate and reflection on advanced technologies, emerging markets, and national and European policies that contribute to the valorisation and efficient and sustainable use of forest resources; this was the theme of the seminar organised by FORESTIS – Associação Florestal de Portugal, which brought together stakeholders from Portugal and Spain, with INESC TEC participation.

28th July 2023

227

Featured Projects

INESCTEC.OCEAN

Centre of Excellence in Ocean Research and Engineering

2025-2030

EYEFRYBluetooth

Evolução funcional da Plataforma EYEFRY e capacitação de elementos da AMBIFOOD

2024-2025

NuClim

Nuclear observations to improve Climate research and GHG emission estimates

2024-2028

BankRoad2DataMgm

Serviços de consultoria em I&D associados à evolução da solução CoolBiz face às novas regulamentações de reporte financeiro emanadas pelo BCE

2024-2026

BankTransf24

Serviços de I&D no âmbito da Transformação Digital do Banco Português de Fomento - 2024

2024-2025

FRODDO

Federated cybeR-physical infrastructure for ODD cOntinuity

2024-2027

FJB

FairJourney Biologics

2024-2024

NOUS

A catalyst for EuropeaN ClOUd Services in the era of data spaces, high-performance and edge computing

2024-2026

BLUE-X

BLUE ENERGY OFFSHORE INSTALLATION ACCELERATOR

2023-2026

TutorIA

Plataforma de prevenção de abandono escolar e gestão de tutoria baseada em algoritmos de inteligência artificial

2023-2024

PHASE IV AI

Privacy compliant health data as a service for AI development

2023-2026

BankDigitalTransf

Serviços de consultoria em I&D no âmbito da Transformação Digital do Banco Português de Fomento

2023-2024

AzDIH

Azores Digital Innovation Hub on Tourism and Sustainability

2023-2025

CAPTA

Neutralidad climática: papel del Carbono Azul en la costa de Portugal y Galicia

2023-2026

RECONNECTED

A complex systems approach towards REsilient and CONNECTED vulnerable European communities in times of change

2023-2027

eVote23

Serviços de manutenção adaptativa da plataforma de votação eletrónica E-Vote

2023-2023

PFAI4_4eD

Programa de Formação Avançada Industria 4 - 4a edição

2023-2023

IT4IT

Programa IT4IT do Banco Montepio

2023-2023

ARSensor

Investigação & Desenvolvimento de Componente de Realidade Aumentada para App Móvel

2023-2023

UNIFY

Compilation Abstraction and Hardware Adaptation for Specialized and General-Purpose Computing Unification

2023-2026

Osler

Olser: Computer Assisted Anamnesis

2023-2024

BankRoad2DataCtlg

Consultoria avançada no âmbito da evolução do Catálogo de Dados associado à solução CoolBiz

2023-2024

A-IQ Ready

Artificial Intelligence using Quantum measured Information for realtime distributed systems at the edge

2023-2025

uxCADCT

Usability and Explainability of Automatic Exclusion of Coronary Artery Disease in Computed Tomography

2023-2024

AgendaTransform

Agenda para a transformação digital do setor florestal para uma economia resiliente e hipocarbónica

2022-2025

ATTRACT_DIH

Digital Innovation Hub for Artificial Intelligence and High-Performance Computing

2022-2025

NewSpacePortugal

Agenda New Space Portugal

2022-2025

MAP3

Consultoria especializada no âmbito do desenvolvimento do Minho Access Point

2022-2024

SIGMAIA3

Extensão para aquisição de serviços de consultoria à 2ª fase do SIG Maia

2022-2024

TEXPACT

Innovation Pact for the Digitalization of Textiles and Clothing

2022-2025

WavyNOS

WAVY drifter based Nearshore Observation System

2022-2024

FAIST

Fábrica Ágil Inteligente Sustentável e Tecnológica

2022-2025

CHUSJ_Genetica

Aquisição de Serviços de Base de Dados para receção de Dados Laboratoriais de Genética do Centro Hospitalar Universitário de São João, E.P.E.

2022-2023

PFAI4_3ed

Programa de Formação Avançada Industria 4 - 3a edição

2022-2022

EESDataLab

Modelos de dados espácio-temporais e algoritmos para as ciências da terra

2022-2023

TRIO

Adult education on digital, health and data literacy for citizen empowerment

2022-2024

ILIAD

INTEGRATED DigitaL Framework FOR Comprehensive MARITIME DATA AND INFORMATION SERVICES

2022-2025

VR2Care

3D community aware virtual spaces as smart living environments for rehabilitation and physical care

2022-2024

DBoidS

Digital twin Boids fire prevention System

2022-2025

SpecRep

Constraint-based Specification Repair

2022-2023

Data4Bus

Programa “Gestão de Informação 2021-24” do Banco Montepio

2021-2024

COLOGISTICS

Implementação de ferramentas digitais para a melhoria da logística e do transporte de mercadorias na eurorregião

2021-2022

BPrepared

Programa multiplataforma de preparação e treino em Proteção Civil

2021-2023

CoolBizDOC

Metodologias para a documentação dos conceitos funcionais e descrição de estruturas informacionais suportadas pelo CoolBiz

2021-2022

HfPT

Health from Portugal

2021-2025

Inno4Vac

A cloud-based systems-immunology platform for reliable predictions of vaccine efficacy

2021-2027

PAFSE

Partnerships for science education

2021-2024

InOlive

Sistema de monitorização inteligente para prevenção de pragas e doenças no olival

2021-2023

ARQNET3

Portal dos Arquitectos - Levantamento tecnológico

2021-2023

CholdaDigital

Consultoria Avançada em Sistemas de Informação e Redes de Comunicações para a Quinta da Cholda

2021-2022

Data4CiMob

Estudo dos mecanismos de interoperabilidade da plataforma Minho Access Point

2021-2022

Boozebuster

Boozebuster Tools

2021-2022

LifeSkillsVR

Life Skills for Employment in COVID-19 Era through VR Innovation

2021-2023

COL4INDLOG

Collaborative processes for industry and logistics interaction including B2B and B2G and the synchro modality paradigm

2021-2022

FLORESTa

Plataforma de informação colaborativa para avaliação, monitorização e gestão de riscos na produção e dinamização da economia florestal

2021-2023

SIGIPRO

Sistema inteligente de gestão de processos habilitados espacialmente

2021-2023

FronTowns

Think big on small frontier towns: Alto Alentejo and Alta Extremadura leonesa (13th - 16th centuries)

2021-2025

MobData4Urb

Arquitetura do Piloto ao nível da Plataforma Integradora, dos Sistemas Legados, das Infraestruturas de TI e dos Sistemas Físicos de Mobilidade

2021-2021

FREND

Investigação & Desenvolvimento de Consultoria Especializada no Desenvolvimento de Plataforma Inovadora de Apoio à Monitorização e Controlo Integrado de Sensores Baseados em Imagem Multiespectral

2021-2021

SEPIA

Studying Experiences of Pain In Adolescents

2021-2024

EUGLOHRIA

The European Alliance for Global Health - Transformation through Joint Research and Innovation Action

2021-2023

REDVILE

AR/VR for Training and Learning

2021-2022

SMARTCUT

Diagnóstico e Manutenção Remota e Simuladores para Formação de operação e manutenção de Máquinas Florestais

2020-2023

PORT XXI

Space Enabled Sustainable Port Services

2020-2022

PFAI4.0

Programa de Formação Avançada Industria 4.0

2020-2021

Regulam2ITSUrb

Regulamentos para soluções ITS de fiscalização rodoviária em contexto urbano

2020-2021

iiLab

Ampliação da Infraestrutura Tecnológica do INESC TEC para a Transformação Digital da Indústria

2020-2023

INCAFO

Identificação de Castas através da folha

2020-2023

VitalPROVID

Sistema de Monitorização de Doentes - Durante e após o COVID-19

2020-2021

Continental FoF

Fábrica do Futuro da Continental Advanced Antenna

2020-2023

Replant

Implantação de estratégias colaborativas para a gestão integrada da floresta e do fogo

2020-2023

REV@CONSTRUCTION

Digital construction revolution

2020-2023

NEWSAT

Development of a compact integrated sensor and satellite for earth observation

2020-2023

TraceRadon

Radon metrology for use in climate change observation and radiation protection at the environmental level

2020-2023

DigCore

Digital Core

2020-2021

PLIS1asis

CONSULTORIA PARA O LEVANTAMENTO DA SITUAÇÃO ATUAL DO SISTEMA DE GESTÃO INTEGRADA DE FOGOS RURAIS (SGIFR)

2020-2020

ARQNET2

Suporte e alteração/implementação de funcionalidades no Portal dos Arquitectos

2020-2020

EPOSSP

European Plate Observing System Sustainability Phase

2020-2023

EYEFRYprototype2prod

Desenvolvimento, manutenção adaptativa e suporte operacional da plataforma EYEFRY

2020-2020

TRIMAPSTRACK

Plataforma inovadora de apoio à monitorização e controlo integrado das operações portuárias relativas à movimentação de veículos e de carga perigosa contentorizada

2020-2021

MBSERVMAINTENANCE

Moodbuster services maintenance and support

2019-2021

SIFOREST

Elaboração de Estudo de identificação das capacidades e competências dos agentes setoriais regionais para a implementação de sistemas de informação partilhados no âmbito da gestão organizacional e gestão florestal

2019-2021

TRANSFORM

Estudo "Transformação Digital e Necessidades de Formação

2019-2022

WalkingPAD

Patient education on a quantified supervised home-based exercise therapy to improve walking ability in patients with peripheral arterial disease and intermittent claudication

2019-2022

TIPES

Tipping Points in the Earth System

2019-2024

AmbiVideo360

Augmented experiences in interactive 360º videos

2019-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

INCLUDING

Innovative Cluster for Radiological and Nuclear Emergencies

2019-2024

SIGMAIA2

Consultoria na 2ª fase do SIG Maia

2019-2022

INFRAVINI

Infraestrutura de dados espaciais para a gestão das alterações climáticas na vinha

2019-2021

MatosinhosDigital

Proposta de prestação de serviços de consultoria para a modernização digital

2019-2020

consult_ARQT_EMPR

Consultoria tendo em vista a definição de uma Arquitetura Empresarial para a JMD

2019-2019

ICON

Integração de Conteudos

2019-2019

ProtocolsForITS

Consultoria sobre protocolos de comunicação entre os controladores e o sistema de gestão de tráfego da CML

2019-2019

RDA-pt

The European plug-in to the global Research Data Alliance

2019-2020

VRTrainingIndustry

Virtual EnvironmentS for optimization and training in InduStry 4.0

2019-2021

EPISA

Entity and Property Inference for Semantic Archives

2019-2022

iReceptor+

Architecture and tools for the query of antibody and T-Cell receptor sequencing data repositories for enabling improved personalized medicine an immunotherapy

2019-2022

EUCAN_CONNECT

A federated FAIR platform enabling large-scale analysis of high-value cohort data connecting Europe and Canada in personalized health

2019-2023

RADCAMIN

RADioactivity in CAves and MINes - Portuguese and Slovak case studies

2019-2022

MBIntervention

Moodbuster personalized intervention

2018-2018

MuseuPorto

Desenvolvimento e implementação de 5 soluções tecnológicas para incluir no novo Museu de História da Cidade - Reservatório

2018-2021

MBSupport

Moodbuster personalized maintenance and technical support

2018-2018

PPD-Parlamento

Consulting for the digital preservation plan for the Parliament

2018-2019

SCReLProg

Self and co-regulation in e-Learning of computer programming

2018-2022

RUTE

Randtech Update and Test Environment

2018-2020

eCSAAP

Expert Crowdsourcing for Semantic Annotation of Atmospheric Phenomena

2018-2020

PromoTourVR

Promoting tourism destinations with multisensory immersive media

2018-2022

Wex-Atlantic

Weather extremes in the euro atlantic region: assessment and impacts

2018-2022

PERFECT

Perceptual equivalence in virtual reality for authentic training

2018-2021

PAINTER

Procedurally assisted INTErchangeable reality

2018-2022

M2S

Mindfulness to students' sucess:relating executive functions and writing through a mindfulness app to promote children's cognitive, social, and health-related outcomes

2018-2022

MoST

Modeling, querying and interactive visualization of spatiotemporal data

2018-2021

PalacioDaAgua

Consultoria para instalação do Palácio da Água no Centro Multiusos de Chaves

2018-2024

StopPropagHate

Automatic hate speech detection in online news media

2018-2019

EYEFRYPLUS

Prestação de serviços para o desenvolvimento da versão 2 da plataforma EYEFRY

2018-2018

FDControlo

Importância dos hospedeiros alternativos (plantas, insetos, vitis abandonada) na dispersão da doença da flavescência dourada (FD) da vinhda e das populações de scapholdeus titanus nas sub-regiões vitivinículas do Cávado e do Lima

2018-2022

Lab_massive

Laboratório Massive

2018-9999

RADARONRAIA

Radares en el observatorio raia

2018-2022

GEOCONSULT

Consultoria técnica especializada em IDE

2017-2018

TRICONSULT

Consultoria técnica na área dos Sistemas de Informação Geográfica

2017-2019

MELOA

Multi-purpose/Multi-sensor Extra Light Oceanography Apparatus

2017-2022

FEEdBACk

Fostering Energy Efficiency and BehAvioural Change through ICT

2017-2021

WindScanner

WindScanner national infrastructure

2017-2021

NIE

Interfaces naturais com idosos

2017-2019

MarRisk

Costal adaptation to climate change: knowing the risks and increasing resilience.

2017-2021

PilotoEUDAT

TAIL Data Pilot in EUDAT

2017-2018

SIGPPC

Análise de Desempenho e Revisão de Algoritmos do Expert System para Classificação Automática e Retrieval de Histórico do Provedor do Cliente da EDP

2017-2017

AUTOTESTSW

Estudo e elaboração de recomendações para a automatização de testes de software

2017-2019

SIGMAIA

Serviços de Consultadoria no Projeto SIG Intermunicipal Maia - Reforço da Colaboração e Integração do Sistema de Informação Intra e Inter organizacinal, e capacitação institucional, no dominio do reforço da organização e aprendizagem por via do trabalho em rede.

2017-2018

C4G

Colaboratório para as Geociências

2017-2022

RELECT

Radioactivity and ELECTtric Field monitoring campaign at Hyytiälä (ENVRIplus TNA)

2017-2017

RCD

Repositório Clínico Digital

2017-2018

Simprove

The Biomedical Simulation Centre of the Future

2017-2019

AV360-DNI

AV360 - Augmented Video 360

2017-2018

RECAP

Research on European Children and Adults born Preterm

2017-2021

InteGrid

Demonstration of INTElligent grid technologies for renewables INTEgration and INTEractive consumer participation enabling INTEroperable market solutions and INTErconnected stakeholders

2017-2020

ARQNET

Conceção, arquitetura e validação de uma solução tecnologicamente inovadora no que diz respeito à utilização de mecanismos de autenticação e assinatura de documentos com recurso a meios eletrónicos, ao fornecimento de atributos e mecanismos de votação por via eletrónica, através do Cartão de Cidadão e Chave Móvel Digital

2016-2020

Atena

Saber para intervir: observatório para a educação

2016-2019

Tele-Media-Arte

Multimodal Telepresence in Support of Online Inclusive Distance Arts Education and Training

2016-2017

HDR4RTT

Real time Tracking and display of multiple objects in extreme lighting conditions

2016-2020

IMOPORTAL

Portal Web de Armazéns

2016-2019

CONTEXTWA

Middleware and Context Inference Techniques from DataStreams for the Development of ContextAware Services using Mobile Devices

2016-2019

Icarefordepression

i-Care for Depression: Blending face-to-face psychotherapy with internet and mobile digital solutions

2016-2020

TAIL

TAIL - Research data management from creation to deposit and sharing

2016-2019

GReSBAS

Grid Responsive Society Through Building Automation Systems

2016-2019

SIGAMP

SIF Intermunicipal da AMP

2016-2017

BEACONING

Breaking Educational Barriers with Contextualised, Pervasive and Gameful Learning (BEACONING)

2016-2019

CORAL-SENSORS

CORAL – Sustainable Ocean Exploitation: Tools and Sensors

2016-2018

CORAL-TOOLS

CORAL – Sustainable Ocean Exploitation: Tools and Sensors

2016-2018

DRIW2020

DRIW2020 - Estudos e projetos RIS da Atividade 2 - Sistemas e processos ICT do Projeto Douro's Inland WaterWay 2020

2015-2016

SeaBioData

Portuguese Seamounts Biodiversity Data Management

2015-2017

NanoStima-RL2

NanoSTIMA - Health data collection and visualization

2015-2019

FOUREYES

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

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

CE4Blind

Context extraction for blind using computer vision

2015-2016

StopDepression

Stepped care treatments and digital solutions for depression and suicide prevention in primary care.

2015-2016

DIGITAVE

Concepção, desenvolvimento e implmentação de um sistema de gestão federada de identidades digitais

2015-2015

WiderMOS

Wide Interoperability and new governance moDels for freight Exchange linking Regions through Multimodal maritime based cOrridorS

2014-2016

Cap@CIDADE

Survey and mapping of activities and informational objects and process modelling

2014-2016

InMERSE

Expanded Multimodal Interaction in Entertainment Service Network

2014-2015

LeanBigData

Ultra-Scalable and Ultra-Efficient Integrated and Visual Big Data Analytics

2014-2017

RAIA.TEC

Complementary technologies for the Ocean Observatory of the Iberian Coast

2014-2015

E-Compared

European Comparative Effectiveness Research on Internet-based Depression Treatment

2014-2017

EYEFRY

Cooking oils degradation assessment system

2014-2015

PGLobal

Desenvolvimento de software para ser integrado numa plataforma de recolha automática e selecção de conteúdos de jornais participantes de vários países

2014-2015

SMICE

Online platform for energy behaviour monitoring system

2013-2014

3Port

Ports and Environmental Management Information System

2013-2015

PWA

Web Portal for Warehouses

2013-2017

IPMAPS

Software framework to create geographic information systems

2013-2015

Online_Gym

Online Gym based on collaborative networked virtual reality

2013-2014

SIOCER

Auditing in information systems

2013-2013

WireMarketPlatform

Online platform to promote contents

2013-2013

OASRN

Consulting in information technologies

2013-2016

APDIC

Archiving and Digital Preservation of Clinical Information

2013-2015

SIBILA

Towards Smart Interacting Blocks that Improve Learned Advice

2013-2015

MASSIVE

Multimodal Acknowledgeable multiSenSorial Immersive Virtual Enviroments

2013-2015

CorredorAzul

Study to attract residents to the Urban Network for Competitiveness and Innovation "Corredor Azul"

2012-2013

SARA

Asset Management System for Road Networks

2012-2015

MedicalSoft

Medical Imaging Applications in Windows, MAC OS X and IOS environments

2012-2013

GIE-GNP

Cross-border collaboration platform

2012-2014

ICARUS-CRAS

Integrated Components for Assisted Rescue and Unmanned Search operations

2012-2016

KNIT

Technological Innovation Centre

2012-2012

Pweb

Consulting in Web portals

2012-2012

MIELE

Characterising, Managing and Modelling the Requirements of project MIELE

2011-2014

AdChrono

Automatic optimisation of online advertising

2011-2013

AVESAT

Services on satellite technology applied to municipal transport circuit management and optimisation

2011-2013

CAALYX-MV

Complete Ambient Assisted Living Experiment - Market Validation

2011-2012

ERAS

Expedite Virtual Reconstruction of Cultural Heritage Sites

2011-2013

GIS2R

Creation and Exploration of 3D Real Urban Environments

2011-2012

ECOPLANNER

Eco-efficient management platform

2011-2013

CNG

New Generation Contents for Education and Vocational Training

2011-2014

TICE.Mobilidade

User-centric mobility systems

2011-2014

AAL4ALL

Ambient Assisted Living for All

2011-2015

RAIA.co

Web services aimed at extending of the RAIA Observatory interoperability platform

2011-2013

SI.VIDA3

SI.VIDA Information System - Stage 3 - Dissemination in hospitals

2011-2012

SIGAP

Business Process Characterization

2010-2011

PINC

Pole of Creative Industries of University of Porto's Science and Technology Park

2010-2013

Desktop4IPbrick

Multiplatform desktop environment for free software applications

2010-2012

e-milia

Collaborative platform to increase and improve access to ICT by the senior citizens of the Municipality of Santa Maria da Feira

2010-2012

WebReports

Generation of reports in Web environment

2010-2011

CEMSDI

Civil-servants Empowerment for Multi-media Service Delivery ICT-enabled

2010-2012

3DWikiU

Collaborative Virtual Reality system for urban environments

2010-2012

ICT4Depression

User-friendly ICT Tools to Enhance Self-Management and Effective Treatment of Depression in the EU

2010-2013

RobVigil

Collaborative and intelligent surveillance robot for the security area

2010-2012

Escolinhas

"Escolinhas" educational platform

2009-2011

ADD-ME

Activating Drivers for Digital eMpowerment in Europe

2009-2011

SIGAve

Regional geographical information system

2009-2010

SAMA2007

Advisory to the Managing Body of the SAMA - ON.2 Programme

2009-2010

Mobiles

Sustainable electric mobility - Solutions for the logistics associated with electric vehicle battery charging

2009-2012

eCAALYX

Enhanced Complete Ambient Assisted Living Experience

2009-2012

PortalDouro

Tourism portal for the Douro region

2009-2011

Generg

Specialized Consulting on Information Systems

2009-2012

RAIA

Ocean Observatory for the Iberian Coast

2009-2012

WikiWipro

Wiki knowledge base to support the ellaboration of project presentations

2008-2009

Palco3.0

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

2008-2011

EINautilus

Classroom Management Software

2008-2011

CCDRN-RJUE

Regional interoperability platform between municipalities and central administration, in the area of urbanization and building construction licensing

2008-2011

Urbis

Efficient management and visualization of spatiotemporal urban data

2008-2010

SI.VIDA

Information System to collect and process data on AIDS for the High Commissioner for Healthcare

2007-2012

DBPreserve

Data Warehouses for the Long-term Preservation of Institutional Electronic Records and Databases

2007-2010

Eolos

Impact of Wind Farms on radiocommunication services

2007-2010

WineSlot

Prototype to Manage the Classification of agricultural lots

2007-2010

CCDRN-TIC

Collaborative platforms for PROT N, Norte em Rede and Atlantic Area INTERREG Programme

2006-2011

DevSecPaaS

Plataforma Segura de Apoio ao Desenvolvimento de Produtos de Software

2004-2006

Team
003

Laboratories

Information Systems Laboratory

Laboratory of Software Engineering

Laboratory of Computer Graphics and Virtual Environments

Publications

HumanISE Publications

View all Publications

2025

Alloy Repair Hint Generation Based on Historical Data

Authors
Barros, A; Neto, H; Cunha, A; Macedo, N; Paiva, ACR;

Publication
FORMAL METHODS, PT II, FM 2024

Abstract
Platforms to support novices learning to program are often accompanied by automated next-step hints that guide them towards correct solutions. Many of those approaches are data-driven, building on historical data to generate higher quality hints. Formal specifications are increasingly relevant in software engineering activities, but very little support exists to help novices while learning. Alloy is a formal specification language often used in courses on formal software development methods, and a platform-Alloy4Fun-has been proposed to support autonomous learning. While non-data-driven specification repair techniques have been proposed for Alloy that could be leveraged to generate next-step hints, no data-driven hint generation approach has been proposed so far. This paper presents the first data-driven hint generation technique for Alloy and its implementation as an extension to Alloy4Fun, being based on the data collected by that platform. This historical data is processed into graphs that capture past students' progress while solving specification challenges. Hint generation can be customized with policies that take into consideration diverse factors, such as the popularity of paths in those graphs successfully traversed by previous students. Our evaluation shows that the performance of this new technique is competitive with non-data-driven repair techniques. To assess the quality of the hints, and help select the most appropriate hint generation policy, we conducted a survey with experienced Alloy instructors.

2025

Testing infrastructures to support mobile application testing: A systematic mapping study

Authors
Kuroishi, PH; Paiva, ACR; Maldonado, JC; Vincenzi, AMR;

Publication
INFORMATION AND SOFTWARE TECHNOLOGY

Abstract
Context: Testing activities are essential for the quality assurance of mobile applications under development. Despite its importance, some studies show that testing is not widely applied in mobile applications. Some characteristics of mobile devices and a varied market of mobile devices with different operating system versions lead to a highly fragmented mobile ecosystem. Thus, researchers put some effort into proposing different solutions to optimize mobile application testing. Objective: The main goal of this paper is to provide a categorization and classification of existing testing infrastructures to support mobile application testing. Methods: To this aim, the study provides a Systematic Mapping Study of 27 existing primary studies. Results: We present a new classification and categorization of existing types of testing infrastructure, the types of supported devices and operating systems, whether the testing infrastructure is available for usage or experimentation, and supported testing types and applications. Conclusion: Our findings show a need for mobile testing infrastructures that support multiple phases of the testing process. Moreover, we showed a need for testing infrastructure for context-aware applications and support for both emulators and real devices. Finally, we pinpoint the need to make the research available to the community whenever possible.

2024

Proceedings of the 19th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2024, Volume 4: VISAPP, Rome, Italy, February 27-29, 2024

Authors
Radeva, P; Furnari, A; Bouatouch, K; de Sousa, AA;

Publication
VISIGRAPP (4): VISAPP

Abstract

2024

Proceedings of the 19th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2024, Volume 3: VISAPP, Rome, Italy, February 27-29, 2024

Authors
Radeva, P; Furnari, A; Bouatouch, K; de Sousa, AA;

Publication
VISIGRAPP (3): VISAPP

Abstract

2024

Proceedings of the 19th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2024, Volume 2: VISAPP, Rome, Italy, February 27-29, 2024

Authors
Radeva, P; Furnari, A; Bouatouch, K; de Sousa, AA;

Publication
VISIGRAPP (2): VISAPP

Abstract