Publications

RedShell: A Generative AI-Based Approach to Ethical Hacking
Large Language Models (LLMs) are redefining offensive cybersecurity by allowing the generation of harmful machine code with minimal …
Ricardo Bessa, Rui Claro, João Trindade, João M Lourenço
Posted Jan 1, 2026
Link
FLEEC: A Fast and Lock-Free Applicational Cache
Access to data in applications that make use of external storage systems (eg, Databases) can be a major performance bottleneck. A …
André J. Costa, Nuno M. Preguiça, João M. Lourenço
Posted Jan 1, 2023
Link
Monitoring of Spatio-Temporal Properties with Nonlinear SAT Solvers
The automotive industry is increasingly dependent on computing systems with different critical requirements. The verification and …
André De Matos Pedro, Tomás Silva, Tiago Sequeira, João Lourenço, João Costa Seco, Carla Ferreira
Posted Jan 1, 2022
Link
Monitoring of Spatio-Temporal Properties with Nonlinear SAT Solvers
The automotive industry is increasingly dependent on computing systems with different critical requirements. The verification and …
André De Matos Pedro, Tomás Silva, Tiago Sequeira, João Lourenço, João Costa Seco, Carla Ferreira
Posted Jan 1, 2022
Link
It’s about Thyme: On the design and implementation of a time-aware reactive storage system for pervasive edge computing environments
Nowadays, smart mobile devices generate huge amounts of data in all sorts of gatherings. Much of that data has localized and ephemeral …
João a Silva, Filipe Cerqueira, Hervé Paulino, João M Lourenço, João Leitão, Nuno Preguiça
Posted Jan 1, 2021
Link
The NOVAthesis LaTeX Template User's Manual
N/A
João M. Lourenço
Posted Jan 1, 2021
Link
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
Link
RedMesh: A WiFi-Direct Network Formation Algorithm for Large-Scale Scenarios
Device-to-device communication enables collaboration between mobile devices, even when no communication infrastructure is available. In …
António Teófilo, João M Lourenço, Hervé Paulino
Posted Jan 1, 2020
Link
RedMesh: A WiFi-Direct Network Formation Algorithm for Large-Scale Scenarios
Device-to-device communication enables collaboration between mobile devices, even when no communication infrastructure is available. In …
António Teófilo, João M Lourenço, Hervé Paulino
Posted Jan 1, 2020
Link
A survey of challenges for runtime verification from advanced application domains (beyond software)
Runtime verification is an area of formal methods that studies the dynamic analysis of execution traces against formal specifications. …
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srđan Krstić, João M Lourenço, Dejan Nickovic, Gordon J Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss
Posted Jan 1, 2019
Link