David Pereira
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
20
Venues
12
Active years
2015–2024
Best venue rank
C
Where they publish
Papers
20 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | DSN | Reducing the gap between theory and practice in real-time systems with MARS. | Giann Spilere Nandi, David Pereira, Jos Proena, Eduardo Tovar, Lus Nogueira |
| 2024 | DSN | Message from the VERDI Workshop Chairs; DSN-W 2024. | David Pereira, Jos Proena, Behrooz Sangchoolie |
| 2024 | INDIN | MARS: Safely Instrumenting Runtime Monitors in Real-Time Resource-Constrained Distributed Systems. | Giann Spilere Nandi, David Pereira, Jos Proena, Eduardo Tovar |
| 2021 | QUATIC | 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 Proena, Rupert Schlick, Stefano Tonetta, Ugur Yayan, Behrooz Sangchoolie |
| 2020 | DSD | 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, Ales Smrcka, Ahmet Yazici, Peter Folkesson, Behrooz Sangchoolie |
| 2020 | ISSRE | Evaluating the Accuracy of Password Strength Meters using Off-The-Shelf Guessing Attacks. | David Pereira, Joo F. Ferreira, Alexandra Mendes |
| 2020 | RTSS | Work-In-Progress: a DSL for the safe deployment of Runtime Monitors in Cyber-Physical Systems. | Giann Spilere Nandi, David Pereira, Jos Proena, Eduardo Tovar |
| 2020 | TASE | Real-time MTL with durations as SMT with applications to schedulability analysis. | Andr de Matos Pedro, Martin Leucker, David Pereira, Jorge Sousa Pinto |
| 2019 | INDIN | Security in Wireless Sensor Networks: A formal verification of protocols. | Giann Spilere Nandi, David Pereira, Martn Vigil, Ricardo de Moraes, Analcia Schiaffino Morales, Gustavo Medeiros de Arajo |
| 2019 | IECON | A Domain Specific Language for Automotive Systems Integration. | Renato Oliveira, David Pereira, Cludio Maia, Pedro Santos |
| 2016 | ETFA | A Comparison of Formal Verification Approaches for IEC 61499. | Jan Olaf Blech, Per Lindgren, David Pereira, Valeriy Vyatkin, Alois Zoitl |
| 2016 | ETFA | Towards certified compilation of RTFM-core applications. | Per Lindgren, Marcus Lindner, David Pereira, Lus Miguel Pinho |
| 2016 | INDIN | Contract based verification of IEC 61499. | Per Lindgren, Marcus Lindner, David Pereira, Lus Miguel Pinho |
| 2016 | RTSS | REVERT: Runtime Verification for Real-Time Systems. | Sangeeth Kochanthara, Geoffrey Nelissen, David Pereira, Rahul Purandare |
| 2016 | RTAS | Demo Abstract: Run-Time Monitoring Environments for Real-Time and Safety Critical Systems. | Geoffrey Nelissen, Humberto Carvalho, David Pereira, Eduardo Tovar |
| 2015 | ETFA | A real-time semantics for the IEC 61499 standard. | Per Lindgren, Marcus Lindner, Andreas Lindner, Valeriy Vyatkin, David Pereira, Lus Miguel Pinho |
| 2015 | INDIN | Response time for IEC 61499 over Ethernet. | Per Lindgren, Johan Eriksson, Marcus Lindner, Andreas Lindner, David Pereira, Lus Miguel Pinho |
| 2015 | INDIN | Well-formed control flow for critical sections in RTFM-core. | Per Lindgren, Marcus Lindner, Andreas Lindner, David Pereira, Lus Miguel Pinho |
| 2015 | TrustCom | A Formal Perspective on IEC 61499 Execution Control Chart Semantics. | Per Lindgren, Marcus Lindner, David Pereira, Lus Miguel Pinho |
| 2015 | RV | Monitoring for a Decidable Fragment of MTL-∫. | Andr de Matos Pedro, David Pereira, Lus Miguel Pinho, Jorge Sousa Pinto |