Output details
11 - Computer Science and Informatics
University of South Wales
Return to search
Output 0 of 0 in the submission
Output title
Automated Verification of Multi-Agent Programs
Type
E - Conference contribution
Name of conference/published proceedings
23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008)
Volume number
-
Issue number
-
First page of article
69
ISSN of proceedings
1527-1366
Year of publication
2008
URL
-
Number of additional authors
3
Additional information
<07> The main outcomes of the 30-month EPSRC-funded projects on Model Checking for Agent
Programming Languages presented at the International Conference on Automated Software
Engineering (ASE), the premier conference in its area. Results include an intermediate agent layer for heterogeneous agent execution and model checking. Both are actively used in a variety of international research projects and have lead to AJPF, an Open Source extension to NASAs JPF model checker, and MCAPL used for mobile agent programming. Out of a total of 280
submitted papers only 34 were accepted for presentation with publication as full papers
(acceptance rate: 12%).
Interdisciplinary
-
Cross-referral requested
-
Research group
2 - Intelligent Systems
Citation count
15
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-