Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarJoão Lourenço
João M. Lourenço
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2019
[j15]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). Formal Methods in System Design 54(3): 279-335 (2019)- [j14]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:
Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods in System Design 55(1): 72 (2019) - [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
- [c45]João M. Lourenço:
Verifying Real-World Software with Contracts for Concurrency. ISoLA (4) 2018: 70-73 - [p2]João M. Lourenço
, Jan Fiedor, Bohuslav Krena, Tomás Vojnar:
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
- [c44]Ricardo J. Dias, Carla Ferreira, Jan Fiedor, João M. Lourenço, Ales Smrcka, Diogo G. Sousa, Tomás Vojnar:
Verifying Concurrent Programs Using Contracts. ICST 2017: 196-206 - [c43]Filipe Cerqueira, João A. Silva, João M. Lourenço, Hervé Paulino:
Towards a persistent publish/subscribe system for networks of mobile devices. MECC@Middleware 2017: 2:1-2:6 - [c42]António Teófilo, Diogo Remédios, João M. Lourenço, Hervé Paulino:
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. Quality and Reliability Eng. Int. 32(7): 2367-2380 (2016) - [j12]Tiago M. Vale, João A. Silva, Ricardo J. Dias, João M. Lourenço:
Pot: Deterministic Transactional Execution. TACO 13(4): 52:1-52:24 (2016) - [c41]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: 2226-2230 - [c40]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: 151-158 - [c39]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 - [c38]Lois Orosa, João Lourenço:
A Hardware Approach to Detect, Expose and Tolerate High Level Data Races. PDP 2016: 159-167 - [c37]João A. Silva, Ricardo Monteiro, Hervé Paulino, João M. Lourenço:
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, João Lourenço:
Special issue on testing, analysis and debugging of concurrent programs. Softw. Test., Verif. Reliab. 25(3): 165-166 (2015) - [c36]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: 1-8 - [c35]Jan Fiedor, Zdenek Letko, João Lourenço, Tomás Vojnar:
Dynamic Validation of Contracts in Concurrent Code. EUROCAST 2015: 555-564 - [c34]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: 11:1-11:10 - [c33]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: 275-276 - [c32]Diogo Remédios, António Teófilo, Hervé Paulino, João Lourenço:
Mobile Device-to-Device Distributed Computing Using Data Sets. MobiQuitous 2015: 297-298 - [c31]Ricardo Monteiro, João A. Silva, João Lourenço, Hervé Paulino:
Decentralized Storage for Networks of Hand-held Devices. MobiQuitous 2015: 299-300 - [c30]João A. Silva, João Lourenço, Hervé Paulino:
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
- [c29]Jan Fiedor, Zdenek Letko, João Lourenço, Tomás Vojnar:
On Monitoring C/C++ Transactional Memory Programs. MEMICS 2014: 73-87 - 2013
- [j10]Ricardo J. Dias, Tiago M. Vale, João Lourenço:
Efficient support for in-place metadata in Java software transactional memory. Concurrency and Computation: Practice and Experience 25(17): 2394-2411 (2013) - [c28]João Soares, João Lourenço, Nuno M. Preguiça:
MacroDB: Scaling Database Engines on Multicores. Euro-Par 2013: 607-619 - [c27]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: 173-180 - [c26]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: 49-60 - [c25]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: 94-105 - [e5]João Lourenço, Eitan Farchi:
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. Computers & Industrial Engineering 62(4): 927-935 (2012) - [j8]Nuno Ricardo Costa, João Lourenço, Zulema Lopes Pereira:
Multiresponse Optimization and Pareto Frontiers. Quality and Reliability Eng. Int. 28(7): 701-712 (2012) - [c24]Ricardo J. Dias, Dino Distefano, João Costa Seco, João Lourenço:
Verification of Snapshot Isolation in Transactional Memory Java Programs. ECOOP 2012: 640-664 - [c23]Ricardo J. Dias, Tiago M. Vale, João Lourenço:
Efficient Support for In-Place Metadata in Transactional Memory. Euro-Par 2012: 589-600 - [c22]Ricardo J. Dias, Vasco Pessanha, João Lourenço:
Precise Detection of Atomicity Violations. Haifa Verification Conference 2012: 8-23 - [c21]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, Onn Shehory:
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, Diogo Sousa, Bruno C. Teixeira, Ricardo J. Dias:
Detecting concurrency anomalies in transactional memory programs. Comput. Sci. Inf. Syst. 8(2): 534-548 (2011) - [c20]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: 26-34 - [c19]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. Industrial Electronics 57(5): 1806-1813 (2010) - [c18]Hervé Paulino, João André Martins, João Lourenço, Nuno Duro:
SmART: An Application Reconfiguration Framework. CSDM 2010: 73-84 - [c17]João Lourenço:
Understanding Transactional Memory (Extended Abstract). Haifa Verification Conference 2010: 1-2 - [c16]Yoav Hollander, Alan J. Hu, João Lourenço, Ronny Morad:
Special Session on Debugging. Haifa Verification Conference 2010: 24-28 - [c15]Bruno C. Teixeira, João Lourenço, Eitan Farchi, Ricardo J. Dias, Diogo Sousa:
Detection of Transactional Memory anomalies using static analysis. PDATAD 2010: 26-36 - [c14]Nuno Duro, Rui Santos, João Lourenço, Hervé Paulino, João Martins:
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
- [c13]Ricardo J. Dias, João Lourenço:
Unifying Memory and Database Transactions. Euro-Par 2009: 349-360 - [c12]João Lourenço, Ricardo J. Dias, João Luís, Miguel Rebelo, Vasco Pessanha:
Understanding the behavior of transactional memory applications. PADTAD 2009 - 2008
- [j5]Ricardo J. Dias, João Lourenço, Gonçalo Cunha:
Developing libraries using software transactional memory. Comput. Sci. Inf. Syst. 5(2): 103-117 (2008) - [c11]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 - [c10]Marios D. Dikaiakos, Omer F. Rana, Shmuel Ur, João Lourenço:
Topic 1: Support Tools and Environments. Euro-Par 2008: 1-2 - [c9]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
- [c8]João Lourenço, Gonçalo Cunha:
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. Scalable Computing: Practice and Experience 4(3) (2001) - [c7]João Lourenço, José C. Cunha:
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. Journal of Systems Architecture 45(11): 897-907 (1999) - [c6]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. Computers and Artificial Intelligence 17(5) (1998) - [c5]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 - [c4]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: 952-954 - [c3]José C. Cunha, João Lourenço:
An integrated course on parallel and distributed processing. SIGCSE 1998: 217-221 - 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 Computing 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, 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: 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).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.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 and opencitations.net 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 Crossref privacy policy and the OpenCitations privacy policy.
Citation data
Add a list of citing articles from 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 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.
Tweets on dblp homepage
Show tweets from 
on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter accout. At the same time, Twitter will persitently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2019-11-29 21:27 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
