1

INForum 2019 - Atas do 11º Simpósio de Informática
N/A
Ana Paula Afonso, João M. Lourenço
Posted Sep 1, 2019
Cite 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 Silva, Hervé Paulino, João M. Lourenço, João Leitão, Nuno Preguiça
Posted Jan 1, 2019
Cite
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 …
Patricía Monteiro, João M. Lourenço, António Ravara
Posted Sep 1, 2018
Cite
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
Cite 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, João M. Lourenço, Hervé Miguel Cordeiro Paulino, João Silva
Posted Dec 1, 2017
Cite 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, João M. Lourenço, Hervé Paulino
Posted Nov 7, 2017
Cite 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 Cerqueira, João Silva, João M. Lourenço, Hervé Paulino
Posted Oct 1, 2017
Cite
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 …
R. J. Dias, C. Ferreira, J. Fiedor, João M. Lourenço, A. Smrcka, D. G. Sousa, T. Vojnar
Posted Mar 1, 2017
Cite Link
I Know What You Did Last Summer: Time-Aware Publish/Subscribe for Networks of Mobile Devices
N/A
JA Silva, H Paulino, João M. Lourenço, J Leitão, N Preguiça
Posted Jan 1, 2017
Cite Link
Towards the opportunistic combination of mobile ad-hoc networks with infrastructure access
One of the main characteristics of mobile ad-hoc networks (MANETs) is the lack of global, consistent, and up-to-date knowledge of the …
João Leitão, Nuno Preguiça, João M. Lourenço, Hervé Paulino
Posted Dec 1, 2016
Cite Link