Thomas Heinz

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