João Manuel dos Santos Lourenço


AuthID: R-000-742

Publicações Confirmadas: 88



11
TÍTULO: A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software) PDF
AUTORES: 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;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1811.06740, NÚMERO: 3
INDEXADO EM: DBLP arXiv CrossRef: 62
NO MEU: ORCID | DBLP
12
TÍTULO: Discovering Concurrency Errors
AUTORES: João M Lourenço ; Jan Fiedor; Bohuslav Krena; Tomás Vojnar;
PUBLICAÇÃO: 2018, FONTE: Lectures on Runtime Verification - Introductory and Advanced Topics, VOLUME: 10457
INDEXADO EM: Scopus DBLP CrossRef: 8
NO MEU: ORCID | DBLP
13
TÍTULO: Time-Aware Publish/Subscribe for Networks of Mobile Devices PDF
AUTORES: João A Silva; Hervé Paulino ; João M Lourenço ; João Leitão; Nuno M Preguiça ;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1801.00297
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
14
TÍTULO: Uma análise comparativa de ferramentas de análise estática para deteção de erros de memória PDF
AUTORES: Patrícia Monteiro; João Lourenço ; António Ravara;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1807.08015
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
15
TÍTULO: Verifying Real-World Software with Contracts for Concurrency
AUTORES: João M Lourenço ;
PUBLICAÇÃO: 2018, FONTE: 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018 in Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV, VOLUME: 11247
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP
16
TÍTULO: GOCRGO and GOGO: Two Minimal Communication Topologies for WiFi-Direct Multi-group Networking
AUTORES: António Teófilo; Diogo Remédios; João M Lourenço ; Hervé Paulino ;
PUBLICAÇÃO: 2017, FONTE: 14th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, MobiQuitous 2017 in Proceedings of the 14th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, Melbourne, Australia, November 7-10, 2017.
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
17
TÍTULO: Towards a persistent publish/subscribe system for networks of mobile devices
AUTORES: Filipe Cerqueira; João A Silva; João M Lourenço ; Hervé Paulino ;
PUBLICAÇÃO: 2017, FONTE: 2nd Workshop on Middleware for Edge Clouds and Cloudlets, MECC 2017 in Proceedings of the 2nd Workshop on Middleware for Edge Clouds & Cloudlets, MECC@Middleware 2017, Las Vegas, NV, USA, December 11 - 15, 2017
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP
18
TÍTULO: Verifying Concurrent Programs Using Contracts
AUTORES: Ricardo J. Dias; Carla Ferreira; Jan Fiedor; João M. Lourenço ; Ales Smrcka; Diogo G. Sousa; Tomás Vojnar;
PUBLICAÇÃO: 2017, FONTE: 2017 IEEE International Conference on Software Testing, Verification and Validation, ICST 2017, Tokyo, Japan, March 13-17, 2017
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
19
TÍTULO: Verifying Concurrent Programs Using Contracts
AUTORES: Ricardo J Dias; Carla Ferreira ; Jan Fiedor; Joao M Lourenco ; Ales Smrcka; Diogo G Sousa; Tomas Vojnar;
PUBLICAÇÃO: 2017, FONTE: Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation, ICST 2017
INDEXADO EM: Scopus CrossRef: 5
NO MEU: ORCID
20
TÍTULO: A Hardware Approach to Detect, Expose and Tolerate High Level Data Races
AUTORES: Lois Orosa; Joao Lourenco ;
PUBLICAÇÃO: 2016, FONTE: 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP) in 2016 24TH EUROMICRO INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED, AND NETWORK-BASED PROCESSING (PDP)
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
Página 2 de 9. Total de resultados: 88.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service