Tino Teige

According to our database, Tino Teige authored at least 31 papers between 2006 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Detection and Elimination of Constants to Strengthen k-Induction.

Lukas Mentel, Karsten Scheibler, Tino Teige

Proceedings of the Methods and Description Languages for Modelling and Verification of Circuits and Systems, 2022

2021

ICP and IC3 with Stronger Generalization.

Felix Winterer, Tobias Seufert, Karsten Scheibler, Tino Teige, Chritsoph Scholl, Bernd Becker

Proceedings of the Methods and Description Languages for Modelling and Verification of Circuits and Systems, 2021

Benchmarking SMT Solvers on Automotive Code.

Lukas Mentel, Karsten Scheibler, Felix Winterer, Bernd Becker, Tino Teige

Proceedings of the Methods and Description Languages for Modelling and Verification of Circuits and Systems, 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

Proceedings of the Formal Methods - 24th International Symposium, 2021

ICP and IC3.

Karsten Scheibler, Felix Winterer, Tobias Seufert, Tino Teige, Christoph Scholl, Bernd Becker

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

2020

Towards Using Formal Methods in Prototyping: Advantage or Impediment?

Sebastian Schirmer, Tino Teige, Christoph Torens, Udo Brockmeyer

Proceedings of the Combined Proceedings of the Workshops at Software Engineering 2020 Co-located with the German Software Engineering Conference 2020 (SE 2020), 2020

2019

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

Proceedings of the 4th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, 2019

2018

Constraint Systems from Traffic Scenarios for the Validation of Autonomous Driving.

Andreas Eggers, Matthias Stasch, Tino Teige, Tom Bienmüller, Udo Brockmeyer

Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference, 2018

2017

Incremental bounded model checking for embedded software.

Peter Schrammel, Daniel Kroening, Martin Brain, Ruben Martins, Tino Teige, Tom Bienmüller

Formal Aspects Comput., 2017

Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving.

Felix Neubauer, Karsten Scheibler, Bernd Becker, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2017

2016

Satisfaction Meets Practice and Confidence.

Tom Bienmüller, Tino Teige

Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation co-located with 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2016), 2016

Universal Pattern: Formalization, Testing, Coverage, Verification, and Test Case Generation for Safety-Critical Requirements.

Tino Teige, Tom Bienmüller, Hans Jürgen Holberg

Proceedings of the 19th GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2016

Accurate ICP-based floating-point reasoning.

Karsten Scheibler, Felix Neubauer, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer, Bernd Becker

Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

2015

Successful Use of Incremental BMC in the Automotive Industry.

Peter Schrammel, Daniel Kroening, Martin Brain, Ruben Martins, Tino Teige, Tom Bienmüller

Proceedings of the Formal Methods for Industrial Critical Systems, 2015

2014

Incremental Bounded Model Checking for Embedded Software (extended version).

Peter Schrammel, Daniel Kroening, Martin Brain, Ruben Martins, Tino Teige, Tom Bienmüller

CoRR, 2014

2012

Stochastic satisfiability modulo theories: a symbolic technique for the analysis of probabilistic hybrid systems.

Tino Teige

PhD thesis, 2012

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

2011

Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems.

Tino Teige, Martin Fränzle

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

Superposition Modulo Non-linear Arithmetic.

Andreas Eggers, Evgeny Kruglov, Stefan Kupferschmid, Karsten Scheibler, Tino Teige, Christoph Weidenbach

Proceedings of the Frontiers of Combining Systems, 8th International Symposium, 2011

Proof certificates and non-linear arithmetic constraints.

Stefan Kupferschmid, Bernd Becker, Tino Teige, Martin Fränzle

Proceedings of the 14th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2011

2010

Engineering constraint solvers for automatic analysis of probabilistic hybrid automata.

Martin Fränzle, Tino Teige, Andreas Eggers

J. Log. Algebraic Methods Program., 2010

Resolution for Stochastic Boolean Satisfiability.

Tino Teige, Martin Fränzle

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

Satisfaction Meets Expectations - Computing Expected Values of Probabilistic Hybrid Systems with SMT.

Martin Fränzle, Tino Teige, Andreas Eggers

Proceedings of the Integrated Formal Methods - 8th International Conference, 2010

2009

Proofs of Unsatisfiability for mixed Boolean and Non-linear Arithmetic Constraint Formulae.

Stefan Kupferschmid, Tino Teige, Bernd Becker, Martin Fränzle

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2009

Constraint-Based Analysis of Probabilistic Hybrid Systems.

Tino Teige, Martin Fränzle

Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009

2008

Analysis of Hybrid Systems Using HySAT.

Christian Herde, Andreas Eggers, Martin Fränzle, Tino Teige

Proceedings of the Third International Conference on Systems, 2008

Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems.

Martin Fränzle, Holger Hermanns, Tino Teige

Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

Challenges in Constraint-Based Analysis of Hybrid Systems.

Andreas Eggers, Natalia Kalinnik, Stefan Kupferschmid, Tino Teige

Proceedings of the Recent Advances in Constraints, 2008

Stochastic Satisfiability Modulo Theories for Non-linear Arithmetic.

Tino Teige, Martin Fränzle

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2008

2007

Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure.

Martin Fränzle, Christian Herde, Tino Teige, Stefan Ratschan, Tobias Schubert

J. Satisf. Boolean Model. Comput., 2007

2006

Test automation for hybrid systems.

Bahareh Badban, Martin Fränzle, Jan Peleska, Tino Teige

Proceedings of the Third International Workshop on Software Quality Assurance, 2006