Verification of Automotive Control Units. - Tom Bienmüller; Jürgen Bohn 002; Henning Brinkmann; Udo Brockmeyer; Werner Damm; Hardi Hungar; Peter Jansen 003 (Correct System Design, 1999)

The STATEMATE Verification Environment - Making It Real. - Tom Bienmüller; Werner Damm; Hartmut Wittke (CAV, 2000)

Formale Analyse und Verifikation von Statemate-Entwürfen (Formal Analysis and Verification of Statemate Designs). - Tom Bienmüller; Werner Damm; Jochen Klose; Hartmut Wittke (Informationstechnik Tech. Inform., 2001)

Reducing complexity for the verification of STATEMATE designs. - Tom Bienmüller (2003)

True Error or False Alarm? Refining Astrée's Abstract Interpretation Results by Embedded Tester's Automatic Model-Based Testing. - Sayali Salvi; Daniel Kästner; Tom Bienmüller; Christian Ferdinand (SAFECOMP Workshops, 2014)

Incremental Bounded Model Checking for Embedded Software (extended version). - Peter Schrammel; Daniel Kroening; Martin Brain; Ruben Martins; Tino Teige; Tom Bienmüller (CoRR, 2014)

Exploiting Synergies between Static Analysis and Model-Based Testing. - Sayali Salvi; Daniel Kästner; Christian Ferdinand; Tom Bienmüller (EDCC, 2015)

Successful Use of Incremental BMC in the Automotive Industry. - Peter Schrammel; Daniel Kroening; Martin Brain; Ruben Martins; Tino Teige; Tom Bienmüller (FMICS, 2015)

Accurate ICP-based floating-point reasoning. - Karsten Scheibler; Felix Neubauer; Ahmed Mahdi; Martin Fränzle; Tino Teige; Tom Bienmüller; Detlef Fehrer; Bernd Becker 001 (FMCAD, 2016)

Universal Pattern: Formalization, Testing, Coverage, Verification, and Test Case Generation for Safety-Critical Requirements. - Tino Teige; Tom Bienmüller; Hans Jürgen Holberg (MBMV, 2016)

Satisfaction Meets Practice and Confidence. - Tom Bienmüller; Tino Teige (SC²@SYNASC, 2016)

Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving. - Felix Neubauer; Karsten Scheibler; Bernd Becker 001; Ahmed Mahdi; Martin Fränzle; Tino Teige; Tom Bienmüller; Detlef Fehrer (SC²@SYNASC, 2016)

Incremental bounded model checking for embedded software. - Peter Schrammel; Daniel Kroening; Martin Brain; Ruben Martins; Tino Teige; Tom Bienmüller (Formal Aspects Comput., 2017)

Constraint Systems from Traffic Scenarios for the Validation of Autonomous Driving. - Andreas Eggers; Matthias Stasch; Tino Teige; Tom Bienmüller; Udo Brockmeyer (SC-Square@FLOC, 2018)

Solving Constraint Systems from Traffic Scenarios for the Validation of Autonomous Driving. - Karsten Scheibler; Andreas Eggers; Tino Teige; Marius Walz; Tom Bienmüller; Udo Brockmeyer (SC-square@SIAM AG, 2019)

Two Decades of Formal Methods in Industrial Products at BTC Embedded Systems. - Tino Teige; Andreas Eggers; Karsten Scheibler; Matthias Stasch; Udo Brockmeyer; Hans Jürgen Holberg; Tom Bienmüller (FM, 2021)

Providing Evidence for the Validity of the Virtual Verification of Automated Driving Systems. - Birte Neurohr; Thies de Graaff; Andreas Eggers; Tom Bienmüller; Eike Möhlmann (EDCC Workshops, 2024)

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 Bienmüller (SYNASC, 2024)