David Pereira

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 34

Top Topics

Embedded Systems

Formal Verification

Anytime Algorithms

Safety Critical

Top Venues

Publications

Luís Nogueira, Jorge Coelho, David Pereira
Exploiting Anytime Algorithms for Collaborative Service Execution in Edge Computing. Comput. 13 (6) (2024)
José Proença, David Pereira, Giann Spilere Nandi, Sina Borrami, Jonas Melchert
Spreadsheet-based Configuration of Families of Real-Time Specifications. TiCSA@ETAPS (2023)
José Proença, Sina Borrami, Jorge Sanchez de Nova, David Pereira, Giann Spilere Nandi
Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems. RSSRail (2022)
Joseba Andoni Agirre, Leire Etxeberria, Raul Barbosa, Stylianos Basagiannis, Georgios Giantamidis, Thomas Bauer, Enrico Ferrari, Mikel Labayen Esnaola, Vanessa Orani, Johnny Öberg, David Pereira, José Proença, Rupert Schlick, Ales Smrcka, Walter Tiberti, Stefano Tonetta, Marco Bozzano, Ahmet Yazici, Behrooz Sangchoolie
The VALU3S ECSEL project: Verification and validation of automated systems safety and security. Microprocess. Microsystems 87 (2021)
Thomas Bauer, 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, Behrooz Sangchoolie
Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S - Invited Paper. SAMOS (2021)
Jose Luis de la Vara, Thomas Bauer, Bernhard Fischer, Mustafa Karaca, Henrique Madeira, Martin Matschnig, Silvia Mazzini, Giann Spilere Nandi, Fabio Patrone, David Pereira, José Proença, Rupert Schlick, Stefano Tonetta, Ugur Yayan, Behrooz Sangchoolie
A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems. QUATIC (2021)
André de Matos Pedro, Martin Leucker, David Pereira, Jorge Sousa Pinto
Real-time MTL with durations as SMT with applications to schedulability analysis. TASE (2020)
Kai Li, Wei Ni, Yousef Emami, Yiran Shen, Ricardo Severino, David Pereira, Eduardo Tovar
Design and Implementation of Secret Key Agreement for Platoon-based Vehicular Cyber-physical Systems. ACM Trans. Cyber Phys. Syst. 4 (2) (2020)
Raul Barbosa, Stylianos Basagiannis, Georgios Giantamidis, H. Becker, Enrico Ferrari, J. Jahic, A. Kanak, Mikel Labayen Esnaola, Vanessa Orani, David Pereira, Luigi Pomante, Rupert Schlick, A. Smrcka, Ahmet Yazici, Peter Folkesson, Behrooz Sangchoolie
The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security. DSD (2020)
David Pereira, João F. Ferreira, Alexandra Mendes
Evaluating the Accuracy of Password Strength Meters using Off-The-Shelf Guessing Attacks. ISSRE Workshops (2020)
Giann Spilere Nandi, David Pereira, José Proença, Eduardo Tovar
Work-In-Progress: a DSL for the safe deployment of Runtime Monitors in Cyber-Physical Systems. RTSS (2020)
Renato Oliveira, David Pereira, Cláudio Maia, Pedro Santos
A Domain Specific Language for Automotive Systems Integration. IECON (2019)
Kai Li, Wei Ni, Yousef Emami, Yiran Shen, Ricardo Severino, David Pereira, Eduardo Tovar
Design and Implementation of Secret Key Agreement for Platoon-based Vehicular Cyber-Physical Systems. CoRR (2019)
Giann Spilere Nandi, David Pereira, Martín Vigil, Ricardo de Moraes, Analúcia Schiaffino Morales, Gustavo Medeiros de Araújo
Security in Wireless Sensor Networks: A formal verification of protocols. INDIN (2019)
André de Matos Pedro, Jorge Sousa Pinto, David Pereira, Luís Miguel Pinho
Runtime verification of autopilot systems using a fragment of MTL- $${\int }$$ ∫. Int. J. Softw. Tools Technol. Transf. 20 (4) (2018)
David Pereira, Aleksandar Ilic, Leonel Sousa
On Boosting Energy-Efficiency of Heterogeneous Embedded Systems via Game Theory. PARMA-DITAM@HiPEAC (2017)
Fernando Silvano Goncalves, David Pereira, Eduardo Tovar, Leandro Buss Becker
Formal Verification of AADL Models Using UPPAAL. SBESC (2017)
André de Matos Pedro, David Pereira, Luís Miguel Pinho, Jorge Sousa Pinto
SMT-based schedulability analysis using RMTL-∫. SIGBED Rev. 14 (3) (2017)
Per Lindgren, Johan Eriksson, Marcus Lindner, Andreas Lindner, David Pereira, Luís Miguel Pinho
End-to-End Response Time of IEC 61499 Distributed Applications Over Switched Ethernet. IEEE Trans. Ind. Informatics 13 (1) (2017)
Per Lindgren, Emil Fresk, Marcus Lindner, Andreas Lindner, David Pereira, Luís Miguel Pinho
Abstract timers and their implementation onto the ARM Cortex-M family of MCUs. SIGBED Rev. 13 (1) (2016)
Geoffrey Nelissen, Humberto Carvalho, David Pereira, Eduardo Tovar
Demo Abstract: Run-Time Monitoring Environments for Real-Time and Safety Critical Systems. RTAS (2016)
Per Lindgren, Marcus Lindner, David Pereira, Luís Miguel Pinho
Contract based verification of IEC 61499. INDIN (2016)
Jan Olaf Blech, Per Lindgren, David Pereira, Valeriy Vyatkin, Alois Zoitl
A Comparison of Formal Verification Approaches for IEC 61499. ETFA (2016)
Sangeeth Kochanthara, Geoffrey Nelissen, David Pereira, Rahul Purandare
REVERT: Runtime Verification for Real-Time Systems. RTSS (2016)
Per Lindgren, Marcus Lindner, David Pereira, Luís Miguel Pinho
Towards certified compilation of RTFM-core applications. ETFA (2016)
Geoffrey Nelissen, David Pereira, Luís Miguel Pinho
A Novel Run-Time Monitoring Architecture for Safe and Efficient Inline Monitoring. Ada-Europe (2015)
Nelma Moreira, David Pereira, Simão Melo de Sousa
Deciding Kleene algebra terms equivalence in Coq. J. Log. Algebraic Methods Program. 84 (3) (2015)
André de Matos Pedro, David Pereira, Luís Miguel Pinho, Jorge Sousa Pinto
Monitoring for a Decidable Fragment of MTL-∫. RV (2015)
Per Lindgren, Marcus Lindner, Andreas Lindner, Emil Fresk, David Pereira, Luís Miguel Pinho
Abstract Timers and their Implementation onto the ARM Cortex-M family of MCUs. EWiLi (2015)
Per Lindgren, Marcus Lindner, Andreas Lindner, David Pereira, Luís Miguel Pinho
Well-formed control flow for critical sections in RTFM-core. INDIN (2015)
Per Lindgren, Marcus Lindner, Andreas Lindner, Valeriy Vyatkin, David Pereira, Luís Miguel Pinho
A real-time semantics for the IEC 61499 standard. ETFA (2015)
Per Lindgren, Marcus Lindner, David Pereira, Luís Miguel Pinho
A Formal Perspective on IEC 61499 Execution Control Chart Semantics. TrustCom/BigDataSE/ISPA (3) (2015)
Per Lindgren, Johan Eriksson, Marcus Lindner, Andreas Lindner, David Pereira, Luís Miguel Pinho
Response time for IEC 61499 over Ethernet. INDIN (2015)
André de Matos Pedro, David Pereira, Luís Miguel Pinho, Jorge Sousa Pinto
Logic-based schedulability analysis for compositional hard real-time embedded systems. SIGBED Rev. 12 (1) (2015)
André de Matos Pedro, David Pereira, Luís Miguel Pinho, Jorge Sousa Pinto
A Compositional Monitoring Framework for Hard Real-Time Systems. NASA Formal Methods (2014)
André de Matos Pedro, David Pereira, Luís Miguel Pinho, Jorge Sousa Pinto
Towards a Runtime Verification Framework for the Ada Programming Language. Ada-Europe (2014)
Nelma Moreira, David Pereira, Simão Melo de Sousa
Deciding Regular Expressions (In-)Equivalence in Coq. RAMiCS (2012)
José Bacelar Almeida, Nelma Moreira, David Pereira, Simão Melo de Sousa
Partial Derivative Automata Formalized in Coq. CIAA (2010)
David Pereira, Inês Lynce, Steven D. Prestwich
On Improving Local Search for Unsatisfiability LSCS (2009)
David Pereira, Nelma Moreira
KAT and PHL in Coq. Comput. Sci. Inf. Syst. 5 (2) (2008)
David Pereira, Eugénio C. Oliveira, Nelma Moreira
Formal Modelling of Emotions in BDI Agents. CLIMA (2007)