Publications
- M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and
C. Schifanella.
Verifying the conformance
of web services to global interaction protocols: a first step.
In M. Bravetti and G. Zavattaro, editors, Proc. of 2nd Int. Workshop on
Web Services and Formal Methods, WS-FM 2005, volume 3670 of
LNCS, pages 257-271. Springer, Versailles, France, September,
2005.
(PDF)
- M. Baldoni and E. Marengo.
Curriculum Model Checking:
Declarative Representation and Verification of Properties.
In E. Duval, R. Klamma, and M. Wolpers, editors, Proc. of EC-TEL 2007 -
Second European Conference on Technology Enhanced Learning, volume
4753 of LNCS, pages 432-437. Springer, 2007.
(PDF)
- M. Baldoni,
C. Baroglio, and E. Marengo.
Curricula
Modeling and Checking.
In R. Basili and M. T. Pazienza, editors, Proc. of AI*IA 2007: Advances
in Artificial Intelligence, 10th Congress of the Italian Association for
Artificial Intelligence, volume 4733 of LNAI, pages
471-482, Rome, Italy, September 2007. Springer.
(PDF)
- M. Baldoni,
C. Baroglio, A. Martelli, and Patti.
Verification
of protocol conformance and agent interoperability.
In F. Toni and P. Torroni, editors, Post-Proc. of Sixth International
Workshop on Computational Logic in Multi-Agent Systems, CLIMA VI,
volume 3900 of LNCS State-of-the-Art Survey, pages 265-283.
Springer, 2006.
(PDF)
- M. Baldoni,
C. Baroglio, A. Martelli, and V. Patti.
Conformance
and Interoperability in Open Environments.
In F. De Paoli, A. Di Stefano, A. Omicini, and C. Santoro, editors, Proc.
of WOA 2006: Dagli oggetti agli agenti, Sistemi GRID, P2P e Self-*,
volume 204 of CEUR, Workshop Proceedings, Catania, Italy,
September 2006.
(PDF)
- M. Baldoni,
C. Baroglio, A. Martelli, and V. Patti.
A priori conformance verification for
guaranteeing interoperability in open environments.
In A. Dan and W. Lamersdorf, editors, Proc. of the 4th International
Conference on Service Oriented Computing, ICSOC 2006, volume 4294 of
LNCS, pages 339-351, Chicago, USA, December 2006. Springer.
(PDF)
- M. Baldoni,
C. Baroglio, A. Martelli, and V. Patti.
A priori conformance verification for guaranteeing interoperability in open
environments.
Technical Report RT 93/06, Dipartimento di Informatica, UNiversità degli
Studi di Torino, July 3rd 2006.
(PDF)
- M. Baldoni,
C. Baroglio, A. Martelli, V. Patti, and L. Torasso.
Verifying the
compliance of personalized curricula to curricula models in the semantic
web.
In M. Bouzid and N. Henze, editors, Proc. of the Semantic Web
Personalization Workshop, held in conjuction with the 3rd European Semantic
Web Conference, pages 53-62, Budva, Montenegro, 2006.
(PDF)
- M. Baldoni,
C. Baroglio, A. Martelli, V. Mascardi, V. Patti, C. Schifanella, and
L. Torasso.
Personalization, verification and
conformance for logic-base communicating agents.
In F. Corradini, F. De Paoli, E. Merelli, and A. Omicini, editors,
Proc. of WOA 2005: Dagli oggetti agli agenti, simulazione e analisi
formale di sistemi complessi, Camerino, Italy, november 2005. Pitagora
Editrice Bologna.
(PDF)
- M. Baldoni,
C. Baroglio, A. Martelli, and V. Patti.
Verification of protocol
conformance and agent interoperability.
In F. Toni and P. Torroni, editors, Pre-proc. of Sixth International
Workshop on Computational Logic in Multi-Agent Systems, CLIMA VI,
pages 12-27, London, UK, June 2005.
(PDF)
- M. Baldoni,
C. Baroglio, A. Martelli, V. Patti, and C. Schifanella.
Verifying
protocol conformance for logic-based communicating agents.
In J. Leite and P. Torroni, editors, Post Proc. of Fifth International
Workshop on Computational Logic in Multi-Agent Systems, CLIMA V,
volume 3487 of LNAI, pages 192-212. Springer, 2005.
(PDF)
- M. Baldoni,
C. Baroglio, A. Martelli, V. Patti, and C. Schifanella.
Verifying
protocol conformance for logic-based communicating agents.
In J. Leite and P. Torroni, editors, Pre-Proc. of Fifth International
Workshop on Computational Logic in Multi-Agent Systems, CLIMA V, pages
82-97, Lisbon, Portugal, September 2004.
(PDF)
|