João Manuel dos Santos Lourenço


AuthID: R-000-742

Confirmed Publications: 88



1
TITLE: Monitoring of Spatio-Temporal Properties with Nonlinear SAT Solvers
AUTHORS: André de Matos Pedro; Tomás Silva; Tiago F Sequeira; João Lourenço ; João Costa Seco; Carla Ferreira;
PUBLISHED: 2022, SOURCE: Formal Methods for Industrial Critical Systems - 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings, VOLUME: 13487
INDEXED IN: DBLP
IN MY: ORCID | DBLP
2
TITLE: Tethered UAV with Combined Multi-rotor and Water Jet Propulsion for Forest Fire Fighting  Full Text
AUTHORS: Viegas, C; Chehreh, B; Andrade, J; Lourenco, J ;
PUBLISHED: 2022, SOURCE: JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS, VOLUME: 104, ISSUE: 2
INDEXED IN: Scopus WOS DBLP
IN MY: DBLP
3
TITLE: It's about Thyme: On the design and implementation of a time-aware reactive storage system for pervasive edge computing environments  Full Text
AUTHORS: Silva, JA; Cerqueira, F; Paulino, H ; Lourenco, JM ; Leitao, J; Preguica, N ;
PUBLISHED: 2021, SOURCE: FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, VOLUME: 118
INDEXED IN: Scopus WOS DBLP CrossRef: 6
IN MY: ORCID | DBLP
4
TITLE: RedMesh: A WiFi-Direct Network Formation Algorithm for Large-Scale Scenarios
AUTHORS: Teofilo, A; Lourenco, JM ; Paulino, H ;
PUBLISHED: 2021, SOURCE: 17th EAI International Conference on Mobile and Ubiquitous Systems - Computing, Networking and Services (MobiQuitous) in PROCEEDINGS OF THE 17TH EAI INTERNATIONAL CONFERENCE ON MOBILE AND UBIQUITOUS SYSTEMS: COMPUTING, NETWORKING AND SERVICES (MOBIQUITOUS 2020)
INDEXED IN: WOS
5
TITLE: Lazy State Determination: More concurrency for contending linearizable transactions
AUTHORS: Tiago M Vale; João Leitão; Nuno M Preguiça ; Rodrigo Rodrigues ; Ricardo J Dias; João M Lourenço ;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2007.09733
INDEXED IN: DBLP
IN MY: DBLP
6
TITLE: RedMesh: A WiFi-Direct Network Formation Algorithm for Large-Scale Scenarios
AUTHORS: António Teófilo; João M Lourenço ; Hervé Paulino ;
PUBLISHED: 2020, SOURCE: MobiQuitous '20: Computing, Networking and Services, Virtual Event / Darmstadt, Germany, December 7-9, 2020
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
7
TITLE: A survey of challenges for runtime verification from advanced application domains (beyond software)
AUTHORS: Sanchez, C; Schneider, G; Ahrendt, W; Bartocci, E; Bianculli, D; Colombo, C; Falcone, Y; Francalanza, A; Krstic, S; Lourenco, JM ; Nickovic, D; Pace, GJ; Rufino, J; Signoles, J; Traytel, D; Weiss, A;
PUBLISHED: 2019, SOURCE: FORMAL METHODS IN SYSTEM DESIGN, VOLUME: 54, ISSUE: 3
INDEXED IN: Scopus WOS
IN MY: ORCID
8
TITLE: A survey of challenges for runtime verification from advanced application domains (beyond software)
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: 2019, SOURCE: Formal Methods Syst. Des., VOLUME: 54, ISSUE: 3
INDEXED IN: DBLP
IN MY: DBLP
9
TITLE: COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1 PDF
AUTHORS: 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;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1902.03776
INDEXED IN: DBLP arXiv
IN MY: DBLP
10
TITLE: Time-aware reactive storage in wireless edge environments
AUTHORS: João A Silva; Hervé Paulino ; João M Lourenço ; João Leitão; Nuno M Preguiça ;
PUBLISHED: 2019, SOURCE: 16th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, MobiQuitous 2019 in MobiQuitous 2019, Proceedings of the 16th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, Houston, Texas, USA, November 12-14, 2019
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | DBLP
Page 1 of 9. Total results: 88.

footer slogan

Useful Links

Get Help

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