An Ontology for Mobile Agents in the Context of Formal Verification. - Paulo Salem da Silva; Ana Cristina Vieira de Melo (OTM Conferences (2), 2005)

A Simulation-Oriented Formalization for a Psychological Theory. - Paulo Salem da Silva; Ana Cristina Vieira de Melo (FASE, 2007)

Reusing models in multi-agent simulation with software components. - Paulo Salem da Silva; Ana Cristina Vieira de Melo (AAMAS (2), 2008)

Model Checking Merged Program Traces. - Paulo Salem da Silva; Ana Cristina Vieira de Melo (SBMF, 2008)

A Formal Environment Model for Multi-Agent Systems. - Paulo Salem da Silva; Ana Cristina Vieira de Melo (SBMF, 2010)

On-the-fly verification of discrete event simulations by means of simulation purposes. - Paulo Salem da Silva; Ana Cristina Vieira de Melo (SpringSim (TMS-DEVS), 2011)

Vérification des systèmes multi-agents comportementalistes par le moyen des simulations formellement guidées. (Verification of behaviourist multi-agent systems by means of formally guided simulations). - Paulo Salem da Silva (2011)

Behaviorist Agent Architecture. - Paulo Salem da Silva; Ana Cristina Vieira de Melo (IAT, 2013)

An Approach for the Verification of Multi-agent Systems by Formally Guided Simulations. - Paulo Salem da Silva; Ana Cristina Vieira de Melo (IAT, 2013)

On-the-fly verification of discrete event simulations by means of simulation purposes: Extended version. - Paulo Salem da Silva; Ana Cristina Vieira de Melo (Simul., 2013)