Treffer 1 - 20 von 28 für Suche 'Leinenbach, Dirk', Suchdauer: 0,80s Treffer weiter einschränken
  1. 1
    VCC: A Practical System for Verifying Concurrent C

    VCC: A Practical System for Verifying Concurrent C von Cohen, Ernie, Dahlweid, Markus, Hillebrand, Mark, Leinenbach, Dirk, Moskal, Michał, Santen, Thomas, Schulte, Wolfram, Tobies, Stephan


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Verifying the Microsoft Hyper-V Hypervisor with VCC

    Verifying the Microsoft Hyper-V Hypervisor with VCC von Leinenbach, Dirk, Santen, Thomas


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Balancing the Load: Leveraging a Semantics Stack for Systems Verification

    Balancing the Load: Leveraging a Semantics Stack for Systems Verification von Alkassar, Eyad, Hillebrand, Mark A., Leinenbach, Dirk C., Schirmer, Norbert W., Starostin, Artem, Tsyban, Alexandra

    Veröffentlicht in Journal of automated reasoning

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    On the Correctness of Operating System Kernels

    On the Correctness of Operating System Kernels von Gargano, Mauro, Hillebrand, Mark, Leinenbach, Dirk, Paul, Wolfgang


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Putting it all together – Formal verification of the VAMP

    Putting it all together – Formal verification of the VAMP von Beyer, Sven, Jacobi, Christian, Kröning, Daniel, Leinenbach, Dirk, Paul, Wolfgang J.


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Balancing the LoadLeveraging a Semantics Stack for Systems Verification

    Balancing the LoadLeveraging a Semantics Stack for Systems Verification von Alkassar, Eyad, Hillebrand, Mark A, Leinenbach, Dirk C, Schirmer, Norbert W, Starostin, Artem, Tsyban, Alexandra

    Veröffentlicht in Journal of automated reasoning

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Pervasive Compiler Verification – From Verified Programs to Verified Systems

    Pervasive Compiler Verification – From Verified Programs to Verified Systems von Leinenbach, Dirk, Petrova, Elena


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    The Verisoft Approach to Systems Verification

    The Verisoft Approach to Systems Verification von Alkassar, Eyad, Hillebrand, Mark A., Leinenbach, Dirk, Schirmer, Norbert W., Starostin, Artem


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Formal Verification of a Reader-Writer Lock Implementation in C

    Formal Verification of a Reader-Writer Lock Implementation in C von Hillebrand, Mark A., Leinenbach, Dirk C.


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Instantiating Uninterpreted Functional Units and Memory System: Functional Verification of the VAMP

    Instantiating Uninterpreted Functional Units and Memory System: Functional Verification of the VAMP von Beyer, Sven, Jacobi, Chris, Kröning, Daniel, Leinenbach, Dirk, Paul, Wolfgang J.


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Invariants, Modularity, and Rights

    Invariants, Modularity, and Rights von Cohen, Ernie, Alkassar, Eyad, Boyarinov, Vladimir, Dahlweid, Markus, Degenbaev, Ulan, Hillebrand, Mark, Langenstein, Bruno, Leinenbach, Dirk, Moskal, Michał, Obua, Steven, Paul, Wolfgang, Pentchev, Hristo, Petrova, Elena, Santen, Thomas, Schirmer, Norbert, Schmaltz, Sabine, Schulte, Wolfram, Shadrin, Andrey, Tobies, Stephan, Tsyban, Alexandra, Tverdyshev, Sergey


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Putting it all together - : Formal verification of the VAMP : Recent advances in hardware verification

    Putting it all together - : Formal verification of the VAMP : Recent advances in hardware verification von BEYER, Sven, JACOBI, Christian, KRÖNING, Daniel, LEINENBACH, Dirk, PAUL, Wolfgang J


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Method and device for producing exposed structures

    Method and device for producing exposed structures von Opower, Hans, Scharl, Stefan, Leinenbach, Dirk

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Method and device for producing exposed structures

    Method and device for producing exposed structures von OPOWER HANS, SCHARL STEFAN, LEINENBACH DIRK

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Compiler verification in the context of pervasive system verification

    Compiler verification in the context of pervasive system verification von Leinenbach, Dirk Carsten

    Volltext bestellen
    Web Resource

    Zu den Favoriten
    Gespeichert in:
  16. 16
    VERFAHREN UND VORRICHTUNG ZUM HERSTELLEN VON BELICHTETEN STRUKTUREN

    VERFAHREN UND VORRICHTUNG ZUM HERSTELLEN VON BELICHTETEN STRUKTUREN von OPOWER, HANS, SCHARL, STEFAN, LEINENBACH, DIRK

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  17. 17
    METHOD AND DEVICE FOR PRODUCING EXPOSED STRUCTURES

    METHOD AND DEVICE FOR PRODUCING EXPOSED STRUCTURES von OPOWER, HANS, SCHARL, STEFAN, LEINENBACH, DIRK

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Method and device for producing exposed structures

    Method and device for producing exposed structures von OPOWER HANS, SCHARL STEFAN, LEINENBACH DIRK

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Method and device for producing exposed structures

    Method and device for producing exposed structures von OPOWER HANS, SCHARL STEFAN, LEINENBACH DIRK

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  20. 20
    METHOD AND DEVICE FOR PRODUCING EXPOSED STRUCTURES

    METHOD AND DEVICE FOR PRODUCING EXPOSED STRUCTURES von OPOWER, HANS, SCHARL, STEFAN, LEINENBACH, DIRK

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: