Paulo Salem da Silva
According to our database1,
Paulo Salem da Silva
authored at least 10 papers
between 2005 and 2013.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2013
On-the-fly verification of discrete event simulations by means of simulation purposes: Extended version.
Simul., 2013
An Approach for the Verification of Multi-agent Systems by Formally Guided Simulations.
Proceedings of the 2013 IEEE/WIC/ACM International Conferences on Intelligent Agent Technology, 2013
Proceedings of the 2013 IEEE/WIC/ACM International Conferences on Intelligent Agent Technology, 2013
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).
PhD thesis, 2011
On-the-fly verification of discrete event simulations by means of simulation purposes.
Proceedings of the 2011 Spring Simulation Multi-conference, 2011
2010
Proceedings of the Formal Methods: Foundations and Applications, 2010
2008
Proceedings of the Eleventh Brazilian Symposium on Formal Methods, 2008
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008
2007
Proceedings of the Fundamental Approaches to Software Engineering, 2007
2005
Proceedings of the On the Move to Meaningful Internet Systems 2005: CoopIS, 2005