Source: https://sysma.imtlucca.it/cina/doku.php?id=wp2_list
Timestamp: 2019-04-18 21:12:47+00:00

Document:
D. Ancona, A. Ferrando, V. Mascardi: Comparing Trace Expressions and Linear Temporal Logic for Runtime Verification. Theory and Practice of Formal Methods 2016: 47-64, LNCS 9660, Springer 2016.
D. Ancona, D. Briola, A. El Fallah-Seghrouchni, V. Mascardi, P. Taillibert: Exploiting Prolog for Projecting Agent Interaction Protocols. CILC 2014: 30-45, CEUR-WS 2014.
D. Ancona, D. Briola, A. El Fallah-Seghrouchni, V. Mascardi, Patrick Taillibert: Efficient Verification of MASs with Projections. EMAS@AAMAS 2014: 246-270, LNCS 8758, Springer 2014.
D. Ancona, D. Briola, A. Ferrando, V. Mascardi: Global Protocols as First Class Entities for Self-Adaptive Agents. AAMAS 2015: 1019-1029, International Foundation for Autonomous Agents and Multiagent Systems, 2015.
D. Ancona, D. Briola, A. Ferrando, V. Mascardi: Runtime verification of fail-uncontrolled and ambient intelligence systems: A uniform approach. Intelligenza Artificiale 9(2): 131-148, 2015.
D. Ancona, D. Briola, V. Mascardi: Protocols with Exceptions, Timeouts, and Handlers: A Uniform Framework for Monitoring Fail-Uncontrolled and Ambient Intelligence Systems. WOA 2015: 65-75, CEUR-WS 2015.
D. Ancona, M. Barbieri, V. Mascardi: Constrained global types for dynamic checking of protocol conformance in multi-agent systems. SAC 2013: 1377-1379, ACM 2013.
D. Briola, V. Mascardi, D. Ancona: Distributed Runtime Verification of JADE Multiagent Systems. IDC 2014: 81-91, Studies in Computational Intelligence 570, Springer 2014.
D. Briola, V. Mascardi, D. Ancona: Distributed Runtime Verification of JADE and Jason Multiagent Systems with Prolog. CILC 2014: 319-323, CEUR-WS 2014.
E. Giachino, I. Lanese, C.A. Mezzina, F. Tiezzi: Causal-Consistent Reversibility in a Tuple-Based Language. PDP 2015: 467-475, IEEE 2015.
F. Barbanera, M. Dezani-Ciancaglini and U. de' Liguoro: Compliance for reversible client/server interactions. BEAT'14: 35–42, EPTCS 162, 2014.
F. Barbanera, M. Dezani-Ciancaglini, I. Lanese and U. de' Liguoro: Retractable Contracts, PLACES 2015: 61-72, EPTCS 203, 2016.
F. Tiezzi, N. Yoshida: Reversible session-based pi-calculus. J. Log. Algebr. Meth. Program. 84(5): 684-707, Elsevier 2015.
F. Tiezzi, N. Yoshida: Towards Reversible Sessions. PLACES 2014: 17-24, EPTCS 155, 2014.
I. Lanese, C.A. Mezzina, F. Tiezzi: Causal-Consistent Reversibility. Bulletin of the EATCS 114, 2014.
L. Padovani. Fair Subtyping for Open Session Types. ICALP'13: 373-384, Lecture Notes in Computer Science 7966, Springer, 2013.
M. Dezani-Ciancaglini, L. Padovani and J. Pantovic. Session Type Isomorphisms. PLACES'14:61-71, EPTCS 155, 2014.
R.B. Uriarte, F. Tiezzi, R. De Nicola: SLAC: A Formal Service-Level-Agreement Language for Cloud Computing. UCC 2014: 419-426, IEEE 2014.
T.C. Chen, M. Dezani-Ciancaglini and N. Yoshida. On the Preciseness of Subtyping in Session Types. PPDP'14:135-146, ACM Press, 2014.
U. Montanari, R. Pugliese, F. Tiezzi: Programming Autonomic Systems with Multiple Constraint Stores. Software, Services, and Systems 2015: 641-661, Lecture Notes in Computer Science 8950, Springer 2015.
V. Mascardi, D. Ancona, M. Barbieri, R. H. Bordini, A. Ricci: CooL-AgentSpeak: Endowing AgentSpeak-DL agents with plan exchange and ontology services. Web Intelligence and Agent Systems 12(1): 83-107, 2014.
V. Mascardi, D. Ancona: Attribute Global Types for Dynamic Checking of Protocols in Logic-based Multiagent Systems. TPLP 13(4-5-Online-Supplement), 2013.
V. Mascardi, D. Briola, D. Ancona: On the Expressiveness of Attribute Global Types: The Formalization of a Real Multiagent System Protocol. AI*IA 2013: 300-311, LNCS 8249, 2013.

References: V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 

V. 

V. 

V.