Monarch: A High-Assurance Java-to-Java (J2j) Source-Code Migrator. - Victor L. Winter; Jonathan Guerrero; Carl Reinke; James T. Perry (HASE, 2011)

Linking Syntactic and Semantic Models of Java Source Code within a Program Transformation System. - Victor L. Winter; Jonathan Guerrero; Alexander James; Carl Reinke (HASE, 2012)

Sextant: A tool to specify and visualize software metrics for Java source-code. - Victor L. Winter; Carl Reinke; Jonathan Guerrero (WETSoM, 2013)

Using Program Transformation, Annotation, and Reflection to Certify a Java Type Resolution Function. - Victor L. Winter; Carl Reinke; Jonathan Guerrero (HASE, 2014)

Certifying a java type resolution function using program transformation, annotation, and reflection. - Victor L. Winter; Carl Reinke; Jonathan Guerrero (Softw. Qual. J., 2016)