João Lourenço

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 17

Top Topics

Temporal Properties

Concurrent Programs

Data Replication

Top Venues

Softw. Test. Verification Reliab.

Publications

André de Matos Pedro, Tomás Silva, Tiago F. Sequeira, João Lourenço, João Costa Seco, Carla Ferreira
Monitoring of spatio-temporal properties with nonlinear SAT solvers. Int. J. Softw. Tools Technol. Transf. 26 (2) (2024)
Teresa Chambel, Francisco Caldeira, João Lourenço
Happy or Sad, Smiling or Drawing with Multimodal Search and Visualisation of Movies Based on Emotions Along Time. IMX Workshops (2023)
João Lourenço, António Rito Silva
Monolith Development History for Microservices Identification: a Comparative Analysis. ICWS (2023)
Mahmoud Tavakoli, Andriy Sayuk, João Lourenço, Pedro Neto
Anthropomorphic finger for grasping applications: 3D printed endoskeleton in a soft skin. CoRR (2023)
Francisco Caldeira, João Lourenço, Teresa Chambel
Happy or Sad, Smiling or Drawing: Multimodal Search and Visualisation of Movies Based on Emotions Along Time. VISIGRAPP (2: HUCAPP) (2023)
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
Brain-inspired nanophotonic spike computing: challenges and prospects. Neuromorph. Comput. Eng. 3 (3) (2023)
André de Matos Pedro, Tomás Silva, Tiago F. Sequeira, João Lourenço, João Costa Seco, Carla Ferreira
Monitoring of Spatio-Temporal Properties with Nonlinear SAT Solvers. FMICS (2022)
João Lourenço, António Rito Silva
Monolith Development History for Microservices Identification: a Comparative Analysis. CoRR (2022)
Carlos Viegas, Babak Chehreh, José Andrade, João Lourenço
Tethered UAV with Combined Multi-rotor and Water Jet Propulsion for Forest Fire Fighting. J. Intell. Robotic Syst. 104 (2) (2022)
Francisco Caldeira, João Lourenço, Nuno Tavares Silva, Teresa Chambel
Towards Multimodal Search and Visualization of Movies Based on Emotions. IMX (2022)
Matej Hejda, Juan Arturo Alanis, Ignacio Ortega-Piwonka, João Lourenço, José Figueiredo, Julien Javaloyes, Bruno Romeira, Antonio Hurtado
Resonant tunnelling diode nano-optoelectronic spiking nodes for neuromorphic information processing. CoRR (2021)
João Lourenço, João Teixeira, Paulo Carvalho, Luís Pádua, Telmo Adão, Emanuel Peres, Joaquim João Sousa
Virtual Environments & Precision Viticulture: A Case Study. IGARSS (2021)
Patrícia Monteiro, João Lourenço, António Ravara
Uma análise comparativa de ferramentas de análise estática para deteção de erros de memória. CoRR (2018)
João Lourenço, Leonardo Martins, Rui Almeida, Cláudia Quaresma, Pedro Vieira
Low Cost Inertial Measurement Unit for Motion Capture in Biomedical Applications. DoCEIS (2016)
Lois Orosa, João Lourenço
A Hardware Approach to Detect, Expose and Tolerate High Level Data Races. PDP (2016)
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
A Suite of Java Message-Passing Benchmarks to Support the Validation of Testing Models, Criteria and Tools. ICCS (2016)
Nuno Ricardo Costa, João Lourenço
Gaussian Process Model - An Exploratory Study in the Response Surface Methodology. Qual. Reliab. Eng. Int. 32 (7) (2016)
Ricardo Monteiro, João A. Silva, João Lourenço, Hervé Paulino
Decentralized Storage for Networks of Hand-held Devices. MobiQuitous (2015)
Diogo Remédios, António Teófilo, Hervé Paulino, João Lourenço
Mobile Device-to-Device Distributed Computing Using Data Sets. MobiQuitous (2015)
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
Extracting static and dynamic structural information from java concurrent programs for coverage testing. CLEI (2015)
António Teófilo, Diogo Remédios, Hervé Paulino, João Lourenço
Group-to-Group Bidirectional Wi-Fi Direct Communication with Two Relay Nodes. MobiQuitous (2015)
João A. Silva, Tiago M. Vale, Ricardo J. Dias, Hervé Paulino, João Lourenço
Supporting Multiple Data Replication Models in Distributed Transactional Memory. ICDCN (2015)
João A. Silva, João Lourenço, Hervé Paulino
Boosting locality in multi-version partial data replication. SAC (2015)
Jan Fiedor, Zdenek Letko, João Lourenço, Tomás Vojnar
Dynamic Validation of Contracts in Concurrent Code. EUROCAST (2015)
Diogo G. Sousa, Ricardo J. Dias, Carla Ferreira, João Lourenço
Preventing Atomicity Violations with Contracts. CoRR (2015)
Eitan Farchi, Robert M. Hierons, João Lourenço
Special issue on testing, analysis and debugging of concurrent programs. Softw. Test. Verification Reliab. 25 (3) (2015)
Jan Fiedor, Zdenek Letko, João Lourenço, Tomás Vojnar
On Monitoring C/C++ Transactional Memory Programs. MEMICS (2014)
Ricardo J. Dias, Tiago M. Vale, João Lourenço
Efficient support for in-place metadata in Java software transactional memory. Concurr. Comput. Pract. Exp. 25 (17) (2013)
João Soares, João Lourenço, Nuno M. Preguiça
Software Component Replication for Improved Fault-Tolerance: Can Multicore Processors Make It Work? EWDC (2013)
João Soares, João Lourenço, Nuno M. Preguiça
MacroDB: Scaling Database Engines on Multicores. Euro-Par (2013)
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
A Multi-agent Control Architecture for Supply Chains Using a Predictive Pull-Flow Perspective. PAAMS (Workshops) (2013)
Tiago M. Vale, Ricardo J. Dias, João Lourenço
On the Relevance of Total-Order Broadcast Implementations in Replicated Software Transactional Memories. MUSEPAT (2013)
Eitan Farchi, Itai Segall, João Lourenço, Diogo Sousa
Using program closures to make an application programming interface (API) implementation thread safe. PADTAD (2012)
Ricardo J. Dias, Tiago M. Vale, João Lourenço
Efficient Support for In-Place Metadata in Transactional Memory. Euro-Par (2012)
Nuno Ricardo Costa, João Lourenço, Zulema Lopes Pereira
Responses modeling and optimization criteria impact on the optimization of multiple quality characteristics. Comput. Ind. Eng. 62 (4) (2012)
Ricardo J. Dias, Vasco Pessanha, João Lourenço
Precise Detection of Atomicity Violations. Haifa Verification Conference (2012)
Ricardo J. Dias, Dino Distefano, João Costa Seco, João Lourenço
Verification of Snapshot Isolation in Transactional Memory Java Programs. ECOOP (2012)
Nuno Ricardo Costa, João Lourenço, Zulema Lopes Pereira
Multiresponse Optimization and Pareto Frontiers. Qual. Reliab. Eng. Int. 28 (7) (2012)
Vasco Pessanha, Ricardo J. Dias, João Lourenço, Eitan Farchi, Diogo Sousa
Practical verification of high-level dataraces in transactional memory programs. PADTAD (2011)
João Lourenço, Diogo Sousa, Bruno C. Teixeira, Ricardo J. Dias
Detecting concurrency anomalies in transactional memory programs. Comput. Sci. Inf. Syst. 8 (2) (2011)
João Lourenço, Hannah Thinyane
An evaluation of a low-cost 3-dimensional gestural interface: Wii3D. SAICSIT (2011)
Yoav Hollander, Alan J. Hu, João Lourenço, Ronny Morad
Special Session on Debugging. Haifa Verification Conference (2010)
João Lourenço
Understanding Transactional Memory (Extended Abstract). Haifa Verification Conference (2010)
Hervé Paulino, João André Martins, João Lourenço, Nuno Duro
SmART: An Application Reconfiguration Framework. CSDM (2010)
Bruno C. Teixeira, João Lourenço, Eitan Farchi, Ricardo J. Dias, Diogo Sousa
Detection of Transactional Memory anomalies using static analysis. PDATAD (2010)
Luís Gomes, João Lourenço
Rapid Prototyping of Graphical User Interfaces for Petri-Net-Based Controllers. IEEE Trans. Ind. Electron. 57 (5) (2010)
Nuno Duro, Rui Santos, João Lourenço, Hervé Paulino, João Martins
Open virtualization framework for testing ground systems. PDATAD (2010)
Ricardo J. Dias, João Lourenço
Unifying Memory and Database Transactions. Euro-Par (2009)
João Lourenço, Ricardo J. Dias, João Luís, Miguel Rebelo, Vasco Pessanha
Understanding the behavior of transactional memory applications. PADTAD (2009)
João Lourenço, Luís Gomes
Animated Graphical User Interface Generator Framework for Input-Output Place-Transition Petri Net Models. Petri Nets (2008)
Ricardo J. Dias, João Lourenço, Gonçalo Cunha
Developing libraries using software transactional memory. Comput. Sci. Inf. Syst. 5 (2) (2008)
Nuno M. Preguiça, Rodrigo Rodrigues, Cristóvão Honorato, João Lourenço
Byzantium: Byzantine-Fault-Tolerant Database Replication Providing Snapshot Isolation. HotDep (2008)
Marios D. Dikaiakos, Omer F. Rana, Shmuel Ur, João Lourenço
Topic 1: Support Tools and Environments. Euro-Par (2008)
João Lourenço, Gonçalo Cunha
Testing patterns for software transactional memory engines. PADTAD (2007)
João Lourenço, José C. Cunha, Vitor Moreira
Control and Debugging of Distributed Programs Using Fiddle CoRR (2003)
João Lourenço, José C. Cunha
Fiddle: A Flexible Distributed Debugging Architecture. International Conference on Computational Science (2) (2001)
Vítor Duarte, João Lourenço, José C. Cunha
Supporting On-line Distributed Monitoring and Debugging. Scalable Comput. Pract. Exp. 4 (3) (2001)
José C. Cunha, João Lourenço, Tiago R. Antão
An experiment in tool integration: The DDBG parallel and distributed debugger. J. Syst. Archit. 45 (11) (1999)
José C. Cunha, Pedro D. Medeiros, Vítor Duarte, João Lourenço, Maria Cecilia Gomes
An Experience in Building a Parallel and Distributed Problem-Solving Environment. PDPTA (1999)
João Lourenço, José C. Cunha
The PDBG process-level debugger for parallel and distributed programs. SPDT (1998)
José C. Cunha, João Lourenço
An integrated course on parallel and distributed processing. SIGCSE (1998)
José C. Cunha, Pedro D. Medeiros, João Lourenço, Vítor Duarte, João Vieira, Bruno Moscão, Daniel Pereira, Rui Vaz
The DOTPAR Project: Towards a Framework Supporting Domain Oriented Tools for Parallel and Distributed Processing. HPCN Europe (1998)
José C. Cunha, João Lourenço, João Vieira, Bruno Moscão, Daniel Pereira
A Framework to support Parallel and Distrubuted Debugging. HPCN Europe (1998)
José C. Cunha, João Lourenço, Vítor Duarte
Using DDBG to Support Testing and High-level Debugging Interfaces. Comput. Artif. Intell. 17 (5) (1998)
João Lourenço, José C. Cunha, Henryk Krawczyk, Piotr Kuzora, Marcin Neyman, Bogdan Wiszniewski
An integrated testing and debugging environment for parallel and distributed programs. EUROMICRO (1997)
Péter Kacsuk, José C. Cunha, Gábor Dózsa, João Lourenço, Tibor Fadgyas, Tiago R. Antão
A Graphical Development and Debugging Environment for Parallel Programs. Parallel Comput. 22 (13) (1997)
Jan Kwiatkowski, Marek Andruszkiewicz, Emilio Luque, Tomàs Margalef, José C. Cunha, João Lourenço, Henryk Krawczyk, Stanislaw Szejko
Teaching parallel processing: development of curriculum and software tools. ITiCSE (1996)