Search Results - van der Wall, Sören

  • Showing 1 - 4 results of 4
Refine Results
  1. 1
    SNIP: Speculative Execution and Non-Interference Preservation for Compiler Transformations

    SNIP: Speculative Execution and Non-Interference Preservation for Compiler Transformations by van der Wall, Sören, Meyer, Roland

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  2. 2
    SNIP: Speculative Execution and Non-Interference Preservation for Compiler Transformations

    SNIP: Speculative Execution and Non-Interference Preservation for Compiler Transformations by van der Wall, Sören, Meyer, Roland

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Model-based Fault Classification for Automotive Software

    Model-based Fault Classification for Automotive Software by Becker, Mike, Meyer, Roland, Runge, Tobias, Schaefer, Ina, van der Wall, Sören, Wolff, Sebastian

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    Urgency Annotations for Alternating Choices

    Urgency Annotations for Alternating Choices by Keskin, Eren, Meyer, Roland, van der Wall, Sören

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: