Formal Modelling of Emotions in BDI Agents. - David Pereira; Eugénio C. Oliveira; Nelma Moreira (CLIMA, 2007)

KAT and PHL in Coq. - David Pereira; Nelma Moreira (Comput. Sci. Inf. Syst., 2008)

On Improving Local Search for Unsatisfiability - David Pereira; Inês Lynce; Steven D. Prestwich (LSCS, 2009)

Partial Derivative Automata Formalized in Coq. - José Bacelar Almeida; Nelma Moreira; David Pereira; Simão Melo de Sousa (CIAA, 2010)

Deciding Regular Expressions (In-)Equivalence in Coq. - Nelma Moreira; David Pereira; Simão Melo de Sousa (RAMiCS, 2012)

Towards certified program logics for the verification of imperative programs - David Pereira (2013)

Towards a Runtime Verification Framework for the Ada Programming Language. - André de Matos Pedro; David Pereira; Luís Miguel Pinho; Jorge Sousa Pinto (Ada-Europe, 2014)

A Compositional Monitoring Framework for Hard Real-Time Systems. - André de Matos Pedro; David Pereira; Luís Miguel Pinho; Jorge Sousa Pinto (NASA Formal Methods, 2014)

A Novel Run-Time Monitoring Architecture for Safe and Efficient Inline Monitoring. - Geoffrey Nelissen; David Pereira; Luís Miguel Pinho (Ada-Europe, 2015)

A real-time semantics for the IEC 61499 standard. - Per Lindgren; Marcus Lindner; Andreas Lindner; Valeriy Vyatkin; David Pereira; Luís Miguel Pinho (ETFA, 2015)

Response time for IEC 61499 over Ethernet. - Per Lindgren; Johan Eriksson; Marcus Lindner; Andreas Lindner; David Pereira; Luís Miguel Pinho (INDIN, 2015)

Well-formed control flow for critical sections in RTFM-core. - Per Lindgren; Marcus Lindner; Andreas Lindner; David Pereira; Luís Miguel Pinho (INDIN, 2015)

Monitoring for a Decidable Fragment of MTL-∫. - André de Matos Pedro; David Pereira; Luís Miguel Pinho; Jorge Sousa Pinto (RV, 2015)

A Formal Perspective on IEC 61499 Execution Control Chart Semantics. - Per Lindgren; Marcus Lindner; David Pereira; Luís Miguel Pinho (TrustCom/BigDataSE/ISPA (3), 2015)

Deciding Kleene algebra terms equivalence in Coq. - Nelma Moreira; David Pereira; Simão Melo de Sousa (J. Log. Algebraic Methods Program., 2015)

Logic-based schedulability analysis for compositional hard real-time embedded systems. - André de Matos Pedro; David Pereira; Luís Miguel Pinho; Jorge Sousa Pinto (SIGBED Rev., 2015)

A Comparison of Formal Verification Approaches for IEC 61499. - Jan Olaf Blech; Per Lindgren; David Pereira; Valeriy Vyatkin; Alois Zoitl (ETFA, 2016)

Towards certified compilation of RTFM-core applications. - Per Lindgren; Marcus Lindner; David Pereira; Luís Miguel Pinho (ETFA, 2016)

Contract based verification of IEC 61499. - Per Lindgren; Marcus Lindner; David Pereira; Luís Miguel Pinho (INDIN, 2016)

Demo Abstract: Run-Time Monitoring Environments for Real-Time and Safety Critical Systems. - Geoffrey Nelissen; Humberto Carvalho; David Pereira; Eduardo Tovar (RTAS, 2016)

REVERT: Runtime Verification for Real-Time Systems. - Sangeeth Kochanthara; Geoffrey Nelissen; David Pereira; Rahul Purandare (RTSS, 2016)

Abstract timers and their implementation onto the ARM Cortex-M family of MCUs. - Per Lindgren; Emil Fresk; Marcus Lindner; Andreas Lindner; David Pereira; Luís Miguel Pinho (SIGBED Rev., 2016)

On Boosting Energy-Efficiency of Heterogeneous Embedded Systems via Game Theory. - David Pereira; Aleksandar Ilic; Leonel Sousa (PARMA-DITAM@HiPEAC, 2017)

Formal Verification of AADL Models Using UPPAAL. - Fernando Silvano Goncalves; David Pereira; Eduardo Tovar; Leandro Buss Becker (SBESC, 2017)

SMT-based schedulability analysis using RMTL-∫. - André de Matos Pedro; David Pereira; Luís Miguel Pinho; Jorge Sousa Pinto (SIGBED Rev., 2017)

