Concepedia

Alessandro Cimatti

AC

100

Publications

5.6K

Citations

37

H-Index

1992

Active since

Affiliations

Fondazione Bruno Kessler(Current)

University of Trento

Construction Technologies Institute

Istituto Centrale per la Ricerca Scientifica e Tecnologica Applicata al Mare

Alessandro Cimatti is an author at Fondazione Bruno Kessler specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsFormal VerificationComputer ScienceVerificationAutomated ReasoningSystems EngineeringSoftware AnalysisComputer EngineeringProgram Analysis

Publications per year

1992–2025

100

Publications

100

NUSMV: a new symbolic model checker

Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia et al. · International Journal on Software Tools for Technology Transfer · 2000 · 708 citations

Engineering, Automated Reasoning, Program Analysis +8

Symbolic model checking using SAT procedures instead of BDDs

Armin Biere, Alessandro Cimatti, E. M. Clarke et al. · 1999 · 688 citations

Theory Of Computing, Article Symbolic Model, Engineering +15

Weak, strong, and strong cyclic planning via symbolic model checking

Alessandro Cimatti, Marco Pistore, Marco Roveri et al. · Artificial Intelligence · 2003 · 354 citations · Full text

Engineering, Ai Planning, Automated Reasoning +11

Safety, Dependability and Performance Analysis of Extended AADL Models

Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen et al. · The Computer Journal · 2010 · 214 citations

Engineering, Safety Science, Software Engineering +26

Planning in nondeterministic domains under partial observability via symbolic model checking

Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri et al. · 2001 · 160 citations

Rows per page

1–5 of 100