EasyChair Smart SlideDocs/Log in
Author: Thomas Noll

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

Harrsh: A Tool for Unied Reasoning about Symbolic-Heap Separation Logic

Harrsh: A Tool for Unied Reasoning about Symbolic-Heap Separation Logic

Jens Katelaan, Christoph Matheja, Thomas Noll and Florian Zuleger

Let this Graph be your Witness! An Attestor for Verifying Java Pointer Programs

Let this Graph be your Witness! An Attestor for Verifying Java Pointer Programs

Hannah Arndt, Christina Jansen, Joost-Pieter Katoen, Christoph Matheja and Thomas Noll

Symbolic Liveness Analysis of Real-World Software

Symbolic Liveness Analysis of Real-World Software

Daniel Schemmel, Julian Büning, Oscar Soria Dustmann, Thomas Noll and Klaus Wehrle

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