Concepedia

Marco Bozzano

MB

29

Publications

1.1K

Citations

15

H-Index

1998

Active since

Affiliations

Fondazione Bruno Kessler(Current)

University of Trento

University of Genoa

Construction Technologies Institute

RWTH Aachen University

Marco Bozzano is an author at Fondazione Bruno Kessler specializing in engineering, formal methods, and formal verification.

Top concepts

EngineeringFormal MethodsSystems EngineeringFormal VerificationVerificationComputer ScienceSoftware AnalysisAutomated ReasoningReliability EngineeringSoftware Design

Publications per year

1998–2024

29

Publications

29

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

The FSAP/NuSMV-SA Safety Analysis Platform

Marco Bozzano, Adolfo Villafiorita · International Journal on Software Tools for Technology Transfer · 2006 · 115 citations

Reliability, Safety Engineering, Reliability Engineering +7

ESACS: an integrated methodology for design and safety analysis of complex systems

Marco Bozzano, Pierre Bieber, Charles Castel et al. · 2003 · 104 citations

Engineering, Safety Science, Software Engineering +21

Verifying Industrial Hybrid Systems with MathSAT

Gilles Audemard, Marco Bozzano, Alessandro Cimatti et al. · Electronic Notes in Theoretical Computer Science · 2005 · 104 citations · Full text

MathSAT: Tight Integration of SAT and Mathematical Decision Procedures

Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti et al. · Journal of Automated Reasoning · 2005 · 77 citations

Mathematical Programming, Decision Procedure, Engineering +6

Rows per page

1–5 of 29