Reinhold Heckmann - Concepedia

Author

Reinhold Heckmann

Saarland University

Also Known As

Heckmann, R, Heckmann, Reinhold, R. Heckmann, REINHOLD HECKMANN, Reinhold Heckmann

Publications

4.1K

Citations

H-Index

Concepts

All Affiliations

Saarland University AbsInt (Germany)TU Wien

About

Reinhold Heckmann is an author at Saarland University specializing in engineering, computer science, and software analysis.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	12	14	2.6K
2	Computer Engineering	10	11	2.5K
3	Computer Science	10	12	2.4K
4	Language Studies	2	2	24
5	Linguistics	2	2	24

Reinhold Heckmann

Publications

3.3K

Citations

H-Index

Page 1

	Year	Citations
The worst-case execution-time problem—overview of methods and survey of tools Reinhard Wilhelm, Jakob Engblom, Andreas Ermedahl, ACM Transactions on Embedded Computing Systems EngineeringComputer ArchitectureSoftware EngineeringComputational ComplexityProcessor Architecture	2008	1.8K
The influence of processor architecture on the design and the results of WCET tools Reinhold Heckmann, M. Langebach, Stephan Thesing, Proceedings of the IEEE Wcet AnalysisEngineeringComputer ArchitectureSoftware EngineeringProcessor Architecture	2003	246
Approximation of Metric Spaces by Partial Metric Spaces Reinhold Heckmann Applied Categorical Structures	1999	192
T-CREST: Time-predictable multi-core architecture for embedded systems Martin Schoeberl, Sahar Abbaspour, Benny Åkesson, Journal of Systems Architecture EngineeringHigh-performance ArchitectureMany-core ArchitectureComputer ArchitectureComputer Engineering	2015	183
A computational model for metric spaces Abbas Edalat, Reinhold Heckmann Theoretical Computer Science GeometryTopological Data AnalysisMetric Graph TheoryComputational GeometryComputational Topology	1998	181
Computing the Worst Case Execution Time of an Avionics Program by Abstract Interpretation Jean Souyris, Erwan Le Pavec, Guillaume Himbert, DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) EngineeringAvionics ProgramTiming Analyser AitSoftware EngineeringComputational Complexity	2008	97
aiT: Worst-Case Execution Time Prediction by Static Program Analysis Christian Ferdinand, Reinhold Heckmann	2008	96
An abstract interpretation-based timing validation of hard real-time avionics software Stephan Thesing, Jean Souyris, Reinhold Heckmann, EngineeringVerificationSoftware SystemsComputer ArchitectureSoftware Engineering	2004	88
Quasicontinuous Domains and the Smyth Powerdomain Reinhold Heckmann, Klaus Keimel Electronic Notes in Theoretical Computer Science	2013	83
Spaces of Valuations Reinhold Heckmann Annals of the New York Academy of Sciences Measure TheoryMeasurelike FunctionsProperty EvaluationValue TheoryConvex Topological Cone	1996	53

Page 1