Carl Reinke

According to our database1, Carl Reinke authored at least 6 papers between 2011 and 2021.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Adapted Fringe Projection Sequences for Changing Illumination Conditions on the Example of Measuring a Wrought-Hot Object Influenced by Forced Cooling.
Sensors, 2021

2016
Certifying a java type resolution function using program transformation, annotation, and reflection.
Softw. Qual. J., 2016

2014
Using Program Transformation, Annotation, and Reflection to Certify a Java Type Resolution Function.
Proceedings of the 15th International IEEE Symposium on High-Assurance Systems Engineering, 2014

2013
Sextant: A tool to specify and visualize software metrics for Java source-code.
Proceedings of the 4th International Workshop on Emerging Trends in Software Metrics, 2013

2012
Linking Syntactic and Semantic Models of Java Source Code within a Program Transformation System.
Proceedings of the 14th International IEEE Symposium on High-Assurance Systems Engineering, 2012

2011
Monarch: A High-Assurance Java-to-Java (J2j) Source-Code Migrator.
Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011


  Loading...