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
Publications

Publications by Alexandra Sofia Mendes

2014

Structure Editing of Handwritten Mathematics: Improving the Computer Support for the Calculational Method

Authors
Mendes, A; Backhouse, RC; Ferreira, JF;

Publication
Proceedings of the Ninth ACM International Conference on Interactive Tabletops and Surfaces, ITS 2014, Dresden, Germany, November 16 - 19, 2014

Abstract
We present a structure editor that aims to facilitate the presentation and manipulation of handwritten mathematical expressions. The editor is oriented to the calculational mathematics involved in algorithmic problem solving and it provides features that allow reliable structure manipulation of mathematical formulae, as well as flexible and interactive presentations. We describe some of its most important features, including the use of gestures to manipulate algebraic formulae, the structured selection of expressions, definition and redefinition of operators in runtime, gesture's editor, and handwritten templates. The editor is made available in the form of a C# class library which can be easily used to extend existing tools. For example, we have extended Classroom Presenter, a tool for ink-based teaching presentations and classroom interaction. We have tested and evaluated the editor with target users. The results obtained seem to indicate that the software is usable, suitable for its purpose and a valuable contribution to teaching and learning algorithmic problem solving.

2017

Mise-En-Scène of Narrative Action in Interactive Storytelling

Authors
Matthews, J; Charles, F; Porteous, J; Mendes, A;

Publication
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017

Abstract

2017

MISER: Mise-En-Scène Region Support for Staging Narrative Actions in Interactive Storytelling

Authors
Matthews, J; Charles, F; Porteous, J; Mendes, A;

Publication
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017

Abstract

2017

REQCAP: Hierarchical Requirements Modeling and Test Generation for Industrial Control Systems

Authors
Almohammad, A; Ferreira, JF; Mendes, A; White, P;

Publication
2017 IEEE 25TH INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS (REW)

Abstract
This paper presents REQCAP, an implementation of a new method that articulates hierarchical requirements modeling and test generation to assist in the process of capturing requirements for PLC-based control systems. REQCAP is based on a semi-formal graphical model that supports hierarchical modeling, thus enabling compositional specifications. The tool supports automated generation of test cases according to different coverage criteria. It can also import requirements directly from REQIF files and automatically generate Sequential Function Charts (SFCs). We use a real-world case study to show how REQCAP can be used to model realistic system requirements. We show how the automated generation of SFCs and test cases can support engineers (and clients) in visualizing and reviewing requirements. Moreover, all the tests listed in the original test document of the case study are also generated automatically by REQCAP, demonstrating that the tool can be used to effectively capture requirements and generate valid and useful test cases.

2024

GLITCH: Polyglot Code Smell Detection in Infrastructure as Code

Authors
Saavedra, N; Ferreira, JF; Mendes, A;

Publication
ERCIM News

Abstract

2024

Patient-Centric Health Data Sovereignty: An Approach Using Proxy Re-Encryption

Authors
Rodrigues, B; Amorim, I; Silva, I; Mendes, A;

Publication
COMPUTER SECURITY. ESORICS 2023 INTERNATIONAL WORKSHOPS, PT I

Abstract
The exponential growth in the digitisation of services implies the handling and storage of large volumes of data. Businesses and services see data sharing and crossing as an opportunity to improve and produce new business opportunities. The health sector is one area where this proves to be true, enabling better and more innovative treatments. Notwithstanding, this raises concerns regarding personal data being treated and processed. In this paper, we present a patient-centric platform for the secure sharing of health records by shifting the control over the data to the patient, therefore, providing a step further towards data sovereignty. Data sharing is performed only with the consent of the patient, allowing it to revoke access at any given time. Furthermore, we also provide a break-glass approach, resorting to Proxy Re-encryption (PRE) and the concept of a centralised trusted entity that possesses instant access to patients' medical records. Lastly, an analysis is made to assess the performance of the platform's key operations, and the impact that a PRE scheme has on those operations.

  • 5
  • 6