Paulo Salem da Silva

Publication Activity (10 Years)

Years Active: 2005-2013
Publications (10 Years): 0

Top Topics

Bdi Architecture

Crisis Response

Agent Architecture

Discrete Event Simulation

Top Venues

University of Paris-Sud, Orsay, France (PHD)

Education History

University of Paris-Sud, Orsay, France

PHD

Publications

Paulo Salem da Silva, Ana Cristina Vieira de Melo
On-the-fly verification of discrete event simulations by means of simulation purposes: Extended version. Simul. 89 (8) (2013)
Paulo Salem da Silva, Ana Cristina Vieira de Melo
An Approach for the Verification of Multi-agent Systems by Formally Guided Simulations. IAT (2013)
Paulo Salem da Silva, Ana Cristina Vieira de Melo
Behaviorist Agent Architecture. IAT (2013)
Paulo Salem da Silva, Ana Cristina Vieira de Melo
On-the-fly verification of discrete event simulations by means of simulation purposes. SpringSim (TMS-DEVS) (2011)
Paulo Salem da Silva, Ana Cristina Vieira de Melo
A Formal Environment Model for Multi-Agent Systems. SBMF (2010)
Paulo Salem da Silva, Ana Cristina Vieira de Melo
Model Checking Merged Program Traces. Electron. Notes Theor. Comput. Sci. 240 (2009)
Paulo Salem da Silva, Ana Cristina Vieira de Melo
Reusing models in multi-agent simulation with software components. AAMAS (2) (2008)
Paulo Salem da Silva, Ana Cristina Vieira de Melo
A Simulation-Oriented Formalization for a Psychological Theory. FASE (2007)
Paulo Salem da Silva, Ana Cristina Vieira de Melo
An Ontology for Mobile Agents in the Context of Formal Verification. OTM Conferences (2) (2005)