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

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]

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. http://sim.sagepub.com/content/89/8/977

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. http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6690788

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. http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6690799

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

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.

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. http://dx.doi.org/10.1007/978-3-642-19829-8_5

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.

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. http://dx.doi.org/10.1016/j.entcs.2009.05.047

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.

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.

http://dl.acm.org/citation.cfm? (…) 581018

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.

http://link.springer.com/chapter/10.1007%2F978-3-540-71289-3_5

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.