2

The First Meeting of the Portuguese TeX Users Group
João M. Lourenço, Joaquim Baptista
Posted Nov 3, 2025
Cite Link
Monitoring of spatio-temporal properties with nonlinear SAT solvers
The automotive industry is increasingly dependent on computing systems with different critical requirements. The verification and …
André De Matos Pedro, Tomás Silva, Tiago Sequeira, João M. Lourenço, João Costa Seco, Carla Ferreira
Posted Feb 22, 2024
Cite Link
It’s About Thyme: on the Design and Implementation of a Time-aware Reactive Storage System for Pervasive Edge Computing 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, Filipe Cerqueira, Hervé Paulino, João M. Lourenço, João Leitão, Nuno Preguiça
Posted Jan 1, 2021
Cite Link
A survey of challenges for runtime verification from advanced application domains (beyond software)
Runtime verification is an area of formal methods that studies the dynamic analysis of execution traces against formal specifications. …
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliés Falcone, Adrian Francalanza, Srdjan Krstić, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, Jose Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss
Posted Aug 9, 2019
Cite Link
Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software)
N/A
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliés Falcone, Adrian Francalanza, Srđan Krstić, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, Jose Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss
Posted Aug 1, 2019
Cite Link
Pot: Deterministic Transactional Execution
This article presents Pot, a system that leverages the concept of preordered transactions to achieve deterministic multithreaded …
Tiago M. Vale, João A. Silva, Ricardo J. Dias, João M. Lourenço
Posted Dec 1, 2016
Cite 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 Dourado, Paulo Lopes De Souza, Rafael Regis Do Prado, Raphael Batista, Simone Souza, Julio Estrella, Sarita Bruschi, João M. Lourenço
Posted Jan 1, 2016
Cite Link
Special Issue on Testing, Analysis and Debugging of Concurrent Programs
N/A
Eitan Farchi, Robert M. Hierons, João M. Lourenço
Posted May 1, 2015
Cite Link
Efficient Support for In-place Metadata in Java Software Transactional Memory
Software transactional memory (STM) algorithms associate metadata with the memory locations accessed during a transaction’s …
Ricardo J. Dias, Tiago M. Vale, João M. Lourenço
Posted Dec 1, 2013
Cite Link
Detecting Concurrency Anomalies in Transactional Memory Programs
Facu l dade de C i ê nci as e Tecno log ia U n ive rs id ade Nova de Li sboa 2829-5 1 6 Caparica, Po r tug al {joao. l ou re nco, rj fd …
João M. Lourenço, Diogo G. Sousa, Bruno C. Teixeira, Ricardo J. Dias
Posted Jan 1, 2011
Cite Link