Victor L. Winter

According to our database1, Victor L. Winter authored at least 39 papers between 1996 and 2016.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2016
Certifying a java type resolution function using program transformation, annotation, and reflection.
Software Quality Journal, 2016

2015
Verilog Synthesis in the Higher-Order Transformation Framework of TL.
Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

2014
Bricklayer: An Authentic Introduction to the Functional Programming Language SML.
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
High Consequence Systems and Semantic Computing.
Int. J. Semantic Computing, 2013

Sextant: A tool to specify and visualize software metrics for Java source-code.
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
The Tyranny of the Vital Few: The Pareto Principle in Language Design.
JSEA, 2011

More precise typing of rewrite strategies.
Proceedings of the Language Descriptions, Tools and Applications, 2011

Monarch: A High-Assurance Java-to-Java (J2j) Source-Code Migrator.
Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

2009
Making aspect-orientation accessible through syntax-based language composition.
IET Software, 2009

A higher-order strategy for eliminating common subexpressions.
Computer Languages, Systems & Structures, 2009

2008
Program Transformation: What, How, and Why.
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Preface.
Electr. Notes Theor. Comput. Sci., 2008

2007
Model-driven Transformation-based Generation of Java Stress Tests.
Electr. Notes Theor. Comput. Sci., 2007

Construction of Ontology-Based Software Repositories by Text Mining.
Proceedings of the Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27, 2007

Transformation-Based Library Adaptation for Embedded Systems.
Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007

Generative programming techniques for Java library migration.
Proceedings of the Generative Programming and Component Engineering, 2007

2006
A transformational perspective into the core of an abstract class loader for the SSP.
ACM Trans. Embedded Comput. Syst., 2006

2005
Strategy Construction in the Higher-Order Framework of TL.
Electr. Notes Theor. Comput. Sci., 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

Program Transformation Using HATS 1.84.
Proceedings of the Generative and Transformational Techniques in Software Engineering, 2005

2004
The transient combinator, higher-order strategies, and the distributed data problem.
Sci. Comput. Program., 2004

Higher-order strategic programming: A road to software assurance.
Proceedings of the IASTED Conference on Software Engineering and Applications, 2004

The SSP: An Example of High-Assurance Systems Engineering.
Proceedings of the 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 2004

2003
Transformation-oriented programming: A development methodology for high assurance software.
Advances in Computers, 2003

2001
Designing a Controller for a Multi-Train Multi-Track System.
Electr. Notes Theor. Comput. Sci., 2001

Virtual Environment Modeling for Requirements Validation of High Consequence Systems.
Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE 2001), 2001

Software Dependability in Distributed and Mobile Computing Environments.
Proceedings of the 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), 2001

A Survey: Applying Formal Methods to a Software Intensive System.
Proceedings of the 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), 2001

1999
Do You Trust Your Compiler?
IEEE Computer, 1999

Software Systems: Consequence versus Functionality.
Proceedings of the 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 1999

A Synchronous Paradigm for Modeling Stable Reactive Systems.
Proceedings of the 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 1999

1998
Key Applications for High-Assurance Systems.
IEEE Computer, 1998

Risk Assessment and Integrity in System Design.
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
Proving refinement transformations for deriving high-assurance software.
Proceedings of the 1st High-Assurance Systems Engineering Workshop (HASE '96), 1996

Software on the edge.
Proceedings of the 1st High-Assurance Systems Engineering Workshop (HASE '96), 1996


  Loading...