Concepedia

Tino Teige

TT

Statistics

Publications

9

Citations

493

H-Index

9

Active since

2006

Affiliations

Carl von Ossietzky Universität Oldenburg(Current)

University of Freiburg

Tino Teige is an author at Carl von Ossietzky Universität Oldenburg specializing in formal methods, computer science, and engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationSystems EngineeringComputer EngineeringVerificationProgram AnalysisSoftware AnalysisAutomation

Publications per year

2006–2017

9

Publications

9

Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure1

Martin Fränzle, Christian Herde, Tino Teige et al. · Journal on Satisfiability Boolean Modeling and Computation · 2007 · 310 citations · Full text

Engineering constraint solvers for automatic analysis of probabilistic hybrid automata

Martin Fränzle, Tino Teige, Andreas Eggers · The Journal of Logic and Algebraic Programming · 2010 · 39 citations

Mathematical Programming, Constraint Solving, Logical Automaton +14

Analysis of Hybrid Systems Using HySAT

Christian Herde, Andreas Eggers, Martin Fr et al. · 2008 · 35 citations

Test automation for hybrid systems

Bahareh Badban, Martin Fränzle, Jan Peleška et al. · 2006 · 26 citations

Interval Analysis Techniques, Engineering, Computational Testing +15

Incremental bounded model checking for embedded software

Peter Schrammel, Daniel Kroening, Martin Brain et al. · Formal Aspects of Computing · 2017 · 24 citations · Full text

Program Checking, Engineering, Verification +18

1–5 of 9