Victor L. Winter - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 42 from 42

2016

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]

2015

Verilog Synthesis in the Higher-Order Transformation Framework of TLVictor L. Winter, Shiraz Hussain. hase 2015: 26-35 [doi]

2014

Using Program Transformation, Annotation, and Reflection to Certify a Java Type Resolution FunctionVictor L. Winter, Carl Reinke, Jonathan Guerrero. hase 2014: 137-145 [doi]

2013

Sextant: A tool to specify and visualize software metrics for Java source-codeVictor L. Winter, Carl Reinke, Jonathan Guerrero. ICSE 2013: 49-55 [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]

2012

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]

2011

2009

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]

A higher-order strategy for eliminating common subexpressionsR. Daniel Resler, Victor L. Winter. Comp. Lang., Syst. \& Struct., 35(4):341-364, 2009. [doi]

2008

Preface to the Proceedings of the Eighth International Workshop on Rule Based Programming (RULE 2007)Joost Visser, Victor L. Winter. ENTCS, 219:1-2, 2008. [doi]

2007

Aspectual Support for Specifying Requirements in Software Product LinesHarvey P. Siy, Prasanna Aryal, Victor L. Winter, Mansour Zand. ICSE 2007: 2 [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]

Model-driven Transformation-based Generation of Java Stress TestsVictor L. Winter. ENTCS, 174(1):99-114, 2007. [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]

Generative programming techniques for Java library migrationVictor L. Winter, Azamatbek Mametjanov. GPCE 2007: 185-196 [doi]

Construction of Ontology-Based Software Repositories by Text MiningYan Wu, Harvey P. Siy, Mansour Zand, Victor L. Winter. iccS 2007: 790-797 [doi]

2006

A transformational perspective into the core of an abstract class loader for the SSPVictor L. Winter, Jason Beranek, Fares Fraij, Steve Roach, Gregory L. Wickstrom. tecs, 5(4):773-818, 2006. [doi]

Program Transformation Using HATS 1.84Victor L. Winter, Jason Beranek. GTTSE 2006: 378-396 [doi]

2005

Strategy Construction in the Higher-Order Framework of TLVictor L. Winter. ENTCS, 124(1):149-170, 2005. [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]

Towards Dynamic Partitioning of Reactive System Behavior: A Train Controller Case StudyVictor L. Winter, Deepak Kapur. monterey 2007: 47-69 [doi]

2004

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]

Higher-order strategic programming: A road to software assuranceVictor L. Winter, Steve Roach, Fares Fraij. iastedSEA 2004: 350-355

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]

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]

The transient combinator, higher-order strategies, and the distributed data problemVictor L. Winter, Mahadevan Subramaniam. SCP, 52:165-212, 2004. [doi]

2003

Transformation-oriented programming: A development methodology for high assurance softwareVictor L. Winter, Steve Roach, Gregory L. Wickstrom. ac, 58:49-117, 2003.

2001

1999

Do You Trust Your Compiler?James M. Boyle, R. Daniel Resler, Victor L. Winter. Computer, 32(5):65-73, 1999.

Software Systems: Consequence versus FunctionalityVictor L. Winter, Raymond Berg. hase 1999: 269-270 [doi]

A Synchronous Paradigm for Modeling Stable Reactive SystemsVictor L. Winter. hase 1999: 257 [doi]

1998

1997

Do You Trust Your Compiler? Applying Formal Methods to Constructing High-Assurance CompilersJames M. Boyle, R. Daniel Resler, Victor L. Winter. hase 1997: 14 [doi]

1996

The TAMPR Program Transformation System: Simplifying the Development of Numerical SoftwareJames M. Boyle, Terence J. Harmer, Victor L. Winter. scitools 1997: 353-372 [doi]

Proving refinement transformations for deriving high-assurance softwareVictor L. Winter, James M. Boyle. hase 1996: 68-77 [doi]

Software on the edgeVictor L. Winter. hase 1996: 57 [doi]

Authors

All Publications

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Victor L. Winter'

Viewing Publication 1 - 42 from 42

2016

2015

2014

2013

2012

2011

2009

2008

2007

2006

2005

2004

2003

2001

1999

1998

1997

1996

Authors

All Publications

Filter by YearOR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Victor L. Winter'

Viewing Publication 1 - 42 from 42

2016

2015

2014

2013

2012

2011

2009

2008

2007

2006

2005

2004

2003

2001

1999

1998

1997

1996

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1