Jonathan Guerrero

Publication Activity (10 Years)

Years Active: 2011-2016
Publications (10 Years): 1

Top Topics

Piecewise Linear

Semantic Models

Top Venues

Softw. Qual. J.

Publications

Victor L. Winter, Carl Reinke, Jonathan Guerrero
Certifying a java type resolution function using program transformation, annotation, and reflection. Softw. Qual. J. 24 (1) (2016)
Victor L. Winter, Carl Reinke, Jonathan Guerrero
Using Program Transformation, Annotation, and Reflection to Certify a Java Type Resolution Function. HASE (2014)
Victor L. Winter, Carl Reinke, Jonathan Guerrero
Sextant: A tool to specify and visualize software metrics for Java source-code. WETSoM (2013)
Victor L. Winter, Jonathan Guerrero, Alexander James, Carl Reinke
Linking Syntactic and Semantic Models of Java Source Code within a Program Transformation System. HASE (2012)
Victor L. Winter, Jonathan Guerrero, Carl Reinke, James T. Perry
Monarch: A High-Assurance Java-to-Java (J2j) Source-Code Migrator. HASE (2011)