EasyChair Smart SlideDocs/Log in
Author: Thomas Wies

This page shows all presentations of this author published in EasyChair Smart Slide.

TarTar: a Timed Automata Repair Tool

TarTar: a Timed Automata Repair Tool

Martin Kölbl, Stefan Leue and Thomas Wies

Clock Bound Repair for Timed Systems

Clock Bound Repair for Timed Systems

Martin Kölbl, Stefan Leue and Thomas Wies

Invited talk: Automating Separation Logics using SMT

Invited talk: Automating Separation Logics using SMT

Thomas Wies

Automating the Flow Framework

Automating the Flow Framework

Siddharth Krishna, Dennis Shasha and Thomas Wies

Presentations in this collection: 4
Copyright © 2002 – 2024 EasyChair