Tino Teige
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
10
Active years
2008–2021
Best venue rank
National
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | DATE | ICP and IC3. | Karsten Scheibler, Felix Winterer, Tobias Seufert, Tino Teige, Christoph Scholl, Bernd Becker |
| 2021 | FM | Two Decades of Formal Methods in Industrial Products at BTC Embedded Systems. | Tino Teige, Andreas Eggers, Karsten Scheibler, Matthias Stasch, Udo Brockmeyer, Hans Jrgen Holberg, Tom Bienmller |
| 2016 | FMCAD | Accurate ICP-based floating-point reasoning. | Karsten Scheibler, Felix Neubauer, Ahmed Mahdi, Martin Frnzle, Tino Teige, Tom Bienmller, Detlef Fehrer, Bernd Becker |
| 2016 | SYNASC | Satisfaction Meets Practice and Confidence. | Tom Bienmller, Tino Teige |
| 2016 | SYNASC | Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving. | Felix Neubauer, Karsten Scheibler, Bernd Becker, Ahmed Mahdi, Martin Frnzle, Tino Teige, Tom Bienmller, Detlef Fehrer |
| 2015 | FMICS | Successful Use of Incremental BMC in the Automotive Industry. | Peter Schrammel, Daniel Kroening, Martin Brain, Ruben Martins, Tino Teige, Tom Bienmller |
| 2011 | DDECS | Proof certificates and non-linear arithmetic constraints. | Stefan Kupferschmid, Bernd Becker, Tino Teige, Martin Frnzle |
| 2011 | TACAS | Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems. | Tino Teige, Martin Frnzle |
| 2010 | IFM | Satisfaction Meets Expectations - Computing Expected Values of Probabilistic Hybrid Systems with SMT. | Martin Frnzle, Tino Teige, Andreas Eggers |
| 2010 | LPAR | Resolution for Stochastic Boolean Satisfiability. | Tino Teige, Martin Frnzle |
| 2008 | CPAIOR | Stochastic Satisfiability Modulo Theories for Non-linear Arithmetic. | Tino Teige, Martin Frnzle |