André Matos Pedro
AuthID: R-004-VKA
1
TITLE: Robust Spatio-Temporal Logic Semantics for Autonomous Driving Systems Falsification
AUTHORS: Sequeira, Tiago; Pedro, Andre Matos;
PUBLISHED: 2026, SOURCE: 30th International Conference on Formal Methods for Industrial Critical Systems-FMICS-Annual in FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2025, VOLUME: 16040
AUTHORS: Sequeira, Tiago; Pedro, Andre Matos;
PUBLISHED: 2026, SOURCE: 30th International Conference on Formal Methods for Industrial Critical Systems-FMICS-Annual in FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2025, VOLUME: 16040
2
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, VOLUME: 26, ISSUE: 2
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, VOLUME: 26, ISSUE: 2
3
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
4
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
5
TITLE: Runtime verification of autopilot systems using a fragment of MTL- Full Text
AUTHORS: Pedro, AD; Pinto, JS ; Pereira, D ; Pinho, LM ;
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: Pedro, AD; Pinto, JS ; Pereira, D ; Pinho, LM ;
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
6
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
DBLP7
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
DBLP8
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 Rev., VOLUME: 14, ISSUE: 3
AUTHORS: André de Matos Pedro; David Pereira ; Luís Miguel Pinho ; Jorge Sousa Pinto ;
PUBLISHED: 2017, SOURCE: SIGBED Rev., VOLUME: 14, ISSUE: 3
