João Lourenço

According to our database, João Lourenço authored at least 82 papers between 1996 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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

Int. J. Softw. Tools Technol. Transf., April, 2024

FLeeC: a Fast Lock-Free Application Cache.

André J. Costa, Nuno M. Preguiça, João M. Lourenço

CoRR, 2024

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, D. Castro Alves, José M. L. Figueiredo, Ignacio Ortega-Piwonka, Julien Javaloyes, Stuart Edwards, J. Iwan Davies, Folkert Horst, Bert J. Offrein

Neuromorph. Comput. Eng., September, 2023

Anthropomorphic finger for grasping applications: 3D printed endoskeleton in a soft skin.

Mahmoud Tavakoli, Andriy Sayuk, João Lourenço, Pedro Neto

CoRR, 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

Proceedings of the 2023 ACM International Conference on Interactive Media Experiences Workshops, 2023

Monolith Development History for Microservices Identification: a Comparative Analysis.

João Lourenço, António Rito Silva

Proceedings of the IEEE International Conference on Web Services, 2023

2022

Tethered UAV with Combined Multi-rotor and Water Jet Propulsion for Forest Fire Fighting.

Carlos Viegas, Babak Chehreh, José Andrade, João Lourenço

J. Intell. Robotic Syst., 2022

Towards Multimodal Search and Visualization of Movies Based on Emotions.

Francisco Caldeira, João Lourenço, Nuno Tavares Silva, Teresa Chambel

Proceedings of the IMX '22: ACM International Conference on Interactive Media Experiences, Aveiro, Portugal, June 22, 2022

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, Nuno M. Preguiça

Future Gener. Comput. Syst., 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

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

Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2021

2020

Lazy State Determination: More concurrency for contending linearizable transactions.

Tiago M. Vale, João Leitão, Nuno M. Preguiça, Rodrigo Rodrigues, Ricardo J. Dias, João M. Lourenço

CoRR, 2020

RedMesh: A WiFi-Direct Network Formation Algorithm for Large-Scale Scenarios.

António Teófilo, João M. Lourenço, Hervé Paulino

Proceedings of the MobiQuitous '20: Computing, 2020

2019

Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software).

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

Formal Methods Syst. Des., 2019

A survey of challenges for runtime verification from advanced application domains (beyond software).

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

Formal Methods Syst. Des., 2019

COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1.

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

CoRR, 2019

Time-aware reactive storage in wireless edge environments.

João A. Silva, Hervé Paulino, João M. Lourenço, João Leitão, Nuno M. Preguiça

Proceedings of the MobiQuitous 2019, 2019

2018

Discovering Concurrency Errors.

João M. Lourenço, Jan Fiedor, Bohuslav Krena, Tomás Vojnar

Proceedings of the Lectures on Runtime Verification - Introductory and Advanced Topics, 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

Time-Aware Publish/Subscribe for Networks of Mobile Devices.

João A. Silva, Hervé Paulino, João M. Lourenço, João Leitão, Nuno M. Preguiça

CoRR, 2018

Verifying Real-World Software with Contracts for Concurrency.

João M. Lourenço

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

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

Proceedings of the 14th EAI International Conference on Mobile and Ubiquitous Systems: Computing, 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

Proceedings of the 2nd Workshop on Middleware for Edge Clouds & Cloudlets, 2017

Verifying Concurrent Programs Using Contracts.

Ricardo J. Dias, Carla Ferreira, Jan Fiedor, João M. Lourenço, Ales Smrcka, Diogo G. Sousa, Tomás Vojnar

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

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

Gaussian Process Model - An Exploratory Study in the Response Surface Methodology.

Nuno Ricardo Costa, João Lourenço

Qual. Reliab. Eng. Int., 2016

Ephemeral Data Storage for Networks of Hand-Held Devices.

João A. Silva, Ricardo Monteiro, Hervé Paulino, João M. Lourenço

Proceedings of the 2016 IEEE Trustcom/BigDataSE/ISPA, 2016

A Hardware Approach to Detect, Expose and Tolerate High Level Data Races.

Lois Orosa, João Lourenço

Proceedings of the 24th Euromicro International Conference on Parallel, 2016

Towards the Opportunistic Combination of Mobile Ad-hoc Networks with Infrastructure Access.

João A. Silva, João Leitão, Nuno M. Preguiça, João M. Lourenço, Hervé Paulino

