Folgen
Tino Teige
Tino Teige
Chief Research Engineer Innovation & Technology, BTC Embedded Systems AG
Bestätigte E-Mail-Adresse bei btc-es.de - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
4522006
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
982008
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
502008
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
472010
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
452006
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, 911-931, 2017
362017
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
332011
Successful use of incremental BMC in the automotive industry
P Schrammel, D Kroening, M Brain, R Martins, T Teige, T Bienmüller
Formal Methods for Industrial Critical Systems: 20th International Workshop …, 2015
282015
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
252016
Universal pattern: Formalization, testing, coverage, verification, and test case generation for safety-critical requirements
T Teige
Deutsche Nationalbibliothek, 2016
252016
Stochastic satisfiability modulo theories for non-linear arithmetic
T Teige, M Fränzle
International Conference on Integration of Artificial Intelligence (AI) and …, 2008
202008
Superposition modulo non-linear arithmetic
A Eggers, E Kruglov, S Kupferschmid, K Scheibler, T Teige, ...
Frontiers of Combining Systems: 8th International Symposium, FroCoS 2011 …, 2011
192011
Stochastic satisfiability modulo theories: a symbolic technique for the analysis of probabilistic hybrid systems
T Teige
Universität Oldenburg, 2012
172012
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
162016
Constraint-based analysis of probabilistic hybrid systems
T Teige, M Fränzle
IFAC Proceedings Volumes 42 (17), 162-167, 2009
132009
Resolution for stochastic Boolean satisfiability
T Teige, M Fränzle
International Conference on Logic for Programming Artificial Intelligence …, 2010
122010
Interoperable toolchain for requirements-driven model-based development
JS Becker, V Bertram, T Bienmüller, U Brockmeyer, H Dörr, T Peikenkamp, ...
ERTS 2018, 2018
112018
Satisfaction meets expectations: Computing expected values of probabilistic hybrid systems with SMT
M Fränzle, T Teige, A Eggers
International Conference on Integrated Formal Methods, 168-182, 2010
112010
Challenges in constraint-based analysis of hybrid systems
A Eggers, N Kalinnik, S Kupferschmid, T Teige
Recent Advances in Constraints: 13th Annual ERCIM International Workshop on …, 2009
112009
Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving.
F Neubauer, K Scheibler, B Becker, A Mahdi, M Fränzle, T Teige, ...
SC²@ SYNASC, 32-38, 2016
92016
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20