08441 Final Report - Emerging Uses and Paradigms for Dynamic Binary Translation. - Erik R. Altman; Bruce R. Childers; Robert S. Cohn; Jack W. Davidson; Koen De Bosschere; Bjorn De Sutter; M. Anton Ertl; Michael Franz; Yuan Xiang Gu; Matthias Hauswirth; Thomas Heinz 001; Wei-Chung Hsu; et al. (Emerging Uses and Paradigms for Dynamic Binary Translation, 2008)

Preserving temporal behaviour of legacy real-time software across static binary translation. - Thomas Heinz 001 (IIES@EuroSys, 2008)

The Legacy ECU Software Problem - Approach and Research Challenges. - Thomas Heinz 001; Jörn Schneider (Software Engineering (Workshops), 2008)

Towards device emulation code generation. - Thomas Heinz 001; Reinhard Wilhelm (LCTES, 2009)

Benchmark: Reachability on a model with holes. - Thomas Heinz 001; Jens Oehlerking; Matthias Woehrle (ARCH@CPSWeek, 2014)

ShakeMe: Key Generation from Shared Motion. - Hidir Yuzuguzel; Jari Niemi; Serkan Kiranyaz; Moncef Gabbouj; Thomas Heinz 001 (CIT/IUCC/DASC/PICom, 2015)

Industrial Examples of Formal Specifications for Test Case Generation. - Hendrik Roehm; Rainer Gmehlich; Thomas Heinz 001; Jens Oehlerking; Matthias Woehrle (ARCH@CPSWeek, 2015)

STL Model Checking of Continuous and Hybrid Systems. - Hendrik Roehm; Jens Oehlerking; Thomas Heinz 001; Matthias Althoff (ATVA, 2016)

Falsification of Dynamical Systems - An Industrial Perspective. - Thomas Heinz 001 (NSV@CAV, 2016)

STLInspector: STL Validation with Guarantees. - Hendrik Roehm; Thomas Heinz 001; Eva Charlotte Mayer (CAV (1), 2017)

Experience Paper: Search-Based Testing in Automated Driving Control Applications. - Christoph Gladisch; Thomas Heinz 001; Christian Heinzemann; Jens Oehlerking; Anne von Vietinghoff; Tim Pfitzer (ASE, 2019)