Incontro a Alessandria del 17 gennaio 2008
-
M. Baldoni, C. Baroglio, A. Martelli, V. Patti, C. Schifanella:
"Reasoning on web services with choreographies and capabilities"
-
L. Giordano, A. Martelli
"Verifying Agent Conformance with Protocols: an Automata Based Approach"
-
V. Mascardi
"MIUR PRIN 2005 Specification and verification of agent interaction protocols: attività svolte"
-
M. Baldoni, C. Baroglio, G. Berio, E. Marengo
"Curricula Modeling and Checking"
-
S. Bocconi, C. Picardi, X. Pucel, D. Theseider Dupré, L. Travé-Massuyès
"Model-Based Diagnosability Analysis for Web Services"
-
P. Torroni
"B-Tropos : Agent-oriented requirements engineering meets computational logic for declarative business process modelling and verification"
-
E. Lamma, P. Mello, M. Montali, F. Riguzzi, S. Storari
"Inducing Declarative Logic-Based Models from Labeled Traces"
-
M. Montali
"Verification of Declarative Business Processes: An Approach based on Computational Logic"
-
M. Baldoni, C. Baroglio, V. Mascardi
"MALLOW-AWESOME '007, Durham, UK"