Jonathan Guerrero

According to our database, Jonathan Guerrero authored at least 5 papers between 2011 and 2016.

Collaborative distances:

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

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