Tom Bienmüller

According to our database, Tom Bienmüller authored at least 17 papers between 1999 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

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

Proceedings of the Dependable Computing - EDCC 2024 Workshops, 2024

2021

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

Proceedings of the Formal Methods - 24th International Symposium, 2021

2019

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

Proceedings of the 4th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, 2019

2018

Constraint Systems from Traffic Scenarios for the Validation of Autonomous Driving.

Andreas Eggers, Matthias Stasch, Tino Teige, Tom Bienmüller, Udo Brockmeyer

Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference, 2018

2017

Incremental bounded model checking for embedded software.

Peter Schrammel, Daniel Kroening, Martin Brain, Ruben Martins, Tino Teige, Tom Bienmüller

Formal Aspects Comput., 2017

2016

Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving.

Felix Neubauer, Karsten Scheibler, Bernd Becker, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer

Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation co-located with 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2016), 2016

Satisfaction Meets Practice and Confidence.

Tom Bienmüller, Tino Teige

Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation co-located with 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2016), 2016

Universal Pattern: Formalization, Testing, Coverage, Verification, and Test Case Generation for Safety-Critical Requirements.

Tino Teige, Tom Bienmüller, Hans Jürgen Holberg

Proceedings of the 19th GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2016

Accurate ICP-based floating-point reasoning.

Karsten Scheibler, Felix Neubauer, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer, Bernd Becker

Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

2015

Successful Use of Incremental BMC in the Automotive Industry.

Peter Schrammel, Daniel Kroening, Martin Brain, Ruben Martins, Tino Teige, Tom Bienmüller

Proceedings of the Formal Methods for Industrial Critical Systems, 2015

Exploiting Synergies between Static Analysis and Model-Based Testing.

Sayali Salvi, Daniel Kästner, Christian Ferdinand, Tom Bienmüller

Proceedings of the 11th European Dependable Computing Conference, 2015

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

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

Proceedings of the Computer Safety, Reliability, and Security, 2014

2003

Reducing complexity for the verification of STATEMATE designs.

Tom Bienmüller

PhD thesis, 2003

2001

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

2000

The STATEMATE Verification Environment - Making It Real.

Tom Bienmüller, Werner Damm, Hartmut Wittke

Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1999

Verification of Automotive Control Units.

Tom Bienmüller, Jürgen Bohn, Henning Brinkmann, Udo Brockmeyer, Werner Damm, Hardi Hungar, Peter Jansen

Proceedings of the Correct System Design, 1999