Tese e Dissertação

Tese
From a Conceptual Framework for Agents and Objects to a Multi-Agent System Modeling Language, D.Sc., Advisor Professor Carlos J. P. de Lucena, Computer Science Department, PUC-Rio, 03/2004.

Dissertação
ContentNet: a Framework for Interoperability of Educational Contents based on IMS pattern, M.Sc., Advisor Professor Carlos J. P. de Lucena, Computer Science Department, PUC-Rio, 03/2000.

Revistas

1. Silva, V.; Choren R.; Lucena, C. "MAS-ML: A Multi-Agent System Modelling Language", In International Journal of Agent-Oriented Software Engineering, Special Issue on Modeling Languages for Agent Systems, Inderscience Publishers, vol.2, no.4, pp. 382-421, 2008.
2. Silva, V. "From the Specification to the Implementation of Norms: An Automatic Approach to Generate Rules from Norms to Govern the Behaviour of Agents", In International Journal of Autonomous Agents and Multi-Agent Systems, Special Issue on Norms in Muli-Agent Systems, volume 17, number 1, Springer-Verlag, pp. 113-155, 2008. ISSN 1387-2532 (ISI Impact factor: 1.974, Qualis: A)
3. Silva, V.; Duran, F.; Guedes, J., Lucena, C. "Governing Multi-Agent Systems", In Journal of Brazilian Computer Society, special issue on Software Engineering for Multi-Agent Systems, number 2 volume 13, SBC, pp. 19-34, 2007. ISSN 0104-6500 (Qualis: B)
4. Silva, V.; Lucena, C. "Modeling Multi-Agent Systems", In Communications of the ACM, volume 50, number 5, ACM Press, pp. 103-108, May 2007. ISSN: 0001-0782, (ISI impact factor: 1.5, Qualis: A)
5. Silva, V; DeMaria, B.; Lucena, C. "A MDE-Based Approach for Developing Multi-Agent Systems". In Electronic Communication of the European Association of Software and Technology (EASST): Software Evolution through Transformations, vol. 3, 2006. ISSN 1863-2122.
6. Sardinha, J; Choren, R; Silva, V.; Milidiu, R.; Lucena, C. “A Combined Specification Language and Development Framework for Agent-based Application Engineering”, Journal of System and Software, Elsevier, Vol 79/11, pp 1565-1577, 2006. ISBN: 0164-1212
7. Silva, V.; Lucena, C. "From a Conceptual Framework for Agents and Objects to a Multi-Agent System Modeling Language", In: Sycara, K., Wooldridge, M. (Edts.), Journal of Autonomous Agents and Multi-Agent Systems, Kluwer Academic Publishers, ISSN 1387-2532, pp. 145-189, volume 9, issue 1-2, July - September, 2004.
8. Garcia, A.; Silva, V.; Chavez, C.; Lucena, C.. "Engineering Multi-Agent Object-Oriented Systems: An Aspect-Based Approach". In: Journal of the Brazilian Computer Society, SBC, Special Issue on Databases / Software Engineering, n1, vol. 8, pp. 57-72, July, 2002.
9. Silva, V. T.; Lucena, C. J. P.; Fuks, H.. "ContentNet: a framework for the interoperability of educational content using standard IMS" In: Computer & Education: An International Journal, vol 37/3-4, pp 273-295. Press: Elsevier Science, 2001.

Capítulos de Libro

