Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by F. Belardinelli
Verification of Agent-Based Artifact Systems
Journal of Artificial Intelligence Research
Artificial Intelligence
Related publications
Verification of GSM-Based Artifact-Centric Systems Through Finite Abstraction
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verification of Multiple Agent Knowledge-Based Systems
International Journal of Intelligent Systems
Theoretical Computer Science
Human-Computer Interaction
Artificial Intelligence
Software
Towards a Meta-Modeling and Verification Approach of Multi-Agent Systems Based on the Agent Petri Net Formalism
International Journal of Information Technology and Computer Science
Automated Verification of Resource Requirements in Multi-Agent Systems Using Abstraction
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The Information Systems Artifact: A Conceptualization Based on General Systems Theory
McMas: An Open-Source Model Checker for the Verification of Multi-Agent Systems
International Journal on Software Tools for Technology Transfer
Information Systems
Software
HLA-Transparent Distributed Simulation of Agent-Based Systems
Scenario-Based Trustworthiness Verification for Systems of Internet of Things
International Journal of Internet Protocol Technology
Computer Networks
Communications
Distributed Simulation of Agent-Based Systems With HLA
ACM Transactions on Modeling and Computer Simulation
Modeling
Computer Science Applications
Simulation
