World's Best Scientists 2026 revealed!
Alessandro Cimatti

Alessandro Cimatti

Award Badge
Computer Science
Italy
2025

D-Index & Metrics

Computer Science

D-Index
66
Citations
21886
World Ranking
2285
National Ranking
34

Research.com Recognitions

  • 2025 - Research.com Computer Science in Italy Leader Award
  • 2023 - Research.com Computer Science in Italy Leader Award
  • 2022 - Research.com Computer Science in Italy Leader Award

Overview

Alessandro Cimatti is affiliated with Fondazione Bruno Kessler in Italy. Their research primarily spans the fields of Computer Science and Engineering, with a significant focus on formal methods, software testing, and verification techniques.

The scientist's work encompasses various subfields including:

  • Computational Theory and Mathematics
  • Software
  • Artificial Intelligence
  • Computer Networks and Communications
  • Hardware and Architecture

Their main research topics include:

  • Formal Methods in Verification
  • Software Testing and Debugging Techniques
  • Logic, Programming, and Type Systems
  • Model-Driven Software Engineering Techniques
  • Software Reliability and Analysis Research
  • Petri Nets in System Modeling
  • AI-based Problem Solving and Planning

Among their recent publications are:

  • Semi-ProtoPNet Deep Neural Network for the Classification of Defective Power Grid Distribution Structures, 2022, Sensors
  • SMT-Based Verification of Hybrid Systems, 2021, Proceedings of the AAAI Conference on Artificial Intelligence
  • Symbolic Model Checking and Safety Assessment of Altarica models, 2024, Technische Universität Berlin - Universitätsbibliothek
  • Symbolic Synthesis of Observability Requirements for Diagnosability, 2021, Proceedings of the AAAI Conference on Artificial Intelligence
  • Solving Temporal Problems Using SMT: Weak Controllability, 2021, Proceedings of the AAAI Conference on Artificial Intelligence

Frequent coauthors collaborating with Alessandro Cimatti include:

  • Stefano Tonetta
  • Alberto Griggio
  • Marco Bozzano
  • Andrea Micheli
  • Luca Geatti

Common venues for publishing their work are:

  • arXiv (Cornell University)
  • Proceedings of the AAAI Conference on Artificial Intelligence
  • Formal Methods in System Design
  • Leibniz-Zentrum für Informatik (Schloss Dagstuhl)
  • IEEE Robotics & Automation Magazine

Alessandro Cimatti has also contributed to book publications with Springer Science+Business Media, including titles such as:

  • NASA Formal Methods, 2022
  • Formal Methods for Industrial Critical Systems, 2023

Best Publications

  • Symbolic Model Checking without BDDs

    Armin Biere;Alessandro Cimatti;Edmund M. Clarke;Yunshan Zhu

  • NuSMV 2: An OpenSource Tool for Symbolic Model Checking

    Alessandro Cimatti;Edmund M. Clarke;Enrico Giunchiglia;Fausto Giunchiglia

  • Symbolic model checking using SAT procedures instead of BDDs

    A. Biere;A. Cimatti;E. M. Clarke;M. Fujita

  • Bounded Model Checking

    Armin Biere;Alessandro Cimatti;Edmund M. Clarke;Ofer Strichman

  • NUSMV: A New Symbolic Model Verifier

    Alessandro Cimatti;Edmund M. Clarke;Fausto Giunchiglia;Marco Roveri

  • NUSMV: a new symbolic model checker

    Alessandro Cimatti;Edmund M. Clarke;Fausto Giunchiglia;Marco Roveri

  • The MathSAT5 SMT solver

    Alessandro Cimatti;Alberto Griggio;Bastiaan Joost Schaafsma;Roberto Sebastiani

  • The nuXmv Symbolic Model Checker

    Roberto Cavada;Alessandro Cimatti;Michele Dorigatti;Alberto Griggio

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

    A. Cimatti;M. Pistore;M. Roveri;P. Traverso

  • Nusmv version 2: an opensource tool for symbolic model checking

    Alessandro Cimatti;Edmund M. Clarke;Enrico Giunchiglia;Fausto Giunchiglia

  • The MathSAT 4 SMT Solver

    Roberto Bruttomesso;Alessandro Cimatti;Anders Franzén;Alberto Griggio

  • Planning in nondeterministic domains under partial observability via symbolic model checking

    Piergiorgio Bertoli;Alessandro Cimatti;Marco Roveri;Paolo Traverso

  • Safety, Dependability and Performance Analysis of Extended AADL Models

    Marco Bozzano;Alessandro Cimatti;Joost-Pieter Katoen;Viet Yen Nguyen

  • Conformant planning via symbolic model checking

    Alessandro Cimatti;Marco Roveri

  • A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions

    Gilles Audemard;Piergiorgio Bertoli;Alessandro Cimatti;Artur Kornilowicz

  • Planning via Model Checking: A Decision Procedure for AR

    Alessandro Cimatti;Fausto Giunchiglia;Enrico Giunchiglia;Paolo Traverso

  • A SAT based approach for solving formulas over boolean and linear mathematical propositions

    Gilles Audemard;Piergiorgio Bertoli;Alessandro Cimatti;Artur Korniłowicz

  • Software model checking via large-block encoding

    Dirk Beyer;Alessandro Cimatti;Alberto Griggio;M. Erkan Keremoglu

  • Software model checking via IC3

    Alessandro Cimatti;Alberto Griggio

  • Bounded Model Checking for Timed Systems

    Gilles Audemard;Alessandro Cimatti;Artur Kornilowicz;Roberto Sebastiani

  • Software Model Checking via Large-Block Encoding

    Dirk Beyer;Alessandro Cimatti;Alberto Griggio;M. Erkan Keremoglu

Frequent Co-Authors

Roberto Sebastiani
Roberto Sebastiani University of Trento
Paolo Traverso
Paolo Traverso Fondazione Bruno Kessler
Fausto Giunchiglia
Fausto Giunchiglia University of Trento
Joost-Pieter Katoen
Joost-Pieter Katoen RWTH Aachen University
Marco Pistore
Marco Pistore Fondazione Bruno Kessler
Edmund M. Clarke
Edmund M. Clarke Carnegie Mellon University
Enrico Giunchiglia
Enrico Giunchiglia University of Genoa
Daniel Kroening
Daniel Kroening Amazon (United States)
Angelo Susi
Angelo Susi Fondazione Bruno Kessler
Bernd Becker
Bernd Becker University of Freiburg

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Studying Computer Science in the USA opens doors to a wide range of online degrees and career-boosting pathways. Many students are now considering specialized fields, such as pursuing an online master data science degree to deepen their expertise in big data, machine learning, and analytics.

For those interested in project leadership or infrastructure, an accelerated construction management degree is a practical option that blends technical know-how with real-world management skills—all in a convenient, flexible format.

Alternatively, professionals looking for a broader business background may consider one of the cheapest 1 year online mba programs. These programs offer fast-tracked curriculum that can quickly enhance leadership and management potential while staying affordable.

If speed and efficiency are top priorities, many students are opting for 1 year masters in related fields, accelerating their journey from education to employment. Each pathway offers unique benefits, flexibility, and potential for career advancement within and beyond Computer Science.

Best Scientists Citing Alessandro Cimatti

Trending Scientists