Segui
David Pereira
David Pereira
Research Associate, CISTER
Email verificata su isep.ipp.pt
Titolo
Citata da
Citata da
Anno
Formal modelling of emotions in BDI agents
D Pereira, E Oliveira, N Moreira
International Workshop on Computational Logic in Multi-Agent Systems, 62-81, 2007
962007
Towards an architecture for emotional BDI agents
D Pereira, E Oliveira, N Moreira, L Sarmento
2005 portuguese conference on artificial intelligence, 40-46, 2005
842005
Partial Derivative Automata Formalized in Coq
JB Almeida, N Moreira, D Pereira, SM de Sousa
Implementation and Application of Automata: 15th International Conference …, 2011
292011
Formal verification of AADL models using UPPAAL
FS Goncalves, D Pereira, E Tovar, LB Becker
2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC), 117-124, 2017
262017
RTFM-core: Language and Implementation
P Lindgren, M Lindner, A Lindner, D Pereira, LM Pinho
2015 ieee 10th conference on industrial electronics and applications (iciea …, 2015
222015
Design and implementation of secret key agreement for platoon-based vehicular cyber-physical systems
K Li, W Ni, Y Emami, Y Shen, R Severino, D Pereira, E Tovar
ACM Transactions on Cyber-Physical Systems 4 (2), 1-20, 2019
212019
A real-time semantics for the IEC 61499 standard
P Lindgren, M Lindner, A Lindner, V Vyatkin, D Pereira, LM Pinho
2015 ieee 20th conference on emerging technologies & factory automation …, 2015
202015
Deciding regular expressions (in-) equivalence in Coq
N Moreira, D Pereira, S Melo de Sousa
International Conference on Relational and Algebraic Methods in Computer …, 2012
202012
Logic-based schedulability analysis for compositional hard real-time embedded systems
A de Matos Pedro, D Pereira, LM Pinho, JS Pinto
ACM SIGBED Review 12 (1), 56-64, 2015
182015
End-to-end response time of IEC 61499 distributed applications over switched ethernet
P Lindgren, J Eriksson, M Lindner, A Lindner, D Pereira, LM Pinho
IEEE Transactions on Industrial Informatics 13 (1), 287-297, 2016
152016
A novel run-time monitoring architecture for safe and efficient inline monitoring
G Nelissen, D Pereira, LM Pinho
Reliable Software Technologies–Ada-Europe 2015: 20th Ada-Europe …, 2015
152015
Towards improved validation of autonomous systems for smart farming
M Rooker, P Horstrand, AS Rodriguez, S Lopez, R Sarmiento, J Lopez, ...
Smart Farming Workshop, 2018
122018
A comparison of formal verification approaches for IEC 61499
JO Blech, P Lindgren, D Pereira, V Vyatkin, A Zoitl
2016 IEEE 21st International Conference on Emerging Technologies and Factory …, 2016
122016
KAT and PHL in Coq
D Pereira, N Moreira
Computer Science and Information Systems 5 (2), 137-160, 2008
112008
Runtime verification of autopilot systems using a fragment of MTL-∫
A Pedro, JS Pinto, D Pereira, LM Pinho
International Journal on Software Tools for Technology Transfer 20 (4), 379-395, 2018
102018
The VALU3S ECSEL project: Verification and validation of automated systems safety and security
JA Agirre, L Etxeberria, R Barbosa, S Basagiannis, G Giantamidis, ...
Microprocessors and microsystems 87, 104349, 2021
92021
Monitoring for a decidable fragment of mtl-∫
AM Pedro, D Pereira, LM Pinho, JS Pinto
Springer Verlag, 2015
92015
A compositional monitoring framework for hard real-time systems
A de Matos Pedro, D Pereira, LM Pinho, JS Pinto
NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA …, 2014
92014
The VALU3S ECSEL project: verification and validation of automated systems safety and security
R Barbosa, S Basagiannis, G Giantamidis, H Becker, E Ferrari, J Jahic, ...
2020 23rd Euromicro Conference on Digital System Design (DSD), 352-359, 2020
82020
Abstract timers and their implementation onto the arm cortex-m family of mcus
P Lindgren, E Fresk, M Lindner, A Lindner, D Pereira, LM Pinho
ACM SIGBED Review 13 (1), 48-53, 2016
82016
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20