Victor L. Winter

Publication Activity (10 Years)

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

Top Topics

Programming Language

Software Metrics

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, Shiraz Hussain
Verilog Synthesis in the Higher-Order Transformation Framework of TL. HASE (2015)
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
Bricklayer: An Authentic Introduction to the Functional Programming Language SML. TFPIE (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, Bojan Cukic, Taghi M. Khoshgoftaar, Kinji Mori, Raymond A. Paul, Carlos Pérez Leguízamo, Sahra Sedigh Sarvestani, John C. Sloan, Mladen A. Vouk, I-Ling Yen
High Consequence Systems and Semantic Computing. Int. J. Semantic Comput. 7 (3) (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, James T. Perry, Harvey P. Siy, Satish Mahadevan Srinivasan, Ben Farkas, James A. McCoy
The Tyranny of the Vital Few: The Pareto Principle in Language Design. J. Softw. Eng. Appl. 4 (3) (2011)
Azamatbek Mametjanov, Victor L. Winter, Ralf Lämmel
More precise typing of rewrite strategies. LDTA (2011)
Victor L. Winter, Jonathan Guerrero, Carl Reinke, James T. Perry
Monarch: A High-Assurance Java-to-Java (J2j) Source-Code Migrator. HASE (2011)
R. Daniel Resler, Victor L. Winter
A higher-order strategy for eliminating common subexpressions. Comput. Lang. Syst. Struct. 35 (4) (2009)
Günter Kniesel, Victor L. Winter, Harvey P. Siy, Mansour Zand
Making aspect-orientation accessible through syntax-based language composition. IET Softw. 3 (3) (2009)
Joost Visser, Victor L. Winter
Preface. Electron. Notes Theor. Comput. Sci. 219 (2008)
Yan Wu, Harvey P. Siy, Mansour Zand, Victor L. Winter
Construction of Ontology-Based Software Repositories by Text Mining. International Conference on Computational Science (3) (2007)
Victor L. Winter
Model-driven Transformation-based Generation of Java Stress Tests. Electron. Notes Theor. Comput. Sci. 174 (1) (2007)
William L. Sousan, Victor L. Winter, Mansour Zand, Harvey P. Siy
ERTSAL: a prototype of a domain-specific aspect language for analysis of embedded real-time systems. DSAL@AOSD (2007)
Victor L. Winter, Azamatbek Mametjanov, Steven E. Morrison, James A. McCoy, Gregory L. Wickstrom
Transformation-Based Library Adaptation for Embedded Systems. HASE (2007)
Victor L. Winter, Azamatbek Mametjanov
Generative programming techniques for Java library migration. GPCE (2007)
Harvey P. Siy, Prasanna Aryal, Victor L. Winter, Mansour Zand
Aspectual Support for Specifying Requirements in Software Product Lines. EA@ICSE (2007)
Victor L. Winter, Jason Beranek, Fares Fraij, Steve Roach, Gregory L. Wickstrom
A transformational perspective into the core of an abstract class loader for the SSP. ACM Trans. Embed. Comput. Syst. 5 (4) (2006)
Victor L. Winter
Strategy Construction in the Higher-Order Framework of TL. Electron. Notes Theor. Comput. Sci. 124 (1) (2005)
Victor L. Winter, Jason Beranek
Program Transformation Using HATS 1.84. GTTSE (2005)
Victor L. Winter, Deepak Kapur
Towards Dynamic Partitioning of Reactive System Behavior: A Train Controller Case Study. Monterey Workshop (2005)
Victor L. Winter, Jason Beranek, Azamatbek Mametjanov, Fares Fraij, Steve Roach
A Transformational Overview of the Core Functionality of an Abstract Class Loader for the SSP. WORDS (2005)
Victor L. Winter, Steve Roach, Fares Fraij
Higher-order strategic programming: A road to software assurance. IASTED Conf. on Software Engineering and Applications (2004)
Victor L. Winter, Mahadevan Subramaniam
The transient combinator, higher-order strategies, and the distributed data problem. Sci. Comput. Program. 52 (2004)
Gregory L. Wickstrom, Jared Davis, Steven E. Morrison, Steve Roach, Victor L. Winter
The SSP: An Example of High-Assurance Systems Engineering. HASE (2004)
Victor L. Winter, Steve Roach, Gregory L. Wickstrom
Transformation-oriented programming: A development methodology for high assurance software. Adv. Comput. 58 (2003)
Victor L. Winter, Dejan Desovski, Bojan Cukic
Virtual Environment Modeling for Requirements Validation of High Consequence Systems. RE (2001)
Adriaan de Groot, Jozef Hooman, Fabrice Kordon, Emmanuel Paviot-Adet, Isabelle Vernier-Mounier, Michel Lemoine, Gervais Gaudiére, Victor L. Winter, Deepak Kapur
A Survey: Applying Formal Methods to a Software Intensive System. HASE (2001)
Allen P. Nikora, Raphael R. Some, Jeffrey M. Voas, Victor L. Winter, Jie Xu
Software Dependability in Distributed and Mobile Computing Environments. HASE (2001)
Deepak Kapur, Victor L. Winter, Raymond Berg
Designing a Controller for a Multi-Train Multi-Track System. Electron. Notes Theor. Comput. Sci. 50 (1) (2001)
Victor L. Winter, Raymond Berg
Software Systems: Consequence versus Functionality. HASE (1999)
James M. Boyle, R. Daniel Resler, Victor L. Winter
Do You Trust Your Compiler? Computer 32 (5) (1999)
Victor L. Winter
A Synchronous Paradigm for Modeling Stable Reactive Systems. HASE (1999)
I-Ling Yen, Raymond A. Paul, Victor L. Winter, John M. Covan, Larry J. Dalton, Leon Alkalai, Ann T. Tai, Rick Harper, Barry Flahive, Wei-Tek Tsai, Ramin Mojdehbakhsh, Sanjai Rayadurgam, Kinji Mori, Michael R. Lowry
Key Applications for High-Assurance Systems. Computer 31 (4) (1998)
Raymond Berg, Victor L. Winter
Risk Assessment and Integrity in System Design. ICECCS (1998)
James M. Boyle, R. Daniel Resler, Victor L. Winter
Do You Trust Your Compiler? Applying Formal Methods to Constructing High-Assurance Compilers. HASE (1997)
Victor L. Winter, James M. Boyle
Proving refinement transformations for deriving high-assurance software. HASE (1996)
Victor L. Winter
Software on the edge. HASE (1996)
James M. Boyle, Terence J. Harmer, Victor L. Winter
The TAMPR Program Transformation System: Simplifying the Development of Numerical Software. SciTools (1996)