Treffer 1 - 9 von 9 für Suche 'Zwirchmayr, Jakob', Suchdauer: 0,54s Treffer weiter einschränken
  1. 1
    Automated drivability: Toward an assessment of the spatial deployment of level 4 automated vehicles

    Automated drivability: Toward an assessment of the spatial deployment of level 4 automated vehicles von Soteropoulos, Aggelos, Mitteregger, Mathias, Berger, Martin, Zwirchmayr, Jakob


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Replacing conjectures by positive knowledge: Inferring proven precise worst-case execution time bounds using symbolic execution

    Replacing conjectures by positive knowledge: Inferring proven precise worst-case execution time bounds using symbolic execution von Knoop, Jens, Kovács, Laura, Zwirchmayr, Jakob

    Veröffentlicht in Journal of symbolic computation

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Segment Abstraction for Worst-Case Execution Time Analysis

    Segment Abstraction for Worst-Case Execution Time Analysis von Černý, Pavol, Henzinger, Thomas A., Kovács, Laura, Radhakrishna, Arjun, Zwirchmayr, Jakob


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    The Auspicious Couple: Symbolic Execution and WCET Analysis

    The Auspicious Couple: Symbolic Execution and WCET Analysis von Biere, Armin, Knoop, Jens, Kovacs, Laura, Zwirchmayr, Jakob


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  5. 5
    DETERMINISTIC MEMORY-TO-MEMORY PCIE TRANSFER

    DETERMINISTIC MEMORY-TO-MEMORY PCIE TRANSFER von UNHOLD, Christian, ZWIRCHMAYR, Jakob

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Symbolic Loop Bound Computation for WCET Analysis

    Symbolic Loop Bound Computation for WCET Analysis von Knoop, Jens, Kovács, Laura, Zwirchmayr, Jakob


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    SmacC: A Retargetable Symbolic Execution Engine

    SmacC: A Retargetable Symbolic Execution Engine von Biere, Armin, Knoop, Jens, Kovács, Laura, Zwirchmayr, Jakob


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Model Checking AUTOSAR Components with CBMC

    Model Checking AUTOSAR Components with CBMC von Durand, Timothee, Fazekas, Katalin, Weissenbacher, Georg, Zwirchmayr, Jakob


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  9. 9
    r-TuBound: Loop Bounds for WCET Analysis (Tool Paper)

    r-TuBound: Loop Bounds for WCET Analysis (Tool Paper) von Knoop, Jens, Kovács, Laura, Zwirchmayr, Jakob


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: