Publications

Journal articles

Monitoring of spatio-temporal properties with nonlinear SAT solvers 2024
André De Matos Pedro, Tomás Silva, Tiago Sequeira, João M. Lourenço, João Costa Seco, Carla Ferreira Article
International Journal on Software Tools for Technology Transfer, 26(2), 169–188
Cite Link
It’s About Thyme: on the Design and Implementation of a Time-aware Reactive Storage System for Pervasive Edge Computing Environments 2021
João A. Silva, Filipe Cerqueira, Hervé Paulino, João M. Lourenço, João Leitão, Nuno Preguiça Article
Future Generation Computer Systems 118 14-36
Cite Link
A survey of challenges for runtime verification from advanced application domains (beyond software) 2019
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 Article
Formal Methods in System Design
Cite Link
Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software) 2019
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 Article
Formal Methods in System Design
Cite Link
Pot: Deterministic Transactional Execution 2016
Tiago M. Vale, João A. Silva, Ricardo J. Dias, João M. Lourenço Article
ACM Transactions on Architecture and Code Optimization 13 (4) 1–24
Cite Link
A Suite of Java Message-Passing Benchmarks to Support the Validation of Testing Models, Criteria and Tools 2016
George Dourado, Paulo Lopes De Souza, Rafael Regis Do Prado, Raphael Batista, Simone Souza, Julio Estrella, Sarita Bruschi, João M. Lourenço Article
Procedia Computer Science 80 2226-2230
Cite Link
Special Issue on Testing, Analysis and Debugging of Concurrent Programs 2015
Eitan Farchi, Robert M. Hierons, João M. Lourenço Article
Softw. Test. Verif. Reliab. 25 (3) 165-166
Cite Link
Efficient Support for In-place Metadata in Java Software Transactional Memory 2013
Ricardo J. Dias, Tiago M. Vale, João M. Lourenço Article
Concurrency and Computation: Practice and Experience 25 (17) 2394-2411
Cite Link
Detecting Concurrency Anomalies in Transactional Memory Programs 2011
João M. Lourenço, Diogo G. Sousa, Bruno C. Teixeira, Ricardo J. Dias Article
Comput. Sci. Inf. Syst. 8 (2) 533-548
Cite Link
Developing Libraries Using Software Transactional Memory 2008
Ricardo J. Dias, João M. Lourenço, Gonçalo Cunha Article
Comput. Sci. Inf. Syst. 5 (2) 103-117
Cite Link
Developing Libraries Using Software Transactional Memory 2008
Ricardo J. Dias, João M. Lourenço, Gonçalo Cunha Article
Proceedings of the Conference on Compilers, Related Technologies and Applications
Cite
Parallel Program development for cluster computing: methodology, tools and integrated environments 2001
José Cardoso Cunha, Péter Kacsuk, Stephen Winter Article
Unknown Journal 2001 5
Link
An Experiment in Tool Integration: the DDBG Parallel and Distributed Debugger 1999
José C. Cunha, João M. Lourenço, Tiago Antão Article
J. Syst. Archit. 45 897-907
Cite Link
An integrated course on parallel and distributed processing 1998
José C Cunha, João M. Lourenço Article
ACM SIGCSE Bulletin 1998 30 (1)
Cite Link
Using DDBG to Support Testing and High-level Debugging Interfaces 1998
José C. Cunha, João M. Lourenço, Vitor Duarte Article
Computers and Artificial Intelligence 17 (5)
Cite
A Graphical Development and Debugging Environment for Parallel Programs 1997
Péter Kacsuk, José C. Cunha, Gábor Dózsa, João M. Lourenço, Tibor Fadgyas, Tiago Antão Article
Parallel Computing 22 1747-1770
Cite Link
Teaching parallel processing: development of curriculum and software tools 1996
José C. Cunha, João M. Lourenço Article
SIGCSE Bulletin (ACM Special Interest Group on Computer Science Education), 1996
Cite

Conference papers

