Software Systems

Information Team Publications Projects Graduations Prototypes Seminars

SIH – Smart Islands Hub

Concluded

01/10/2022 - 30/09/2025

Team

David Aveiro,

MiColEC – Microhubs Colaborativos para a Economia Circular

Concluded

01/01/2022 - 30/06/2023

Team

David Aveiro,

Behavioural Application Program Interfaces

BehAPI Concluded

01/11/2018 - 01/10/2022

Team

Adrian Francalanza, Marco Giunti,

LESS (is more): Low-level External Superoptimizer for Smart contracts

LESS Concluded

01/01/2021 - 30/04/2022

Team

Henrique Domingos, Simão Melo de Sousa, Salvador Abreu, Henrique Domingos, Simão Melo de Sousa, Salvador Abreu,

FORGET – Efficiently Forgetting What Needs to be Forgotten

Concluded

01/10/2018 - 30/09/2021

Team

João Leite, Matthias Knorr, Ricardo Gonçalves, João Leitão, Carla Ferreira, Carlos Viegas Damásio, José Júlio Alferes, Nuno Preguiça,

Distributed Data-Centric Concurrency Control

DeDuCe Concluded

01/09/2018 - 31/08/2021

Team

Hervé Paulino, António Ravara, João Lourenço, Marco Giunti, Ana Almeida Matos,

A correct by design methodology for available cloud applications

PRECISE Concluded

01/10/2018 - 30/09/2021

Team

Carla Ferreira, Nuno Preguiça, Miguel Goulão, João Costa Seco, Sérgio Duarte, Valter Balegas,

Cosmos: Causal Consistency on the Network Edge.

COSMOS Concluded

14/06/2018 - 13/06/2021

Team

João Leitão, Luis Rodrigues, Nuno Preguiça, Carla Ferreira, Pedro Fouto, Gonçalo Tomás, Pedro Ákos Costa,

Rapid Application Delivery for the Modern Enterprise Project code

Radicalize Concluded

01/01/2016 - 31/12/2018

Team

Luis Caires, João Costa Seco, Carla Ferreira,

ICT COST Action IC1404 Multi-Paradigm Modelling for Cyber-Physical Systems

MPM4CPS Concluded

01/12/2014 - 01/12/2018

Team

Vasco Amaral, Hans Vangheluwe, Miguel Goulão, Ankica Barisic, Paulo Carreira,

Patrimonialização da Paisagem Sonora em Évora (1540 – 1910)

PASEV Concluded

06/02/2019 - 05/02/2022

Team

Armanda Rodrigues, Nuno Correia, João Araújo,

Extending Horizons of Computing

Reversible Computation Concluded

30/04/2015 - 29/04/2019

Team

Carla Ferreira, Luis Caires,

Modeling Socio-Cyber-Physical Systems

MSCPS Concluded

29/01/2020 - 29/01/2020

Team

Vasco Amaral, Stefan Sauer, Ana Moreira, Ankica Barisic, Jácome Cunha, João Araújo, Miguel Goulão, Gregor Engels, Bahar Jazayeri, Zahra Nouri,

An Environment for Live Construction of Trustworthy Software

CLAY Concluded

01/07/2016 - 31/12/2019

Team

Luis Caires, João Costa Seco, Teresa Romão, Nuno Preguiça, João Costa Seco, Carlos Viegas Damásio,

GOLEM – Automated Programming to Revolutionize App Development

GOLEM Concluded

01/04/2020 - 30/06/2023

Team

João Costa Seco, Luis Caires, Carla Ferreira, Bernardo Toninho, Irene Pimenta Rodrigues,

SpreadSheets as a Programming Paradigm

SSaaPP Concluded

01/05/2010 - 01/08/2013

Team

Jácome Cunha, Joost Visser, Tiago Miguel Laureano Alves, Jorge Mendes, Rui Pereira,

Towards an Engineering Discipline for Green Software

GreenSoftwareLab Concluded

01/01/2016 - 31/12/2018

Team

Jácome Cunha, Alexandre Perez, Jorge Mendes, Marco Couto, Pedro Martins, Rui Pereira,

Spreadsheet Models for the Real World

Spreadsheet Models for the Real World Concluded

01/09/2015 - 31/08/2016

Team

Jácome Cunha, Gregor Engels, Stefan Sauer, Jorge Mendes, Rui Pereira,

ICT COST Action IC1406 – High-Performance Modelling and Simulation for Big Data Applications (cHiPSet)

Chipset Concluded

30/04/2015 - 01/04/2019

Team

Joanna Kolodziej, Vasco Amaral, Miguel Goulão,

DSML4MAS – Developing a Framework on Evaluating Domain-specific Modeling Languages for Multi-agent Systems

DSML4MAS Concluded

01/11/2016 - 31/01/2019

Team

Vasco Amaral, Ankica Barisic, Miguel Goulão, Geylani Kardas,

1 2 3 4 Next »

Software Systems