Tino Teige
Tino Teige
Chief Research Engineer Innovation & Technology, BTC Embedded Systems AG
Verified email at btc-es.de - Homepage
TitleCited byYear
Efficient solving of large non-linear arithmetic constraint systems with complex boolean structure
M Franzle, C Herde, T Teige, S Ratschan, T Schubert
Journal on Satisfiability, Boolean Modeling and Computation 1, 209-236, 2007
3572007
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
722008
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
462008
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
402006
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
382010
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
252011
Stochastic satisfiability modulo theories for non-linear arithmetic
T Teige, M Fränzle
International Conference on Integration of Artificial Intelligence (AI) and …, 2008
172008
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
162015
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
Stochastic satisfiability modulo theories: a symbolic technique for the analysis of probabilistic hybrid systems
T Teige
Universität Oldenburg, 2012
132012
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
132008
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
122016
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
112017
Constraint-based analysis of probabilistic hybrid systems
T Teige, M Fränzle
IFAC Proceedings Volumes 42 (17), 162-167, 2009
112009
Satisfaction meets expectations
M Fränzle, T Teige, A Eggers
International Conference on Integrated Formal Methods, 168-182, 2010
102010
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
Incremental bounded model checking for embedded software (extended version)
P Schrammel, D Kroening, M Brain, R Martins, T Teige, T Bienmüller
arXiv preprint arXiv:1409.5872, 2014
62014
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
Resolution for stochastic Boolean satisfiability
T Teige, M Fränzle
International Conference on Logic for Programming Artificial Intelligence …, 2010
62010
Universal pattern: Formalization, testing, coverage, verification, and test case generation for safety-critical requirements
T Teige, T Bienmüller, HJ Holberg
Universität, 2016
52016
The system can't perform the operation now. Try again later.
Articles 1–20