Alessandro Cimatti - Publications, H-index & Citations

Back

Alessandro Cimatti

Fondazione Bruno Kessler

55H-index

376Paper Count

1.6WCitation Count

Published Papers 15

Publication Date

Formal Analysis of a Railway Signaling Block Designed in AIDA

RELIABILITY, SAFETY, AND SECURITY OF RAILWAY SYSTEMS. MODELLING, ANALYSIS, VERIFICATION, AND CERTIFICATION, RSSRAIL 2025

IF0

2026-01-01

PREAI

Cavada, Roberto; Cimatti, Alessandro; Griggio, Alberto; Lidstrom, Christian; Redondi, Gianluca; Tessi, Matteo; Trenti, Dylan

Save

Towards a Unifying View of Fault Propagation Analyses and Notations

MODEL-BASED SAFETY AND ASSESSMENT, IMBSA 2025

IF0

2026-01-01

PREAI

Bozzano, Marco; Cimatti, Alessandro; Griggio, Alberto; Haifani, Fajar

Save

Conditional diffusion to enhance performance of object detection in unbalanced data engineering drawings

neural computing applications

IF0

2025-07-15

PREAI

Stefano Frizzo Stefenon; Marco Cristoforetti; Alessandro Cimatti

Save

Opportunistic (Re)planning for Long-Term Deep-Ocean Inspection An Autonomous Underwater Architecture

IEEE ROBOTICS & AUTOMATION MAGAZINE

IF7.1

2024-03-01

PREAI

Tosello, Elisa; Bonel, Paolo; Buranello, Alberto; Carraro, Marco; Cimatti, Alessandro; Granelli, Lorenzo; Panjkovic, Stefan; Micheli, Andrea

Save

Diagnosability of fair transition systems

artificial intelligence review

IF4.6

2022-08-01

PREAI

Bittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro; Gario, Marco; Tonetta, Stefano; Vozarova, Viktoria

Save

Semi-ProtoPNet Deep Neural Network for the Classification of Defective Power Grid Distribution Structures

SENSORS

IF3.5

2022-06-27

OAAI

Stefenon, Stefano Frizzo; Singh, Gurmail; Yow, Kin-Choong; Cimatti, Alessandro

Save

A Comprehensive Approach to On-board Autonomy Verification and Validation

ACM TRANSACTIONS ON INTELLIGENT SYSTEMS AND TECHNOLOGY

IF6.6

2021-08-20

OAAI

Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco

Save

Strong temporal planning with uncontrollable durations

artificial intelligence review

IF4.6

2018-03-01

OAAI

Cimatti, Alessandro; Minh Do; Michell, Andrea; Roveri, Marco; Smith, David E.

Save

An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty

artificial intelligence review

IF4.6

2015-07-01

PREAI

Cimatti, Alessandro; Michell, Andrea; Roveri, Marco

Save

Spacecraft early design validation using formal methods

RELIABILITY ENGINEERING & SYSTEM SAFETY

IF11

2014-12-01

OAAI

Bozzano, Marco; Cimatti, Alessandro; Katoen, Joost-Pieter; Katsaros, Panagiotis; Mokos, Konstantinos; Viet Yen Nguyen; Noll, Thomas; Postma, Bart; Roveri, Marco

Save

Validation of Requirements for Hybrid Systems: a Formal Approach

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

IF6.2

2013-02-07

PREAI

Cimatti, Alessandro; Roveri, Marco; Susi, Angelo; Tonetta, Stefano

Save

Strong planning under partial observability

artificial intelligence review

IF4.6

2006-04-01

PREAI

Bertoli, P; Cimatti, A; Roveri, M; Traverso, P

Save

Conformant planning via symbolic model checking and heuristic search

artificial intelligence review

IF4.6

2004-11-01

OAAI

Cimatti, A; Roveri, M; Bertoli, P

Save

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

artificial intelligence review

IF4.6

2003-07-01

225

OAAI

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

Save

Computational reflection via mechanized logical deduction

INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS

IF3.7

1998-12-07

OAAI

Cimatti, A; Traverso, P

Save

Research Directions