David Pereira

David Pereira

Instituto Politécnico do Porto - Porto / Portugal
Others
AD Scientific Index ID: 1791435
Polytechnic Institute of Porto
person_outline David Pereira's MOST POPULAR ARTICLES
1-) Formal modelling of emotions in BDI agentsD Pereira, E Oliveira, N MoreiraInternational Workshop on Computational Logic in Multi-Agent Systems, 62-81, 2007962007
2-) Towards an architecture for emotional BDI agentsD Pereira, E Oliveira, N Moreira, L Sarmento2005 portuguese conference on artificial intelligence, 40-46, 2005862005
3-) Partial Derivative Automata Formalized in CoqJB Almeida, N Moreira, D Pereira, SM de SousaImplementation and Application of Automata: 15th International Conference …, 2011302011
4-) Design and implementation of secret key agreement for platoon-based vehicular cyber-physical systemsK Li, W Ni, Y Emami, Y Shen, R Severino, D Pereira, E TovarACM Transactions on Cyber-Physical Systems 4 (2), 1-20, 2019272019
5-) Formal verification of AADL models using UPPAALFS Goncalves, D Pereira, E Tovar, LB Becker2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC), 117-124, 2017272017