Treffer 1 - 15 von 15 für Suche 'McIver, Annabelle K.', Suchdauer: 0,68s Treffer weiter einschränken
  1. 1
    Towards Automated Proof Support for Probabilistic Distributed Systems

    Towards Automated Proof Support for Probabilistic Distributed Systems von McIver, Annabelle K., Weber, Tjark


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Program Refinement, Perfect Secrecy and Information Flow

    Program Refinement, Perfect Secrecy and Information Flow von McIver, Annabelle K.


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    The Secret Art of Computer Programming

    The Secret Art of Computer Programming von McIver, Annabelle K.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Sums and Lovers: Case Studies in Security, Compositionality and Refinement

    Sums and Lovers: Case Studies in Security, Compositionality and Refinement von McIver, Annabelle K., Morgan, Carroll C.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Linear-Invariant Generation for Probabilistic Programs: Automated Support for Proof-Based Methods

    Linear-Invariant Generation for Probabilistic Programs: Automated Support for Proof-Based Methods von Katoen, Joost-Pieter, McIver, Annabelle K., Meinicke, Larissa A., Morgan, Carroll C.


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Quantitative Program Logic and Performance in Probabilistic Distributed Algorithms

    Quantitative Program Logic and Performance in Probabilistic Distributed Algorithms von McIver, Annabelle K.


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    How Fast Is MQTT?: Statistical Model Checking and Testing of IoT Protocols

    How Fast Is MQTT?: Statistical Model Checking and Testing of IoT Protocols von Aichernig, Bernhard K., Schumi, Richard


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Categorical Information Flow

    Categorical Information Flow von Rabehaja, Tahiry, McIver, Annabelle, Morgan, Carroll, Struth, Georg


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Processing Text for Privacy: An Information Flow Perspective

    Processing Text for Privacy: An Information Flow Perspective von Fernandes, Natasha, Dras, Mark, McIver, Annabelle


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Probabilistic predicate transformers

    Probabilistic predicate transformers von Morgan, Carroll, McIver, Annabelle, Seidel, Karen


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    An expectation transformer approach to predicate abstraction and data independence for probabilistic programs

    An expectation transformer approach to predicate abstraction and data independence for probabilistic programs von Ndukwu, Ukachukwu, McIver, Annabelle


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    An Algebraic Approach for Reasoning About Information Flow

    An Algebraic Approach for Reasoning About Information Flow von Américo, Arthur, Alvim, Mário S., McIver, Annabelle


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Development via Refinement in Probabilistic B — Foundation and Case Study

    Development via Refinement in Probabilistic B — Foundation and Case Study von Hoang, Thai Son, Jin, Zhendong, Robinson, Ken, McIver, Annabelle, Morgan, Carroll


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Probabilistic Invariants for Probabilistic Machines

    Probabilistic Invariants for Probabilistic Machines von Hoang, Thai Son, Jin, Zhendong, Robinson, Ken, McIver, Annabelle, Morgan, Carroll


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    L∗\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$L^$$\end{document}-Based Learning of Markov Decision Processes

    L∗\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek}... von Tappler, Martin, Aichernig, Bernhard K., Bacci, Giovanni, Eichlseder, Maria, Larsen, Kim G.


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: