Treffer 1 - 20 von 194 für Suche 'Kunz, Cesar', Suchdauer: 0,80s Treffer weiter einschränken
  1. 1
    Product programs and relational program logics

    Product programs and relational program logics von Barthe, Gilles, Crespo, Juan Manuel, Kunz, César


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    EasyCrypt: A Tutorial

    EasyCrypt: A Tutorial von Barthe, Gilles, Dupressoir, François, Grégoire, Benjamin, Kunz, César, Schmidt, Benedikt, Strub, Pierre-Yves


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    An Abstract Model of Certificate Translation

    An Abstract Model of Certificate Translation von BARTHE, Gilles, KUNZ, Cesar


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Beyond 2-Safety: Asymmetric Product Programs for Relational Program Verification

    Beyond 2-Safety: Asymmetric Product Programs for Relational Program Verification von Barthe, Gilles, Crespo, Juan Manuel, Kunz, César


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Certificate Translation for the Verification of Concurrent Programs

    Certificate Translation for the Verification of Concurrent Programs von Kunz, César


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Certificate translation for optimizing compilers

    Certificate translation for optimizing compilers von BARTHE, Gilles, GREGOIRE, Benjamin, KUNZ, César, REZK, Tamara


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Certificate Translation for Optimizing Compilers

    Certificate Translation for Optimizing Compilers von BARTHE, Gilles, GREGOIRE, Benjamin, KUNZ, César, REZK, Tamara


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor

    Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor von Becker, Hanno, Crespo, Juan Manuel, Galowicz, Jacek, Hensel, Ulrich, Hirai, Yoichi, Kunz, César, Nakata, Keiko, Sacchini, Jorge Luis, Tews, Hendrik, Tuerk, Thomas


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Perspectives in Certificate Translation

    Perspectives in Certificate Translation von Barthe, Gilles, Kunz, César


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Computer-Aided Cryptographic Proofs

    Computer-Aided Cryptographic Proofs von Barthe, Gilles, Crespo, Juan Manuel, Grégoire, Benjamin, Kunz, César, Zanella Béguelin, Santiago


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  11. 11
    A functional framework for result checking

    A functional framework for result checking von Barthe, Gilles, Buiras, Pablo, Kunz, César

    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  12. 12
    From relational verification to SIMD loop synthesis

    From relational verification to SIMD loop synthesis von Barthe, Gilles, Crespo, Juan Manuel, Gulwani, Sumit, Kunz, Cesar, Marron, Mark

    Veröffentlicht in SIGPLAN notices

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Relational Verification Using Product Programs

    Relational Verification Using Product Programs von Barthe, Gilles, Crespo, Juan Manuel, Kunz, César


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Certificate Translation in Abstract Interpretation

    Certificate Translation in Abstract Interpretation von Barthe, Gilles, Kunz, César


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Implementing a Direct Method for Certificate Translation

    Implementing a Direct Method for Certificate Translation von Barthe, Gilles, Grégoire, Benjamin, Heraud, Sylvain, Kunz, César, Pacalet, Anne


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  16. 16
    A Machine-Checked Framework for Relational Separation Logic

    A Machine-Checked Framework for Relational Separation Logic von Crespo, Juan Manuel, Kunz, César


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Program Parallelization Using Synchronized Pipelining

    Program Parallelization Using Synchronized Pipelining von Scandolo, Leonardo, Kunz, César, Hermenegildo, Manuel


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Certified Reasoning in Memory Hierarchies

    Certified Reasoning in Memory Hierarchies von Barthe, Gilles, Kunz, César, Sacchini, Jorge Luis


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Verified Security of Merkle-Damgård

    Verified Security of Merkle-Damgård von Backes, M., Barthe, G., Berg, M., Gregoire, B., Kunz, C., Skoruppa, M., Beguelin, S. Z.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings

    Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings von Hawblitzel, Chris, Miller, Dale

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: