André Matos Pedro
AuthID: R-004-VKA
1
TITLE: Monitoring of spatio-temporal properties with nonlinear SAT solvers Full Text
AUTHORS: Pedro, Andre Matos; Silva, Tomas; Sequeira, Tiago; Lourenco, Joao; Seco, Joao Costa; Ferreira, Carla;
PUBLISHED: 2024, SOURCE: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
AUTHORS: Pedro, Andre Matos; Silva, Tomas; Sequeira, Tiago; Lourenco, Joao; Seco, Joao Costa; Ferreira, Carla;
PUBLISHED: 2024, SOURCE: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
INDEXED IN: 
WOS
WOS2
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
DBLP3
TITLE: llhsc: A DeviceTree Syntax and Semantic Checker
AUTHORS: Rodrigues, Vitor; Pedro, Andre Matos;
PUBLISHED: 2023, SOURCE: 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
AUTHORS: Rodrigues, Vitor; Pedro, Andre Matos;
PUBLISHED: 2023, SOURCE: 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
INDEXED IN: 
Scopus WOS
Scopus WOS4
TITLE: llhsc: A DeviceTree Syntax and Semantic Checker
AUTHORS: Vítor Rodrigues; André de Matos Pedro;
PUBLISHED: 2023, SOURCE: 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2023 - Workshops, Porto, Portugal, June 27-30, 2023
AUTHORS: Vítor Rodrigues; André de Matos Pedro;
PUBLISHED: 2023, SOURCE: 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2023 - Workshops, Porto, Portugal, June 27-30, 2023
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP5
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
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
DBLP IN MY: DBLP
DBLP6
TITLE: Real-time MTL with durations as SMT with applications to schedulability analysis
AUTHORS: de Matos, A; Leucker, M; Pereira, D; Pinto, JS ;
PUBLISHED: 2020, SOURCE: 14th International Symposium on Theoretical Aspects of Software Engineering (TASE) in 2020 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2020)
AUTHORS: de Matos, A; Leucker, M; Pereira, D; Pinto, JS ;
PUBLISHED: 2020, SOURCE: 14th International Symposium on Theoretical Aspects of Software Engineering (TASE) in 2020 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2020)
7
TITLE: Runtime verification of autopilot systems using a fragment of MTL- Full Text
AUTHORS: Andre de Matos Pedro; Jorge Sousa Pinto ; David Pereira; Luis Miguel Pinho ;
PUBLISHED: 2018, SOURCE: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems (FMICS) / 16th International Workshop on Automated Verification of Critical Systems (AVoCS) in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, VOLUME: 20, ISSUE: 4
AUTHORS: Andre de Matos Pedro; Jorge Sousa Pinto ; David Pereira; Luis Miguel Pinho ;
PUBLISHED: 2018, SOURCE: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems (FMICS) / 16th International Workshop on Automated Verification of Critical Systems (AVoCS) in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, VOLUME: 20, ISSUE: 4
8
TITLE: Dynamic contracts for verification and enforcement of real-time systems properties
AUTHORS: André de Matos Pedro;
PUBLISHED: 2018
AUTHORS: André de Matos Pedro;
PUBLISHED: 2018
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP9
TITLE: Dynamic contracts for verification and enforcement of real-time systems properties
AUTHORS: André de Matos Pedro;
PUBLISHED: 2018
AUTHORS: André de Matos Pedro;
PUBLISHED: 2018
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP10
TITLE: SMT-based schedulability analysis using RMTL-∫ Full Text
AUTHORS: André de Matos Pedro; David Pereira; Luís Miguel Pinho ; Jorge Sousa Pinto ;
PUBLISHED: 2017, SOURCE: SIGBED Review, VOLUME: 14, ISSUE: 3
AUTHORS: André de Matos Pedro; David Pereira; Luís Miguel Pinho ; Jorge Sousa Pinto ;
PUBLISHED: 2017, SOURCE: SIGBED Review, VOLUME: 14, ISSUE: 3
