Tino Teige

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