End-to-End Response Time of IEC 61499 Distributed Applications Over Switched Ethernet. - Per Lindgren; Johan Eriksson; Marcus Lindner; Andreas Lindner; David Pereira; Luís Miguel Pinho (IEEE Trans. Ind. Informatics, 2017)

Runtime verification of autopilot systems using a fragment of MTL- $${ int }$$ ∫. - André de Matos Pedro; Jorge Sousa Pinto; David Pereira; Luís Miguel Pinho (Int. J. Softw. Tools Technol. Transf., 2018)

A Domain Specific Language for Automotive Systems Integration. - Renato Oliveira; David Pereira; Cláudio Maia; Pedro Santos 003 (IECON, 2019)

Security in Wireless Sensor Networks: A formal verification of protocols. - Giann Spilere Nandi; David Pereira; Martín Vigil; Ricardo de Moraes; Analúcia Schiaffino Morales; Gustavo Medeiros de Araújo (INDIN, 2019)

The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security. - Raul Barbosa; Stylianos Basagiannis; Georgios Giantamidis; H. Becker; Enrico Ferrari; J. Jahic; Alper Kanak; Mikel Labayen Esnaola; Vanessa Orani; David Pereira; Luigi Pomante; Rupert Schlick; et al. (DSD, 2020)

Evaluating the Accuracy of Password Strength Meters using Off-The-Shelf Guessing Attacks. - David Pereira; João F. Ferreira 001; Alexandra Mendes (ISSRE Workshops, 2020)

Work-In-Progress: a DSL for the safe deployment of Runtime Monitors in Cyber-Physical Systems. - Giann Spilere Nandi; David Pereira; José Proença; Eduardo Tovar (RTSS, 2020)

Real-time MTL with durations as SMT with applications to schedulability analysis. - André de Matos Pedro; Martin Leucker; David Pereira; Jorge Sousa Pinto (TASE, 2020)

Design and Implementation of Secret Key Agreement for Platoon-based Vehicular Cyber-physical Systems. - Kai Li 002; Wei Ni 001; Yousef Emami; Yiran Shen 001; Ricardo Severino; David Pereira; Eduardo Tovar (ACM Trans. Cyber Phys. Syst., 2020)

A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems. - Jose Luis de la Vara; Thomas Bauer 002; Bernhard Fischer; Mustafa Karaca; Henrique Madeira; Martin Matschnig; Silvia Mazzini; Giann Spilere Nandi; Fabio Patrone; David Pereira; José Proença; Rupert Schlick; et al. (QUATIC, 2021)

Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S - Invited Paper. - Thomas Bauer 002; Joseba Andoni Agirre; David Fürcho; Wolfgang Herzner; Bob Hruska; Mustafa Karaca; David Pereira; José Proença; Rupert Schlick; Robert Sicher; Ales Smrcka; Ugur Yayan; et al. (SAMOS, 2021)

The VALU3S ECSEL project: Verification and validation of automated systems safety and security. - Joseba Andoni Agirre; Leire Etxeberria; Raul Barbosa; Stylianos Basagiannis; Georgios Giantamidis; Thomas Bauer 002; Enrico Ferrari; Mikel Labayen Esnaola; Vanessa Orani; Johnny Öberg; David Pereira; José Proença; et al. (Microprocess. Microsystems, 2021)

Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems. - José Proença; Sina Borrami; Jorge Sanchez de Nova; David Pereira; Giann Spilere Nandi (RSSRail, 2022)

Spreadsheet-based Configuration of Families of Real-Time Specifications. - José Proença; David Pereira; Giann Spilere Nandi; Sina Borrami; Jonas Melchert (TiCSA@ETAPS, 2023)

Reducing the gap between theory and practice in real-time systems with MARS. - Giann Spilere Nandi; David Pereira; José Proença; Eduardo Tovar; Luís Nogueira (DSN-S, 2024)

Message from the VERDI Workshop Chairs; DSN-W 2024. - David Pereira; José Proença; Behrooz Sangchoolie (DSN-W, 2024)

MARS: Safely Instrumenting Runtime Monitors in Real-Time Resource-Constrained Distributed Systems. - Giann Spilere Nandi; David Pereira; José Proença; Eduardo Tovar (INDIN, 2024)

Exploiting Anytime Algorithms for Collaborative Service Execution in Edge Computing. - Luís Nogueira; Jorge Coelho 001; David Pereira (Comput., 2024)