| 2008 |
|---|
| 5 | EE | Tino Teige,
Martin Fränzle:
Stochastic Satisfiability Modulo Theories for Non-linear Arithmetic.
CPAIOR 2008: 248-262 |
| 4 | EE | Martin Fränzle,
Holger Hermanns,
Tino Teige:
Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems.
HSCC 2008: 172-186 |
| 3 | EE | Christian Herde,
Andreas Eggers,
Martin Fränzle,
Tino Teige:
Analysis of Hybrid Systems Using HySAT.
ICONS 2008: 196-201 |
| 2007 |
|---|
| 2 | EE | Martin Fränzle,
Christian Herde,
Tino Teige,
Stefan Ratschan,
Tobias Schubert:
Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure.
JSAT 1(3-4): 209-236 (2007) |
| 2006 |
|---|
| 1 | EE | Bahareh Badban,
Martin Fränzle,
Jan Peleska,
Tino Teige:
Test automation for hybrid systems.
SOQUA 2006: 14-21 |
