Tom Bienmüller

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