João Lourenço

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