If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where João Manuel dos Santos Lourenço is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 16 Similar Profiles
Data storage equipment Engineering & Materials Science
Mobile devices Engineering & Materials Science
Concurrency Mathematics
Communication Engineering & Materials Science
Wi-Fi Engineering & Materials Science
Concurrent Mathematics
Smartphones Engineering & Materials Science
Scalability Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output at NOVA 1998 2018

3 Citations (Scopus)

Discovering concurrency errors

Lourenço, J. M., Fiedor, J., Křena, B. & Vojnar, T., 2018, Lectures on Runtime Verification. Bartocci, E. & Falcone, Y. (eds.). Cham: Springer, p. 34-60 27 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10457 LNCS).

Research output: Chapter in Book/Report/Conference proceedingChapter

Concurrency
Concurrent Programming
Concurrent
Atomicity
Quality Assurance
1 Citation (Scopus)
3 Downloads (Pure)

Verifying real-world software with contracts for concurrency

Lourenço, J. M., 1 Jan 2018, Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Proceedings. Margaria, T. & Steffen, B. (eds.). Cham: Springer, p. 70-73 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11247 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
Concurrency
Software
Module
Atomicity
Open Source Software

GOCRGO and GOGO: Two minimal Communication Topologies for WiFi-Direct Multi-group Networking

Teófilo, A., Remédios, D., Lourenço, J. M. & Paulino, H. M. C., Nov 2017, 14th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (Mobiquitous 2017). Association for Computing Machinery, Inc, p. 232-241 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Wi-Fi
Topology
Communication
Mobile devices
Disasters

Sistema Publicador/Subscritor com Persistência de Dados para Redes de Dispositivos Móveis

Cerqueira, F., Silva, J., Lourenço, J. M. & Paulino, H. M. C., Oct 2017, INForum 2017 - Atas do Nono Simpósio de Informática. 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Towards a persistent publish/subscribe system for networks of mobile devices

Cerqueira, F., Lourenço, J. M., Paulino, H. M. C. & Silva, J., 11 Dec 2017, Proceedings of the 2nd Workshop on Middleware for Edge Clouds and Cloudlets, MECC 2017. Association for Computing Machinery, Inc, a2

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
Mobile devices
Drainage
Energy utilization
Internet
Bandwidth