Proceedings of the 1st Workshop on Middleware for Edge Clouds & Cloudlets, 2016

Low Cost Inertial Measurement Unit for Motion Capture in Biomedical Applications.

João Lourenço, Leonardo Martins, Rui Almeida, Cláudia Quaresma, Pedro Vieira

Proceedings of the Technological Innovation for Cyber-Physical Systems, 2016

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

Proceedings of the International Conference on Computational Science 2016, 2016

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

Preventing Atomicity Violations with Contracts.

Diogo G. Sousa, Ricardo J. Dias, Carla Ferreira, João Lourenço

CoRR, 2015

Boosting locality in multi-version partial data replication.

João A. Silva, João Lourenço, Hervé Paulino

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 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

Proceedings of the 12th EAI International Conference on Mobile and Ubiquitous Systems: Computing, 2015

Mobile Device-to-Device Distributed Computing Using Data Sets.

Diogo Remédios, António Teófilo, Hervé Paulino, João Lourenço

Proceedings of the 12th EAI International Conference on Mobile and Ubiquitous Systems: Computing, 2015

Decentralized Storage for Networks of Hand-held Devices.

Ricardo Monteiro, João A. Silva, João Lourenço, Hervé Paulino

Proceedings of the 12th EAI International Conference on Mobile and Ubiquitous Systems: Computing, 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

Proceedings of the 2015 International Conference on Distributed Computing and Networking, 2015

Dynamic Validation of Contracts in Concurrent Code.

Jan Fiedor, Zdenek Letko, João Lourenço, Tomás Vojnar

Proceedings of the Computer Aided Systems Theory - EUROCAST 2015, 2015

Framework Support for the Efficient Implementation of Multi-version Algorithms.

Ricardo J. Dias, Tiago M. Vale, João M. Lourenço

Proceedings of the Transactional Memory. Foundations, Algorithms, Tools, and Applications, 2015

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

Proceedings of the 2015 Latin American Computing Conference, 2015

2014

On Monitoring C/C++ Transactional Memory Programs.

Jan Fiedor, Zdenek Letko, João Lourenço, Tomás Vojnar

Proceedings of the Mathematical and Engineering Methods in Computer Science, 2014

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

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

Proceedings of the Highlights on Practical Applications of Agents and Multi-Agent Systems, 2013

On the Relevance of Total-Order Broadcast Implementations in Replicated Software Transactional Memories.

Tiago M. Vale, Ricardo J. Dias, João Lourenço

Proceedings of the Multicore Software Engineering, Performance, and Tools, 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

Proceedings of the Dependable Computing - 14th European Workshop, 2013

MacroDB: Scaling Database Engines on Multicores.

João Soares, João Lourenço, Nuno M. Preguiça

Proceedings of the Euro-Par 2013 Parallel Processing, 2013

2012

Multiresponse Optimization and Pareto Frontiers.

Nuno Ricardo Costa, João Lourenço, Zulema Lopes Pereira

Qual. Reliab. Eng. Int., 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

Using program closures to make an application programming interface (API) implementation thread safe.

Eitan Farchi, Itai Segall, João Lourenço, Diogo Sousa

Proceedings of the 10th Workshop on Parallel and Distributed Systems: Testing, 2012

Precise Detection of Atomicity Violations.

Ricardo J. Dias, Vasco Pessanha, João Lourenço

Proceedings of the Hardware and Software: Verification and Testing, 2012

Efficient Support for In-Place Metadata in Transactional Memory.

Ricardo J. Dias, Tiago M. Vale, João Lourenço

Proceedings of the Euro-Par 2012 Parallel Processing - 18th International Conference, 2012

Verification of Snapshot Isolation in Transactional Memory Java Programs.

Ricardo J. Dias, Dino Distefano, João Costa Seco, João Lourenço

Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

2011

Detecting concurrency anomalies in transactional memory programs.

João Lourenço, Diogo Sousa, Bruno C. Teixeira, Ricardo J. Dias

Comput. Sci. Inf. Syst., 2011

An evaluation of a low-cost 3-dimensional gestural interface: Wii3D.

João Lourenço, Hannah Thinyane

Proceedings of the 2011 Annual Conference of the South African Institute of Computer Scientists and Information Technologists, 2011

Practical verification of high-level dataraces in transactional memory programs.

