User Tools

Site Tools


wp2_list

List of Publications for WG2

A. Marin, S. Rossi: Quantitative Analysis of Concurrent Reversible Computations. FORMATS 2015: 206-221

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: Causal-Consistent Reversible Debugging. FASE 2014: 370-384, Lecture Notes in Computer Science 8411, Springer 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, U. de'Liguoro: Reversible client/server interactions, Formal Aspects of Computing, To appear, DOI 10.1007/s00165-016-0358-2

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. Barbanera, S. van Bakel, U. de'Liguoro: Orchestrated Session Compliance. ICE 2015: 21-36, EPTCS 189 (2015)

F. Barbanera, U. de'Liguoro: Sub-behaviour relations for session-based client/server systems. Mathematical Structures in Computer Science 25(6): 1339-1381 (2015)

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.

F. Barbanera, S. van Bakel, U. de'Liguoro: Orchestrated Session Compliance. ICE 2015, EPTCS 189, 2015: 21-36

I. Lanese, C.A. Mezzina, F. Tiezzi: Causal-Consistent Reversibility. Bulletin of the EATCS 114, 2014.

I. Lanese, G. Zavattaro: Decidability Results for Dynamic Installation of Compensation Handlers. COORDINATION 2013: 136-150, Lecture Notes in Computer Science 7890, Springer 2013

I. Lanese, M. Lienhardt, C. A. Mezzina, A. Schmitt, J.-B. Stefani: Concurrent Flexible Reversibility. ESOP 2013: 370-390, Lecture Notes in Computer Science 7792, Springer 2013

I. Lanese, M. Lienhardt, M. Bravetti, E. Broch Johnsen, R. Schlatte, V. Stolz, G. Zavattaro: Fault Model Design Space for Cooperative Concurrency. ISoLA (2) 2014: 22-36, Lecture Notes in Computer Science 8803, Springer 2014

J. Bessai, A. Dudenhefner, B. Düdder, T.-C. Chen, U. de'Liguoro, Jakob Rehof: Mixin Composition Synthesis Based on Intersection Types. TLCA 2015: LIPICS 38, 2015, 76-91

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.

M. Miculan, Marco Peressotti, and Andrea Toneguzzo: Open transactions on shared memory. In Tom Holvoet and Mirko Viroli, editors, COORDINATION 2015, Proceedings, volume 9037 of Lecture Notes in Computer Science, pages 213–229. Springer, 2015

P. Baldan, S. Crafa: A Logic for True Concurrency. J. ACM 61(4): 24:1-24:36 (2014)

P. Baldan, S. Crafa: Hereditary History-Preserving Bisimilarity: Logics and Automata. APLAS 2014: 469-488

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.

wp2_list.txt · Last modified: 2016/03/18 16:33 by imt