João M. Lourenço

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 18

Top Topics

Application Domains

Concurrent Programs

Computing Paradigms

Top Venues

MECC@Middleware

Formal Methods Syst. Des.

Publications

André J. Costa, Nuno M. Preguiça, João M. Lourenço
FLeeC: a Fast Lock-Free Application Cache. CoRR (2024)
João A. Silva, Filipe Cerqueira, Hervé Paulino, João M. Lourenço, João Leitão, Nuno M. Preguiça
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. 118 (2021)
Tiago M. Vale, João Leitão, Nuno M. Preguiça, Rodrigo Rodrigues, Ricardo J. Dias, João M. Lourenço
Lazy State Determination: More concurrency for contending linearizable transactions. CoRR (2020)
António Teófilo, João M. Lourenço, Hervé Paulino
RedMesh: A WiFi-Direct Network Formation Algorithm for Large-Scale Scenarios. MobiQuitous (2020)
João A. Silva, Hervé Paulino, João M. Lourenço, João Leitão, Nuno M. Preguiça
Time-aware reactive storage in wireless edge environments. MobiQuitous (2019)
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
A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods Syst. Des. 54 (3) (2019)
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
Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods Syst. Des. 55 (1) (2019)
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
COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1. CoRR (2019)
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
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software). CoRR (2018)
João A. Silva, Hervé Paulino, João M. Lourenço, João Leitão, Nuno M. Preguiça
Time-Aware Publish/Subscribe for Networks of Mobile Devices. CoRR (2018)
João M. Lourenço
Verifying Real-World Software with Contracts for Concurrency. ISoLA (4) (2018)
Filipe Cerqueira, João A. Silva, João M. Lourenço, Hervé Paulino
Towards a persistent publish/subscribe system for networks of mobile devices. MECC@Middleware (2017)
Ricardo J. Dias, Carla Ferreira, Jan Fiedor, João M. Lourenço, Ales Smrcka, Diogo G. Sousa, Tomás Vojnar
Verifying Concurrent Programs Using Contracts. ICST (2017)
António Teófilo, Diogo Remédios, João M. Lourenço, Hervé Paulino
GOCRGO and GOGO: Two Minimal Communication Topologies for WiFi-Direct Multi-group Networking. MobiQuitous (2017)
Tiago M. Vale, João A. Silva, Ricardo J. Dias, João M. Lourenço
Pot: Deterministic transactional execution. CoRR (2016)
Tiago M. Vale, João A. Silva, Ricardo J. Dias, João M. Lourenço
Pot: Deterministic Transactional Execution. ACM Trans. Archit. Code Optim. 13 (4) (2016)
João A. Silva, João Leitão, Nuno M. Preguiça, João M. Lourenço, Hervé Paulino
Towards the Opportunistic Combination of Mobile Ad-hoc Networks with Infrastructure Access. MECC@Middleware (2016)
João A. Silva, Ricardo Monteiro, Hervé Paulino, João M. Lourenço
Ephemeral Data Storage for Networks of Hand-Held Devices. Trustcom/BigDataSE/ISPA (2016)