742 citations
- Universidade do PortoPT149 papers
- University of MinhoPT47 papers
- University of LisbonPT20 papers
- University of AveiroPT18 papers
- Polytechnic Institute of PortoPT17 papers
- Instituto de Engenharia de Sistemas e Computadores Investigação e DesenvolvimentoPT16 papers
- University of Beira InteriorPT16 papers
- Institute for Systems Engineering and ComputersPT13 papers
- University of CoimbraPT13 papers
- Carnegie Mellon UniversityUS12 papers
- Universidade PortucalensePT10 papers
- Instituto Superior TécnicoPT9 papers
23 papers · 1 filter
RunPBA -- Runtime attestation for microcontrollers with PACBTI
André Cirne, Patrícia R. Sousa, João S. Resende +1
The widespread adoption of embedded systems has led to their deployment in critical real-world applications, making them attractive targets for malicious actors. These devices face…
Leveraging Adversarial Learning for Pathological Fidelity in Virtual Staining
José Teixeira, Pascal Klöckner, Diana Montezuma +5
In addition to evaluating tumor morphology using H&E staining, immunohistochemistry is used to assess the presence of specific proteins within the tissue. However, this is a costly…
SimTac: A Physics-Based Simulator for Vision-Based Tactile Sensing with Biomorphic Structures
Xuyang Zhang, Jiaqi Jiang, Zhuo Chen +5
Tactile sensing in biological organisms is deeply intertwined with morphological form, such as human fingers, cat paws, and elephant trunks, which enables rich and adaptive interac…
An Adequacy Theorem Between Mixed Powerdomains and Probabilistic Concurrency
Renato Neves
We present an adequacy theorem for a concurrent extension of probabilistic GCL. The underlying denotational semantics is based on the so-called mixed powerdomains, which combine no…
Streamlining Acceptance Test Generation for Mobile Applications Through Large Language Models: An Industrial Case Study
Pedro Luís Fonseca, Bruno Lima, João Pascoal Faria
Mobile acceptance testing remains a bottleneck in modern software development, particularly for cross-platform mobile development using frameworks like Flutter. While developers in…
The Temporal Game: A New Perspective on Temporal Relation Extraction
Hugo Sousa, Ricardo Campos, Alípio Jorge
In this paper we demo the Temporal Game, a novel approach to temporal relation extraction that casts the task as an interactive game. Instead of directly annotating interval-level…