Teaching parallel processing: development of curriculum and software tools. - Jan Kwiatkowski; Marek Andruszkiewicz; Emilio Luque; Tomàs Margalef; José C. Cunha; João Lourenço; Henryk Krawczyk; Stanislaw Szejko (ITiCSE, 1996)

An integrated testing and debugging environment for parallel and distributed programs. - João Lourenço; José C. Cunha; Henryk Krawczyk; Piotr Kuzora; Marcin Neyman; Bogdan Wiszniewski (EUROMICRO, 1997)

A Graphical Development and Debugging Environment for Parallel Programs. - Péter Kacsuk; José C. Cunha; Gábor Dózsa; João Lourenço; Tibor Fadgyas; Tiago Rodrigues Antao (Parallel Comput., 1997)

A Framework to support Parallel and Distrubuted Debugging. - José C. Cunha; João Lourenço; João Vieira; Bruno Moscão; Daniel Pereira (HPCN Europe, 1998)

The DOTPAR Project: Towards a Framework Supporting Domain Oriented Tools for Parallel and Distributed Processing. - José C. Cunha; Pedro D. Medeiros; João Lourenço; Vítor Duarte; João Vieira; Bruno Moscão; Daniel Pereira; Rui Vaz (HPCN Europe, 1998)

An integrated course on parallel and distributed processing. - José C. Cunha; João Lourenço (SIGCSE, 1998)

The PDBG process-level debugger for parallel and distributed programs. - João Lourenço; José C. Cunha (SPDT, 1998)

Using DDBG to Support Testing and High-level Debugging Interfaces. - José C. Cunha; João Lourenço; Vítor Duarte (Comput. Artif. Intell., 1998)

An Experience in Building a Parallel and Distributed Problem-Solving Environment. - José C. Cunha; Pedro D. Medeiros; Vítor Duarte; João Lourenço; Maria Cecilia Gomes (PDPTA, 1999)

An experiment in tool integration: The DDBG parallel and distributed debugger. - José C. Cunha; João Lourenço; Tiago Rodrigues Antao (J. Syst. Archit., 1999)

Fiddle: A Flexible Distributed Debugging Architecture. - João Lourenço; José C. Cunha (International Conference on Computational Science (2), 2001)

Supporting On-line Distributed Monitoring and Debugging. - Vítor Duarte; João Lourenço; José C. Cunha (Parallel Distributed Comput. Pract., 2001)

Control and Debugging of Distributed Programs Using Fiddle - João Lourenço; José C. Cunha; Vitor Moreira (CoRR, 2003)

Testing patterns for software transactional memory engines. - João Lourenço; Gonçalo Cunha (PADTAD, 2007)

Animated Graphical User Interface Generator Framework for Input-Output Place-Transition Petri Net Models. - João Lourenço; Luís Gomes 001 (Petri Nets, 2008)

Topic 1: Support Tools and Environments. - Marios D. Dikaiakos; Omer F. Rana; Shmuel Ur; João Lourenço (Euro-Par, 2008)

Byzantium: Byzantine-Fault-Tolerant Database Replication Providing Snapshot Isolation. - Nuno M. Preguiça; Rodrigo Rodrigues 001; Cristóvão Honorato; João Lourenço (HotDep, 2008)

Developing libraries using software transactional memory. - Ricardo J. Dias; João Lourenço; Gonçalo Cunha (Comput. Sci. Inf. Syst., 2008)

Unifying Memory and Database Transactions. - Ricardo J. Dias; João Lourenço (Euro-Par, 2009)

Understanding the behavior of transactional memory applications. - João Lourenço; Ricardo J. Dias; João Luís; Miguel Rebelo; Vasco Pessanha (PADTAD, 2009)

SmART: An Application Reconfiguration Framework. - Hervé Paulino; João André Martins; João Lourenço; Nuno Duro (CSDM, 2010)

Special Session on Debugging. - Yoav Hollander; Alan J. Hu; João Lourenço; Ronny Morad (Haifa Verification Conference, 2010)

Understanding Transactional Memory (Extended Abstract). - João Lourenço (Haifa Verification Conference, 2010)

Open virtualization framework for testing ground systems. - Nuno Duro; Rui Santos; João Lourenço; Hervé Paulino; João Martins 001 (PDATAD, 2010)

Detection of Transactional Memory anomalies using static analysis. - Bruno C. Teixeira; João Lourenço; Eitan Farchi; Ricardo J. Dias; Diogo Sousa 001 (PDATAD, 2010)

Rapid Prototyping of Graphical User Interfaces for Petri-Net-Based Controllers. - Luís Gomes 001; João Lourenço (IEEE Trans. Ind. Electron., 2010)

Practical verification of high-level dataraces in transactional memory programs. - Vasco Pessanha; Ricardo J. Dias; João Lourenço; Eitan Farchi; Diogo Sousa 001 (PADTAD, 2011)

An evaluation of a low-cost 3-dimensional gestural interface: Wii3D. - João Lourenço; Hannah Thinyane (SAICSIT, 2011)

Detecting concurrency anomalies in transactional memory programs. - João Lourenço; Diogo Sousa 001; Bruno C. Teixeira; Ricardo J. Dias (Comput. Sci. Inf. Syst., 2011)

Verification of Snapshot Isolation in Transactional Memory Java Programs. - Ricardo J. Dias; Dino Distefano; João Costa Seco; João Lourenço (ECOOP, 2012)

Efficient Support for In-Place Metadata in Transactional Memory. - Ricardo J. Dias; Tiago M. Vale; João Lourenço (Euro-Par, 2012)

Precise Detection of Atomicity Violations. - Ricardo J. Dias; Vasco Pessanha; João Lourenço (Haifa Verification Conference, 2012)

Using program closures to make an application programming interface (API) implementation thread safe. - Eitan Farchi; Itai Segall; João Lourenço; Diogo Sousa 001 (PADTAD, 2012)

Responses modeling and optimization criteria impact on the optimization of multiple quality characteristics. - Nuno Ricardo Costa; João Lourenço; Zulema Lopes Pereira (Comput. Ind. Eng., 2012)

Multiresponse Optimization and Pareto Frontiers. - Nuno Ricardo Costa; João Lourenço; Zulema Lopes Pereira (Qual. Reliab. Eng. Int., 2012)

MacroDB: Scaling Database Engines on Multicores. - João Soares; João Lourenço; Nuno M. Preguiça (Euro-Par, 2013)

Software Component Replication for Improved Fault-Tolerance: Can Multicore Processors Make It Work? - João Soares; João Lourenço; Nuno M. Preguiça (EWDC, 2013)

On the Relevance of Total-Order Broadcast Implementations in Replicated Software Transactional Memories. - Tiago M. Vale; Ricardo J. Dias; João Lourenço (MUSEPAT, 2013)

A Multi-agent Control Architecture for Supply Chains Using a Predictive Pull-Flow Perspective. - João Miguel Lemos Chasqueira Nabais; Rudy R. Negenborn; Rafael Bernardo Carmona Benítez; Luís F. Mendonça; João Lourenço; Miguel Ayala Botto (PAAMS (Workshops), 2013)

Efficient support for in-place metadata in Java software transactional memory. - Ricardo J. Dias; Tiago M. Vale; João Lourenço (Concurr. Comput. Pract. Exp., 2013)

On Monitoring C/C++ Transactional Memory Programs. - Jan Fiedor; Zdenek Letko; João Lourenço; Tomás Vojnar (MEMICS, 2014)

Extracting static and dynamic structural information from java concurrent programs for coverage testing. - Rafael R. Prado; Paulo S. L. Souza; George G. M. Dourado; Simone R. S. Souza; Júlio Cezar Estrella; Sarita Mazzini Bruschi; João Lourenço (CLEI, 2015)

Framework Support for the Efficient Implementation of Multi-version Algorithms. - Ricardo J. Dias; Tiago M. Vale; João M. Lourenço (Transactional Memory, 2015)

Dynamic Validation of Contracts in Concurrent Code. - Jan Fiedor; Zdenek Letko; João Lourenço; Tomás Vojnar (EUROCAST, 2015)

Supporting Multiple Data Replication Models in Distributed Transactional Memory. - João A. Silva; Tiago M. Vale; Ricardo J. Dias; Hervé Paulino; João Lourenço (ICDCN, 2015)

Decentralized Storage for Networks of Hand-held Devices. - Ricardo Monteiro; João A. Silva; João Lourenço; Hervé Paulino (MobiQuitous, 2015)

