David Pereira
David Pereira
Research Associate, CISTER
Verified email at isep.ipp.pt
Title
Cited by
Cited by
Year
Towards an architecture for emotional BDI agents
D Pereira, E Oliveira, N Moreira, L Sarmento
2005 portuguese conference on artificial intelligence, 40-46, 2005
722005
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
582007
Modelling emotional BDI agents
D Pereira, E Oliveira, N Moreira
Workshop on Formal Approaches to Multi-Agent Systems (FAMAS 2006), Riva Del …, 2006
282006
Partial Derivative Automata Formalized in Coq
JB Almeida, N Moreira, D Pereira, SM de Sousa
International Conference on Implementation and Application of Automata, 59-68, 2010
272010
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
192015
Deciding regular expressions (in-) equivalence in Coq
N Moreira, D Pereira, SM de Sousa
International Conference on Relational and Algebraic Methods in Computer …, 2012
172012
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
162015
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
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
112018
Formal verification of aadl models using uppaal
FS Gonçalves, D Pereira, E Tovar, LB Becker
2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC), 117-124, 2017
112017
A novel run-time monitoring architecture for safe and efficient inline monitoring
G Nelissen, D Pereira, LM Pinho
Ada-Europe International Conference on Reliable Software Technologies, 66-82, 2015
112015
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
102016
KAT and PHL in Coq
D Pereira, N Moreira
Computer Science and Information Systems 5 (2), 137-160, 2008
102008
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
72016
Towards a runtime verification framework for the ada programming language
A de Matos Pedro, D Pereira, LM Pinho, JS Pinto
Ada-Europe International Conference on Reliable Software Technologies, 58-73, 2014
72014
Rtfm-lang static semantics for systems with mixed criticality
P Lindgren, D Pereira, J Eriksson, M Lindner, L Miguel
Ada User Journal, Proc of Workshop on Mixed Criticality for Industrial …, 2014
72014
A compositional monitoring framework for hard real-time systems
A de Matos Pedro, D Pereira, LM Pinho, JS Pinto
NASA Formal Methods Symposium, 16-30, 2014
72014
Towards certified program logics for the verification of imperative programs
DMR Pereira
72013
Runtime verification of autopilot systems using a fragment of MTL-
A de Matos Pedro, JS Pinto, D Pereira, LM Pinho
International Journal on Software Tools for Technology Transfer 20 (4), 379-395, 2018
62018
SMT-based Schedulability Analysis using RMTL-∫
A Pedro, D Pereira, LM Pinho, JS Pinto
IEEE Real-Time Systems Symposium, 2016
6*2016
The system can't perform the operation now. Try again later.
Articles 1–20