Victor L. Winter - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Victor L. Winter' as author, editor, or advisor:

The TAMPR Program Transformation System: Simplifying the Development of Numerical SoftwareJames M. Boyle, Terence J. Harmer, Victor L. Winter. scitools 1997: 353-372 [doi]
Virtual Environment Modeling for Requirements Validation of High Consequence SystemsVictor L. Winter, Dejan Desovski, Bojan Cukic. RE 2001: 23-30 [doi]
Transformation-Based Library Adaptation for Embedded SystemsVictor L. Winter, Azamatbek Mametjanov, Steven E. Morrison, James A. McCoy, Gregory L. Wickstrom. hase 2007: 209-218 [doi]
A Transformational Overview of the Core Functionality of an Abstract Class Loader for the SSPVictor L. Winter, Jason Beranek, Azamatbek Mametjanov, Fares Fraij, Steve Roach. words 2005: 301-311 [doi]
Strategy Construction in the Higher-Order Framework of TLVictor L. Winter. ENTCS, 124(1):149-170, 2005. [doi]
Aspectual Support for Specifying Requirements in Software Product LinesHarvey P. Siy, Prasanna Aryal, Victor L. Winter, Mansour Zand. ICSE 2007: 2 [doi]
Sextant: A tool to specify and visualize software metrics for Java source-codeVictor L. Winter, Carl Reinke, Jonathan Guerrero. ICSE 2013: 49-55 [doi]
Model-driven Transformation-based Generation of Java Stress TestsVictor L. Winter. ENTCS, 174(1):99-114, 2007. [doi]
Generative programming techniques for Java library migrationVictor L. Winter, Azamatbek Mametjanov. GPCE 2007: 185-196 [doi]
Using Program Transformation, Annotation, and Reflection to Certify a Java Type Resolution FunctionVictor L. Winter, Carl Reinke, Jonathan Guerrero. hase 2014: 137-145 [doi]
Risk Assessment and Integrity in System DesignRaymond Berg, Victor L. Winter. ICECCS 1998: 115-120 [doi]
Designing a Controller for a Multi-Train Multi-Track SystemDeepak Kapur, Victor L. Winter, Raymond Berg. ENTCS, 50(1):65-79, 2001. [doi]
The BART Case StudyVictor L. Winter, Fabrice Kordon, Michel Lemoine. In Fabrice Kordon, Michel Lemoine, editors, Formal Methods for Embedded Distributed Systems - How to Master the Complexity. pages 3-22, Kluwer, 2004. [doi]
Towards Dynamic Partitioning of Reactive System Behavior: A Train Controller Case StudyVictor L. Winter, Deepak Kapur. monterey 2007: 47-69 [doi]
A higher-order strategy for eliminating common subexpressionsR. Daniel Resler, Victor L. Winter. Comp. Lang., Syst. \& Struct., 35(4):341-364, 2009. [doi]
Transformation-oriented programming: A development methodology for high assurance softwareVictor L. Winter, Steve Roach, Gregory L. Wickstrom. ac, 58:49-117, 2003.
Making aspect-orientation accessible through syntax-based language compositionGünter Kniesel, Victor L. Winter, Harvey P. Siy, Mansour Zand. iee, 3(3):219-237, 2009. [doi]
Linking Syntactic and Semantic Models of Java Source Code within a Program Transformation SystemVictor L. Winter, Jonathan Guerrero, Alexander James, Carl Reinke. hase 2012: 122-129 [doi]
Software Dependability in Distributed and Mobile Computing EnvironmentsAllen P. Nikora, Raphael R. Some, Jeffrey M. Voas, Victor L. Winter, Jie Xu. hase 2001: 7-10
Formal Specifcation and Refinement of a Safe Train Control FunctionVictor L. Winter, Deepak Kapur, G. Fuehrer. In Fabrice Kordon, Michel Lemoine, editors, Formal Methods for Embedded Distributed Systems - How to Master the Complexity. pages 25-64, Kluwer, 2004. [doi]
ERTSAL: a prototype of a domain-specific aspect language for analysis of embedded real-time systemsWilliam L. Sousan, Victor L. Winter, Mansour Zand, Harvey P. Siy. AOSD 2007: 1 [doi]
High Consequence Systems and Semantic ComputingVictor L. Winter, Bojan Cukic, Taghi M. Khoshgoftaar, Kinji Mori, Raymond A. Paul, Carlos Perez Leguizamo, Sahra Sedigh Sarvestani, John C. Sloan, Mladen A. Vouk, I-Ling Yen. ijsc, 7(3):291-324, 2013. [doi]
More precise typing of rewrite strategiesAzamatbek Mametjanov, Victor L. Winter, Ralf Lämmel. LDTA 2011: 3 [doi]
Verilog Synthesis in the Higher-Order Transformation Framework of TLVictor L. Winter, Shiraz Hussain. hase 2015: 26-35 [doi]
Certifying a java type resolution function using program transformation, annotation, and reflectionVictor L. Winter, Carl Reinke, Jonathan Guerrero. sqj, 24(1):115-135, 2016. [doi]
The SSP: An Example of High-Assurance Systems EngineeringGregory L. Wickstrom, Jared Davis, Steven E. Morrison, Steve Roach, Victor L. Winter. hase 2004: 167-177 [doi]
Monarch: A High-Assurance Java-to-Java (J2j) Source-Code MigratorVictor L. Winter, Jonathan Guerrero, Carl Reinke, James T. Perry. hase 2011: 152-156 [doi]
The Tyranny of the Vital Few: The Pareto Principle in Language DesignVictor L. Winter, James T. Perry, Harvey P. Siy, Satish Mahadevan Srinivasan, Ben Farkas, James A. McCoy. jsea, 4(3):146-155, 2011. [doi]

runs on WebDSL