Test automation for hybrid systems. - Bahareh Badban; Martin Fränzle; Jan Peleska 001; Tino Teige (SOQUA, 2006)

Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure. - Martin Fränzle; Christian Herde; Tino Teige; Stefan Ratschan; Tobias Schubert 001 (J. Satisf. Boolean Model. Comput., 2007)

Stochastic Satisfiability Modulo Theories for Non-linear Arithmetic. - Tino Teige; Martin Fränzle (CPAIOR, 2008)

Challenges in Constraint-Based Analysis of Hybrid Systems. - Andreas Eggers; Natalia Kalinnik; Stefan Kupferschmid; Tino Teige (CSCLP, 2008)

Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems. - Martin Fränzle; Holger Hermanns; Tino Teige (HSCC, 2008)

Analysis of Hybrid Systems Using HySAT. - Christian Herde; Andreas Eggers; Martin Fränzle; Tino Teige (ICONS, 2008)

Constraint-Based Analysis of Probabilistic Hybrid Systems. - Tino Teige; Martin Fränzle (ADHS, 2009)

Proofs of Unsatisfiability for mixed Boolean and Non-linear Arithmetic Constraint Formulae. - Stefan Kupferschmid; Tino Teige; Bernd Becker 001; Martin Fränzle (MBMV, 2009)

Satisfaction Meets Expectations - Computing Expected Values of Probabilistic Hybrid Systems with SMT. - Martin Fränzle; Tino Teige; Andreas Eggers (IFM, 2010)

Resolution for Stochastic Boolean Satisfiability. - Tino Teige; Martin Fränzle (LPAR (Yogyakarta), 2010)

Engineering constraint solvers for automatic analysis of probabilistic hybrid automata. - Martin Fränzle; Tino Teige; Andreas Eggers (J. Log. Algebraic Methods Program., 2010)

Proof certificates and non-linear arithmetic constraints. - Stefan Kupferschmid; Bernd Becker 001; Tino Teige; Martin Fränzle (DDECS, 2011)

Superposition Modulo Non-linear Arithmetic. - Andreas Eggers; Evgeny Kruglov; Stefan Kupferschmid; Karsten Scheibler; Tino Teige; Christoph Weidenbach (FroCoS, 2011)

Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems. - Tino Teige; Martin Fränzle (TACAS, 2011)

Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems with Applications to Probabilistic State Reachability and Region Stability. - Tino Teige; Martin Fränzle (Log. Methods Comput. Sci., 2012)

Stochastic satisfiability modulo theories: a symbolic technique for the analysis of probabilistic hybrid systems. - Tino Teige (2012)

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

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)

Towards Using Formal Methods in Prototyping: Advantage or Impediment? - Sebastian Schirmer; Tino Teige; Christoph Torens; Udo Brockmeyer (Software Engineering (Workshops), 2020)

ICP and IC3. - Karsten Scheibler; Felix Winterer; Tobias Seufert; Tino Teige; Christoph Scholl 001; Bernd Becker 001 (DATE, 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 (FM, 2021)

Benchmarking SMT Solvers on Automotive Code. - Lukas Mentel; Karsten Scheibler; Felix Winterer; Bernd Becker 001; Tino Teige (MBMV, 2021)

ICP and IC3 with Stronger Generalization. - Felix Winterer; Tobias Seufert; Karsten Scheibler; Tino Teige; Chritsoph Scholl; Bernd Becker 001 (MBMV, 2021)

Detection and Elimination of Constants to Strengthen k-Induction. - Lukas Mentel; Karsten Scheibler; Tino Teige (MBMV, 2022)