Victor L. Winter

55 papers A 3B 2C 3Misc 5Journal 12Unranked 27
YearRankTypeTitle / Venue / Authors
2025 J jnl
Triskelion - In Pursuit of Proficiency Through Immersive Gameplay.
Inf.
Victor L. Winter
2020 Misc conf
Filling an Educational Void with Spatial Thinking in the Online Age of Pandemics.
SIGITE
Kate Sherwin, Victor L. Winter
2020 Misc conf
In Pursuit of CS-based Educational Content Suitable for Broader Audiences.
SIGITE
Victor L. Winter, Judith Monarrez Diaz-Kelsey
2020 Misc conf
The Kessel Run - A Gamification of Visual, Spatial, and Computational Thinking.
SIGITE
Victor L. Winter, Kate Sherwin
2019 C conf
Using Visualization to Reduce the Cognitive Load of Threshold Concepts in Computer Programming.
FIE
Victor L. Winter, Michelle Friend, Michael Matthews, Betty Love, Sanghamithra Vasireddy
2018 A conf
Bricklayer: Elementary Students Learn Math through Programming and Art.
SIGCSE
Michelle Friend, Michael Matthews, Victor L. Winter, Betty Love, Deanna Moisset, Ian Goodwin
2018 J jnl
The art of the Wunderlich cube and the development of spatial abilities.
Int. J. Child Comput. Interact.
Victor L. Winter, Betty Love, Cindy Corritore
2017 C conf
Delphi: A Source-code Analysis and Manipulation System for Bricklayer.
SEKE
Victor L. Winter, Betty Love, Chris Harris
2017 A conf
Two Birds: Teaching Coding and Math in Primary Schools and Beyond (Abstract Only).
SIGCSE
Victor L. Winter, Betty Love
2016 J jnl
Certifying a java type resolution function using program transformation, annotation, and reflection.
Softw. Qual. J.
Victor L. Winter, Carl Reinke, Jonathan Guerrero
2016 Misc conf
Creating an Environment in which Elementary Educators Can Teach Coding.
IDC
Betty Love, Victor L. Winter, Cindy Corritore, Davina Faimon
2016 — conf
The Bricklayer Ecosystem - Art, Math, and Code.
TFPIE
Victor L. Winter, Betty Love, Cindy Corritore
2015 — conf
Verilog Synthesis in the Higher-Order Transformation Framework of TL.
HASE
Victor L. Winter, Shiraz Hussain
2014 — conf
Bricklayer: An Authentic Introduction to the Functional Programming Language SML.
TFPIE
Victor L. Winter
2014 — conf
Using Program Transformation, Annotation, and Reflection to Certify a Java Type Resolution Function.
HASE
Victor L. Winter, Carl Reinke, Jonathan Guerrero
2013 J jnl
High Consequence Systems and Semantic Computing.
Int. J. Semantic Comput.
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
2013 — conf
Sextant: A tool to specify and visualize software metrics for Java source-code.
WETSoM
Victor L. Winter, Carl Reinke, Jonathan Guerrero
2012 — conf
Linking Syntactic and Semantic Models of Java Source Code within a Program Transformation System.
HASE
Victor L. Winter, Jonathan Guerrero, Alexander James, Carl Reinke
2011 — conf
Monarch: A High-Assurance Java-to-Java (J2j) Source-Code Migrator.
HASE
Victor L. Winter, Jonathan Guerrero, Carl Reinke, James T. Perry
2011 — conf
More precise typing of rewrite strategies.
LDTA
Azamatbek Mametjanov, Victor L. Winter, Ralf Lämmel
2011 J jnl
The Tyranny of the Vital Few: The Pareto Principle in Language Design.
J. Softw. Eng. Appl.
Victor L. Winter, James T. Perry, Harvey P. Siy, Satish Mahadevan Srinivasan, Ben Farkas, James A. McCoy
2009 J jnl
A higher-order strategy for eliminating common subexpressions.
Comput. Lang. Syst. Struct.
R. Daniel Resler, Victor L. Winter
2009 J jnl
Making aspect-orientation accessible through syntax-based language composition.
IET Softw.
Günter Kniesel, Victor L. Winter, Harvey P. Siy, Mansour Zand
2008 — ch.
Program Transformation: What, How, and Why.
Wiley Encyclopedia of Computer Science and Engineering
Victor L. Winter
2007 — conf
Aspectual Support for Specifying Requirements in Software Product Lines.
EA@ICSE
Harvey P. Siy, Prasanna Aryal, Victor L. Winter, Mansour Zand
2007 Misc conf
Construction of Ontology-Based Software Repositories by Text Mining.
International Conference on Computational Science (3)
Yan Wu, Harvey P. Siy, Mansour Zand, Victor L. Winter
2007 — conf
ERTSAL: a prototype of a domain-specific aspect language for analysis of embedded real-time systems.
DSAL@AOSD
William L. Sousan, Victor L. Winter, Mansour Zand, Harvey P. Siy
2007 B conf
Generative programming techniques for Java library migration.
GPCE
Victor L. Winter, Azamatbek Mametjanov
2007 — conf
Preface.
RULE@RDP
Joost Visser, Victor L. Winter
2007 — conf
Transformation-Based Library Adaptation for Embedded Systems.
HASE
Victor L. Winter, Azamatbek Mametjanov, Steven E. Morrison, James A. McCoy, Gregory L. Wickstrom
2006 J jnl
A transformational perspective into the core of an abstract class loader for the SSP.
ACM Trans. Embed. Comput. Syst.
Victor L. Winter, Jason Beranek, Fares Fraij, Steve Roach, Gregory L. Wickstrom
2006 — conf
Model-driven Transformation-based Generation of Java Stress Tests.
RULE@FLoC
Victor L. Winter
2005 — conf
A Transformational Overview of the Core Functionality of an Abstract Class Loader for the SSP.
WORDS
Victor L. Winter, Jason Beranek, Azamatbek Mametjanov, Fares Fraij, Steve Roach
2005 — conf
Program Transformation Using HATS 1.84.
GTTSE
Victor L. Winter, Jason Beranek
2005 — conf
Towards Dynamic Partitioning of Reactive System Behavior: A Train Controller Case Study.
Monterey Workshop
Victor L. Winter, Deepak Kapur
2004 — ch.
Formal Specifcation and Refinement of a Safe Train Control Function.
Formal Methods for Embedded Distributed Systems
Victor L. Winter, Deepak Kapur, G. Fuehrer
2004 — conf
Higher-order strategic programming: A road to software assurance.
IASTED Conf. on Software Engineering and Applications
Victor L. Winter, Steve Roach, Fares Fraij
2004 — conf
Strategy Construction in the Higher-Order Framework of TL.
RULE@RDP
Victor L. Winter
2004 — ch.
The BART Case Study.
Formal Methods for Embedded Distributed Systems
Victor L. Winter, Fabrice Kordon, Michel Lemoine
2004 — conf
The SSP: An Example of High-Assurance Systems Engineering.
HASE
Gregory L. Wickstrom, Jared Davis, Steven E. Morrison, Steve Roach, Victor L. Winter
2004 J jnl
The transient combinator, higher-order strategies, and the distributed data problem.
Sci. Comput. Program.
Victor L. Winter, Mahadevan Subramaniam
2003 J jnl
Transformation-oriented programming: A development methodology for high assurance software.
Adv. Comput.
Victor L. Winter, Steve Roach, Gregory L. Wickstrom
2001 — conf
A Survey: Applying Formal Methods to a Software Intensive System.
HASE
Adriaan de Groot, Jozef Hooman, Fabrice Kordon, Emmanuel Paviot-Adet, Isabelle Vernier-Mounier, Michel Lemoine, Gervais Gaudiére, Victor L. Winter, Deepak Kapur
2001 C conf
Designing a Controller for a Multi-Train Multi-Track System.
ATMOS
Deepak Kapur, Victor L. Winter, Raymond Berg
2001 — conf
Software Dependability in Distributed and Mobile Computing Environments.
HASE
Allen P. Nikora, Raphael R. Some, Jeffrey M. Voas, Victor L. Winter, Jie Xu
2001 A conf
Virtual Environment Modeling for Requirements Validation of High Consequence Systems.
RE
Victor L. Winter, Dejan Desovski, Bojan Cukic
1999 — conf
A Synchronous Paradigm for Modeling Stable Reactive Systems.
HASE
Victor L. Winter
1999 J jnl
Do You Trust Your Compiler?
Computer
James M. Boyle, R. Daniel Resler, Victor L. Winter
1999 — conf
Software Systems: Consequence versus Functionality.
HASE
Victor L. Winter, Raymond Berg
1998 J jnl
Key Applications for High-Assurance Systems.
Computer
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
1998 B conf
Risk Assessment and Integrity in System Design.
ICECCS
Raymond Berg, Victor L. Winter
1997 — conf
Do You Trust Your Compiler? Applying Formal Methods to Constructing High-Assurance Compilers.
HASE
James M. Boyle, R. Daniel Resler, Victor L. Winter
1996 — conf
Proving refinement transformations for deriving high-assurance software.
HASE
Victor L. Winter, James M. Boyle
1996 — conf
Software on the edge.
HASE
Victor L. Winter
1996 — conf
The TAMPR Program Transformation System: Simplifying the Development of Numerical Software.
SciTools
James M. Boyle, Terence J. Harmer, Victor L. Winter