Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Francesco Gallà
Presentation of the 9th Edition of the Model Checking Contest
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Model Checking the Ant Colony Optimisation
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
On-The-Fly Model Checking of RCTL Formulas
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model Checking
The Complexity of Model Checking for Propositional Default Logics
Data and Knowledge Engineering
Information Systems
Management
Improvements to the Implementation of Interpolant-Based Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model-Checking Markov Chains in the Presence of Uncertainties
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model Checking Software
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Regression Model Checking
Statistical Model Checking of LLVM Code
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science