Login
Research

Software Systems

Software Systems

Information Team Publications Projects Graduations Prototypes Seminars

VeriFx: Correct Replicated Data Types for the Masses

InProceedings

Published in 11/07/2023

Authors

Kevin De Porre, Carla Ferreira, Elisa Gonzalez Boix ,

Hoogle*: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution

InProceedings

Published in 11/07/2023

Authors

Henrique Botelho Guerra, João F. Ferreira, João Costa Seco,

Surveying communities of users of MATLAB and clone languages

Article

Published in 01/12/2022

Authors

Eduardo Reis, Catarina Gralha, Miguel Monteiro, M. Mernik,

Making sense of the unknown: How managers make cyber security decisions

Article

Published in 01/08/2022

Authors

Ben Shreeve, Catarina Gralha, Awais Rashid, João Araújo, Miguel Goulão,

On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings

Article

Published in 10/06/2022

Authors

Bernardo Toninho, Nobuko Yoshida,

A Sustainability Requirements Catalogue for Software Modelling

InProceedings

Published in 18/10/2021

Authors

Diogo Albuquerque, Ana Moreira, João Araújo, Catarina Gralha, Miguel Goulão, Isabel Sofia Brito, Aditya Ghose, Jennifer Horkoff,

A Decade of Dependent Session Types

InProceedings

Published in 05/10/2021

Authors

Bernardo Toninho, Luis Caires, Frank Pfenning, Niccolo Veltri, Nick Benton, Silvia Ghilezan,

On the Impact of Using Different Templates on Creating and Understanding User Stories

InProceedings

Published in 20/09/2021

Authors

Catarina Gralha, Rita Pereira, Miguel Goulão, João Araújo,

Propositions-as-types and shared state

Article

Published in 02/08/2021

Authors

Luis Caires, Pedro Rocha,

Cameleer: A Deductive Verification Tool for OCaml

Article

Published in 15/07/2021

Authors

Mário Pereira, António Ravara,

Java Typestate Checker

InProceedings

Published in 08/06/2021

Authors

Marco Giunti, António Ravara,

Refinement kinds: type-safe programming with practical type-level computation

Article

Published in 17/02/2021

Authors

Luis Caires, Bernardo Toninho,

AgentDSM-Eval: A Framework for the Evaluation of Domain-specific Modeling Languages for Multi-agent Systems

Article

Published in 01/01/2021

Authors

Omer Alaca, Baris Tezel, Moharram Challenger, Miguel Goulão, Vasco Amaral, Geylani Kardas,

Featherweight Go

InProceedings

Published in 01/11/2020

Authors

Bernardo Toninho, Nobuko Yoshida, Robert Griesemer, Philip Wadler, Ian Lance Taylor, Wen Kokke, Raymond Hu, Julien Lange,

Multi-Paradigm Modelling Approaches for Cyber-Physical Systems

Book

Published in 01/11/2020

Authors

Bedir Tekinerdogan, Dominique Blouin, Hans Vangheluwe, Miguel Goulão, Paulo Carreira, Vasco Amaral,

Featherweight Go

InProceedings

Published in 01/11/2020

Authors

Bernardo Toninho, Nobuko Yoshida, Robert Griesemer, Philip Wadler, Ian Lance Taylor, Wen Kokke, Raymond Hu, Julien Lange,

Are there gender differences when interacting with social goal models? A quasi-experiment

Article

Published in 01/09/2020

Authors

Catarina Gralha, Miguel Goulão, João Araújo,

GoPi: Compiling Linear and Static Channels in Go

InProceedings

Published in 10/06/2020

Authors

Marco Giunti,

Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems

Book

Published in 01/04/2020

Authors

Paulo Carreira, Paulo Carreira, Vasco Amaral, Vasco Amaral, Hans Vangheluwe, Hans Vangheluwe,

A process to support the creation of iStar extensions

InProceedings

Published in 01/03/2020

Authors

Jaelson B. Castro, João Araújo,

RESEARCH GROUP Software Systems

RESEARCH GROUP Intelligent Systems

RESEARCH GROUP Multimodal Systems

RESEARCH GROUP Computer Systems