João Manuel dos Santos Lourenço
AuthID: R-000-742
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: 2024, SOURCE: Int. J. Softw. Tools Technol. Transf., VOLUME: 26, ISSUE: 2
AUTHORS: André de Matos Pedro; Tomás Silva; Tiago F Sequeira; João Lourenço; João Costa Seco; Carla Ferreira;
PUBLISHED: 2024, SOURCE: Int. J. Softw. Tools Technol. Transf., VOLUME: 26, ISSUE: 2
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP2
TITLE: FLeeC: a Fast Lock-Free Application Cache
AUTHORS: André J Costa; Nuno M Preguiça ; João M Lourenço;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2406.09428
AUTHORS: André J Costa; Nuno M Preguiça ; João M Lourenço;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2406.09428
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP3
TITLE: Monitoring of Spatio-Temporal Properties with Nonlinear SAT Solvers
AUTHORS: Pedro, Andre de Matos; Silva, Tomas; Sequeira, Tiago; Lourenco, Joao; Seco, Joao Costa; Ferreira, Carla ;
PUBLISHED: 2022, SOURCE: 27th International Conference on Formal Methods in Industrial Critical Systems (FMICS) in FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS (FMICS 2022), VOLUME: 13487
AUTHORS: Pedro, Andre de Matos; Silva, Tomas; Sequeira, Tiago; Lourenco, Joao; Seco, Joao Costa; Ferreira, Carla ;
PUBLISHED: 2022, SOURCE: 27th International Conference on Formal Methods in Industrial Critical Systems (FMICS) in FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS (FMICS 2022), VOLUME: 13487
4
TITLE: Correction to: 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: 55, ISSUE: 1
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: 55, ISSUE: 1
5
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: Proceedings of the 14th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services
AUTHORS: António Teófilo; Diogo Remédios; João M Lourenço; Hervé Paulino;
PUBLISHED: 2017, SOURCE: Proceedings of the 14th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services
6
TITLE: Pot. Deterministic Transactional Execution
AUTHORS: Tiago M Vale; João A Silva; Ricardo J Dias; João M Lourenço;
PUBLISHED: 2016, SOURCE: ACM Transactions on Architecture and Code Optimization, VOLUME: 13, ISSUE: 4
AUTHORS: Tiago M Vale; João A Silva; Ricardo J Dias; João M Lourenço;
PUBLISHED: 2016, SOURCE: ACM Transactions on Architecture and Code Optimization, VOLUME: 13, ISSUE: 4
7
TITLE: Special issue on testing, analysis and debugging of concurrent programs Full Text
AUTHORS: Eitan Farchi; Robert M Hierons; Joao Lourenco;
PUBLISHED: 2015, SOURCE: SOFTWARE TESTING VERIFICATION & RELIABILITY, VOLUME: 25, ISSUE: 3
AUTHORS: Eitan Farchi; Robert M Hierons; Joao Lourenco;
PUBLISHED: 2015, SOURCE: SOFTWARE TESTING VERIFICATION & RELIABILITY, VOLUME: 25, ISSUE: 3
8
TITLE: Framework support for the efficient implementation of multi-version algorithms
AUTHORS: Dias, RJ; Vale, TM; Lourenco, JM;
PUBLISHED: 2015, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8913
AUTHORS: Dias, RJ; Vale, TM; Lourenco, JM;
PUBLISHED: 2015, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8913
INDEXED IN: 
Scopus
Scopus IN MY: 
ORCID
ORCID9
TITLE: On the generation and selection of solutions to multiple response problems
AUTHORS: Costa, NR; Lourenco, J;
PUBLISHED: 2015, SOURCE: International Journal of Industrial and Systems Engineering, VOLUME: 20, ISSUE: 4
AUTHORS: Costa, NR; Lourenco, J;
PUBLISHED: 2015, SOURCE: International Journal of Industrial and Systems Engineering, VOLUME: 20, ISSUE: 4
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef10
TITLE: Framework Support for the Efficient Implementation of Multi-version Algorithms
AUTHORS: Ricardo J Dias; Tiago M Vale; João M Lourenço;
PUBLISHED: 2015, SOURCE: Transactional Memory. Foundations, Algorithms, Tools, and Applications - COST Action Euro-TM IC1001, VOLUME: 8913
AUTHORS: Ricardo J Dias; Tiago M Vale; João M Lourenço;
PUBLISHED: 2015, SOURCE: Transactional Memory. Foundations, Algorithms, Tools, and Applications - COST Action Euro-TM IC1001, VOLUME: 8913
