Thomas Heinz

According to our database, Thomas Heinz authored at least 11 papers between 2008 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Experience Paper: Search-Based Testing in Automated Driving Control Applications.

Christoph Gladisch, Thomas Heinz, Christian Heinzemann, Jens Oehlerking, Anne von Vietinghoff, Tim Pfitzer

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

2017

STLInspector: STL Validation with Guarantees.

Hendrik Roehm, Thomas Heinz, Eva Charlotte Mayer

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Falsification of Dynamical Systems - An Industrial Perspective.

Thomas Heinz

Proceedings of the Numerical Software Verification - 9th International Workshop, 2016

STL Model Checking of Continuous and Hybrid Systems.

Hendrik Roehm, Jens Oehlerking, Thomas Heinz, Matthias Althoff

Proceedings of the Automated Technology for Verification and Analysis, 2016

2015

Industrial Examples of Formal Specifications for Test Case Generation.

Hendrik Roehm, Rainer Gmehlich, Thomas Heinz, Jens Oehlerking, Matthias Woehrle

Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2015

ShakeMe: Key Generation from Shared Motion.

Hidir Yuzuguzel, Jari Niemi, Serkan Kiranyaz, Moncef Gabbouj, Thomas Heinz

Proceedings of the 15th IEEE International Conference on Computer and Information Technology, 2015

2014

Benchmark: Reachability on a model with holes.

Thomas Heinz, Jens Oehlerking, Matthias Woehrle

Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2014

2009

Towards device emulation code generation.

Thomas Heinz, Reinhard Wilhelm

Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, 2009

2008

The Legacy ECU Software Problem - Approach and Research Challenges.

Thomas Heinz, Jörn Schneider

Proceedings of the Software Engineering 2008, 2008

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

Thomas Heinz

Proceedings of the 1st Workshop on Isolation and Integration in Embedded Systems, 2008

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, 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

Proceedings of the Emerging Uses and Paradigms for Dynamic Binary Translation, 26.10., 2008