The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Tino Teige" ( http://dblp.L3S.de/Authors/Tino_Teige )

  Author page on DBLP  Author page in RDF  Community of Tino Teige in ASPL-2

Publication years (Num. hits)
2006-2012 (16) 2014-2017 (8)
Publication types (Num. hits)
article(5) inproceedings(18) phdthesis(1)
Venues (Conferences, Journals, ...)
MBMV(3) SC²@SYNASC(2) ADHS(1) CoRR(1) CPAIOR(1) CSCLP(1) DDECS(1) FMCAD(1) FMICS(1) Formal Asp. Comput.(1) FroCoS(1) HSCC(1) ICONS(1) IFM(1) J. Log. Algebr. Program.(1) JSAT(1) More (+10 of total 20)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 5 occurrences of 5 keywords

Results
Found 25 publication records. Showing 24 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Peter Schrammel, Daniel Kroening, Martin Brain, Ruben Martins, Tino Teige, Tom Bienmüller Incremental bounded model checking for embedded software. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Felix Neubauer, Karsten Scheibler, Bernd Becker 0001, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving. Search on Bibsonomy MBMV The full citation details ... 2017 DBLP  BibTeX  RDF
1Tino Teige, Tom Bienmüller, Hans Jürgen Holberg Universal Pattern: Formalization, Testing, Coverage, Verification, and Test Case Generation for Safety-Critical Requirements. Search on Bibsonomy MBMV The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Tom Bienmüller, Tino Teige Satisfaction Meets Practice and Confidence. Search on Bibsonomy SC²@SYNASC The full citation details ... 2016 DBLP  BibTeX  RDF
1Felix Neubauer, Karsten Scheibler, Bernd Becker 0001, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving. Search on Bibsonomy SC²@SYNASC The full citation details ... 2016 DBLP  BibTeX  RDF
1Karsten Scheibler, Felix Neubauer, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer, Bernd Becker 0001 Accurate ICP-based floating-point reasoning. Search on Bibsonomy FMCAD The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Peter Schrammel, Daniel Kroening, Martin Brain, Ruben Martins, Tino Teige, Tom Bienmüller Successful Use of Incremental BMC in the Automotive Industry. Search on Bibsonomy FMICS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Peter Schrammel, Daniel Kroening, Martin Brain, Ruben Martins, Tino Teige, Tom Bienmüller Incremental Bounded Model Checking for Embedded Software (extended version). Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Tino Teige, Martin Fränzle Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems with Applications to Probabilistic State Reachability and Region Stability. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Tino Teige Stochastic satisfiability modulo theories: a symbolic technique for the analysis of probabilistic hybrid systems. Search on Bibsonomy 2012   RDF
1Stefan Kupferschmid, Bernd Becker 0001, Tino Teige, Martin Fränzle Proof certificates and non-linear arithmetic constraints. Search on Bibsonomy DDECS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Tino Teige, Martin Fränzle Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems. Search on Bibsonomy TACAS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Andreas Eggers, Evgeny Kruglov, Stefan Kupferschmid, Karsten Scheibler, Tino Teige, Christoph Weidenbach Superposition Modulo Non-linear Arithmetic. Search on Bibsonomy FroCoS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Martin Fränzle, Tino Teige, Andreas Eggers Engineering constraint solvers for automatic analysis of probabilistic hybrid automata. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Tino Teige, Martin Fränzle Resolution for Stochastic Boolean Satisfiability. Search on Bibsonomy LPAR (Yogyakarta) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Martin Fränzle, Tino Teige, Andreas Eggers Satisfaction Meets Expectations - Computing Expected Values of Probabilistic Hybrid Systems with SMT. Search on Bibsonomy IFM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Stefan Kupferschmid, Tino Teige, Bernd Becker 0001, Martin Fränzle Proofs of Unsatisfiability for mixed Boolean and Non-linear Arithmetic Constraint Formulae. Search on Bibsonomy MBMV The full citation details ... 2009 DBLP  BibTeX  RDF
1Tino Teige, Martin Fränzle Constraint-Based Analysis of Probabilistic Hybrid Systems. Search on Bibsonomy ADHS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Tino Teige, Martin Fränzle Stochastic Satisfiability Modulo Theories for Non-linear Arithmetic. Search on Bibsonomy CPAIOR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Martin Fränzle, Holger Hermanns, Tino Teige Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems. Search on Bibsonomy HSCC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Christian Herde, Andreas Eggers, Martin Fränzle, Tino Teige Analysis of Hybrid Systems Using HySAT. Search on Bibsonomy ICONS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Andreas Eggers, Natalia Kalinnik, Stefan Kupferschmid, Tino Teige Challenges in Constraint-Based Analysis of Hybrid Systems. Search on Bibsonomy CSCLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF mixed Boolean and arithmetic constraints, stochastic SMT, parallel solver, differential equations, Craig interpolation
1Martin Fränzle, Christian Herde, Tino Teige, Stefan Ratschan, Tobias Schubert 0001 Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure. Search on Bibsonomy JSAT The full citation details ... 2007 DBLP  BibTeX  RDF
1Bahareh Badban, Martin Fränzle, Jan Peleska 0001, Tino Teige Test automation for hybrid systems. Search on Bibsonomy SOQUA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF MCDC coverage, hybrid systems, test case generation, interval analysis
Displaying result #1 - #24 of 24 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license