Benjamin Bittner
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2012–2016
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | AAAI | Automated Verification and Tightening of Failure Propagation Models. | Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Gianni Zampedri |
| 2016 | IJCAI | Automated Synthesis of Timed Failure Propagation Graphs. | Benjamin Bittner, Marco Bozzano, Alessandro Cimatti |
| 2016 | TACAS | The xSAP Safety Analysis Platform. | Benjamin Bittner, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Marco Gario, Alberto Griggio, Cristian Mattarei, Andrea Micheli, Gianni Zampedri |
| 2014 | FMCAD | Towards Pareto-optimal parameter synthesis for monotonic cost functions. | Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Marco Gario, Alberto Griggio |
| 2012 | AAAI | Symbolic Synthesis of Observability Requirements for Diagnosability. | Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Xavier Olive |