Publicacoes - INESC TEC

Publicações

Publicações por Alexandre Castro Madeira

2023

idDL2DL - Interval Syntax to dL

Autores
Santos, J; Figueiredo, D; Madeira, A;

Publicação
Theoretical Aspects of Software Engineering - 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings

Abstract

2023

Recent Trends in Algebraic Development Techniques - 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers

Autores
Madeira, A; Martins, MA;

Publicação
WADT

Abstract

2023

Structured Specification of Paraconsistent Transition Systems

Autores
Cunha, J; Madeira, A; Barbosa, LS;

Publicação
Fundamentals of Software Engineering - 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers

Abstract
This paper sets the basis for a compositional and structured approach to the specification of paraconsistent transitions systems, framed as an institution. The latter and theirs logics were previously introduced in [CMB22] to deal with scenarios of inconsistency in which several requirements are on stake, either reinforcing or contradicting each other. © 2023, IFIP International Federation for Information Processing.

FecharLer Abstract

2023

Capturing Qubit Decoherence through Paraconsistent Transition Systems

Autores
Barbosa, LS; Madeira, A;

Publicação
COMPANION PROCEEDINGS OF THE 7TH INTERNATIONAL CONFERENCE ON THE ART, SCIENCE, AND ENGINEERING OF PROGRAMMING, PROGRAMMING 2023

Abstract
This position paper builds on the authors' previous work on paraconsistent transition systems to propose a modelling framework for quantum circuits with explicit representation of decoherence.

FecharLer Abstract

2023

idDL2DL – Interval Syntax to $$d\mathcal {L}$$

Autores
Santos, J; Figueiredo, D; Madeira, A;

Publicação
Theoretical Aspects of Software Engineering - Lecture Notes in Computer Science

Abstract