João M. Lourenço

23 papers A 2B 1C 3Journal 11Unranked 4
YearRankTypeTitle / Venue / Authors
2025 B conf
Dynamic Membership Management and Data Sharding in Edge-Enabled Publish/Subscribe Systems.
NCA
Jaime Saramago, João A. Silva, Hervé Paulino, João M. Lourenço
2025 J jnl
Parsley's Group Size Study.
CoRR
João A. Silva, Hervé Paulino, João M. Lourenço
2025 A conf
WFANS: Simulating Wi-Fi Aware Interactions with Android API Fidelity.
MSWiM
João Tomás, Pedro Miguel Delgado, António Teófilo, Hervé Paulino, João M. Lourenço
2024 J jnl
FLeeC: a Fast Lock-Free Application Cache.
CoRR
André J. Costa, Nuno M. Preguiça, João M. Lourenço
2021 J jnl
It's about Thyme: On the design and implementation of a time-aware reactive storage system for pervasive edge computing environments.
Future Gener. Comput. Syst.
João A. Silva, Filipe Cerqueira, Hervé Paulino, João M. Lourenço, João Leitão, Nuno M. Preguiça
2020 J jnl
Lazy State Determination: More concurrency for contending linearizable transactions.
CoRR
Tiago M. Vale, João Leitão, Nuno M. Preguiça, Rodrigo Rodrigues, Ricardo J. Dias, João M. Lourenço
2020 C conf
RedMesh: A WiFi-Direct Network Formation Algorithm for Large-Scale Scenarios.
MobiQuitous
António Teófilo, João M. Lourenço, Hervé Paulino
2019 J jnl
A survey of challenges for runtime verification from advanced application domains (beyond software).
Formal Methods Syst. Des.
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss
2019 J jnl
COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1.
CoRR
Wolfgang Ahrendt, Cyrille Artho, Christian Colombo, Yliès Falcone, Srdan Krstic, Martin Leucker, Florian Lorber, João M. Lourenço, Leonardo Mariani, César Sánchez, Gerardo Schneider, Volker Stolz
2019 J jnl
Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software).
Formal Methods Syst. Des.
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss
2019 C conf
Time-aware reactive storage in wireless edge environments.
MobiQuitous
João A. Silva, Hervé Paulino, João M. Lourenço, João Leitão, Nuno M. Preguiça
2018 J jnl
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software).
CoRR
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss
2018 — ch.
Discovering Concurrency Errors.
Lectures on Runtime Verification
João M. Lourenço, Jan Fiedor, Bohuslav Krena, Tomás Vojnar
2018 J jnl
Time-Aware Publish/Subscribe for Networks of Mobile Devices.
CoRR
João A. Silva, Hervé Paulino, João M. Lourenço, João Leitão, Nuno M. Preguiça
2018 — conf
Verifying Real-World Software with Contracts for Concurrency.
ISoLA (4)
João M. Lourenço
2017 C conf
GOCRGO and GOGO: Two Minimal Communication Topologies for WiFi-Direct Multi-group Networking.
MobiQuitous
António Teófilo, Diogo Remédios, João M. Lourenço, Hervé Paulino
2017 — conf
Towards a persistent publish/subscribe system for networks of mobile devices.
MECC@Middleware
Filipe Cerqueira, João A. Silva, João M. Lourenço, Hervé Paulino
2017 A conf
Verifying Concurrent Programs Using Contracts.
ICST
Ricardo J. Dias, Carla Ferreira, Jan Fiedor, João M. Lourenço, Ales Smrcka, Diogo G. Sousa, Tomás Vojnar
2016 — conf
Ephemeral Data Storage for Networks of Hand-Held Devices.
Trustcom/BigDataSE/ISPA
João A. Silva, Ricardo Monteiro, Hervé Paulino, João M. Lourenço
2016 J jnl
Pot: Deterministic Transactional Execution.
ACM Trans. Archit. Code Optim.
Tiago M. Vale, João A. Silva, Ricardo J. Dias, João M. Lourenço
2016 J jnl
Pot: Deterministic transactional execution.
CoRR
Tiago M. Vale, João A. Silva, Ricardo J. Dias, João M. Lourenço
2016 — conf
Towards the Opportunistic Combination of Mobile Ad-hoc Networks with Infrastructure Access.
MECC@Middleware
João A. Silva, João Leitão, Nuno M. Preguiça, João M. Lourenço, Hervé Paulino
2015 — ch.
Framework Support for the Efficient Implementation of Multi-version Algorithms.
Transactional Memory
Ricardo J. Dias, Tiago M. Vale, João M. Lourenço