David Pereira

According to our database, David Pereira authored at least 39 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Spreadsheet-based Configuration of Families of Real-Time Specifications.

José Proença, David Pereira, Giann Spilere Nandi, Sina Borrami, Jonas Melchert

Proceedings of the First Workshop on Trends in Configurable Systems Analysis, 2023

2022

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

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2022

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, 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

Microprocess. Microsystems, November, 2021

Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S - Invited Paper.

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

Proceedings of the Embedded Computer Systems: Architectures, Modeling, and Simulation, 2021

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, 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

Proceedings of the Quality of Information and Communications Technology, 2021

2020

Design and Implementation of Secret Key Agreement for Platoon-based Vehicular Cyber-physical Systems.

Kai Li, Wei Ni, Yousef Emami, Yiran Shen, Ricardo Severino, David Pereira, Eduardo Tovar

ACM Trans. Cyber Phys. Syst., 2020

Real-time MTL with durations as SMT with applications to schedulability analysis.

André de Matos Pedro, Martin Leucker, David Pereira, Jorge Sousa Pinto

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 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

Proceedings of the 41st IEEE Real-Time Systems Symposium, 2020

Evaluating the Accuracy of Password Strength Meters using Off-The-Shelf Guessing Attacks.

David Pereira, João F. Ferreira, Alexandra Mendes

Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020

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, A. Kanak, Mikel Labayen Esnaola, Vanessa Orani, David Pereira, Luigi Pomante, Rupert Schlick, Ales Smrcka, Ahmet Yazici, Peter Folkesson, Behrooz Sangchoolie

Proceedings of the 23rd Euromicro Conference on Digital System Design, 2020

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

Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019

A Domain Specific Language for Automotive Systems Integration.

Renato Oliveira, David Pereira, Cláudio Maia, Pedro Santos

Proceedings of the IECON 2019, 2019

2018

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

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

SMT-based schedulability analysis using RMTL-∫.

André de Matos Pedro, David Pereira, Luís Miguel Pinho, Jorge Sousa Pinto

SIGBED Rev., 2017

Formal Verification of AADL Models Using UPPAAL.

Fernando Silvano Goncalves, David Pereira, Eduardo Tovar, Leandro Buss Becker

Proceedings of the VII Brazilian Symposium on Computing Systems Engineering, 2017

On Boosting Energy-Efficiency of Heterogeneous Embedded Systems via Game Theory.

David Pereira, Aleksandar Ilic, Leonel Sousa

Proceedings of the 8th Workshop and 6th Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures and Design Tools and Architectures for Multicore Embedded Computing Platforms, 2017

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

REVERT: Runtime Verification for Real-Time Systems.

Sangeeth Kochanthara, Geoffrey Nelissen, David Pereira, Rahul Purandare

Proceedings of the 2016 IEEE Real-Time Systems Symposium, 2016

Demo Abstract: Run-Time Monitoring Environments for Real-Time and Safety Critical Systems.

Geoffrey Nelissen, Humberto Carvalho, David Pereira, Eduardo Tovar

Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016

Contract based verification of IEC 61499.

Per Lindgren, Marcus Lindner, David Pereira, Luís Miguel Pinho

Proceedings of the 14th IEEE International Conference on Industrial Informatics, 2016

Towards certified compilation of RTFM-core applications.

Per Lindgren, Marcus Lindner, David Pereira, Luís Miguel Pinho

Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

A Comparison of Formal Verification Approaches for IEC 61499.

Jan Olaf Blech, Per Lindgren, David Pereira, Valeriy Vyatkin, Alois Zoitl

Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

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

Deciding Kleene algebra terms equivalence in Coq.

Nelma Moreira, David Pereira, Simão Melo de Sousa

J. Log. Algebraic Methods Program., 2015

A Formal Perspective on IEC 61499 Execution Control Chart Semantics.

Per Lindgren, Marcus Lindner, David Pereira, Luís Miguel Pinho

Proceedings of the 2015 IEEE TrustCom/BigDataSE/ISPA, 2015

Monitoring for a Decidable Fragment of MTL-∫.

André de Matos Pedro, David Pereira, Luís Miguel Pinho, Jorge Sousa Pinto

Proceedings of the Runtime Verification - 6th International Conference, 2015

Well-formed control flow for critical sections in RTFM-core.

Per Lindgren, Marcus Lindner, Andreas Lindner, David Pereira, Luís Miguel Pinho

Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015

Response time for IEC 61499 over Ethernet.

Per Lindgren, Johan Eriksson, Marcus Lindner, Andreas Lindner, David Pereira, Luís Miguel Pinho

Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015

A real-time semantics for the IEC 61499 standard.

Per Lindgren, Marcus Lindner, Andreas Lindner, Valeriy Vyatkin, David Pereira, Luís Miguel Pinho

Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

A Novel Run-Time Monitoring Architecture for Safe and Efficient Inline Monitoring.

Geoffrey Nelissen, David Pereira, Luís Miguel Pinho

Proceedings of the Reliable Software Technologies - Ada-Europe 2015, 2015

2014

A Compositional Monitoring Framework for Hard Real-Time Systems.

André de Matos Pedro, David Pereira, Luís Miguel Pinho, Jorge Sousa Pinto

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

Towards a Runtime Verification Framework for the Ada Programming Language.

André de Matos Pedro, David Pereira, Luís Miguel Pinho, Jorge Sousa Pinto

Proceedings of the Reliable Software Technologies, 2014

2013

Towards certified program logics for the verification of imperative programs

David Pereira

PhD thesis, 2013

2012

Deciding Regular Expressions (In-)Equivalence in Coq.

Nelma Moreira, David Pereira, Simão Melo de Sousa

Proceedings of the Relational and Algebraic Methods in Computer Science, 2012

2010

Partial Derivative Automata Formalized in Coq.

José Bacelar Almeida, Nelma Moreira, David Pereira, Simão Melo de Sousa

Proceedings of the Implementation and Application of Automata, 2010

2009

On Improving Local Search for Unsatisfiability

David Pereira, Inês Lynce, Steven D. Prestwich

Proceedings of the Proceedings 6th International Workshop on Local Search Techniques in Constraint Satisfaction, 2009

2008

KAT and PHL in Coq.

David Pereira, Nelma Moreira

Comput. Sci. Inf. Syst., 2008

2007

Formal Modelling of Emotions in BDI Agents.

David Pereira, Eugénio C. Oliveira, Nelma Moreira

Proceedings of the Computational Logic in Multi-Agent Systems, 8th International Workshop, 2007