Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Alessandro Cimatti | Researchclopedia

Back to researchers

Alessandro Cimatti

Fondazione Bruno Kessler ORCID

376

Works

16,106

Citations

55

h-index

177

i10-index

Research Topics

Formal Methods in Verification Model-Driven Software Engineering Techniques Software Testing and Debugging Techniques

Affiliations

Intel (United States)2007–2007

Citigroup2000–2000

University of Trento2000–2008

Fondazione Bruno Kessler2007–2026

Institute of Electrical and Electronics Engineers2024–2024

Top Works

Symbolic Model Checking without BDDs

Armin Biere,Alessandro Cimatti,et al.

19992,114 citations

Logic, programming, and type systems

Software Reliability and Analysis Research

NuSMV 2: An OpenSource Tool for Symbolic Model Checking

Alessandro Cimatti,Edmund Clarke,et al.

20021,616 citations

Bounded Model Checking

Armin Biere,Alessandro Cimatti,et al.

2003948 citations

NUSMV: a new symbolic model checker

Alessandro Cimatti,Edmund M. Clarke,et al.

2000710 citations

Symbolic model checking using SAT procedures instead of BDDs

Armin Biere,Alessandro Cimatti,et al.

1999688 citations

NuSMV: A New Symbolic Model Verifier

Alessandro Cimatti,Emma L. Clarke,et al.

1999610 citations

Symbolic Model Checking without BDDs

Armin Biere,Alessandro Cimatti,et al.

1999528 citations

The nuXmv Symbolic Model Checker

Roberto Cavada,Alessandro Cimatti,et al.

2014514 citations

The MathSAT5 SMT Solver

Alessandro Cimatti,Alberto Griggio,et al.

2013461 citations