Mobile Device-to-Device Distributed Computing Using Data Sets. - Diogo Remédios; António Teófilo; Hervé Paulino; João Lourenço (MobiQuitous, 2015)

Group-to-Group Bidirectional Wi-Fi Direct Communication with Two Relay Nodes. - António Teófilo; Diogo Remédios; Hervé Paulino; João Lourenço (MobiQuitous, 2015)

Boosting locality in multi-version partial data replication. - João A. Silva; João Lourenço; Hervé Paulino (SAC, 2015)

Preventing Atomicity Violations with Contracts. - Diogo G. Sousa; Ricardo J. Dias; Carla Ferreira 001; João Lourenço (CoRR, 2015)

Special issue on testing, analysis and debugging of concurrent programs. - Eitan Farchi; Robert M. Hierons; João Lourenço (Softw. Test. Verification Reliab., 2015)

A Suite of Java Message-Passing Benchmarks to Support the Validation of Testing Models, Criteria and Tools. - George Gabriel Mendes Dourado; Paulo Sergio Lopes de Souza; Rafael R. Prado; Raphael Negrisoli Batista; Simone R. S. Souza; Júlio Cezar Estrella; Sarita Mazzini Bruschi; João Lourenço (ICCS, 2016)

Low Cost Inertial Measurement Unit for Motion Capture in Biomedical Applications. - João Lourenço; Leonardo Martins; Rui Almeida 001; Cláudia Quaresma; Pedro Vieira 002 (DoCEIS, 2016)

Towards the Opportunistic Combination of Mobile Ad-hoc Networks with Infrastructure Access. - João A. Silva; João Leitão 001; Nuno M. Preguiça; João M. Lourenço; Hervé Paulino (MECC@Middleware, 2016)

A Hardware Approach to Detect, Expose and Tolerate High Level Data Races. - Lois Orosa 001; João Lourenço (PDP, 2016)

Ephemeral Data Storage for Networks of Hand-Held Devices. - João A. Silva; Ricardo Monteiro; Hervé Paulino; João M. Lourenço (Trustcom/BigDataSE/ISPA, 2016)

Gaussian Process Model - An Exploratory Study in the Response Surface Methodology. - Nuno Ricardo Costa; João Lourenço (Qual. Reliab. Eng. Int., 2016)

Pot: Deterministic Transactional Execution. - Tiago M. Vale; João A. Silva; Ricardo J. Dias; João M. Lourenço (ACM Trans. Archit. Code Optim., 2016)

Verifying Concurrent Programs Using Contracts. - Ricardo J. Dias; Carla Ferreira 001; Jan Fiedor; João M. Lourenço; Ales Smrcka; Diogo G. Sousa; Tomás Vojnar (ICST, 2017)

Towards a persistent publish/subscribe system for networks of mobile devices. - Filipe Cerqueira; João A. Silva; João M. Lourenço; Hervé Paulino (MECC@Middleware, 2017)

GOCRGO and GOGO: Two Minimal Communication Topologies for WiFi-Direct Multi-group Networking. - António Teófilo; Diogo Remédios; João M. Lourenço; Hervé Paulino (MobiQuitous, 2017)

Verifying Real-World Software with Contracts for Concurrency. - João M. Lourenço (ISoLA (4), 2018)

Time-Aware Publish/Subscribe for Networks of Mobile Devices. - João A. Silva; Hervé Paulino; João M. Lourenço; João Leitão 001; Nuno M. Preguiça (CoRR, 2018)

Uma análise comparativa de ferramentas de análise estática para deteção de erros de memória. - Patrícia Monteiro; João Lourenço; António Ravara (CoRR, 2018)

Discovering Concurrency Errors. - João M. Lourenço; Jan Fiedor; Bohuslav Krena; Tomás Vojnar (Lectures on Runtime Verification, 2018)

Time-aware reactive storage in wireless edge environments. - João A. Silva; Hervé Paulino; João M. Lourenço; João Leitão 001; Nuno M. Preguiça (MobiQuitous, 2019)

COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1. - Wolfgang Ahrendt; Cyrille Artho; Christian Colombo 001; Yliès Falcone; Srdan Krstic; Martin Leucker; Florian Lorber; João M. Lourenço; Leonardo Mariani; César Sánchez 001; Gerardo Schneider; Volker Stolz (CoRR, 2019)

