According to our database1, Thomas Heinz
Legend:Book In proceedings Article PhD thesis Other
STLInspector: STL Validation with Guarantees.
Proceedings of the Computer Aided Verification - 29th International Conference, 2017
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
ShakeMe: Key Generation From Shared Motion.
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
Benchmark: Reachability on a model with holes.
Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2014
Towards device emulation code generation.
Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, 2009
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