Symbolic Synthesis of Observability Requirements for Diagnosability. - Benjamin Bittner; Marco Bozzano; Alessandro Cimatti; Xavier Olive (AAAI, 2012)

Compositional Analysis Using Component-Oriented Interpolation. - Viet Yen Nguyen; Benjamin Bittner; Joost-Pieter Katoen; Thomas Noll 001 (FACS, 2014)

Towards Pareto-optimal parameter synthesis for monotonic cost functions. - Benjamin Bittner; Marco Bozzano; Alessandro Cimatti; Marco Gario; Alberto Griggio (FMCAD, 2014)

An Integrated Process for FDIR Design in Aerospace. - Benjamin Bittner; Marco Bozzano; Alessandro Cimatti; Régis De Ferluc; Marco Gario; Andrea Guiotto; Yuri Yushtein (IMBSA, 2014)

Automated Verification and Tightening of Failure Propagation Models. - Benjamin Bittner; Marco Bozzano; Alessandro Cimatti; Gianni Zampedri (AAAI, 2016)

Automated Synthesis of Timed Failure Propagation Graphs. - Benjamin Bittner; Marco Bozzano; Alessandro Cimatti (IJCAI, 2016)

The xSAP Safety Analysis Platform. - Benjamin Bittner; Marco Bozzano; Roberto Cavada; Alessandro Cimatti; Marco Gario; Alberto Griggio; Cristian Mattarei; Andrea Micheli; Gianni Zampedri (TACAS, 2016)

Formal failure analyses for effective fault management: an aerospace perspective. - Benjamin Bittner (2016)

Timed Failure Propagation Analysis for Spacecraft Engineering: The ESA Solar Orbiter Case Study. - Benjamin Bittner; Marco Bozzano; Alessandro Cimatti (IMBSA, 2017)

Diagnosability of fair transition systems. - Benjamin Bittner; Marco Bozzano; Alessandro Cimatti; Marco Gario; Stefano Tonetta; Viktória Vozárová (Artif. Intell., 2022)