Author of the publication

Personalization, Verification and Conformance for Logic-based Communicating Agents.

, , , , , , and . WOA, page 177-183. Pitagora Editrice Bologna, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Exploiting MAS-Based Simulation to Improve the Indian Railways' Efficiency., , , and . MATES, volume 8076 of Lecture Notes in Computer Science, page 278-291. Springer, (2013)Preface to the Proceedings of WOA 2007., , , , and . WOA, Seneca Edizioni Torino, (2007)Customizing AOSE methodologies by reusing AOSE features., , , and . AAMAS, page 113-120. ACM, (2003)Constrained global types for dynamic checking of protocol conformance in multi-agent systems., , and . SAC, page 1377-1379. ACM, (2013)Exploiting Probabilistic Trace Expressions for Decentralized Runtime Verification with Gaps., , and . CILC, volume 3204 of CEUR Workshop Proceedings, page 154-170. CEUR-WS.org, (2022)On Enactability of Agent Interaction Protocols: Towards a Unified Approach, , , , and . Engineering Multi-Agent Systems, volume 12058 of Lecture Notes in Artificial Intelligence, Springer, Cham, (2020)Engineering Multi-Agent Systems: State of Affairs and the Road Ahead., , and . ACM SIGSOFT Softw. Eng. Notes, 44 (1): 18-28 (2019)Automatic Ontology Matching via Upper Ontologies: A Systematic Evaluation., , and . IEEE Trans. Knowl. Data Eng., 22 (5): 609-623 (2010)RV4JaCa - Towards Runtime Verification of Multi-Agent Systems and Robotic Applications., , , , , and . Robotics, 12 (2): 49 (April 2023)Hive-BDI: Extending Jason with Shared Beliefs and Stigmergy., and . ICAART (2), page 479-482. SciTePress, (2011)