You may wish to see my Google Scholar profile and Lattes Curriculum as well.

Paulo Salem. The case for experiment-oriented computing. In: Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. ACM, 2018. [Official page] [Local download]

Also check out my page dedicated to Experiment-Oriented Computing.

Paulo Salem. User Interface Optimization Using Genetic Programming with an Application to Landing Pages. In: Proc. ACM Hum.-Comput. Interact. 1, vol. 1. ACM, 2017. [Official page] [Local download] [Presentation deck (pptx)] [Presentation deck (pdf)]

Paulo Salem. Practical Programming, Validation and Verification with Finite-State Machines: a Library and its Industrial Application. In: Proceedings of the 38th International Conference on Software Engineering Companion. ACM, 2016. [Official page] [Local download]

Paulo Salem e Ana C. V. de Melo. On-the-fly verification of discrete event simulations by means of simulation purposes: Extended version. In: Simulation 8, pp. 977 — 1008. Sage, 2013. [Official page] [Local Download]

Paulo Salem e Ana C. V. de Melo. Behaviorist Agent Architecture. In: Proceedings of the 2013 IEEE/WIC/ACM International Conferences on Intelligent Agent Technology (IAT 2013). IEEE Computer Society, 2013. [Official page] [Local Download]

Paulo Salem e Ana C. V. de Melo. An Approach for the Verification of Multi-agent Systems by Formally Guided Simulations. In: Proceedings of the 2013 IEEE/WIC/ACM International Conferences on Intelligent Agent Technology (IAT 2013). IEEE Computer Society, 2013. [Official page] [Local download]

Paulo Salem. Verification of Behaviourist Multi-Agent Systems by means of Formally Guided Simulations. Fevereiro, 2012. Joint PhD thesis between the University of São Paulo and Université Paris-Sud.

http://www.teses.usp.br/teses/(…)en.php

https://tel.archives-ouvertes.fr/tel-00656809/

Paulo Salem e Ana C. V. de Melo. On-The-Fly Verification of Discrete Event Simulations by Means of Simulation Purposes. In: Proceedings of the 2011 Spring Simulation Multiconference (SpringSim’11). The Society for Modeling and Simulation International, 2011. [Official page] [Local download]

Paulo Salem e Ana C. V. de Melo. A Formal Environment Model for Multi-Agent Systems. In: Formal Methods: Foundations and Applications, Jim Davies, Leila Silva et al.(eds.) , vol. 6527 de Lecture Notes in Computer Science , pp. 64-79. Springer Berlin / Heidelberg, 2011. [Official page] [Local download]

An Environment Specification Language for Multi-Agent Systems. Université Paris-Sud 11, Laboratoire de Recherche en Informatique, 2009. Technical Report.

Alvaro Heiji Miyazawa, Paulo Salem e Ana C. V. de Melo. From Z Specifications to Java Implementations and Back. In: Proceedings of the Fifth European Conference on Model-Driven Architecture — Traceability Workshop (EMCDA-TW 2009), Jon Oldevik, Gøran K. Olsen et al. (eds.) , pp. 49 – 58. Centre for Telematics and Information Technology, 2009. [Local download]

Paulo Salem e Ana C. V. de Melo. Model Checking Merged Program Traces. In:Proceedings of the Eleventh Brazilian Symposium on Formal Methods (SBMF 2008), vol. 240 de Electronic Notes in Theoretical Computer Science (ENTCS) , pp. 97 – 112. Elsevier Science Publishers B. V., Amsterdam. 2009. [Official page] [Local download]

Alvaro Heiji Miyazawa, Paulo Salem e Ana C. V. de Melo. JZed-Gen: Towards Pragmatical Generation of Software from Z Specifications. In:Demonstration Track Proceedings of the Brazilian Symposium on Formal Methods. 2009. A paper to go with a demonstration of our tool. [Local download]

Paulo Salem e Ana C. V. de Melo. Reusing Models in Multi-Agent Simulation with Software Components. In: Proc. of 7th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2008), Padgham, Parkes et al. (eds.) , pp. 1137 – 1144. International Foundation for Autonomous Agents and Multiagent Systems, 2008. [Official page] [Local download]

Paulo Salem e Ana C. V. de Melo. A Simulation-Oriented Formalization for a Psychological Theory. In: Proceedings of Fundamental Approaches to Software Engineering (FASE 2007), Matthew B. Dwyer e Antonia Lopes (eds.) , vol. 4422 de Lecture Notes in Computer Science , pp. 42 – 56. Springer-Verlag, 2007. [Official page] [Local download]

Paulo Salem e Ana C. V. de Melo. An Ontology for Mobile Agents in the Context of Formal Verification. In: OTM Confederated International Conferences Proceedings Part II, R. Meersman e Z. Tari (eds.) , vol. 3761 de Lecture Notes in Computer Science, pp. 1500 – 1516. Springer-Verlag, 2005. [Official page] [Local download]