Thomas Heinz

According to our database1, Thomas Heinz
  • authored at least 10 papers between 2008 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
STLInspector: STL Validation with Guarantees.
Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016
Falsification of Dynamical Systems - An Industrial Perspective.
Proceedings of the Numerical Software Verification - 9th International Workshop, 2016

STL Model Checking of Continuous and Hybrid Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2016

2015
ShakeMe: Key Generation From Shared Motion.
CoRR, 2015

Industrial Examples of Formal Specifications for Test Case Generation.
Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2015

ShakeMe: Key Generation from Shared Motion.
Proceedings of the 15th IEEE International Conference on Computer and Information Technology, 2015

2014
Benchmark: Reachability on a model with holes.
Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2014

2009
Towards device emulation code generation.
Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, 2009

2008
The Legacy ECU Software Problem - Approach and Research Challenges.
Proceedings of the Software Engineering 2008, 2008

08441 Final Report - Emerging Uses and Paradigms for Dynamic Binary Translation.
Proceedings of the Emerging Uses and Paradigms for Dynamic Binary Translation, 26.10., 2008


  Loading...