David Pereira

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