Tino Teige

I moved to BTC Embedded Systems AG!

---

Research interests

• Automatic verification and analysis of hybrid discrete-continuous systems and probabilistic hybrid systems
• Bounded and full model checking techniques based on predicative encodings of infinite-state transition systems
• Propositional satisfiability (SAT) solving, constraint programming and solving (CP), satisfiability modulo theories (SMT), and their stochastic extensions

Research projects, I was involved in

• European Collaborative Project "Modeling, Verification and Control of Complex Systems: From Foundations to Power Network Applications" (MoVeS)
• Transregional Collaborative Research Center "Automatic Verification and Analysis of Complex Systems" (SFB/TR 14 AVACS)

Tools

• iSAT: non-linear arithmetic SMT solver and bounded model checker for hybrid systems
• SiSAT: non-linear arithmetic SSMT solver and probabilistic bounded model checker for probabilistic hybrid systems

More detailed information

• Curriculum vitae
• Publications
• Talks
  

---

last modification: September 25, 2012