João Manuel dos Santos Lourenço


AuthID: R-000-742

Confirmed Publications: 88



21
TITLE: A Suite of Java Message-Passing Benchmarks to Support the Validation of Testing Models, Criteria and Tools
AUTHORS: 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 ;
PUBLISHED: 2016, SOURCE: International Conference on Computational Science, ICCS 2016 in International Conference on Computational Science 2016, ICCS 2016, 6-8 June 2016, San Diego, California, USA, VOLUME: 80
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
22
TITLE: Ephemeral Data Storage for Networks of Hand-held Devices
AUTHORS: Silva, JA; Monteiro, R; Paulino, H ; Lourenco, JM ;
PUBLISHED: 2016, SOURCE: 15th IEEE Int Conf on Trust, Security and Privacy in Comp and Commun / 10th IEEE Int Conf on Big Data Science and Engineering / 14th IEEE Int Symposium on Parallel and Distributed Proc with Applicat (IEEE Trustcom/BigDataSE/ISPA) in 2016 IEEE TRUSTCOM/BIGDATASE/ISPA
INDEXED IN: Scopus WOS DBLP CrossRef: 5
IN MY: ORCID | DBLP
23
TITLE: Pot: Deterministic Transactional Execution
AUTHORS: Vale, TM; Silva, JA; Dias, RJ; Lourenco, JM ;
PUBLISHED: 2016, SOURCE: ACM TRANSACTIONS ON ARCHITECTURE AND CODE OPTIMIZATION, VOLUME: 13, ISSUE: 4
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | DBLP
24
TITLE: Pot: Deterministic transactional execution PDF
AUTHORS: Tiago M Vale; João A Silva; Ricardo J Dias; João M Lourenço ;
PUBLISHED: 2016, SOURCE: CoRR, VOLUME: abs/1612.07702
INDEXED IN: DBLP arXiv
IN MY: DBLP
25
TITLE: Towards the Opportunistic Combination of Mobile Ad-hoc Networks with Infrastructure Access
AUTHORS: João A Silva; Joño Leitño; Nuno M Preguiça ; Joño M Lourenço ; Hervé Paulino ;
PUBLISHED: 2016, SOURCE: 1st Workshop on Middleware for Edge Clouds and Cloudlets, MECC 2016 in Proceedings of the 1st Workshop on Middleware for Edge Clouds & Cloudlets, Trento, Italy, December 12-16, 2016
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: ORCID | DBLP
26
TITLE: Boosting Locality in Multi-version Partial Data Replication
AUTHORS: Joao A Silva; Joao M Lourenco ; Herve Paulino ;
PUBLISHED: 2015, SOURCE: 30th ACM Symposium on Applied Computing (SAC) in 30TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, VOLS I AND II, VOLUME: 13-17-April-2015
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
27
TITLE: Decentralized Storage for Networks of Hand-held Devices
AUTHORS: Ricardo Monteiro; João A Silva; João Lourenço ; Hervé Paulino ;
PUBLISHED: 2015, SOURCE: Proceedings of the 12th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, MobiQuitous 2015, Coimbra, Portugal, July 22-24, 2015
INDEXED IN: DBLP CrossRef
IN MY: ORCID | DBLP
28
TITLE: Dynamic Validation of Contracts in Concurrent Code
AUTHORS: Jan Fiedor; Zdenek Letko; Joao Lourenco ; Tomas Vojnar;
PUBLISHED: 2015, SOURCE: 15th International Conference on Computer Aided Systems Theory in COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2015, VOLUME: 9520
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
29
TITLE: Extracting Static and Dynamic Structural Information from Java Concurrent Programs for Coverage Testing
AUTHORS: Rafael R Prado; Paulo S L Souza; George G M Dourado; Simone R S Souza; Julio C Estrella; Sarita M Bruschi; Joao Lourenco ;
PUBLISHED: 2015, SOURCE: Latin American Computing Conference (CLEI) in 2015 XLI LATIN AMERICAN COMPUTING CONFERENCE (CLEI)
INDEXED IN: WOS CrossRef
IN MY: ORCID
30
TITLE: Extracting static and dynamic structural information from Java concurrent programs for coverage testing
AUTHORS: Prado, RR; Souza, PSL; Dourado, GGM; Souza, SRS; Estrella, JC; Bruschi, SM; Lourenco, J ;
PUBLISHED: 2015, SOURCE: 41st Latin American Computing Conference, CLEI 2015 in Proceedings - 2015 41st Latin American Computing Conference, CLEI 2015
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
Page 3 of 9. Total results: 88.

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service