Tom Bienmller
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
7
Active years
2000–2024
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | EDCC | Providing Evidence for the Validity of the Virtual Verification of Automated Driving Systems. | Birte Neurohr, Thies de Graaff, Andreas Eggers, Tom Bienmller, Eike Mhlmann |
| 2024 | SYNASC | Scriptview: BTC Embedded Plaiform Extension for Test Case Implementation. | Petru Florin Mihancea, Leif Driebold, Dorian Blaj, Mihai I. Bogdanescu, Razvan T. Lapadat, Roxana C. Ciorica, Andrei A. Onisa, Andreea M. Zamosteanu, Tom Bienmller |
| 2021 | FM | Two Decades of Formal Methods in Industrial Products at BTC Embedded Systems. | Tino Teige, Andreas Eggers, Karsten Scheibler, Matthias Stasch, Udo Brockmeyer, Hans Jrgen Holberg, Tom Bienmller |
| 2016 | FMCAD | Accurate ICP-based floating-point reasoning. | Karsten Scheibler, Felix Neubauer, Ahmed Mahdi, Martin Frnzle, Tino Teige, Tom Bienmller, Detlef Fehrer, Bernd Becker |
| 2016 | SYNASC | Satisfaction Meets Practice and Confidence. | Tom Bienmller, Tino Teige |
| 2016 | SYNASC | Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving. | Felix Neubauer, Karsten Scheibler, Bernd Becker, Ahmed Mahdi, Martin Frnzle, Tino Teige, Tom Bienmller, Detlef Fehrer |
| 2015 | EDCC | Exploiting Synergies between Static Analysis and Model-Based Testing. | Sayali Salvi, Daniel Kstner, Christian Ferdinand, Tom Bienmller |
| 2015 | FMICS | Successful Use of Incremental BMC in the Automotive Industry. | Peter Schrammel, Daniel Kroening, Martin Brain, Ruben Martins, Tino Teige, Tom Bienmller |
| 2014 | SAFECOMP | True Error or False Alarm? Refining Astre's Abstract Interpretation Results by Embedded Tester's Automatic Model-Based Testing. | Sayali Salvi, Daniel Kstner, Tom Bienmller, Christian Ferdinand |
| 2000 | CAV | The STATEMATE Verification Environment - Making It Real. | Tom Bienmller, Werner Damm, Hartmut Wittke |