Tino Teige

Publication Activity (10 Years)

Years Active: 2006-2022
Publications (10 Years): 15

Top Venues

MBMV

SC²@SYNASC

CoRR

Formal Aspects Comput.

Carl von Ossietzky University of Oldenburg (PHD)

Education History

Carl von Ossietzky University of Oldenburg

PHD

Publications

Lukas Mentel, Karsten Scheibler, Tino Teige
Detection and Elimination of Constants to Strengthen k-Induction. MBMV (2022)
Lukas Mentel, Karsten Scheibler, Felix Winterer, Bernd Becker, Tino Teige
Benchmarking SMT Solvers on Automotive Code. MBMV (2021)
Karsten Scheibler, Felix Winterer, Tobias Seufert, Tino Teige, Christoph Scholl, Bernd Becker
ICP and IC3. DATE (2021)
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)
Felix Winterer, Tobias Seufert, Karsten Scheibler, Tino Teige, Chritsoph Scholl, Bernd Becker
ICP and IC3 with Stronger Generalization. MBMV (2021)
Sebastian Schirmer, Tino Teige, Christoph Torens, Udo Brockmeyer
Towards Using Formal Methods in Prototyping: Advantage or Impediment? Software Engineering (Workshops) (2020)
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)
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)
Tino Teige, Martin Fränzle
Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems with Applications to Probabilistic State Reachability and Region Stability. Log. Methods Comput. Sci. 8 (2) (2012)
Tino Teige, Martin Fränzle
Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems. TACAS (2011)
Andreas Eggers, Evgeny Kruglov, Stefan Kupferschmid, Karsten Scheibler, Tino Teige, Christoph Weidenbach
Superposition Modulo Non-linear Arithmetic. FroCoS (2011)
Stefan Kupferschmid, Bernd Becker, Tino Teige, Martin Fränzle
Proof certificates and non-linear arithmetic constraints. DDECS (2011)
Martin Fränzle, Tino Teige, Andreas Eggers
Satisfaction Meets Expectations - Computing Expected Values of Probabilistic Hybrid Systems with SMT. IFM (2010)
Martin Fränzle, Tino Teige, Andreas Eggers
Engineering constraint solvers for automatic analysis of probabilistic hybrid automata. J. Log. Algebraic Methods Program. 79 (7) (2010)
Tino Teige, Martin Fränzle
Resolution for Stochastic Boolean Satisfiability. LPAR (Yogyakarta) (2010)
Stefan Kupferschmid, Tino Teige, Bernd Becker, Martin Fränzle
Proofs of Unsatisfiability for mixed Boolean and Non-linear Arithmetic Constraint Formulae. MBMV (2009)
Tino Teige, Martin Fränzle
Constraint-Based Analysis of Probabilistic Hybrid Systems. ADHS (2009)
Andreas Eggers, Natalia Kalinnik, Stefan Kupferschmid, Tino Teige
Challenges in Constraint-Based Analysis of Hybrid Systems. CSCLP (2008)
Christian Herde, Andreas Eggers, Martin Fränzle, Tino Teige
Analysis of Hybrid Systems Using HySAT. ICONS (2008)
Martin Fränzle, Holger Hermanns, Tino Teige
Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems. HSCC (2008)
Tino Teige, Martin Fränzle
Stochastic Satisfiability Modulo Theories for Non-linear Arithmetic. CPAIOR (2008)
Martin Fränzle, Christian Herde, Tino Teige, Stefan Ratschan, Tobias Schubert
Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure. J. Satisf. Boolean Model. Comput. 1 (3-4) (2007)
Bahareh Badban, Martin Fränzle, Jan Peleska, Tino Teige
Test automation for hybrid systems. SOQUA (2006)

Tino Teige.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Tino Teige