Search Results - Winter, Victor L

Refine Results
  1. 1
    A transformational perspective into the core of an abstract class loader for the SSP

    A transformational perspective into the core of an abstract class loader for the SSP by Winter, Victor L, Beranek, Jason, Fraij, Fares, Roach, Steve, Wickstrom, Greg

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Using Program Transformation, Annotation, and Reflection to Certify a Java Type Resolution Function

    Using Program Transformation, Annotation, and Reflection to Certify a Java Type Resolution Function by Winter, Victor L., Reinke, Carl, Guerrero, Jonathan

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  3. 3
    Key applications for high-assurance systems

    Key applications for high-assurance systems by I-Ling Yen, Paul, R.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Linking Syntactic and Semantic Models of Java Source Code within a Program Transformation System

    Linking Syntactic and Semantic Models of Java Source Code within a Program Transformation System by Winter, V. L., Guerrero, J., James, A., Reinke, C.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  5. 5
    Monarch: A High-Assurance Java-to-Java (J2j) Source-Code Migrator

    Monarch: A High-Assurance Java-to-Java (J2j) Source-Code Migrator by Winter, V. L., Guerrero, J., Reinke, C., Perry, J. T.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  6. 6
    The transient combinator, higher-order strategies, and the distributed data problem

    The transient combinator, higher-order strategies, and the distributed data problem by Winter, Victor L., Subramaniam, Mahadevan

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    Model-driven Transformation-based Generation of Java Stress Tests

    Model-driven Transformation-based Generation of Java Stress Tests by Winter, Victor L.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  8. 8
    Strategy Construction in the Higher-Order Framework of TL

    Strategy Construction in the Higher-Order Framework of TL by Winter, Victor L.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  9. 9
    Do you trust your computer?

    Do you trust your computer? by Boyle, James M, Resler, R Daniel, Winter, Victor L

    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    Transformation-Based Library Adaptation for Embedded Systems

    Transformation-Based Library Adaptation for Embedded Systems by Winter, V.L., Mametjanov, A., Morrison, S.E., McCoy, J.A., Wickstrom, G.L.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  11. 11
    The SSP: an example of high-assurance systems engineering

    The SSP: an example of high-assurance systems engineering by Wickstrom, G.L., Davis, J., Morrison, S.E., Roach, S.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  12. 12
    Do you trust your compiler?

    Do you trust your compiler? by Boyle, J.M., Resler, R.D., Winter, V.L.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  13. 13
    A transformational overview of the core functionality of an abstract class loader for the SSP

    A transformational overview of the core functionality of an abstract class loader for the SSP by Winter, V.L., Beranek, J., Mametjanov, A., Fraij, F., Roach, S., Wickstrom, G.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  14. 14
    A survey: applying formal methods to a software intensive system

    A survey: applying formal methods to a software intensive system by de Groot, A., Hooman, J., Lemoine, M., Gaudiere, G., Winter, V.L., Kapur, D.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  15. 15
    A synchronous paradigm for modeling stable reactive systems

    A synchronous paradigm for modeling stable reactive systems by Winter, V.L.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  16. 16
    Designing a Controller for a Multi-Train Multi-Track System

    Designing a Controller for a Multi-Train Multi-Track System by Kapur, Deepak, Winter, Victor L., Berg, Raymond S.

    Get full text
    Article
    Save to List
    Saved in:
  17. 17
    Designing a Controller for a Multi-Train Multi-Track System1 1This work was supported by the United States Department of Energy under Contract DEAC04-94AL85000. Sandia is a multiprogram laboratory operated by Sandia Corporation, a Lockheed Martin Company, for the United States Department of Energy

    Designing a Controller for a Multi-Train Multi-Track System1 1This work was supported by the United States Department of Energy under Contract DEAC04-94AL85000. Sandia is a multipr... by Kapur, Deepak, Winter, Victor L., Berg, Raymond S.

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  18. 18
    An overview of HATS: a language independent high assurance transformation system

    An overview of HATS: a language independent high assurance transformation system by Winter, V.L.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  19. 19
    Panel topic: software systerns: consequence versus functionality

    Panel topic: software systerns: consequence versus functionality by Winter, V.L., Berg, R.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  20. 20
    Endotoxinemia Accelerates Atherosclerosis Through Electrostatic Charge–Mediated Monocyte Adhesion

    Endotoxinemia Accelerates Atherosclerosis Through Electrostatic Charge–Mediated Monocyte Adhesion by Schumski, Ariane, Ortega-Gómez, Almudena, Wichapong, Kanin, Winter, Carla, Lemnitzer, Patricia, Viola, Joana R., Pinilla-Vera, Mayra, Folco, Eduardo, Solis-Mezarino, Victor, Völker-Albert, Moritz, Maas, Sanne L., Pan, Chang, Perez Olivares, Laura, Winter, Janine, Hackeng, Tilman, Karlsson, Mikael C.I., Zeller, Tanja, Imhof, Axel, Baron, Rebecca M., Nicolaes, Gerry A.F., Libby, Peter, Maegdefessel, Lars, Kamp, Frits, Benoit, Martin, Döring, Yvonne, Soehnlein, Oliver

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: