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 ScienceTheoretical Computer Science
2019English

Related publications

Model Checking the Ant Colony Optimisation

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
2010English

On-The-Fly Model Checking of RCTL Formulas

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1998English

Model Checking

1997English

The Complexity of Model Checking for Propositional Default Logics

Data and Knowledge Engineering
Information SystemsManagement
2005English

Improvements to the Implementation of Interpolant-Based Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Model-Checking Markov Chains in the Presence of Uncertainties

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Model Checking Software

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Regression Model Checking

2009English

Statistical Model Checking of LLVM Code

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy