Tom Bienmüller

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 10

Top Venues

SC²@SYNASC

MBMV

EDCC

CoRR

University of Oldenburg, Germany (PHD)

Education History

University of Oldenburg, Germany

PHD

Publications

Birte Neurohr, Thies de Graaff, Andreas Eggers, Tom Bienmüller, Eike Möhlmann
Providing Evidence for the Validity of the Virtual Verification of Automated Driving Systems. EDCC Workshops (2024)
Tino Teige, Andreas Eggers, Karsten Scheibler, Matthias Stasch, Udo Brockmeyer, Hans Jürgen Holberg, Tom Bienmüller
Two Decades of Formal Methods in Industrial Products at BTC Embedded Systems. FM (2021)
Karsten Scheibler, Andreas Eggers, Tino Teige, Marius Walz, Tom Bienmüller, Udo Brockmeyer
Solving Constraint Systems from Traffic Scenarios for the Validation of Autonomous Driving. SC-square@SIAM AG (2019)
Andreas Eggers, Matthias Stasch, Tino Teige, Tom Bienmüller, Udo Brockmeyer
Constraint Systems from Traffic Scenarios for the Validation of Autonomous Driving. SC-Square@FLOC (2018)
Peter Schrammel, Daniel Kroening, Martin Brain, Ruben Martins, Tino Teige, Tom Bienmüller
Incremental bounded model checking for embedded software. Formal Aspects Comput. 29 (5) (2017)
Felix Neubauer, Karsten Scheibler, Bernd Becker, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer
Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving. MBMV (2017)
Tom Bienmüller, Tino Teige
Satisfaction Meets Practice and Confidence. SC²@SYNASC (2016)
Tino Teige, Tom Bienmüller, Hans Jürgen Holberg
Universal Pattern: Formalization, Testing, Coverage, Verification, and Test Case Generation for Safety-Critical Requirements. MBMV (2016)
Karsten Scheibler, Felix Neubauer, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer, Bernd Becker
Accurate ICP-based floating-point reasoning. FMCAD (2016)
Felix Neubauer, Karsten Scheibler, Bernd Becker, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer
Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving. SC²@SYNASC (2016)
Sayali Salvi, Daniel Kästner, Christian Ferdinand, Tom Bienmüller
Exploiting Synergies between Static Analysis and Model-Based Testing. EDCC (2015)
Peter Schrammel, Daniel Kroening, Martin Brain, Ruben Martins, Tino Teige, Tom Bienmüller
Successful Use of Incremental BMC in the Automotive Industry. FMICS (2015)
Peter Schrammel, Daniel Kroening, Martin Brain, Ruben Martins, Tino Teige, Tom Bienmüller
Incremental Bounded Model Checking for Embedded Software (extended version). CoRR (2014)
Sayali Salvi, Daniel Kästner, Tom Bienmüller, Christian Ferdinand
True Error or False Alarm? Refining Astrée's Abstract Interpretation Results by Embedded Tester's Automatic Model-Based Testing. SAFECOMP Workshops (2014)
Tom Bienmüller, Werner Damm, Jochen Klose, Hartmut Wittke
Formale Analyse und Verifikation von Statemate-Entwürfen (Formal Analysis and Verification of Statemate Designs). Informationstechnik Tech. Inform. 43 (1) (2001)
Tom Bienmüller, Werner Damm, Hartmut Wittke
The STATEMATE Verification Environment - Making It Real. CAV (2000)
Tom Bienmüller, Jürgen Bohn, Henning Brinkmann, Udo Brockmeyer, Werner Damm, Hardi Hungar, Peter Jansen
Verification of Automotive Control Units. Correct System Design (1999)

Tom Bienmüller.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Tom Bienmüller