Victor L. Winter
Orcid: 0000-0002-3264-624XAffiliations:
- University of Nebraska Omaha, NE, USA
According to our database1,
Victor L. Winter
authored at least 56 papers
between 1996 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 1, 2023
2022
Proceedings of the Computational Science - ICCS 2022, 2022
2020
Proceedings of the SIGITE '20: The 21st Annual Conference on Information Technology Education, 2020
Proceedings of the SIGITE '20: The 21st Annual Conference on Information Technology Education, 2020
Proceedings of the SIGITE '20: The 21st Annual Conference on Information Technology Education, 2020
2019
Using Visualization to Reduce the Cognitive Load of Threshold Concepts in Computer Programming.
Proceedings of the IEEE Frontiers in Education Conference, 2019
2018
Int. J. Child Comput. Interact., 2018
Proceedings of the 49th ACM Technical Symposium on Computer Science Education, 2018
2017
Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education, 2017
Proceedings of the 29th International Conference on Software Engineering and Knowledge Engineering, 2017
2016
Certifying a java type resolution function using program transformation, annotation, and reflection.
Softw. Qual. J., 2016
Proceedings of the 4th and 5th International Workshop on Trends in Functional Programming in Education, 2016
Proceedings of the The 15th International Conference on Interaction Design and Children, 2016
2015
Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015
2014
Proceedings of the Proceedings 3rd International Workshop on Trends in Functional Programming in Education, 2014
Using Program Transformation, Annotation, and Reflection to Certify a Java Type Resolution Function.
Proceedings of the 15th International IEEE Symposium on High-Assurance Systems Engineering, 2014
2013
Proceedings of the 4th International Workshop on Emerging Trends in Software Metrics, 2013
2012
Linking Syntactic and Semantic Models of Java Source Code within a Program Transformation System.
Proceedings of the 14th International IEEE Symposium on High-Assurance Systems Engineering, 2012
2011
J. Softw. Eng. Appl., 2011
Proceedings of the Language Descriptions, Tools and Applications, 2011
Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011
2009
IET Softw., 2009
Comput. Lang. Syst. Struct., 2009
2008
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008
2007
Proceedings of the Eighth International Workshop on Rule Based Programming, 2007
Proceedings of the Early Aspects at ICSE: Workshops in Aspect-Oriented Requirements Engineering and Architecture Design, 2007
Proceedings of the Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27, 2007
Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007
Proceedings of the Generative Programming and Component Engineering, 2007
ERTSAL: a prototype of a domain-specific aspect language for analysis of embedded real-time systems.
Proceedings of the 2nd Workshop on Domain Specific Aspect Languages, 2007
2006
A transformational perspective into the core of an abstract class loader for the SSP.
ACM Trans. Embed. Comput. Syst., 2006
Proceedings of the 7th International Workshop on Rule Based Programming, 2006
2005
A Transformational Overview of the Core Functionality of an Abstract Class Loader for the SSP.
Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2005
Towards Dynamic Partitioning of Reactive System Behavior: A Train Controller Case Study.
Proceedings of the Reliable Systems on Unreliable Networked Platforms, 2005
Proceedings of the Generative and Transformational Techniques in Software Engineering, 2005
2004
Sci. Comput. Program., 2004
Proceedings of the 5th International Workshop on Rule-Based Programming, 2004
Higher-order strategic programming: A road to software assurance.
Proceedings of the IASTED Conference on Software Engineering and Applications, 2004
Proceedings of the 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 2004
Proceedings of the Formal Methods for Embedded Distributed Systems, 2004
Proceedings of the Formal Methods for Embedded Distributed Systems, 2004
2003
Transformation-oriented programming: A development methodology for high assurance software.
Adv. Comput., 2003
2001
Proceedings of the Workshop on Algorithmic MeThods and Models for Optimization of RailwayS, 2001
Virtual Environment Modeling for Requirements Validation of High Consequence Systems.
Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE 2001), 2001
Proceedings of the 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), 2001
Proceedings of the 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), 2001
1999
Proceedings of the 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 1999
Proceedings of the 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 1999
1998
Proceedings of the 4th International Conference on Engineering of Complex Computer Systems (ICECCS '98), 1998
1997
Do You Trust Your Compiler? Applying Formal Methods to Constructing High-Assurance Compilers.
Proceedings of the 2nd High-Assurance Systems Engineering Workshop (HASE '97), 1997
1996
The TAMPR Program Transformation System: Simplifying the Development of Numerical Software.
Proceedings of the Modern Software Tools for Scientific Computing, 1996
Proceedings of the 1st High-Assurance Systems Engineering Workshop (HASE '96), 1996
Proceedings of the 1st High-Assurance Systems Engineering Workshop (HASE '96), 1996