Benjamin Bittner

Publication Activity (10 Years)

Years Active: 2012-2022
Publications (10 Years): 6

Top Topics

Symbolic Model Checking

Transition Systems

Automated Verification

Top Venues

Publications

Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta, Viktória Vozárová
Diagnosability of fair transition systems. Artif. Intell. 309 (2022)
Benjamin Bittner, Marco Bozzano, Alessandro Cimatti
Timed Failure Propagation Analysis for Spacecraft Engineering: The ESA Solar Orbiter Case Study. IMBSA (2017)
Benjamin Bittner, Marco Bozzano, Alessandro Cimatti
Automated Synthesis of Timed Failure Propagation Graphs. IJCAI (2016)
Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Gianni Zampedri
Automated Verification and Tightening of Failure Propagation Models. AAAI (2016)
Benjamin Bittner, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Marco Gario, Alberto Griggio, Cristian Mattarei, Andrea Micheli, Gianni Zampedri
The xSAP Safety Analysis Platform. TACAS (2016)
Benjamin Bittner, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Marco Gario, Alberto Griggio, Cristian Mattarei, Andrea Micheli, Gianni Zampedri
The xSAP Safety Analysis Platform. CoRR (2015)
Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Régis De Ferluc, Marco Gario, Andrea Guiotto, Yuri Yushtein
An Integrated Process for FDIR Design in Aerospace. IMBSA (2014)
Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Marco Gario, Alberto Griggio
Towards Pareto-optimal parameter synthesis for monotonic cost functions. FMCAD (2014)
Viet Yen Nguyen, Benjamin Bittner, Joost-Pieter Katoen, Thomas Noll
Compositional Analysis Using Component-Oriented Interpolation. FACS (2014)
Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Xavier Olive
Symbolic Synthesis of Observability Requirements for Diagnosability. AAAI (2012)