Vasco Pessanha, Ricardo J. Dias, João Lourenço, Eitan Farchi, Diogo Sousa

Proceedings of the 9th Workshop on Parallel and Distributed Systems: Testing, 2011

2010

Rapid Prototyping of Graphical User Interfaces for Petri-Net-Based Controllers.

Luís Gomes, João Lourenço

IEEE Trans. Ind. Electron., 2010

Detection of Transactional Memory anomalies using static analysis.

Bruno C. Teixeira, João Lourenço, Eitan Farchi, Ricardo J. Dias, Diogo Sousa

Proceedings of the 8th Workshop on Parallel and Distributed Systems: Testing, 2010

Open virtualization framework for testing ground systems.

Nuno Duro, Rui Santos, João Lourenço, Hervé Paulino, João Martins

Proceedings of the 8th Workshop on Parallel and Distributed Systems: Testing, 2010

Understanding Transactional Memory (Extended Abstract).

João Lourenço

Proceedings of the Hardware and Software: Verification and Testing, 2010

Special Session on Debugging.

Yoav Hollander, Alan J. Hu, João Lourenço, Ronny Morad

Proceedings of the Hardware and Software: Verification and Testing, 2010

SmART: An Application Reconfiguration Framework.

Hervé Paulino, João André Martins, João Lourenço, Nuno Duro

Proceedings of the Complex Systems Design & Management, 2010

2009

Understanding the behavior of transactional memory applications.

João Lourenço, Ricardo J. Dias, João Luís, Miguel Rebelo, Vasco Pessanha

Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, 2009

Unifying Memory and Database Transactions.

Ricardo J. Dias, João Lourenço

Proceedings of the Euro-Par 2009 Parallel Processing, 2009

2008

Developing libraries using software transactional memory.

Ricardo J. Dias, João Lourenço, Gonçalo Cunha

Comput. Sci. Inf. Syst., 2008

Byzantium: Byzantine-Fault-Tolerant Database Replication Providing Snapshot Isolation.

Nuno M. Preguiça, Rodrigo Rodrigues, Cristóvão Honorato, João Lourenço

Proceedings of the Fourth Workshop on Hot Topics in System Dependability, 2008

Topic 1: Support Tools and Environments.

Marios D. Dikaiakos, Omer F. Rana, Shmuel Ur, João Lourenço

Proceedings of the Euro-Par 2008, 2008

Animated Graphical User Interface Generator Framework for Input-Output Place-Transition Petri Net Models.

João Lourenço, Luís Gomes

Proceedings of the Applications and Theory of Petri Nets, 29th International Conference, 2008

2007

Testing patterns for software transactional memory engines.

João Lourenço, Gonçalo Cunha

Proceedings of the 5th Workshop on Parallel and Distributed Systems: Testing, 2007

2003

Control and Debugging of Distributed Programs Using Fiddle

João Lourenço, José C. Cunha, Vitor Moreira

CoRR, 2003

2001

Supporting On-line Distributed Monitoring and Debugging.

Vítor Duarte, João Lourenço, José C. Cunha

Parallel Distributed Comput. Pract., 2001

Fiddle: A Flexible Distributed Debugging Architecture.

João Lourenço, José C. Cunha

Proceedings of the Computational Science - ICCS 2001, 2001

1999

An experiment in tool integration: The DDBG parallel and distributed debugger.

José C. Cunha, João Lourenço, Tiago R. Antão

J. Syst. Archit., 1999

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

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

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

The PDBG process-level debugger for parallel and distributed programs.

João Lourenço, José C. Cunha

Proceedings of the SIGMETRICS Symposium on Parallel and Distributed Tools, 1998

An integrated course on parallel and distributed processing.

José C. Cunha, João Lourenço

Proceedings of the 29th SIGCSE Technical Symposium on Computer Science Education, 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

Proceedings of the High-Performance Computing and Networking, 1998

A Framework to support Parallel and Distrubuted Debugging.

José C. Cunha, João Lourenço, João Vieira, Bruno Moscão, Daniel Pereira

Proceedings of the High-Performance Computing and Networking, 1998

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 R. Antão

Parallel Comput., 1997

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

Proceedings of the 23rd EUROMICRO Conference '97, 1997

1996

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

Proceedings of the 1st Annual Conference on Integrating Technology into Computer Science Education, 1996