3

Towards Automated Pentesting with Large Language Models
N/A
Ricardo Bessa, Rui Claro, João Trindade, João M. Lourenço
Posted Apr 13, 2026
Cite Link
RedShell: A Generative AI-Based Approach to Ethical Hacking
N/A
Ricardo Bessa, Rui Claro, João Trindade, João M. Lourenço
Posted Apr 1, 2026
Cite Link
Parsley's Group Size Study
N/A
João A. Silva, Hervé Paulino, João M. Lourenço
Posted Oct 1, 2025
Cite Link
The NOVAthesis LaTeX Template User's Manual
N/A
João M. Lourenço
Posted Jan 1, 2021
Cite Link GitHub
Lazy State Determination: More concurrency for contending linearizable transactions
The concurrency control algorithms in transactional systems limits concurrency to provide strong semantics, which leads to poor …
Tiago M Vale, João Leitão, Nuno Preguiça, Rodrigo Rodrigues, Ricardo J Dias, João M. Lourenço
Posted Jan 1, 2020
Cite Link
COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring--Activity Report of Working Group 1
This report presents the activities of the first working group of the COST Action ArVI, Runtime Verification beyond Monitoring. The …
Wolfgang Ahrendt, Cyrille Artho, Christian Colombo, Ylies Falcone, Srdan Krstic, Martin Leucker, Florian Lorber, João M. Lourenço, Leonardo Mariani, César Sánchez, Et Al.
Posted Jan 1, 2019
Cite Link
Time-Aware Publish/Subscribe for Networks of Mobile Devices
N/A
João A. Silva, Hervé Paulino, João M. Lourenço, João Leitão, Nuno Preguiça
Posted Jan 1, 2017
Cite Link
Preventing Atomicity Violations with Contracts
Concurrent programming is a difficult and error-prone task because the programmer must reason about multiple threads of execution and …
Diogo G. Sousa, Ricardo J. Dias, Carla Ferreira, João M. Lourenço
Posted Jan 1, 2015
Cite Link
Supporting In-Place Metadata in DeuceSTM
N/A
Ricardo J. Dias, Tiago M. Vale, João M. Lourenço
Posted Apr 1, 2012
Cite
Write-Write Conflict Detection for Distributed TM Systems
N/A
Ricardo J. Dias, Tiago M. Vale, João M. Lourenço
Posted Feb 1, 2012
Cite