3

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
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, Joao Lourenço, Leonardo Mariani, César Sánchez, Gerardo Schneider, Volker Stolz
Posted Jan 1, 2019
Link
Uma análise comparativa de ferramentas de análise estática para deteção de erros de memória
A indústria do software tem evoluído no sentido do desenvolvimento de produtos cada vez mais complexos, no menor tempo possível e com …
Patrícia Monteiro, João Lourenço, António Ravara
Posted Jan 1, 2018
Link
Time-aware publish/subscribe for networks of mobile devices
Smart mobile devices are increasingly ubiquitous and are the primary source of user-generated content, and current communication …
Joao a Silva, Hervé Paulino, Joao M Lourenço, Joao Leitao, Nuno Preguiça
Posted Jan 1, 2017
Link
Control and debugging of distributed programs using Fiddle
The main goal of Fiddle, a distributed debugging engine, is to provide a flexible platform for developing debugging tools. Fiddle …
João Lourenço, José C Cunha, Vitor Moreira
Posted Jan 1, 2003
Link