Institute of

Theoretical Computer Science

Carl-Friedrich-Gauß-Fakultät

Technische Universität Braunschweig

Recent

Recent

  1. Liveness Verification and Synthesis: New Algorithms for Recursive Programs, by Roland Meyer, Sebastian Muskalla, and Elisabeth Neumann.

    arXiv

  2. Temporal Tracing of On-chip Signals using Timeprints, by Rehab Massoud, Peter Chini, Prakash Saivasan, Roland Meyer, Hoang M. Le, and Rolf Drechsler.

    DAC 2019

  3. Fast Witness Counting, by Peter Chini, Rehab Massoud, Roland Meyer, and Prakash Saivasan.

    arXiv

  4. Munchausen Iteration, by Roland Meyer and Sebastian Muskalla.

    arXiv