Publications

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
Executing requests concurrently in state machine replication
State machine replication is one of the most popular ways to achieve fault tolerance. In a nutshell, the state machine replication …
Tiago Marques Do Vale
Posted Jan 1, 2019
Link
Time-aware reactive storage in wireless edge 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, Hervé Paulino, João M Lourenço, João Leitão, Nuno Preguiça
Posted Jan 1, 2019
Link
Time-aware reactive storage in wireless edge 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, Hervé Paulino, João M Lourenço, João Leitão, Nuno Preguiça
Posted Jan 1, 2019
Link
Discovering concurrency errors
Lots of concurrent software is being developed for the now ubiquitous multicore processors. And concurrent programming is difficult …
João M Lourenço, Jan Fiedor, Bohuslav Křena, Tomáš Vojnar
Posted Jan 1, 2018
Link
Discovering concurrency errors
Lots of concurrent software is being developed for the now ubiquitous multicore processors. And concurrent programming is difficult …
João M Lourenço, Jan Fiedor, Bohuslav Křena, Tomáš Vojnar
Posted Jan 1, 2018
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
Verifying real-world software with contracts for concurrency
In this paper we present Contracts for Concurrency. A contract for concurrency specifies the protocol to access the services provided …
João M Lourenço
Posted Jan 1, 2018
Link
GOCRGO and GOGO: two minimal communication topologies for WiFi-direct multi-group networking
Although mobile devices can collaborate and interact when connected by a communication infrastructure, such interactions may also be …
António Teófilo, Diogo Remédios, Joao M Lourenço, Hervé Paulino
Posted Jan 1, 2017
Link
GOCRGO and GOGO: two minimal communication topologies for WiFi-direct multi-group networking
Although mobile devices can collaborate and interact when connected by a communication infrastructure, such interactions may also be …
António Teófilo, Diogo Remédios, Joao M Lourenço, Hervé Paulino
Posted Jan 1, 2017
Link