M
Marc-Philippe Huget
Researcher at University of Liverpool
Publications - 21
Citations - 660
Marc-Philippe Huget is an academic researcher from University of Liverpool. The author has contributed to research in topics: Interaction protocol & Unified Modeling Language. The author has an hindex of 13, co-authored 21 publications receiving 651 citations.
Papers
More filters
Proceedings ArticleDOI
Model checking multi-agent systems with MABLE
TL;DR: MABLE is a language for the design and automatic verification of multi-agent systems, and makes use of the spin model checker to automatically verify the truth or falsity of claims.
Proceedings ArticleDOI
Representing Agent Interaction Protocols with Agent UML
Marc-Philippe Huget,James Odell +1 more
TL;DR: The second version of the Agent UML interaction diagrams dedicated to interaction protocols and based on UML 2.0 is presented.
Book ChapterDOI
Agent UML class diagrams revisited
TL;DR: This work presents a mechanism for dynamic role-playing specification within a formal framework which can express Multi-Agent Systems aspects and composes Object-Z and statecharts.
Journal ArticleDOI
Model checking for multiagent systems: the mable language and its applications
TL;DR: MABLE is presented, a fully implemented programming language for multiagent systems, which is intended to support the automatic verification of such systems via model checking and provides a number of agent-oriented development features.