Source: http://paulosalem.com/publications/
Timestamp: 2019-04-24 22:45:45+00:00

Document:
You may wish to see my Google Scholar profile and Lattes Curriculum as well.
Also check out my page dedicated to Experiment-Oriented Computing.
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.
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.
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.
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.
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.
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.

References: V. 
 V. 
 V. 
 V. 
 V. 
 V.