This page shows all presentations of this author published in EasyChair Smart Slide.
TarTar: a Timed Automata Repair Tool
Martin Kölbl, Stefan Leue and Thomas Wies
Clock Bound Repair for Timed Systems
Invited talk: Automating Separation Logics using SMT
Thomas Wies
Automating the Flow Framework
Siddharth Krishna, Dennis Shasha and Thomas Wies