| User interface optimization using genetic programming with an application to landing pages P Salem Proceedings of the ACM on Human-Computer Interaction 1 (EICS), 1-17, 2017 | 22 | 2017 |
| On-the-fly verification of discrete event simulations by means of simulation purposes. PS da Silva, ACV de Melo SpringSim (TMS-DEVS), 238-247, 2011 | 15 | 2011 |
| A simulation-oriented formalization for a psychological theory P Salem da Silva, AC Vieira de Melo International Conference on Fundamental Approaches to Software Engineering …, 2007 | 13 | 2007 |
| Reusing models in multi-agent simulation with software components PS da Silva, ACV de Melo Proceedings of the 7th international joint conference on Autonomous agents …, 2008 | 9 | 2008 |
| Practical programming, validation and verification with finite-state machines: a library and its industrial application P Salem Proceedings of the 38th International Conference on Software Engineering …, 2016 | 8 | 2016 |
| A formal environment model for multi-agent systems PS da Silva, ACV de Melo Brazilian Symposium on Formal Methods, 64-79, 2010 | 8 | 2010 |
| Verification of behaviourist multi-agent systems by means of formally guided simulations PS Da Silva PhD thesis, Instituto de Matemática e Estatıstica, 2012 | 5 | 2012 |
| Jzed-gen: towards pragmatical generation of software from Z specifications AH Miyazawa, PS da Silva, AC de Melo Brazilian symposium on formal methods special tracks, 2008 | 5 | 2008 |
| An approach for the verification of multi-agent systems by formally guided simulations PS da Silva, ACV de Melo 2013 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI …, 2013 | 3 | 2013 |
| Model checking merged program traces PS da Silva, ACV de Melo Electronic Notes in Theoretical Computer Science 240, 97-112, 2009 | 3 | 2009 |
| On-the-fly verification of discrete event simulations by means of simulation purposes: Extended version PS Da Silva, ACV De Melo Simulation 89 (8), 977-1008, 2013 | 2 | 2013 |
| Behaviorist agent architecture PS da Silva, ACV de Melo 2013 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI …, 2013 | 1 | 2013 |
| The case for experiment-oriented computing P Salem Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018 | | 2018 |
| Vérification des systèmes multi-agents comportementalistes par le moyen des simulations formellement guidées PSDS da Silva Université Paris Sud-Paris XI; Universidade de São Paulo (Brésil), 2011 | | 2011 |
| An ontology for mobile agents in the context of formal verification PS da Silva, ACV de Melo OTM Confederated International Conferences" On the Move to Meaningful …, 2005 | | 2005 |
| From Z Specifications to Java Implementations and Back AH Miyazawa, PS da Silva, ACV de Melo | | |
| Verification of Behaviorist Multi-Agent Systems by means of Formally Guided Simulations–PhD Thesis Overview PS da Silva | | |
Ana C V de MeloProfessor de Ciência da Computação, Universidade de São Paulo在 ime.usp.br 的电子邮件经过验证
Ana C V de MeloProfessor de Ciência da Computação, Universidade de São Paulo在 ime.usp.br 的电子邮件经过验证