Carl Reinke

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

Collaborative distances:

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

2021

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

Lorenz Quentin, Rüdiger Beermann, Carl Reinke, Pascal Kern, Markus Kästner, Eduard Reithmeier

Sensors, 2021

2016

Certifying a java type resolution function using program transformation, annotation, and reflection.

Victor L. Winter, Carl Reinke, Jonathan Guerrero

Softw. Qual. J., 2016

2014

Using Program Transformation, Annotation, and Reflection to Certify a Java Type Resolution Function.

Victor L. Winter, Carl Reinke, Jonathan Guerrero

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.

Victor L. Winter, Carl Reinke, Jonathan Guerrero

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.

Victor L. Winter, Jonathan Guerrero, Alexander James, Carl Reinke

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.

Victor L. Winter, Jonathan Guerrero, Carl Reinke, James T. Perry

Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011