João Manuel dos Santos Lourenço


AuthID: R-000-742

Confirmed Publications: 88



11
TITLE: A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software) PDF
AUTHORS: 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;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1811.06740, ISSUE: 3
INDEXED IN: DBLP arXiv CrossRef: 62
IN MY: ORCID | DBLP
12
TITLE: Discovering Concurrency Errors
AUTHORS: João M Lourenço ; Jan Fiedor; Bohuslav Krena; Tomás Vojnar;
PUBLISHED: 2018, SOURCE: Lectures on Runtime Verification - Introductory and Advanced Topics, VOLUME: 10457
INDEXED IN: Scopus DBLP CrossRef: 8
IN MY: ORCID | DBLP
13
TITLE: Time-Aware Publish/Subscribe for Networks of Mobile Devices PDF
AUTHORS: João A Silva; Hervé Paulino ; João M Lourenço ; João Leitão; Nuno M Preguiça;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1801.00297
INDEXED IN: DBLP arXiv
IN MY: DBLP
14
TITLE: Uma análise comparativa de ferramentas de análise estática para deteção de erros de memória PDF
AUTHORS: Patrícia Monteiro; João Lourenço ; António Ravara;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1807.08015
INDEXED IN: DBLP arXiv
IN MY: DBLP
15
TITLE: Verifying Real-World Software with Contracts for Concurrency
AUTHORS: João M Lourenço ;
PUBLISHED: 2018, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
16
TITLE: GOCRGO and GOGO: Two Minimal Communication Topologies for WiFi-Direct Multi-group Networking
AUTHORS: António Teófilo; Diogo Remédios; João M Lourenço ; Hervé Paulino ;
PUBLISHED: 2017, SOURCE: 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.
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
17
TITLE: Towards a persistent publish/subscribe system for networks of mobile devices
AUTHORS: Filipe Cerqueira; João A Silva; João M Lourenço ; Hervé Paulino ;
PUBLISHED: 2017, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
18
TITLE: Verifying Concurrent Programs Using Contracts
AUTHORS: Ricardo J. Dias; Carla Ferreira; Jan Fiedor; João M. Lourenço ; Ales Smrcka; Diogo G. Sousa; Tomás Vojnar;
PUBLISHED: 2017, SOURCE: 2017 IEEE International Conference on Software Testing, Verification and Validation, ICST 2017, Tokyo, Japan, March 13-17, 2017
INDEXED IN: DBLP
IN MY: ORCID | DBLP
19
TITLE: Verifying Concurrent Programs Using Contracts
AUTHORS: Ricardo J Dias; Carla Ferreira ; Jan Fiedor; Joao M Lourenco ; Ales Smrcka; Diogo G Sousa; Tomas Vojnar;
PUBLISHED: 2017, SOURCE: Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation, ICST 2017
INDEXED IN: Scopus CrossRef: 5
IN MY: ORCID
20
TITLE: A Hardware Approach to Detect, Expose and Tolerate High Level Data Races
AUTHORS: Lois Orosa; Joao Lourenco ;
PUBLISHED: 2016, SOURCE: 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)
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
Page 2 of 9. Total results: 88.

A place for researchers and their institutions

Useful Links

Get Help

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