Victor L. Winter - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

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

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

2006

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

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]

2004

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

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

2001

A Survey: Applying Formal Methods to a Software Intensive SystemAdriaan de Groot, Jozef Hooman, Fabrice Kordon, Emmanuel Paviot-Adet, Isabelle Vernier-Mounier, Michel Lemoine, Gervais Gaudiére, Victor L. Winter, Deepak Kapur. hase 2001: 55-64

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

Key Applications for High-Assurance SystemsI-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. Computer, 31(4):35-45, 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

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

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