Towards an architecture for emotional BDI agents D Pereira, E Oliveira, N Moreira, L Sarmento
2005 portuguese conference on artificial intelligence, 40-46, 2005
71 2005 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
56 2007 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
26 2010 Modelling emotional BDI agents D Pereira, E Oliveira, N Moreira
Workshop on Formal Approaches to Multi-Agent Systems (FAMAS 2006), Riva Del …, 2006
25 2006 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
18 2015 Deciding regular expressions (in-) equivalence in Coq N Moreira, D Pereira, SM de Sousa
International Conference on Relational and Algebraic Methods in Computer …, 2012
17 2012 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
15 2015 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
15 2015 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
12 2015 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
10 2018 KAT and PHL in Coq D Pereira, N Moreira
Computer Science and Information Systems 5 (2), 137-160, 2008
10 2008 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
9 2017 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
9 2016 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
7 2014 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
7 2014 Towards certified program logics for the verification of imperative programs DMR Pereira
7 2013 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
6 2018 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
6 2016 Monitoring for a decidable fragment of mtl-∫ AM Pedro, D Pereira, LM Pinho, JS Pinto
Springer Verlag, 2015
6 2015 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
6 2014 
Luis Miguel PinhoProfessor, ISEP, Polytechnic Institute of Porto, Porto, PortugalEmail verificata su isep.ipp.pt