FLeeC+: A Fully Lock-Free Application Cache with Wait-Free Reads 2026
Samuel C. Fernão Pires, André J. Costa, João M. Lourenço Conf. paper
INForum 2026 - Atas do 17º Simpósio de Informática
Cite
User Behavior Profiling via Kernel-Level Telemetry and Lightweight Edge-Inference 2026
João Realinho, Rui Claro, João Trindade, João M. Lourenço Conf. paper
INForum 2026 - Atas do 17º Simpósio de Informática
Cite
Automatic Deadlock Detection in Go Code [Extended Abstract] 2025
Gustavo Feio, António Ravara, João M. Lourenço Conf. paper
INForum 2025 - Atas do 16º Simpósio de Informática, pp. 277–279
Cite Link
Enhancing Phishing Detection With LLMs: Content Evaluation 2025
Diogo Dias, João Trindade, Rui Claro, Daniel Gonçalves, João M. Lourenço Conf. paper
INForum 2025 - Atas do 16º Simpósio de Informática, pp. 394–396
Cite Link
Extending FLeeC with a Lock-Free Memory Allocator 2025
Samuel C. Fernão Pires, André J. Costa, João M. Lourenço Conf. paper
INForum 2025 - Atas do 16º Simpósio de Informática
Cite Link
Hazard Region Pointers: seamless interpolation between Hazard Pointers and Epoch-Based Reclamation [Extended Abstract] 2025
André J. Costa, João M. Lourenço Conf. paper
INForum 2025 - Atas do 16º Simpósio de Informática, pp. 69–72
Cite Link
RedShell: A Generative AI-Based Approach to Ethical Hacking 2025
Ricardo Bessa, Rui Claro, João Trindade, João M. Lourenço Conf. paper
INForum 2025 - Atas do 16º Simpósio de Informática, pp. 390–392
Cite Link
We Don't Know it All: on Understanding and Correcting Concurrent Computations with Inaccurate Observations 2024
André J. Costa, Eitan Farchi, João M. Lourenço Conf. paper
INForum 2024 - Atas do 15º Simpósio de Informática
Cite
FLeeC: A Fast Lock-Free Application Cache 2023
André J. Costa, Nuno M. Preguiça, João M. Lourenço Conf. paper
Atas do 14º INForum — Simpósio de Informática, 2023
Cite
Monitoring of Spatio-Temporal Properties 2022
Tomás Silva, André Matos Pedro, João Costa Seco, João M. Lourenço Conf. paper
INForum 2021 - Atas do 12º Simpósio de Informática 260-275
Cite
A Study of Latency-Aware Data-Placement in Heterogeneous (PMEM) Memory Systems 2022
João Antão, João Barreto, João M. Lourenço Conf. paper
INForum 2022 - Atas do 13º Simpósio de Informática 115-116
Cite
Automatic Detection and Resolution of Deadlocks in Go Programs 2022
Jorge Coelho, João M. Lourenço, António Ravara Conf. paper
INForum 2022 - Atas do 13º Simpósio de Informática 260-275
Cite
Automatic Generation of Contracts for Concurrent Java Programs 2022
Hugo Pereira, Diogo G. Sousa, Jeremy Bradbury, João M. Lourenço Conf. paper
INForum 2022 - Atas do 13º Simpósio de Informática 131-132
Cite
Empowering a Relational Database with LSD: Lazy State Determination 2022
Thales Parreira, Tiago M. Vale, Ricaro J. Dias, João M. Lourenço Conf. paper
INForum 2022 - Atas do 13º Simpósio de Informática 260-275
Cite
OSCAR - A Java Noise Injection Framework 2022
Filipe De Luna, Jeremy Bradbury, João M. Lourenço Conf. paper
INForum 2022 - Atas do 13º Simpósio de Informática 260-275
Cite
Monitoring of Spatio-Temporal Properties with Nonlinear SAT Solvers 2022
André De Matos Pedro, Tomás Silva, Tiago Sequeira, João M. Lourenço, João Costa Seco, Carla Ferreira Conf. paper
Formal Methods for Industrial Critical Systems (FMICS 2022), LNCS 13487, Warsaw, Poland
Cite Link
RedMesh: A WiFi-Direct Network Formation Algorithm for Large-Scale Scenarios 2020
António Teófilo, Hervé Paulino, João M. Lourenço Conf. paper
Cite
INForum 2019 - Atas do 11º Simpósio de Informática 2019
Ana Paula Afonso, João M. Lourenço Conf. paper
NOVA.FCT Editorial
Cite Link
Time-Aware Reactive Storage in Wireless Edge Environments 2019
João Silva, Hervé Paulino, João M. Lourenço, João Leitão, Nuno Preguiça Conf. paper
Cite
Uma análise comparativa de ferramentas de análise estática para deteção de erros de memória 2018
Patricía Monteiro, João M. Lourenço, António Ravara Conf. paper
INForum 2018 - Atas do 10º Simpósio de Informática
Cite
Verifying Real-World Software with Contracts for Concurrency 2018
João M. Lourenço Conf. paper
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 70-73
Cite Link
Towards a persistent publish/subscribe system for networks of mobile devices 2017
Filipe Cerqueira, João M. Lourenço, Hervé Miguel Cordeiro Paulino, João Silva Conf. paper
Proceedings of the 2nd Workshop on Middleware for Edge Clouds and Cloudlets, MECC 2017
Cite Link
GOCRGO and GOGO: Two minimal Communication Topologies for WiFi-Direct Multi-group Networking 2017
António Teófilo, Diogo Remédios, João M. Lourenço, Hervé Paulino Conf. paper
Cite Link
Um Sistema Publicador/Subscritor com Persistência de Dados para Redes de Dispositivos Móveis 2017
Filipe Cerqueira, João Silva, João M. Lourenço, Hervé Paulino Conf. paper
INForum 2017 - Atas do 9º Simpósio de Informática
Cite
Verifying Concurrent Programs Using Contracts 2017
R. J. Dias, C. Ferreira, J. Fiedor, João M. Lourenço, A. Smrcka, D. G. Sousa, T. Vojnar Conf. paper
2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) 196-206
Cite Link
I Know What You Did Last Summer: Time-Aware Publish/Subscribe for Networks of Mobile Devices 2017
JA Silva, H Paulino, João M. Lourenço, J Leitão, N Preguiça Conf. paper
Unknown Journal 2017
Link
Responses’ Prediction Standard Error Analysis in Pareto Solutions 2017
Nuno Costa, João M. Lourenço Conf. paper
MATEC Web of Conferences 2017 108
Link
Towards the opportunistic combination of mobile ad-hoc networks with infrastructure access 2016
João Leitão, Nuno Preguiça, João M. Lourenço, Hervé Paulino Conf. paper
Proceedings of the 1st Workshop on Middleware for Edge Clouds and Cloudlets, MECC 2016
Cite Link
Comunicação Móvel Inter-Grupo Baseada em TCP sobre Wi-Fi Direct 2016
António Teófilo, Diogo Remédios, Hervé Miguel Cordeiro Paulino, João M. Lourenço Conf. paper
INForum 2016 - Atas do 8º Simpósio de Informática
Cite
Ephemeral Data Storage for Networks of Hand-Held Devices 2016
J. A. Silva, R. Monteiro, H. Paulino, João M. Lourenço Conf. paper
2016 IEEE Trustcom/BigDataSE/ISPA 1106-1113
Cite Link
A Hardware Approach to Detect, Expose and Tolerate High Level Data Races 2016
L. Orosa, João M. Lourenço Conf. paper
2016 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP) 159-167
Cite Link
A hardware approach for detecting, exposing and tolerating high level atomicity violations 2016
Lois Orosa, João M. Lourenço Conf. paper
Proceedings of the 24th Euromicro Int’l conference on parallel, distributed, and network-based processing (PDP’16). IEEE Computer Society 2016
Cite Link
Extracting static and dynamic structural information from Java concurrent programs for coverage testing 2015
Rafael R. Prado, Paulo S. L. Souza, George G M Dourado, Simone R. S. Souza, Julio C. Estrella, Sarita M. Bruschi, João M. Lourenço Conf. paper
Proceedings - 2015 41st Latin American Computing Conference, CLEI 2015 667-674
Cite Link
Armazenamento Distribuído para Redes de Dispositivos Móveis 2015
Ricardo Monteiro, João a Silva, João M. Lourenço, Hervé Miguel Cordeiro Paulino Conf. paper
INForum 2015 - Atas do 7º Simpósio de Informática
Cite
Como separar o trigo do joio? Ou: Como selecionar a melhor fotografia de um conjunto de fotografias semelhantes 2015
André Alves, Fernando P. Birra, João M. Lourenço Conf. paper
INForum 2015 - Atas do 7º Simpósio de Informática
Cite
Execução Concorrente e Determinista de Transações 2015
João M. Lourenço, Tiago M. Vale Conf. paper
INForum 2015 - Atas do 7º Simpósio de Informática 219-234
Cite
Boosting locality in multi-version partial data replication 2015
João A. Silva, João M. Lourenço, Hervé Paulino Conf. paper
2015 Symposium on Applied Computing, SAC 2015 1309-1314
Cite Link
Dynamic Validation of Contracts in Concurrent Code 2015
Jan Fiedor, Zdenek Letko, João M. Lourenço, Tomas Vojnar Conf. paper
Proceedings of the Fifteenth International Conference on Computer Aided Systems Theory (EUROCAST'15)
Cite Link
Crowdsourcing Mobile Devices to Provide Storage in Edge-Clouds 2015
João A. Silva, Hervé Paulino, João M. Lourenço Conf. paper
Proceedings of the 2015 Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (Student Symposium)
Cite
Decentralized storage for networks of hand-held devices 2015
Ricardo Monteiro, João Silva, João M. Lourenço, Hervé Paulino Conf. paper
Proceedings of the 12th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, MOBIQUITOUS 2015 279-280
Cite Link
Execução concorrente e determinista de transacções 2015
Tiago M Vale, JA Silva, RJ Dias, João M. Lourenço Conf. paper
Simpósio de Informática (INForum) 2015
Cite Link
Group-to-group bidirectional Wi-Fi direct communication with two relay nodes 2015
António Teófilo, Diogo Remédios, Hervé Paulino, João M. Lourenço Conf. paper
Proceedings of the 12th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, MOBIQUITOUS 2015 275-276
Cite
Mobile device-to-device distributed computing using data sets 2015
Diogo Remédios, António Teófilo, Hervé Paulino, João M. Lourenço Conf. paper
Proceedings of the 12th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, MOBIQUITOUS 2015 277-278
Cite
Um Mecanismo de Caching para o Protocolo SCORe 2014
João A. Silva, João M. Lourenço, Hervé Paulino Conf. paper
INForum 2014 - Atas do 6º Simpósio de Informática 260-275
Cite
Hardware Approach for Detecting, Exposing and Tolerating High Level Atomicity Violations 2014
Lois Orosa, João M. Lourenço Conf. paper
Proceedings of Joint Euro-TM/MEDIAN Workshop on Dependable Multicore and Transactional Memory Systems
Cite Link
Supporting Multiple Data Replication Models in Distributed Transactional Memory 2014
João A. Silva, Tiago M. Vale, Ricardo J. Dias, Hervé Paulino, João M. Lourenço Conf. paper
Proceedings of the International Conference on Distributed Computing and Networking
Cite
Supporting Partial Data Replication in Distributed Transactional Memory 2014
João A. Silva, Tiago M. Vale, Ricardo J. Dias, Hervé Paulino, João M. Lourenço Conf. paper
Proceedings of Joint Euro-TM/MEDIAN Workshop on Dependable Multicore and Transactional Memory Systems
Cite Link
Prevenção de Violações de Atomicidade usando Contractos 2013
Diogo G. Sousa, Carla Ferreira, João M. Lourenço Conf. paper
INForum 2013 - Atas do 5º Simpósio de Informática 190-201
Cite
Replicação Multi-nível de Bases de Dados em Memória 2013
Helder R. L. Martins, João Soares, João M. Lourenço, Nuno Preguiça Conf. paper
INForum 2013 - Atas do 5º Simpósio de Informática 190-201
Cite
Replicação Parcial com Memória Transacional Distribuída 2013
João A. Silva, Tiago M. Vale, João M. Lourenço, Hervé Paulino Conf. paper
INForum 2013 - Atas do 5º Simpósio de Informática 310-321
Cite
Multicore Software Engineering, Performance, and Tools 2013
João M. Lourenço, Eitan Farchi Conf. paper
Lecture Notes in Computer Science 2013
Cite Link
Prevenção de Violações de Atomicidade usando Contratos 2013
D Sousa, Carla Ferreira, João M. Lourenço Conf. paper
INForum 2013
Cite Link
Replicaçao parcial com memória transacional distribuıda 2013
Joao a Silva, Tiago M Vale, João M. Lourenço, Hervé Paulino Conf. paper
INForum 2013
Cite Link
Debugging Highly-Parallel Programs 2012
João M. Lourenço Conf. paper
Multicore Challenge Conference
Cite
Aplicação do Fecho de Programas na Deteção de Anomalias de Concorrência 2012
Diogo G. Sousa, João M. Lourenço, Eitan Farchi, Itai Segall Conf. paper
INForum 2012 - Atas do 4º Simpósio de Informática 190-201
Cite
Uma Infraestrutura para Suporte de Memória Transacional Distribuída 2012
Tiago M. Vale, Ricardo J. Dias, João M. Lourenço Conf. paper
INForum 2012 - Atas do 4º Simpósio de Informática 177-189
Cite
Using Program Closures to Make an Application Programming Interface (Api) Implementation Thread Safe 2012
Eitan Farchi, Itai Segall, João M. Lourenço, Diogo G. Sousa Conf. paper
Proceedings of the 2012 Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging 18-24
Cite
Efficient and Correct Transactional Memory Programs Combining Snapshot Isolation and Static Analysis 2011
Ricardo J. Dias, João M. Lourenço, Nuno Preguiça Conf. paper
Proceedings of the 3rd USENIX Conference on Hot Topics in Parallelism (HotPar'11)
Cite Link
Aceleração de Computações Científicas com Processadores Heterogéneos 2011
Luís Picciochi Oliveira, João M. Lourenço Conf. paper
INForum 2011 - Atas do 3º Simpósio de Informática
Cite
PADTAD'11: Proceedings of the 9th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging 2011
João M. Lourenço Conf. paper
Cite Link
Practical Verification of High-Level Dataraces in Transactional Memory Programs 2011
Vasco Pessanha, Ricardo J. Dias, João M. Lourenço, Eitan Farchi, Diogo G. Sousa Conf. paper
Proceedings of the 9th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging 26-34
Cite Link
Suporte Transaccional para o Sistema de Ficheiros Btrfs 2011
João E. Luís, João M. Lourenço, Paulo A. Lopes Conf. paper
INForum 2011 - Atas do 3º Simpósio de Informática
Cite
A Static Approach for Detecting Concurrency Anomalies in Transactional Memory 2010
Bruno C. Teixeira, João M. Lourenço, Diogo G. Sousa Conf. paper
INForum 2010 - Atas do 2º Simpósio de Informática 101-112
Cite Link
Detection of Transactional Memory Anomalies Using Static Analysis 2010
Bruno C. Teixeira, João M. Lourenço, Eitan Farchi, Ricardo J. Dias, Diogo G. Sousa Conf. paper
Proceedings of the 8th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging 26-36
Cite Link
Open Virtualization Framework for Testing Ground Systems 2010
Nuno Duro, Rui Santos, João M. Lourenço, Hervé Paulino, João Martins Conf. paper
PADTAD'10: Proceedings of the 8th Workshop on Parallel and Distributed Systems 67-73
Cite Link
Snapshot Isolation Anomalies Detection in Software Transactional Memory 2010
Ricardo J. Dias, João Seco, João M. Lourenço Conf. paper
INForum 2010 - Atas do 2º Simpósio de Informática 31-42
Cite Link
Understanding the Behavior of Transactional Memory Applications 2009
João M. Lourenço, Ricardo J. Dias, João Luís, Miguel Rebelo, Vasco Pessanha Conf. paper
Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging 31-39
Cite Link
Unifying Memory and Database Transactions 2009
Ricardo J. Dias, João M. Lourenço Conf. paper
Proceedings of the 15th International Euro-Par Conference on Parallel Processing 349-360
Cite Link
Consistent State Software Transactional Memory 2008
Gonçalo Cunha, João M. Lourenço, Ricardo J. Dias Conf. paper
JETC'08: IV Jornadas de Engenharia de Electrónica e Telecomunicações e de Computadores 251-256
Cite
Byzantium: Byzantine-Fault-Tolerant Database Replication Providing Snapshot Isolation 2008
Nuno Preguiça, Rodrigo Rodrigues, Cristóvão Honorato, João M. Lourenço Conf. paper
Proceedings of the Fourth Conference on Hot Topics in System Dependability 9-9
Cite Link
Topic 1: Support Tools and Environments 2008
Marios Dikaiakos, Omer Rana, Shmuel Ur, João M. Lourenço Conf. paper
Euro-Par 2008 Parallel Processing 5168 1-2
Cite Link
Testing patterns for software transactional memory engines 2007
João M. Lourenço, Gonçalo Cunha Conf. paper
Proceedings of the 2007 ACM workshop on Parallel and distributed systems: testing and debugging 36-42
Cite Link
Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education 2005
João M. Lourenço, José C. Cunha, W. Michael Fleischman, Viera K. Proulx Conf. paper
ACM SIGCSE Bulletin (ITiCSE Proceedings), Vol 37, Issue 3
Cite
Control and Debugging of Distributed Programs Using Fiddle 2003
João M. Lourenço, José C. Cunha, Vitor Moreira Conf. paper
cs.DC/0309049 143-157
Cite Link
An Experience in Building a Parallel and Distributed Problem-Solving Environment 1999
José C. Cunha, Pedro D. Medeiros, Vitor Duarte, João M. Lourenço, Cecilia Gomes Conf. paper
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications 1804-1809
Cite
A Framework to support Parallel and Distributed Debugging 1998
José C. Cunha, João M. Lourenço, João Vieira, Bruno Moscão, Daniel Pereira Conf. paper
Proceedings of the International Conference and Exhibition on High-Performance Computing and Networking 1401 708-717
Cite Link
A Thread-Level Distributed Debugger 1998
João M. Lourenço, José C. Cunha Conf. paper
Proceedings of the 3rd International Conference on Vector and Parallel Processing 359-366
Cite Link
Integrated course on parallel and distributed processing 1998
José C. Cunha, João M. Lourenço Conf. paper
Proceedings of the Conference on Integrating Technology into Computer Science Education (ITiCSE), 1998
Cite
Replaying Distributed Applications with RPVM 1998
João M. Lourenço, José C. Cunha Conf. paper
Proceeding of the 2nd Austrian-Hungarian Workshop on Distributed and Parallel Systems
Cite Link
The DOTPAR Project: Towards a Framework Supporting Domain Oriented Tools for Parallel and Distributed Processing 1998
José C. Cunha, Pedro D. Medeiros, João M. Lourenço, Vítor Duarte, João Vieira, Bruno Moscão, Daniel Pereira, Rui Vaz Conf. paper
Proceedings of the International Conference on High-Performance Computing and Networking 1401 952-954
Cite Link
The PDBG Process-Level Debugger for Parallel and Distributed Programs 1998
João M. Lourenço, José C. Cunha Conf. paper
Proceedings of the SIGMETRICS Symposium on Parallel and Distributed Tools 154
Cite Link
Tool Integration Issues for Parallel and Distributed Debugging 1998
José C. Cunha, João M. Lourenço, Vitor Duarte Conf. paper
Proceedings of the 3rd SEIHPC Workshop
Cite Link
An Integrated Testing and Debugging Environment for Parallel and Distributed Programs 1997
João M. Lourenço, José C. Cunha, H. Krawczyk, P. Kuzora, M. Neyman, B. Wiszniewski Conf. paper
Proceedings of the 23rd EUROMICRO Conference 291-298
Cite Link
A Debugging Engine for a Parallel and Distributed Environment 1996
José C. Cunha, João M. Lourenço, Tiago Antão Conf. paper
Proceedings of the 1st Austrian-Hungarian Workshop on Distributed and Parallel Systems 111-118
Cite Link
A Distributed Debugging Tool for a Parallel Software Engineering Environment 1996
José C. Cunha, João M. Lourenço, Tiago Antão Conf. paper
Proceedings of the 1st European Parallel Tools Meeting
Cite Link

Book sections

RedShell: A Generative AI-Based Approach to Ethical Hacking 2026
Ricardo Bessa, Rui Claro, João Trindade, João M. Lourenço Book chapter
Lecture Notes in Computer Science 2026
Cite Link
Discovering Concurrency Errors 2018
João M. Lourenço, Jan Fiedor, Bohuslav Krena, Tomás Vojnar Book chapter
Lectures on Runtime Verification 10457 34-60
Cite Link
Framework Support for the Efficient Implementation of Multi-version Algorithms 2015
Ricardo J. Dias, Tiago M. Vale, João M. Lourenço Book chapter
Transactional Memory. Foundations, Algorithms, Tools, and Applications 8913 166-191
Cite Link
On Monitoring C/C++ Transactional Memory Programs 2014
Jan Fiedor, Zdeněk Letko, João M. Lourenço, Tomáš Vojnar Book chapter
Mathematical and Engineering Methods in Computer Science 8934 73-87
Cite Link
Precise Detection of Atomicity Violations 2013
Ricardo J. Dias, Vasco Pessanha, João M. Lourenço Book chapter
Hardware and Software: Verification and Testing 7857 8-23
Cite Link
MacroDB: Scaling Database Engines on Multicores 2013
João Soares, João M. Lourenço, Nuno Preguiça Book chapter
Euro-Par 2013 Parallel Processing 8097 607-619
Cite Link
On the Relevance of Total-Order Broadcast Implementations in Replicated Software Transactional Memories 2013
Tiago M. Vale, Ricardo J. Dias, João M. Lourenço Book chapter
Multicore Software Engineering, Performance, and Tools 8063 49-60
Cite Link
Software Component Replication for Improved Fault-Tolerance: Can Multicore Processors Make It Work? 2013
João Soares, João M. Lourenço, Nuno Preguiça Book chapter
Dependable Computing 7869 173-180
Cite Link
Efficient Support for In-Place Metadata in Transactional Memory 2012
Ricardo J. Dias, Tiago M. Vale, João M. Lourenço Book chapter
Euro-Par 2012 Parallel Processing 7484 589-600
Cite Link
Verification of Snapshot Isolation in Transactional Memory Java Programs 2012
Ricardo J. Dias, Dino Distefano, João Costa Seco, João M. Lourenço Book chapter
ECOOP 2012 – Object-Oriented Programming 7313 640-664
Cite Link
Foreword 2011
João M. Lourenço, Eitan Farchi, Shmuel Ur Book chapter
Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2011 - Proceedings
Cite
Special Session on Debugging 2011
Yoav Hollander, Alan Hu, João M. Lourenço, Ronny Morad Book chapter
Hardware and Software: Verification and Testing 6504 24-28
Cite Link
Understanding Transactional Memory (Extended Abstract) 2011
João M. Lourenço Book chapter
Hardware and Software: Verification and Testing 6504 1-2
Cite Link
PADTAD 2010 - International Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging: Foreword 2010
João M. Lourenço, Eitan Farchi, Shmuel Ur Book chapter
PADTAD 2010
Cite
SmART: An Application Reconfiguration Framework 2010
Hervé Paulino, João André Martins, João M. Lourenço, Nuno Duro Book chapter
Complex Systems Design & Management 73-84
Cite Link
Welcome to ITiCSE 2005 2005
João M. Lourenço, José C. Cunha Book chapter
Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education
Cite
Supporting On-Line Distributed Monitoring and Debugging 2003
Vitor Duarte, João M. Lourenço, José C. Cunha Book chapter
Scalable Computing: Practice and Experience 4 (3) 43-59
Cite
Debugging of Parallel and Distributed Programs 2001
José C. Cunha, João M. Lourenço, Vitor Duarte Book chapter
97-129
Cite
Fiddle: A flexible distributed debugger architecture 2001
João M. Lourenço, José C Cunha Book chapter
Lecture Notes in Computer Science 2001
Cite Link
Fiddle: A Flexible Distributed Debugging Architecture 2001
João M. Lourenço, José C. Cunha Book chapter
Proceedings of the International Conference on Computational Science – Part II 2074 821-830
Cite Link
Supporting On-Line Distributed Monitoring and Debugging 2001
V. Duarte, João M. Lourenço, José C. Cunha Book chapter
Parallel and Distributed Computing Practices, Special Issue on Monitoring Systems and Tool Interoperability 4 (3) 261-274
Cite
The DDBG Distributed Debugger 2001
José C. Cunha, João M. Lourenço, Vitor Duarte Book chapter
279-290
Cite

Books

Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers 2012
Kerstin Eder, João Lourenҫo, Onn Shehory Book
Lecture Notes in Computer Science 2012
Link

Theses

A Debugging Engine for Parallel and Distributed Programs 2004
João M. Lourenço Thesis
PhD Thesis
Cite Link
Mecanismos de Suporte à Execução Concorrente de Programas em Lógica 1994
João M. Lourenço Thesis
MSc Thesis
Cite Link

Reports

Detection of Snapshot Isolation Anomalies in Software Transactional Memory: A Statical Analysis Approach 2011
Ricardo J. Dias, João M. Lourenço, João Costa Seco Tech. Rep.
(UNL-DI-5-2011)
Cite
StarTM: Automatic Verification of Snapshot Isolation in Transactional Memory Java Programs 2011
Ricardo J. Dias, Dino Distefano, João M. Lourenço, João Costa Seco Tech. Rep.
(UNL-DI-6-2011)
Cite
Flexible Interface for Distributed Debugging (Library and Engine): Reference Manual 2000
João M. Lourenço, José C. Cunha Tech. Rep.
Cite
A Software Architecture for the Integration of Monitoring, Debugging and Profiling Tools for Parallel Program Development 1998
José C. Cunha, Vitor Duarte, João M. Lourenço, Pedro D. Medeiros Tech. Rep.
Cite
Integration of STEPS and DDBG 1996
Marcin Neyman, João M. Lourenço Tech. Rep.
Cite
DDBG: A distributed debugger–user’s guide 1996
JC Cunha, João M. Lourenço, Tiago Antao Tech. Rep.
SEPP Project, Copernicus Programme, 5th Progress Report. University of Westminster, London, UK 1996
Link
Monitoring and Debugging Support 1996
José C Cunha, V Duarte, João M. Lourenço, T Antão Tech. Rep.
Unknown Journal 1996
Link
A Layered Architecture for Group-Oriented Parallel and Distributed Logic Programming 1995
José C. Cunha, P. Medeiros, F. Barbosa, R. F. Marques, João M. Lourenço Tech. Rep.
Cite

Preprints

The NOVAthesis LaTeX Template User's Manual 2021
João M. Lourenço Preprint
Zenodo
Cite Link GitHub
Lazy State Determination: More concurrency for contending linearizable transactions 2020
Tiago M Vale, João Leitão, Nuno Preguiça, Rodrigo Rodrigues, Ricardo J Dias, João M. Lourenço Preprint
arXiv 2020
Link
COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring--Activity Report of Working Group 1 2019
Wolfgang Ahrendt, Cyrille Artho, Christian Colombo, Ylies Falcone, Srdan Krstic, Martin Leucker, Florian Lorber, João M. Lourenço, Leonardo Mariani, César Sánchez, Et Al. Preprint
Cite Link
Time-Aware Publish/Subscribe for Networks of Mobile Devices 2017
João A. Silva, Hervé Paulino, João M. Lourenço, João Leitão, Nuno Preguiça Preprint
Cite Link
Preventing Atomicity Violations with Contracts 2015
Diogo G. Sousa, Ricardo J. Dias, Carla Ferreira, João M. Lourenço Preprint
Cite Link
Supporting In-Place Metadata in DeuceSTM 2012
Ricardo J. Dias, Tiago M. Vale, João M. Lourenço Preprint
Proceedings of the 2nd Euro-TM Workshop on Transactional Memory
Cite
Write-Write Conflict Detection for Distributed TM Systems 2012
Ricardo J. Dias, Tiago M. Vale, João M. Lourenço Preprint
Proceedings of the 1st Euro-TM Workshop on Distributed Transactional Memory (WDTM'12)
Cite
On Using Separation Logic to Detect Snapshot Isolation Anomalies in Software Transactional Memory 2011
Ricardo J. Dias, João M. Lourenço Preprint
Cite
Detecting Snapshot Isolation Anomalies in Transactional Memory 2010
Ricardo J. Dias, João M. Lourenço Preprint
Cite
NGenVM: New Generation Execution Environments 2009
João M. Lourenço, Nuno Preguiça, Ricardo J. Dias, João Nuno Silva, João Garcia, Luís Veiga Preprint
Cite