| 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 | 96 | 2007 |
| Towards an architecture for emotional BDI agents D Pereira, E Oliveira, N Moreira, L Sarmento 2005 portuguese conference on artificial intelligence, 40-46, 2005 | 88 | 2005 |
| 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 | 30 | 2010 |
| 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 | 29 | 2019 |
| 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 | 24 | 2017 |
| 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 | 23 | 2015 |
| 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 | 22 | 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 | 19 | 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 | 18 | 2015 |
| 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 | 16 | 2016 |
| 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 | 16 | 2015 |
| 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 | 13 | 2016 |
| 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 | 11 | 2021 |
| 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 | 11 | 2018 |
| 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 | 11 | 2018 |
| KAT and PHL in Coq D Pereira, N Moreira Computer Science and Information Systems 5 (2), 137-160, 2008 | 11 | 2008 |
| 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 | 9 | 2020 |
| 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 | 9 | 2014 |
| 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 | 8 | 2016 |
| 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 | 8 | 2014 |
Luis Miguel PinhoISEP, Polytechnic Institute of Porto, & INESC TEC, Porto, PortugalE-mail megerősítve itt: isep.ipp.pt
