Software developed by, or with the supervision of, Viviana Mascardi
|
MAS-DRiVE A very first step towards decentralized runtime verification of Agent Interaction Protocols (2016)
|
|
|
Global Types for MASs Our formalism for global types extended with constraints and attributes for dynamic verification of protocol conformance (2012)
|
|
|
CooL-AgentSpeak An extension of JASDL (which is in turn an extension of Jason!) with ontology matching capabilities (2012)
|
|
|
|
|
|
|
CooWS Adaptive BDI agents meet service-oriented computing (2005)
|
|
Please send suggestions and comments to:
Viviana Mascardi viviana.mascardi@unige.it
Last Updated: April, 2013