Paulo Salem da Silva

An Approach for the Verification of Multi-agent Systems by Formally Guided Simulations

Paulo Salem da Silva, Ana Cristina Vieira de Melo, P. J. S. Silva, 2013, 2013 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT).

A Formal Environment Model for Multi-Agent Systems

Paulo Salem da Silva, Ana Cristina Vieira de Melo, 2010, SBMF.

A Simulation-Oriented Formalization for a Psychological Theory

Paulo Salem da Silva, Ana Cristina Vieira de Melo, P. J. S. Silva, 2007, FASE.

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, Paulo Salem da Silva, P. D. Silva, 2011 .

Model Checking Merged Program Traces

Paulo Salem da Silva, Ana Cristina Vieira de Melo, 2009, Electron. Notes Theor. Comput. Sci..

Reusing models in multi-agent simulation with software components

Paulo Salem da Silva, Ana Cristina Vieira de Melo, 2008, AAMAS.

Behaviorist Agent Architecture

Paulo Salem da Silva, Ana Cristina Vieira de Melo, P. J. S. Silva, 2013, 2013 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT).

On-the-fly verification of discrete event simulations by means of simulation purposes: Extended version

Paulo Salem da Silva, Ana Cristina Vieira de Melo, P. J. S. Silva, 2013, Simul..

An Ontology for Mobile Agents in the Context of Formal Verification

Paulo Salem da Silva, Ana Cristina Vieira de Melo, 2005, OTM Conferences.