Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Francesco Belardinelli
Verification of GSM-Based Artifact-Centric Systems Through Finite Abstraction
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Dynamic Logic for Data-Aware Systems: Decidability Results
Related publications
Verification of Agent-Based Artifact Systems
Journal of Artificial Intelligence Research
Artificial Intelligence
Designing and Integrating Complex Systems: Be Agile Through Liveness Verification and Abstraction
Conjunctive Artifact-Centric Services
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automated Verification of Resource Requirements in Multi-Agent Systems Using Abstraction
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
An Artifact-Centric Business Process Execution Platform
Embedded Based Industrial Temperature Monitoring Systems Using GSM
International Journal of Computer Applications
Supervisory Control of Differentially Flat Systems Based on Abstraction
The Information Systems Artifact: A Conceptualization Based on General Systems Theory
VeriAbs: Verification by Abstraction and Test Generation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
