Yoosef Abushark

发表

Requirements specification via activity diagrams for agent-based systems

Michael Winikoff, James Harland, John Thangarajah, 2017, Autonomous Agents and Multi-Agent Systems.

Requirements Specification in The Prometheus Methodology via Activity Diagrams

Michael Winikoff, James Harland, John Thangarajah, 2016, AAMAS.

A systematic approach for detecting faults in agent designs

Yoosef Abushark, Yoosef B. Abushark, 2017 .

Checking consistency of agent designs against interaction protocols for early-phase defect location

James Harland, John Thangarajah, Tim Miller, 2014, AAMAS.

Propagating AUML Protocols to Detailed Design

John Thangarajah, Yoosef Abushark, Yoosef B. Abushark, 2013, EMAS@AAMAS.

A Systematic Approach for Detecting Defects in Agent Designs: (Doctoral Consortium)

Yoosef Abushark, 2016, AAMAS.

Early Detection of Design Faults Relative to Requirement Specifications in Agent-Based Models

Michael Winikoff, James Harland, John Thangarajah, 2015, AAMAS.

AUML protocols: from specification to detailed design

John Thangarajah, Yoosef Abushark, 2013, AAMAS.

A framework for automatically ensuring the conformance of agent designs

James Harland, John Thangarajah, Tim Miller, 2017, J. Syst. Softw..

Checking The Correctness of Agent Designs Against Model-Based Requirements

Michael Winikoff, James Harland, John Thangarajah, 2014, ECAI.

AUML Protocols: From Specification to Detailed Design (Extended Abstract)

John Thangarajah, Yoosef Abushark, 2013 .