1. Silva, V; Hermoso, R.; Centeno, R. "A Hybrid Reputation Model Based on the Use of Organization", J. Hubner, E. Matson, O. Boissier, V. Dignum (Edts.) Coordination, Organizations, Institutions, and Norms in Agent Systems III. (COIN@AAMAS 2007 post-proceedings), LNAI 5428, Springer-Verlag, 2009.
2. Costa, A; Lucena, C; Silva, V.; Azevedo, S.; Soares, F. "Art Competition: Agent Designs to Handle Negotiation Challenges" Falcone, R.; Barber, S.K.; Sabater-Mir, J.; Singh, M.P (Edts.) Trust in Agent Society (TRUST@AAMAS 2008 post-proceedings), LNAI 5396, Springer-Verlag, pp. 244-272, 2008. ISBN: 978-3-540-92802-7 (Qualis A)
3. Silva, V. "Implementing Norms that Govern Non-Dialogical Actions" In: Sichman, J., Noriega, P.; Padget, J. and Ossowski, S., (Edts.) Coordination, Organizations, Institutions, and Norms in Agent Systems III. (COIN@AAMAS 2007 post-proceedings), LNCS 4870, Springer-Verlag, pp. 232-244, 2008. ISBN: 978-3-540-79002-0 (Qualis: A)
4. Duran, F; Silva, V.; Lucena, C. "Using Testimonies to Enforce the Behaviour of Agents" In: Sichman, J., Noriega, P.; Padget, J. and Ossowski, S., (Edts.) Coordination, Organizations, Institutions, and Norms in Agent Systems III. (COIN@AAMAS 2007 post-proceedings), LNCS 4870, Springer-Verlag, pp. 218-231, 2008. ISBN: 978-3-540-79002-0 (Qualis: A)
5. Silva, V.; Choren, R.; Lucena, C. "Modeling MAS Properties with MAS-ML Dynamic Diagrams " In: Kolp, M.; Garcia, A.; Ghoze, C.; Bresciani, P.; Henderson-Sellers, B.; Mouratidis, XX. (Eds.), Agent Oriented Information Systems IV: Proc. of the 8th International Bi-Conference Workshop (AOIS@AAMAS S 2006 post-proceedings), LNCS 4898, Springer-Verlag, pp. 1-18, 2008. ISBN: 978-3-540-77989-6 (Qualis: A)
6. Guedes, J.; Silva, V.; Lucena, C. "A Reputation Model Based on Testimonies" In: Kolp, M.; Garcia, A.; Ghoze, C.; Bresciani, P.; Henderson-Sellers, B.; Mouratidis, A. (Eds.), Agent Oriented Information Systems IV: Proc. of the 8th International Bi-Conference Workshop (AOIS@AAMAS 2006 post-proceedings), LNCS 4898, Springer-Verlag, pp. 37-52, 2008. ISBN: 978-3-540-77989-6 (Qualis: A)
7. Brandão, A.; Silva, V.; Lucena, C. "Observed-MAS: an Ontology-based Method for Analyzing Multi-Agent Systems Design Models", In: Agent-Oriented Software Engineering (AOSE@AAMAS06 post-proceedings), LNCS 4405, Springer-Verlag, pp 122-139, 2007. ISBN: 978-3-540-70944-2. (Qualis: A)
8. Silva, V.; Choren, R.; C.; Lucena, C. "Using the MAS-ML to Model a Multi-Agent System" In: Lucena, C.; Garcia, A.; Romanovsky, A.; Castro J., Alencar, P. (Eds.), Software Engineering for Multi-Agent Systems II, Springer-Verlag, LNCS 2940, pp. 129-148, 2004.
9. Garcia, A; Sant'anna, C.; Chavez, C.; Silva, V; Staa, A; Lucena, C. "Separation of Concerns in Multi-Agent Systems: An Empirical Study" In: Lucena, C.; Garcia, A.; Romanovsky, A.; Castro J., Alencar, P. (Eds.), Software Engineering for Multi-Agent Systems II. Springer-Verlag, LNCS 2940, pp. 49-72, 2004.
10. Silva, V.; Garcia, A.; Brandao, A.; Chavez, C.; Lucena, C.; Alencar, P. "Taming Agents and Objects in Software Engineering" In: Garcia, A.; Lucena, C.; Zamboneli, F.; Omicini, A; Castro, J. (Eds.), Software Engineering for Large-Scale Multi-Agent Systems, Springer-Verlag, LNCS 2603, pp. 1-26, 2003.

Conferências e Simpósios

