Thomas Heinz

Publication Activity (10 Years)

Years Active: 2008-2019
Publications (10 Years): 4

Top Topics

Motion Detection

Dynamical Systems

Formal Specification

Test Case Generation

Top Venues

Publications

Christoph Gladisch, Thomas Heinz, Christian Heinzemann, Jens Oehlerking, Anne von Vietinghoff, Tim Pfitzer
Experience Paper: Search-Based Testing in Automated Driving Control Applications. ASE (2019)
Hendrik Roehm, Thomas Heinz, Eva Charlotte Mayer
STLInspector: STL Validation with Guarantees. CAV (1) (2017)
Hendrik Roehm, Jens Oehlerking, Thomas Heinz, Matthias Althoff
STL Model Checking of Continuous and Hybrid Systems. ATVA (2016)
Thomas Heinz
Falsification of Dynamical Systems - An Industrial Perspective. NSV@CAV (2016)
Hidir Yuzuguzel, Jari Niemi, Serkan Kiranyaz, Moncef Gabbouj, Thomas Heinz
ShakeMe: Key Generation From Shared Motion. CoRR (2015)
Hendrik Roehm, Rainer Gmehlich, Thomas Heinz, Jens Oehlerking, Matthias Woehrle
Industrial Examples of Formal Specifications for Test Case Generation. ARCH@CPSWeek (2015)
Hidir Yuzuguzel, Jari Niemi, Serkan Kiranyaz, Moncef Gabbouj, Thomas Heinz
ShakeMe: Key Generation from Shared Motion. CIT/IUCC/DASC/PICom (2015)
Thomas Heinz, Jens Oehlerking, Matthias Woehrle
Benchmark: Reachability on a model with holes. ARCH@CPSWeek (2014)
Thomas Heinz, Reinhard Wilhelm
Towards device emulation code generation. LCTES (2009)
Thomas Heinz
Preserving temporal behaviour of legacy real-time software across static binary translation. IIES@EuroSys (2008)
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, Wei-Chung Hsu, Jens Knoop, Andreas Krall, Naveen Kumar, Jonas Maebe, Robert Muth, Xavier Rival, Erven Rohou, Roni Rosner, Mary Lou Soffa, Jens Tröger, Christopher A. Vick
08441 Final Report - Emerging Uses and Paradigms for Dynamic Binary Translation. Emerging Uses and Paradigms for Dynamic Binary Translation (2008)
Thomas Heinz, Jörn Schneider
The Legacy ECU Software Problem - Approach and Research Challenges. Software Engineering (Workshops) (2008)