default search action
João Lourenço
João M. Lourenço
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j19]André de Matos Pedro
, Tomás Silva, Tiago F. Sequeira, João Lourenço
Monitoring of spatio-temporal properties with nonlinear SAT solvers. Int. J. Softw. Tools Technol. Transf. 26(2): 169-188 (2024) - [i12]André J. Costa, Nuno M. Preguiça, João M. Lourenço:
FLeeC: a Fast Lock-Free Application Cache. CoRR abs/2406.09428 (2024) - 2023
- [j18]Bruno Romeira
Brain-inspired nanophotonic spike computing: challenges and prospects. Neuromorph. Comput. Eng. 3(3): 33001 (2023) - [c54]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: 85-97 - [c53]João Lourenço, António Rito Silva
Monolith Development History for Microservices Identification: a Comparative Analysis. ICWS 2023: 50-56 - [c52]Teresa Chambel
Happy or Sad, Smiling or Drawing with Multimodal Search and Visualisation of Movies Based on Emotions Along Time. IMX Workshops 2023: 109 - [i11]Mahmoud Tavakoli, Andriy Sayuk, João Lourenço, Pedro Neto:
Anthropomorphic finger for grasping applications: 3D printed endoskeleton in a soft skin. CoRR abs/2304.06517 (2023) - 2022
- [j17]Carlos Viegas
Tethered UAV with Combined Multi-rotor and Water Jet Propulsion for Forest Fire Fighting. J. Intell. Robotic Syst. 104(2): 21 (2022) - [c51]André de Matos Pedro
Monitoring of Spatio-Temporal Properties with Nonlinear SAT Solvers. FMICS 2022: 155-171 - [c50]Francisco Caldeira, João Lourenço, Nuno Tavares Silva, Teresa Chambel
Towards Multimodal Search and Visualization of Movies Based on Emotions. IMX 2022: 349-356 - [i10]João Lourenço, António Rito Silva:
Monolith Development History for Microservices Identification: a Comparative Analysis. CoRR abs/2212.11656 (2022) - 2021
- [j16]João A. Silva
It's about Thyme: On the design and implementation of a time-aware reactive storage system for pervasive edge computing environments. Future Gener. Comput. Syst. 118: 14-36 (2021) - [c49]João Lourenço, João Teixeira, Paulo Carvalho, Luís Pádua
Virtual Environments & Precision Viticulture: A Case Study. IGARSS 2021: 7035-7038 - [i9]Matej Hejda, Juan Arturo Alanis, Ignacio Ortega-Piwonka, João Lourenço, José M. L. Figueiredo, Julien Javaloyes, Bruno Romeira, Antonio Hurtado:
Resonant tunnelling diode nano-optoelectronic spiking nodes for neuromorphic information processing. CoRR abs/2107.06721 (2021) - 2020
- [c48]António Teófilo, João M. Lourenço
RedMesh: A WiFi-Direct Network Formation Algorithm for Large-Scale Scenarios. MobiQuitous 2020: 147-157 - [i8]Tiago M. Vale, João Leitão, Nuno M. Preguiça, Rodrigo Rodrigues, Ricardo J. Dias, João M. Lourenço:
Lazy State Determination: More concurrency for contending linearizable transactions. CoRR abs/2007.09733 (2020)
2010 – 2019
- 2019
- [j15]César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci
A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods Syst. Des. 54(3): 279-335 (2019) - [j14]César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci
Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods Syst. Des. 55(1): 72 (2019) - [c47]João A. Silva, Hervé Paulino
Time-aware reactive storage in wireless edge environments. MobiQuitous 2019: 238-247 - [i7]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:
COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1. CoRR abs/1902.03776 (2019) - 2018
- [c46]João M. Lourenço
Verifying Real-World Software with Contracts for Concurrency. ISoLA (4) 2018: 70-73 - [p2]João M. Lourenço
Discovering Concurrency Errors. Lectures on Runtime Verification 2018: 34-60 - [i6]João A. Silva, Hervé Paulino, João M. Lourenço, João Leitão, Nuno M. Preguiça:
Time-Aware Publish/Subscribe for Networks of Mobile Devices. CoRR abs/1801.00297 (2018) - [i5]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 abs/1807.08015 (2018) - [i4]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:
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software). CoRR abs/1811.06740 (2018) - 2017
- [c45]Ricardo J. Dias
Verifying Concurrent Programs Using Contracts. ICST 2017: 196-206 - [c44]Filipe Cerqueira, João A. Silva
Towards a persistent publish/subscribe system for networks of mobile devices. MECC@Middleware 2017: 2:1-2:6 - [c43]António Teófilo, Diogo Remédios, João M. Lourenço
GOCRGO and GOGO: Two Minimal Communication Topologies for WiFi-Direct Multi-group Networking. MobiQuitous 2017: 232-241 - 2016
- [j13]Nuno Ricardo Costa, João Lourenço:
Gaussian Process Model - An Exploratory Study in the Response Surface Methodology. Qual. Reliab. Eng. Int. 32(7): 2367-2380 (2016) - [j12]Tiago M. Vale
Pot: Deterministic Transactional Execution. ACM Trans. Archit. Code Optim. 13(4): 52:1-52:24 (2016) - [c42]George Gabriel Mendes Dourado, Paulo Sergio Lopes de Souza
A Suite of Java Message-Passing Benchmarks to Support the Validation of Testing Models, Criteria and Tools. ICCS 2016: 2226-2230 - [c41]João Lourenço, Leonardo Martins
Low Cost Inertial Measurement Unit for Motion Capture in Biomedical Applications. DoCEIS 2016: 151-158 - [c40]João A. Silva, João Leitão, Nuno M. Preguiça, João M. Lourenço, Hervé Paulino:
Towards the Opportunistic Combination of Mobile Ad-hoc Networks with Infrastructure Access. MECC@Middleware 2016: 3 - [c39]Lois Orosa
A Hardware Approach to Detect, Expose and Tolerate High Level Data Races. PDP 2016: 159-167 - [c38]João A. Silva
Ephemeral Data Storage for Networks of Hand-Held Devices. Trustcom/BigDataSE/ISPA 2016: 1106-1113 - [i3]Tiago M. Vale, João A. Silva, Ricardo J. Dias, João M. Lourenço:
Pot: Deterministic transactional execution. CoRR abs/1612.07702 (2016) - 2015
- [j11]Eitan Farchi, Robert M. Hierons
Special issue on testing, analysis and debugging of concurrent programs. Softw. Test. Verification Reliab. 25(3): 165-166 (2015) - [c37]Rafael R. Prado, Paulo S. L. Souza
Extracting static and dynamic structural information from java concurrent programs for coverage testing. CLEI 2015: 1-8 - [c36]Jan Fiedor, Zdenek Letko, João Lourenço
Dynamic Validation of Contracts in Concurrent Code. EUROCAST 2015: 555-564 - [c35]João A. Silva
Supporting Multiple Data Replication Models in Distributed Transactional Memory. ICDCN 2015: 11:1-11:10 - [c34]António Teófilo, Diogo Remédios, Hervé Paulino
Group-to-Group Bidirectional Wi-Fi Direct Communication with Two Relay Nodes. MobiQuitous 2015: 275-276 - [c33]Diogo Remédios, António Teófilo, Hervé Paulino
Mobile Device-to-Device Distributed Computing Using Data Sets. MobiQuitous 2015: 297-298 - [c32]Ricardo Monteiro, João A. Silva
Decentralized Storage for Networks of Hand-held Devices. MobiQuitous 2015: 299-300 - [c31]João A. Silva
Boosting locality in multi-version partial data replication. SAC 2015: 1309-1314 - [p1]Ricardo J. Dias, Tiago M. Vale, João M. Lourenço
Framework Support for the Efficient Implementation of Multi-version Algorithms. Transactional Memory 2015: 166-191 - [i2]Diogo G. Sousa, Ricardo J. Dias, Carla Ferreira, João Lourenço:
Preventing Atomicity Violations with Contracts. CoRR abs/1505.02951 (2015) - 2014
- [c30]Jan Fiedor, Zdenek Letko, João Lourenço
On Monitoring C/C++ Transactional Memory Programs. MEMICS 2014: 73-87 - 2013
- [j10]Ricardo J. Dias
Efficient support for in-place metadata in Java software transactional memory. Concurr. Comput. Pract. Exp. 25(17): 2394-2411 (2013) - [c29]João Soares
MacroDB: Scaling Database Engines on Multicores. Euro-Par 2013: 607-619 - [c28]João Soares
Software Component Replication for Improved Fault-Tolerance: Can Multicore Processors Make It Work? EWDC 2013: 173-180 - [c27]Tiago M. Vale
On the Relevance of Total-Order Broadcast Implementations in Replicated Software Transactional Memories. MUSEPAT 2013: 49-60 - [c26]João Miguel Lemos Chasqueira Nabais, Rudy R. Negenborn, Rafael Bernardo Carmona Benítez, Luís F. Mendonça
A Multi-agent Control Architecture for Supply Chains Using a Predictive Pull-Flow Perspective. PAAMS (Workshops) 2013: 94-105 - [e5]João Lourenço
Multicore Software Engineering, Performance, and Tools - International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings. Lecture Notes in Computer Science 8063, Springer 2013, ISBN 978-3-642-39954-1 [contents] - 2012
- [j9]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): 927-935 (2012) - [j8]Nuno Ricardo Costa, João Lourenço, Zulema Lopes Pereira:
Multiresponse Optimization and Pareto Frontiers. Qual. Reliab. Eng. Int. 28(7): 701-712 (2012) - [c25]Ricardo J. Dias, Dino Distefano, João Costa Seco
Verification of Snapshot Isolation in Transactional Memory Java Programs. ECOOP 2012: 640-664 - [c24]Ricardo J. Dias
Efficient Support for In-Place Metadata in Transactional Memory. Euro-Par 2012: 589-600 - [c23]Ricardo J. Dias, Vasco Pessanha, João Lourenço
Precise Detection of Atomicity Violations. Haifa Verification Conference 2012: 8-23 - [c22]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: 18-24 - [e4]Kerstin Eder, João Lourenço
Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7261, Springer 2012, ISBN 978-3-642-34187-8 [contents] - 2011
- [j7]João Lourenço
Detecting concurrency anomalies in transactional memory programs. Comput. Sci. Inf. Syst. 8(2): 534-548 (2011) - [c21]Vasco Pessanha, Ricardo J. Dias
Practical verification of high-level dataraces in transactional memory programs. PADTAD 2011: 26-34 - [c20]João Lourenço, Hannah Thinyane
An evaluation of a low-cost 3-dimensional gestural interface: Wii3D. SAICSIT 2011: 298-301 - [e3]João Lourenço, Eitan Farchi:
Proceedings of the 9th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2011, Toronto, ON, Canada, July 17-21, 2011. ACM 2011, ISBN 978-1-4503-0809-0 [contents] - 2010
- [j6]Luís Gomes, João Lourenço:
Rapid Prototyping of Graphical User Interfaces for Petri-Net-Based Controllers. IEEE Trans. Ind. Electron. 57(5): 1806-1813 (2010) - [c19]Hervé Paulino
SmART: An Application Reconfiguration Framework. CSDM 2010: 73-84 - [c18]João Lourenço
Understanding Transactional Memory (Extended Abstract). Haifa Verification Conference 2010: 1-2 - [c17]Yoav Hollander, Alan J. Hu, João Lourenço
Special Session on Debugging. Haifa Verification Conference 2010: 24-28 - [c16]Bruno C. Teixeira, João Lourenço
Detection of Transactional Memory anomalies using static analysis. PDATAD 2010: 26-36 - [c15]Nuno Duro, Rui Santos, João Lourenço
Open virtualization framework for testing ground systems. PDATAD 2010: 67-73 - [e2]João Lourenço:
Proceedings of the 8th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2010, Trento, Italy, July 12-16, 2010. ACM 2010, ISBN 978-1-4503-0136-7 [contents]
2000 – 2009
- 2009
- [c14]Ricardo J. Dias
Unifying Memory and Database Transactions. Euro-Par 2009: 349-360 - [c13]João Lourenço
Understanding the behavior of transactional memory applications. PADTAD 2009 - 2008
- [j5]Ricardo J. Dias
Developing libraries using software transactional memory. Comput. Sci. Inf. Syst. 5(2): 103-117 (2008) - [c12]João Lourenço, Luís Gomes:
Animated Graphical User Interface Generator Framework for Input-Output Place-Transition Petri Net Models. Petri Nets 2008: 409-418 - [c11]Marios D. Dikaiakos, Omer F. Rana
Topic 1: Support Tools and Environments. Euro-Par 2008: 1-2 - [c10]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 - 2007
- [c9]João Lourenço
Testing patterns for software transactional memory engines. PADTAD 2007: 36-42 - 2005
- [e1]José C. Cunha, William M. Fleischman, Viera K. Proulx, João Lourenço:
Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2005, Caparica, Portugal, June 27-29, 2005. ACM 2005, ISBN 1-59593-024-8 [contents] - 2003
- [i1]João Lourenço, José C. Cunha, Vitor Moreira:
Control and Debugging of Distributed Programs Using Fiddle. CoRR cs.DC/0309049 (2003) - 2001
- [j4]Vítor Duarte, João Lourenço, José C. Cunha:
Supporting On-line Distributed Monitoring and Debugging. Parallel Distributed Comput. Pract. 4(3) (2001) - [c8]João Lourenço
Fiddle: A Flexible Distributed Debugging Architecture. International Conference on Computational Science (2) 2001: 821-830
1990 – 1999
- 1999
- [j3]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): 897-907 (1999) - [c7]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: 1804-1809 - 1998
- [j2]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): 429-439 (1998) - [c6]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: 708-717 - [c5]José C. Cunha, Pedro D. Medeiros
The DOTPAR Project: Towards a Framework Supporting Domain Oriented Tools for Parallel and Distributed Processing. HPCN Europe 1998: 952-954 - [c4]José C. Cunha, João Lourenço:
An integrated course on parallel and distributed processing. SIGCSE 1998: 217-221 - [c3]João Lourenço, José C. Cunha:
The PDBG process-level debugger for parallel and distributed programs. SPDT 1998: 154 - 1997
- [j1]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): 1747-1770 (1997) - [c2]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: 291- - 1996
- [c1]Jan Kwiatkowski, Marek Andruszkiewicz, Emilio Luque
Teaching parallel processing: development of curriculum and software tools. ITiCSE 1996: 159-161
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: