2015 (v1)
Publication
No description
Uploaded on: April 14, 2023
M
V
MASCARDI , Viviana
Last name: MASCARDI
First name: Viviana
Email: viviana.mascardi@unige.it
Institution: UNIGE
Links
-
-
2016 (v1)Publication
Trace expressions are a compact and expressive formalism, initially devised for runtime verification of agent interactions in multiagent systems, which has been successfully employed to model real protocols, and to generate monitors for mainstream multiagent system platforms, and generalized to support runtime verification of different kinds of...
Uploaded on: April 14, 2023 -
2013 (v1)Publication
This paper introduces Attribute Global Types, an extension inspired by Attribute Grammars to a formalism we have recently proposed for specifying and dynamically verifying multi-party agent interaction protocols. Global types equipped with attributes are more expressive, since they allow parametric specifications of protocols, but despite their...
Uploaded on: April 14, 2023 -
2009 (v1)Publication
No description
Uploaded on: March 31, 2023 -
2012 (v1)Publication
No description
Uploaded on: March 31, 2023 -
2006 (v1)Publication
No description
Uploaded on: April 14, 2023 -
2011 (v1)Publication
No description
Uploaded on: March 31, 2023 -
2004 (v1)Publication
No description
Uploaded on: April 14, 2023 -
2002 (v1)Publication
No description
Uploaded on: April 14, 2023 -
1998 (v1)Publication
No description
Uploaded on: April 14, 2023 -
2007 (v1)Publication
No description
Uploaded on: March 31, 2023 -
2003 (v1)Publication
No description
Uploaded on: March 31, 2023 -
2011 (v1)Publication
No description
Uploaded on: April 14, 2023 -
2000 (v1)Publication
No description
Uploaded on: December 4, 2022 -
2009 (v1)Publication
No description
Uploaded on: March 31, 2023