Victor L. Winter - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 14 from 14

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

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]

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

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]

Sign in or sign up to see more results.

runs on WebDSL