1. Costa, A., Lucena, C., Silva, V., Alencar, P. "A Hybrid Diagnostic-Recommendation System for Agent Execution in Multi-Agent Systems". In International Conference on Software and Data Techniques (ICSOFT), July 05-08, Porto, Portugal, pp. 159- 168, 2008. ISBN: 978-989-8111-51-7 (Qualis: A)
2. Clavel, M.; Silva, V.; Braga, C.; Egea, M. "Model-Driven Security in Practice: an Industrial Experience" In the Fourth European Conference on Model Driven Architecture Foundations and Applications (ECMDA): Industrial Track, Springer-Verlag, LNCS 5095, pp. 326-337, 2008. ISBN 978-3-540-69095-5. (Qualis: A)
3. Brandão, A.; Silva, V.; Lucena, C. “Multi-Agent System Design Verification Using Knowledge-based Reasoning” In: Proceedings of the 11th International Conference on Software Engineering and Knowledge Engineering (SEKE 2005), Taipei- Republic of China, pp. 602-607, 2005. ISBN 1-891706-16-0.
4. Silva, V.; Choren, R.; Lucena, C. “Using the UML 2.0 Activity Diagram to Model Agent Plans and Actions” In: Proceeding of the fourth International Conference on Autonomous Agents and Multi-Agents Systems (AAMAS 2005), July 25-29, Utrecht, Netherlands, pp. 594-600, 2005. ACM Press 2005, ISBN 1-59593-094-9.
5. DeMaria, B.; Silva, V.; Lucena, C. "MDA Based Approach for Developing Multi-Agent Systems" In: Proceeding of the CAiSE Forum, June, Porto, Portugal, 2005.
6. Silva, V.; Choren, R.; Lucena, C. "A UML Based Approach for Modeling and Implementing Multi-Agent Systems" In: Proceeding of the third International Conference on Autonomous Agents and Multi-Agents Systems, vol. 2, pp. 914-921, July, New York, USA, 2004.
7. Silva, V.; Lucena, C. "MAS-ML: A Multi-Agent System Modeling Language", In: Doctoral Symposium Session at OOPSLA'03. October, 26-30. Anaheim, California, USA, 2003, pp.126-127.
8. Garcia, A; Silva, V.; Lucena, C.; Milidiu, R. "An Aspect-Based Approach for Developing Multi-Agent Object-Oriented Systems" In: Proceedings of Software Engineering Brazilian Symposium (SBES). Rio de Janeiro, Brazil, pp.177-192, 2001. Nomination for Best paper Award. (Qualis: A)
9. Lucena, C. J. P.; Fuks, H.: Laufer, C.; Bois, M.; Choren, R.; Torres, V.; Assis, R.; Ferraz, F.; Robichez, G.; Daflon L. "Applying Digital Information Technology to Education: A Web-based Course." In: Proceedings International Conference on Engineering and Computer Education (ICECE), 2000. (Qualis: A)
10. Choren, R.; Laufer, C.; Blois, M.; Torres, V.; Ferraz, F.; Robichez, G.; Daflon, L; Lucena, C. J. P.; Fuks, H.; Milidiu, R.. "Orchestrating technology for web based education." In: Proceedings of Americas Conference on Information Systems (Amcis), Cancun, 1999, pp.130-132 (Qualis: C nacional)
11. Lucena, C. J. P.; Fuks, H.; Milidiu, R.; Laufer, C.; Blois, M.; Choren, R.; Torres, V.; Ferraz, F.; Robichez, G.; Daflon, L.. "AulaNet e as novas tecnologias aplicadas a Educação Baseada na Web" In: Proceedings of the Fifth International Conference of Web-based Education (abed), Rio de Janeiro, 1999. (Qualis: D nacional)
12. Lucena, C. J. P.; Fuks, H.; Milidiu, R.; Laufer, C.; Blois, M.; Choren, R.; Torres, V.; Ferraz, F.; Robichez, G.; Daflon, L.. "AulaNet technologies: future trends." In: International Conference on Engineering and Computer Education (ICECE), Rio de Janeiro, 1999. (Qualis: A)
13. Lucena, C. J. P.; Fuks, H.; Milidiu, R.; Laufer, C.; Blois, M.; Choren, R.; Torres, V.; Ferraz, F.; Robichez, G.; Daflon, L.. "AulaNet: Ajudando Professores a Fazerem seu Dever de Casa" In: Anais do XXVI Seminário Integrado de Software e hardware -SEMISH, Rio de Janeiro, Brasil, 1999, pp. 105-117 (Qualis: B / SEMISH'2002)
14. Lucena, C. J. P.; Fuks, H.; Milidiu, R.; Laufer, C.; Blois, M.; Fontoura, M. F. M. C.; Choren, R.; Crespo, S; Silva, V. "AulaNet: An Environment for the Development and Maintenance of Courses on the Web" In: International Conference on Engineering Education (ICEE), Rio de Janeiro, 1998. (Qualis: D) (http://www.ctc.puc-rio.br/icee-98/Icee/papers/369.pdf)

Workshops

1. Silva, V; Hermoso, R.; Centeno, R. "A Hybrid Reputation Model Based on the Use of Organization", In Proceedings of Workshop on Coordination, Organization, Institutions and Norms in agent systems (COIN 08) at International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS08), Estoril, Portugal, pp. 135-151, 2008.
2. Costa, A; Lucena, C; Silva, V.; Azevedo, S.; Soares, F. "Computing Reputation in the Art Context: Agent Design to Handle Negotiation Challenges", In Proceedings of the Eleventh International Workshop on Trust in Agent Societies (TRUST08) at International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS08), Estorial, Portugal, pp. 121-131, 2008.
3. Silva, V. "Implementing Norms that Govern Non-Dialogical Actions" In Proceedings of Workshop on Coordination, Organization, Institutions and Norms in agent systems (COIN 07) at International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS07), Honolulu, Hawaii, May 14, pp. 37-48, 2007 AND In Dagstuhl Seminar Proceedings, Schloss Dagstuhl, Germany, number 07122, 2007, ISSN: 1862-4405. (http://drops.dagstuhl.de/opus/volltexte/2007/927)
4. Duran, F.; Silva, V.; Lucena, C. "Using Testimonies to Enforce the Behavior of Agents" In Proceedings of Workshop on Coordination, Organization, Institutions and Norms in agent systems (COIN 07) at International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS07), Honolulu, Hawaii, May 14, pp. 25-36, 2007.
5. Clavel, M.; Egea, M.; Silva, V. "The MOVA Tool: A Rewriting-Based UML Modeling, Measuring, and Validation Tool", In Workshop de Demonstraciones de Herramientas de las Jornadas de Ingeniería del Software y Bases de Datos, Septiembre 11, Zaragoza, Spain, pp. 393-394, 2007. ISBN: 978-84-9732-595-0
6. Silva, V; DeMaria, B.; Lucena, C. “An MDA-Based Approach for Developing Multi-Agent Systems”. In Proceedings of 3rd Workshop on Software Evolution through Transformations (SeTra 2006) at the 3rd International Conference on Graph Transformation (ICGT 2006), Brazil, September 21-22, vol 3, pp 115-126, 2006.
7. Guedes, J.; Silva, V.; Lucena, C. “A Reputation Model Based on Testimonies” In: Workshop on Agent-Oriented Information System, (AOIS@CAiSE) at The 18th Conference on Advanced Information Systems Engineering (CAiSE`06), Luxembourg, June 6, 2006.
8. Silva, V.; Choren, C.; Lucena, C. “Using MAS-ML Dynamic Diagrams to Model?MAS Behavioral Properties”, In: Workshop on Agent-Oriented Information System, (AOIS@AAMAS) at International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS06), Japan, May 9, 2006.
9. Brandão, A.; Silva, V.; Lucena, C. “An Ontology-based Method for Analyzing Multi-Agent Systems Design Models”, In: Workshop on Agent-Oriented Software Engineering (AOSE@AAMAS) at International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS06), Japan, May 8, 2006.
10. Silva, V.; Lucena, C. "Classifying and Verifying Agent Contracts", In Proceeding of the Workshop on Agents, Norms and Institutions for Regulated Multiagent Systems (ANI@REM) at International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS05), Utrecht, Netherlands, 2005.
11. Paes, R.; Carvalho, G.; Lucena, C.; Alencar, P.; Almeida, H; Silva, V. "Specifying Laws in Open Multi-Agent Systems", In Proceeding of the Workshop on Agents, Norms and Institutions for Regulated Multiagent Systems (ANI@REM) at International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS05), Utrecht, Netherlands, 2005.
12. Brandão, A.A.F., Silva, V., Lucena, C. J. P. "Ontologies as Specifications for the Verification of Multi-Agent Systems Design", Workshop on Ontologies as Software Engineering Artifacts, Outubro 24-28, Vancouver, OOPSLA 2004.
13. Garcia, A.; Sant'anna, C.; Chavez, C.; Silva, V.; Lucena, C.; Staa, A.; "Agents and Objects: An Empirical Study on the Design and Implementation of Multi-Agent Systems", In: ACM International Conference on Software Engineering, Proceedings on 2nd International Workshop on of Software Engineering for Large-scale Multi-Agent Systems (SELMAS), Portland, USA, 2003.
14. Garcia, A.; Chavez, C.; Silva, O.; Silva, V.; Lucena, C. "Promoting Advance Separation of Concerns in Intra-Agent and Inter-Agent Software Engineering". In: Proceedings of the OOPSLA 2001 Workshop on Advanced Separation of Concerns in OO Systems , Tampa, Florida, USA, October 14-18, 2001.

Posters