JADE, TraSMAPI and SUMO: A tool-chain for simulating traffic light control. - Tiago Azevedo; Paulo J. M. de Araújo; Rosaldo J. F. Rossetti; Ana Paula C. Rocha (CoRR, 2016)

Pattern based Web Security Testing. - Paulo J. M. de Araújo; Ana C. R. Paiva (MODELSWARD, 2018)