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: 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
INDEXED IN: 
Scopus DBLP
Scopus DBLP IN MY: DBLP
DBLP3
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
4
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
Scopus5
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 CrossRef6
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
7
TITLE: Special Track on Multicore Software Engineering, Performance, Applications, and Tools (MUSEPAT)
AUTHORS: Bradbury, JS; Farchi, E; Lourenço, J;
PUBLISHED: 2015, SOURCE: 30th Annual ACM Symposium on Applied Computing, SAC 2015 in Proceedings of the ACM Symposium on Applied Computing, VOLUME: 13-17-April-2015
AUTHORS: Bradbury, JS; Farchi, E; Lourenço, J;
PUBLISHED: 2015, SOURCE: 30th Annual ACM Symposium on Applied Computing, SAC 2015 in Proceedings of the ACM Symposium on Applied Computing, VOLUME: 13-17-April-2015
INDEXED IN: Scopus
Scopus8
TITLE: A multi-agent control architecture for supply chains using a predictive pull-flow perspective
AUTHORS: Nabais, JL; Negenborn, RR; Benitez, RBC; Mendonca, LF ; Lourenco, J; Botto, MA ;
PUBLISHED: 2013, SOURCE: Communications in Computer and Information Science, VOLUME: 365
AUTHORS: Nabais, JL; Negenborn, RR; Benitez, RBC; Mendonca, LF ; Lourenco, J; Botto, MA ;
PUBLISHED: 2013, SOURCE: Communications in Computer and Information Science, VOLUME: 365
