Publications by Abushark, Y

Browse Results (8 results found)

Subscribe to the RSS feed for this result setSubscribe to the RSS feed for this result set

Refine

  Abstract Views File Downloads Thomson Reuters Web of Science Citation Count Scopus Citation Count Altmetric Score
Book Chapters (1)
Abushark, Y and Thangarajah, J 2013, 'Propagating AUML protocols to detailed design' in M. Cossentino, A.E.F. Seghrouchni, M. Winikoff (ed.) Engineering multi-agent systems : First International Workshop, EMAS 2013 St. Paul, MN, USA, May 6-7, 2013 Revised Selected Papers, Springer, Heidelberg, Germany, pp. 19-37. 216  
Journal Articles (2)
Abushark, Y, Thangarajah, J, Harland, J and Miller, T 2017, 'A framework for automatically ensuring the conformance of agent designs', Journal of Systems and Software, vol. 131, pp. 266-310. 98   0 0
Abushark, Y, Miller, T, Thangarajah, J, Winikoff, M and Harland, J 2017, 'Requirements specification via activity diagrams for agent-based systems', Autonomous Agents and Multi-Agent Systems, vol. 31, no. 3, pp. 423-468. 60   1 0 1
Conference Papers (5)
Abushark, Y, Thangarajah, J, Miller, T, Winikoff, M and Harland, J 2016, 'Requirements specification in the Prometheus methodology via activity diagrams', in Proceedings of the 2016 International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2016), Singapore, 9-13 May 2016, pp. 1247-1248. 84 52
Abushark, Y, Thangarajah, J, Miller, T, Harland, J and Winikoff, M 2015, 'Early detection of design faults relative to requirement specifications in agent-based models', in Rafael H. Bordini, Edith Elkind, Gerhard Weiss, Pinar Yolum (ed.) Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015), Turkey, Istanbul, 4-8 May 2015, pp. 1073-1079. 194 35
Abushark, Y, Thangarajah, J, Miller, T and Harland, J 2014, 'Checking consistency of agent designs against interaction protocols for early-phase defect location', in Alessio Lomuscio, Paul Scerri, Ana Bazzan, Michael Huhns (ed.) Proceedings of the 13th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), Paris, France, 5 - 9 May 2014, pp. 933-940. 152 45
Abushark, Y, Winikoff, M, Miller, T, Harland, J and Thangarajah, J 2014, 'Checking the correctness of agent designs against model-based requirements', in Torsten Schaub, Gerhard Friedrich, Barry O'Sullivan (ed.) Proceedings of the 21st European Conference on Artificial Intelligence, Prague, Czech Republic, 18-22 August 2014, pp. 953-954. 151   2 Cited 2 times in Scopus2 0
Abushark, Y and Thangarajah, J 2013, 'AUML protocols: from specification to detailed design', in Takayuki Ito, Catholijn Jonker, Maria Gini, Onn Shehory (ed.) Proceedings of the 12th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2013), Minnesota, United States, 6-10 May 2013, pp. 1173-1174. 122 28
© 2014 RMIT Research Repository • Powered by Fez SoftwareContact us