Publications

I Know What You Did Last Summer: Time-Aware Publish/Subscribe for Networks of Mobile Devices
N/A
JA Silva, H Paulino, JM Lourenço, J Leitão, N Preguiça
Posted Jan 1, 2017
Link
Responses’ Prediction Standard Error Analysis in Pareto Solutions
A Pareto front provides to the decision-maker a set of optimal solutions from where a unique solution should be selected to solve a …
Nuno Costa, João Lourenço
Posted Jan 1, 2017
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
Towards a persistent publish/subscribe system for networks of mobile devices
There is a clear trend and progressive interest in the quasi-real-time sharing of user-generated content, and mobile devices are among …
Filipe Cerqueira, Joao a Silva, João M Lourenço, Hervé Paulino
Posted Jan 1, 2017
Link
Towards a persistent publish/subscribe system for networks of mobile devices
There is a clear trend and progressive interest in the quasi-real-time sharing of user-generated content, and mobile devices are among …
Filipe Cerqueira, Joao a Silva, João M Lourenço, Hervé Paulino
Posted Jan 1, 2017
Link
Um sistema publicador/subscritor com persistência de dados para redes de dispositivos móveis
Os dispositivos móveis são atualmente uma das principais fontes de geração de conteúdos pessoais. A portabilidade e a crescente …
Filipe Alexandre Bandeira Cerqueira
Posted Jan 1, 2017
Link
Verifying concurrent programs using contracts
The central notion of this paper is that of contracts for concurrency, allowing one to capture the expected atomicity of sequences of …
Ricardo J Dias, Carla Ferreira, Jan Fiedor, João M Lourenço, Aleš Smrcka, Diogo G Sousa, Tomáš Vojnar
Posted Jan 1, 2017
Link
Verifying concurrent programs using contracts
The central notion of this paper is that of contracts for concurrency, allowing one to capture the expected atomicity of sequences of …
Ricardo J Dias, Carla Ferreira, Jan Fiedor, João M Lourenço, Aleš Smrcka, Diogo G Sousa, Tomáš Vojnar
Posted Jan 1, 2017
Link
A hardware approach for detecting, exposing and tolerating high level atomicity violations
Multicores are the main trend in computer architecture to gain performance without exponentially increasing the power consumption. …
Lois Orosa, JM Lourenço
Posted Jan 1, 2016
Link
A suite of Java message-passing benchmarks to support the validation of testing models, criteria and tools
This paper proposes a novel suite of benchmarks for the evaluation of the structural testing of concurrent programs with …
George GM Dourado, Paulo SL Souza, Rafael R Prado, Raphael N Batista, Simone RS Souza, Julio C Estrella, Sarita M Bruschi, Joao Lourenco
Posted Jan 1, 2016
Link