André Matos Pedro
AuthID: R-004-VKA
1
TÃTULO: Robust Spatio-Temporal Logic Semantics for Autonomous Driving Systems Falsification
AUTORES: Tiago F Sequeira; André de Matos Pedro;
PUBLICAÇÃO: 2025, FONTE: 30th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2025 in Formal Methods for Industrial Critical Systems - 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27-28, 2025, Proceedings, VOLUME: 16040
AUTORES: Tiago F Sequeira; André de Matos Pedro;
PUBLICAÇÃO: 2025, FONTE: 30th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2025 in Formal Methods for Industrial Critical Systems - 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27-28, 2025, Proceedings, VOLUME: 16040
2
TÃTULO: STRIVE: A Co-Simulation-Based Testing Platform Enhanced with Runtime Monitors
AUTORES: Praanav Paatil; Daryna Datsenko; Mário Cardoso; Ana Sousa; André de Matos Pedro;
PUBLICAÇÃO: 2024, FONTE: 16th International Conference on COMmunication Systems and NETworkS, COMSNETS 2024 in 16th International Conference on COMmunication Systems & NETworkS, COMSNETS 2024, Bengaluru, India, January 3-7, 2024
AUTORES: Praanav Paatil; Daryna Datsenko; Mário Cardoso; Ana Sousa; André de Matos Pedro;
PUBLICAÇÃO: 2024, FONTE: 16th International Conference on COMmunication Systems and NETworkS, COMSNETS 2024 in 16th International Conference on COMmunication Systems & NETworkS, COMSNETS 2024, Bengaluru, India, January 3-7, 2024
INDEXADO EM: 
Scopus 
DBLP
Scopus DBLP NO MEU: DBLP
DBLP3
TÃTULO: Monitoring of spatio-temporal properties with nonlinear SAT solvers Full Text
AUTORES: Pedro, Andre Matos; Silva, Tomas; Sequeira, Tiago; Lourenco, Joao; Seco, Joao Costa; Ferreira, Carla ;
PUBLICAÇÃO: 2024, FONTE: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, VOLUME: 26, NÚMERO: 2
AUTORES: Pedro, Andre Matos; Silva, Tomas; Sequeira, Tiago; Lourenco, Joao; Seco, Joao Costa; Ferreira, Carla ;
PUBLICAÇÃO: 2024, FONTE: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, VOLUME: 26, NÚMERO: 2
4
TÃTULO: Monitoring of spatio-temporal properties with nonlinear SAT solvers
AUTORES: André de Matos Pedro; Tomás Silva; Tiago F Sequeira; João Lourenço; João Costa Seco; Carla Ferreira;
PUBLICAÇÃO: 2024, FONTE: Int. J. Softw. Tools Technol. Transf., VOLUME: 26, NÚMERO: 2
AUTORES: André de Matos Pedro; Tomás Silva; Tiago F Sequeira; João Lourenço; João Costa Seco; Carla Ferreira;
PUBLICAÇÃO: 2024, FONTE: Int. J. Softw. Tools Technol. Transf., VOLUME: 26, NÚMERO: 2
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP5
TÃTULO: llhsc: A DeviceTree Syntax and Semantic Checker
AUTORES: Rodrigues, Vitor; Pedro, Andre Matos;
PUBLICAÇÃO: 2023, FONTE: 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 2023 53RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS WORKSHOPS, DSN-W
AUTORES: Rodrigues, Vitor; Pedro, Andre Matos;
PUBLICAÇÃO: 2023, FONTE: 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 2023 53RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS WORKSHOPS, DSN-W
INDEXADO EM: Scopus 
WOS
Scopus WOS6
TÃTULO: llhsc: A DeviceTree Syntax and Semantic Checker
AUTORES: Vítor Rodrigues; André de Matos Pedro;
PUBLICAÇÃO: 2023, FONTE: 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2023 - Workshops, Porto, Portugal, June 27-30, 2023
AUTORES: Vítor Rodrigues; André de Matos Pedro;
PUBLICAÇÃO: 2023, FONTE: 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2023 - Workshops, Porto, Portugal, June 27-30, 2023
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP7
TÃTULO: llhsc: A DeviceTree Syntax and Semantic Checker
AUTORES: Vítor Rodrigues; André Matos Pedro;
PUBLICAÇÃO: 2023, FONTE: 2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W)
AUTORES: Vítor Rodrigues; André Matos Pedro;
PUBLICAÇÃO: 2023, FONTE: 2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W)
8
TÃTULO: Monitoring of Spatio-Temporal Properties with Nonlinear SAT Solvers
AUTORES: André de Matos Pedro; Tomás Silva; Tiago F Sequeira; João Lourenço ; João Costa Seco; Carla Ferreira;
PUBLICAÇÃO: 2022, FONTE: Formal Methods for Industrial Critical Systems - 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings, VOLUME: 13487
AUTORES: André de Matos Pedro; Tomás Silva; Tiago F Sequeira; João Lourenço ; João Costa Seco; Carla Ferreira;
PUBLICAÇÃO: 2022, FONTE: Formal Methods for Industrial Critical Systems - 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings, VOLUME: 13487
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP9
TÃTULO: Monitoring of Spatio-Temporal Properties with Nonlinear SAT Solvers
AUTORES: Pedro, Andre de Matos; Silva, Tomas; Sequeira, Tiago; Lourenco, Joao; Seco, Joao Costa; Ferreira, Carla ;
PUBLICAÇÃO: 2022, FONTE: 27th International Conference on Formal Methods in Industrial Critical Systems (FMICS) in FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS (FMICS 2022), VOLUME: 13487
AUTORES: Pedro, Andre de Matos; Silva, Tomas; Sequeira, Tiago; Lourenco, Joao; Seco, Joao Costa; Ferreira, Carla ;
PUBLICAÇÃO: 2022, FONTE: 27th International Conference on Formal Methods in Industrial Critical Systems (FMICS) in FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS (FMICS 2022), VOLUME: 13487
10
TÃTULO: Real-time MTL with durations as SMT with applications to schedulability analysis
AUTORES: de Matos, A; Leucker, M; Pereira, D; Pinto, JS ;
PUBLICAÇÃO: 2020, FONTE: 14th International Symposium on Theoretical Aspects of Software Engineering (TASE) in 2020 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2020)
AUTORES: de Matos, A; Leucker, M; Pereira, D; Pinto, JS ;
PUBLICAÇÃO: 2020, FONTE: 14th International Symposium on Theoretical Aspects of Software Engineering (TASE) in 2020 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2020)