A survey of challenges for runtime verification from advanced application domains (beyond software). - César Sánchez 001; Gerardo Schneider; Wolfgang Ahrendt; Ezio Bartocci; Domenico Bianculli; Christian Colombo 001; Yliès Falcone; Adrian Francalanza; Srdan Krstic; João M. Lourenço; Dejan Nickovic; Gordon J. Pace; et al. (Formal Methods Syst. Des., 2019)

Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software). - César Sánchez 001; Gerardo Schneider; Wolfgang Ahrendt; Ezio Bartocci; Domenico Bianculli; Christian Colombo 001; Yliès Falcone; Adrian Francalanza; Srdan Krstic; João M. Lourenço; Dejan Nickovic; Gordon J. Pace; et al. (Formal Methods Syst. Des., 2019)

RedMesh: A WiFi-Direct Network Formation Algorithm for Large-Scale Scenarios. - António Teófilo; João M. Lourenço; Hervé Paulino (MobiQuitous, 2020)

Lazy State Determination: More concurrency for contending linearizable transactions. - Tiago M. Vale; João Leitão 001; Nuno M. Preguiça; Rodrigo Rodrigues 001; Ricardo J. Dias; João M. Lourenço (CoRR, 2020)

Virtual Environments & Precision Viticulture: A Case Study. - João Lourenço; João Teixeira; Paulo Carvalho; Luís Pádua; Telmo Adão; Emanuel Peres; Joaquim João Sousa (IGARSS, 2021)

Resonant tunnelling diode nano-optoelectronic spiking nodes for neuromorphic information processing. - Matej Hejda; Juan Arturo Alanis; Ignacio Ortega-Piwonka; João Lourenço; José M. L. Figueiredo; Julien Javaloyes; Bruno Romeira; Antonio Hurtado (CoRR, 2021)

It's about Thyme: On the design and implementation of a time-aware reactive storage system for pervasive edge computing environments. - João A. Silva; Filipe Cerqueira; Hervé Paulino; João M. Lourenço; João Leitão 001; Nuno M. Preguiça (Future Gener. Comput. Syst., 2021)

Towards Multimodal Search and Visualization of Movies Based on Emotions. - Francisco Caldeira; João Lourenço; Nuno Tavares Silva; Teresa Chambel (IMX, 2022)

Tethered UAV with Combined Multi-rotor and Water Jet Propulsion for Forest Fire Fighting. - Carlos Viegas 001; Babak Chehreh; José Andrade; João Lourenço (J. Intell. Robotic Syst., 2022)

Monolith Development History for Microservices Identification: a Comparative Analysis. - João Lourenço; António Rito Silva (ICWS, 2023)

Happy or Sad, Smiling or Drawing with Multimodal Search and Visualisation of Movies Based on Emotions Along Time. - Teresa Chambel; Francisco Caldeira; João Lourenço (IMX Workshops, 2023)

Anthropomorphic finger for grasping applications: 3D printed endoskeleton in a soft skin. - Mahmoud Tavakoli; Andriy Sayuk; João Lourenço; Pedro Neto 002 (CoRR, 2023)

Brain-inspired nanophotonic spike computing: challenges and prospects. - Bruno Romeira; Ricardo M. R. Adão; Jana B. Nieder; Qusay Raghib Ali Al-Taai; Weikang Zhang; Robert H. Hadfield; Edward Wasige; Matej Hejda; Antonio Hurtado; Ekaterina Malysheva; Victor Dolores-Calzadilla; João Lourenço; et al. (Neuromorph. Comput. Eng., 2023)

FLeeC: a Fast Lock-Free Application Cache. - André J. Costa; Nuno M. Preguiça; João M. Lourenço (CoRR, 2024)

Monitoring of spatio-temporal properties with nonlinear SAT solvers. - André de Matos Pedro; Tomás Silva; Tiago F. Sequeira; João Lourenço; João Costa Seco; Carla Ferreira 001 (Int. J. Softw. Tools Technol. Transf., 2024)

Multimodal Search and Visualisation of Movies Based on Emotions Along Time in As Movies Go By. - Francisco Caldeira; João Lourenço; Teresa Chambel (SN Comput. Sci., 2025)