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 | 453 | 2006 |
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 | 99 | 2008 |
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 | 50 | 2008 |
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 | 47 | 2010 |
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 | 45 | 2006 |
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 | 37 | 2017 |
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 | 33 | 2011 |
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 | 28 | 2015 |
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 | 25 | 2016 |
Universal pattern: Formalization, testing, coverage, verification, and test case generation for safety-critical requirements T Teige Deutsche Nationalbibliothek, 2016 | 25 | 2016 |
Stochastic satisfiability modulo theories for non-linear arithmetic T Teige, M Fränzle International Conference on Integration of Artificial Intelligence (AI) and …, 2008 | 20 | 2008 |
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 | 19 | 2011 |
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 | 17 | 2016 |
Stochastic satisfiability modulo theories: a symbolic technique for the analysis of probabilistic hybrid systems T Teige Universität Oldenburg, 2012 | 17 | 2012 |
Constraint-based analysis of probabilistic hybrid systems T Teige, M Fränzle IFAC Proceedings Volumes 42 (17), 162-167, 2009 | 13 | 2009 |
Resolution for stochastic Boolean satisfiability T Teige, M Fränzle International Conference on Logic for Programming Artificial Intelligence …, 2010 | 12 | 2010 |
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 | 11 | 2018 |
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 | 11 | 2010 |
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 | 11 | 2009 |
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 | 9 | 2016 |