BOOK-CHAPTER
Distributed Runtime Verification of JADE Multiagent Systems
Daniela BriolaViviana MascardiDavide Ancona
Year: 2014 Studies in computational intelligence Pages: 81-91 Publisher: Springer Nature
Keywords:
JADE (particle detector) Computer science Distributed computing Runtime verification Protocol (science) Multi-agent system Formalism (music) Formal verification Embedded system Theoretical computer science Artificial intelligence
Metrics
21
Cited By
1.43
FWCI (Field Weighted Citation Impact)
12
Refs
0.83
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Multi-Agent Systems and Negotiation
Physical Sciences → Computer Science → Artificial Intelligence
Auction Theory and Applications
Social Sciences → Decision Sciences → Management Science and Operations Research
Logic, Reasoning, and Knowledge
Physical Sciences → Computer Science → Artificial Intelligence
Related Documents
JOURNAL ARTICLE
Parametric Runtime Verification of Multiagent Systems
Davide AnconaAngelo FerrandoViviana Mascardi
Journal: Adaptive Agents and Multi-Agents Systems Year: 2017 Pages: 1457-1459
JOURNAL ARTICLE
Runtime Verification of Distributed Systems
Journal: Michigan State University Libraries Year: 2024
JOURNAL ARTICLE
Runtime Verification of Distributed Systems
Journal: Michigan State University Libraries Year: 2023
JOURNAL ARTICLE
Failure-aware Runtime Verification of Distributed Systems
Basin, DavidKlaedtke, FelixZălinescu, Eugen
Journal: Repository for Publications and Research Data (ETH Zurich) Year: 2015
BOOK-CHAPTER
Runtime Verification for Decentralised and Distributed Systems
Adrian FrancalanzaJorge A. PérezCésar Sánchez
Lecture notes in computer science Year: 2018 Pages: 176-210