Tino Teige
Tino Teige
Chief Research Engineer Innovation & Technology, BTC Embedded Systems AG
Verified email at btc-es.de - Homepage
Title
Cited by
Cited by
Year
Efficient solving of large non-linear arithmetic constraint systems with complex boolean structure
M Fränzle, C Herde, T Teige, S Ratschan, T Schubert
Journal on Satisfiability, Boolean Modeling and Computation 1 (3-4), 209-236, 2006
3732006
Stochastic satisfiability modulo theory: A novel technique for the analysis of probabilistic hybrid systems
M Fränzle, H Hermanns, T Teige
International Workshop on Hybrid Systems: Computation and Control, 172-186, 2008
742008
Analysis of hybrid systems using HySAT
C Herde, A Eggers, M Fränzle, T Teige
Third International Conference on Systems (icons 2008), 196-201, 2008
482008
Test automation for hybrid systems
B Badban, M Fränzle, J Peleska, T Teige
Proceedings of the 3rd international workshop on Software quality assurance …, 2006
412006
Engineering constraint solvers for automatic analysis of probabilistic hybrid automata
M Fränzle, T Teige, A Eggers
The Journal of Logic and Algebraic Programming 79 (7), 436-466, 2010
392010
Constraint-based analysis of concurrent probabilistic hybrid systems: An application to networked automation systems
T Teige, A Eggers, M Fränzle
Nonlinear Analysis: Hybrid Systems 5 (2), 343-366, 2011
272011
Successful use of incremental BMC in the automotive industry
P Schrammel, D Kroening, M Brain, R Martins, T Teige, T Bienmüller
International Workshop on Formal Methods for Industrial Critical Systems, 62-77, 2015
182015
Stochastic satisfiability modulo theories for non-linear arithmetic
T Teige, M Fränzle
International Conference on Integration of Artificial Intelligence (AI) and …, 2008
172008
Superposition modulo non-linear arithmetic
A Eggers, E Kruglov, S Kupferschmid, K Scheibler, T Teige, ...
International Symposium on Frontiers of Combining Systems, 119-134, 2011
162011
Incremental bounded model checking for embedded software
P Schrammel, D Kroening, M Brain, R Martins, T Teige, T Bienmüller
Formal Aspects of Computing 29 (5), 911-931, 2017
142017
Challenges in constraint-based analysis of hybrid systems
A Eggers, N Kalinnik, S Kupferschmid, T Teige
International Workshop on Constraint Solving and Constraint Logic …, 2008
142008
Accurate ICP-based floating-point reasoning
K Scheibler, F Neubauer, A Mahdi, M Fränzle, T Teige, T Bienmüller, ...
2016 Formal Methods in Computer-Aided Design (FMCAD), 177-184, 2016
132016
Stochastic satisfiability modulo theories: a symbolic technique for the analysis of probabilistic hybrid systems
T Teige
Universität Oldenburg, 2012
132012
Satisfaction meets expectations
M Fränzle, T Teige, A Eggers
International Conference on Integrated Formal Methods, 168-182, 2010
122010
Constraint-based analysis of probabilistic hybrid systems
T Teige, M Fränzle
IFAC Proceedings Volumes 42 (17), 162-167, 2009
122009
Universal pattern: Formalization, testing, coverage, verification, and test case generation for safety-critical requirements
T Teige, T Bienmüller, HJ Holberg
Universität, 2016
92016
Resolution for stochastic Boolean satisfiability
T Teige, M Fränzle
International Conference on Logic for Programming Artificial Intelligence …, 2010
72010
Interval constraint solving using propositional SAT solving techniques
M Fränzle, C Herde, S Ratschan, T Schubert, T Teige
Proceedings of the CP 2006 First International Workshop on the Integration …, 2006
72006
Modeling requirements for quantitative consistency analysis and automatic test case generation
T Bienmüller, T Teige, A Eggers, M Stasch
Workshop on Formal and Model-Driven Techniques for Developing Trustworthy …, 2016
62016
Proof certificates and non-linear arithmetic constraints
S Kupferschmid, B Becker, T Teige, M Fränzle
14th IEEE International Symposium on Design and Diagnostics of Electronic …, 2011
62011
The system can't perform the operation now. Try again later.
Articles 1–20