 | 2008 |
|---|
| 6 |       | Tino Teige,
Martin Fränzle:
Stochastic Satisfiability Modulo Theories for Non-linear Arithmetic.
CPAIOR 2008: 248-262 |
| 5 | | Andreas Eggers,
Natalia Kalinnik,
Stefan Kupferschmid,
Tino Teige:
Challenges in Constraint-Based Analysis of Hybrid Systems.
CSCLP 2008: 51-65 |
| 4 | | 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 | | Christian Herde,
Andreas Eggers,
Martin Fränzle,
Tino Teige:
Analysis of Hybrid Systems Using HySAT.
ICONS 2008: 196-201 |
| 2007 |
|---|
| 2 | | 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 | | Bahareh Badban,
Martin Fränzle,
Jan Peleska,
Tino Teige:
Test automation for hybrid systems.
SOQUA 2006: 14-21 |
