Thomas Heinz

STL Model Checking of Continuous and Hybrid Systems

Matthias Althoff, Jens Oehlerking, Hendrik Roehm, 2016, ATVA.

Benchmark: Reachability on a model with holes

Matthias Woehrle, Jens Oehlerking, Thomas Heinz, 2014, ARCH@CPSWeek.

ShakeMe: Key Generation from Shared Motion

Moncef Gabbouj, Serkan Kiranyaz, Jari Niemi, 2015, 2015 IEEE International Conference on Computer and Information Technology; Ubiquitous Computing and Communications; Dependable, Autonomic and Secure Computing; Pervasive Intelligence and Computing.

An apparatus for driving a motor vehicle

Markus Schweizer, Christian Lasarczyk, Bernd Mueller, 1987 .

Industrial Examples of Formal Specifications for Test Case Generation

Matthias Woehrle, Rainer Gmehlich, Jens Oehlerking, 2015, ARCH@CPSWeek.

Preserving temporal behaviour of legacy real-time software across static binary translation

Thomas Heinz, 2008, IIES '08.

Teaching Geogame Design: Game Relocation as a Spatial Analysis Task

Christoph Schlieder, Thomas Heinz, Dominik Kremer, 2018 .

The Legacy ECU Software Problem - Approach and Research Challenges

Jörn Schneider, Thomas Heinz, 2008, Software Engineering.

HiPAC High Performance Packet Classification for Netfilter

Thomas Heinz, Thomas Heinz, 2004 .

STLInspector: STL Validation with Guarantees

Hendrik Roehm, Thomas Heinz, Eva Charlotte Mayer, 2017, CAV.

08441 Final Report - Emerging Uses and Paradigms for Dynamic Binary Translation

Matthias Hauswirth, Erik R. Altman, Koen De Bosschere, 2008, Emerging Uses and Paradigms for Dynamic Binary Translation.

Towards device emulation code generation

Reinhard Wilhelm, Thomas Heinz, R. Wilhelm, 2009, LCTES '09.

Falsification of Dynamical Systems - An Industrial Perspective

Thomas Heinz, 2016, NSV@CAV.