 | 2011 |
|---|
| 14 |       | Annabelle McIver,
Larissa Meinicke,
Carroll Morgan:
Hidden-Markov Program Algebra with iteration
CoRR abs/1102.0333: (2011) |
| 2010 |
|---|
| 13 | | Annabelle McIver,
Larissa Meinicke,
Carroll Morgan:
Compositional Closure for Bayes Risk in Probabilistic Noninterference.
ICALP (2) 2010: 223-235 |
| 12 | | Ian J. Hayes,
Steve Dunne,
Larissa Meinicke:
Unifying Theories of Programming That Distinguish Nontermination and Abort.
MPC 2010: 178-194 |
| 11 | | Joost-Pieter Katoen,
Annabelle McIver,
Larissa Meinicke,
Carroll C. Morgan:
Linear-Invariant Generation for Probabilistic Programs: - Automated Support for Proof-Based Methods.
SAS 2010: 390-406 |
| 10 | | Annabelle McIver,
Larissa Meinicke,
Carroll Morgan:
Compositional closure for Bayes Risk in probabilistic noninterference
CoRR abs/1007.1054: (2010) |
| 9 | | Larissa Meinicke,
Kim Solin:
Refinement algebra for probabilistic programs.
Formal Asp. Comput. 22(1): 3-31 (2010) |
| 2009 |
|---|
| 8 | | Annabelle McIver,
Larissa Meinicke,
Carroll Morgan:
Security, Probability and Nearly Fair Coins in the Cryptographers' Café.
FM 2009: 41-71 |
| 2008 |
|---|
| 7 | | Larissa Meinicke,
Ian J. Hayes:
Probabilistic Choice in Refinement Algebra.
MPC 2008: 243-267 |
| 6 | | Larissa Meinicke,
Kim Solin:
Reactive Probabilistic Programs and Refinement Algebra.
RelMiCS 2008: 304-319 |
| 5 | | Larissa Meinicke,
Ian J. Hayes:
Algebraic reasoning for probabilistic action systems and while-loops.
Acta Inf. 45(5): 321-382 (2008) |
| 4 | | Larissa Meinicke,
Kim Solin:
Refinement Algebra for Probabilistic Programs.
Electr. Notes Theor. Comput. Sci. 201: 177-195 (2008) |
| 2007 |
|---|
| 3 | | Larissa Meinicke,
Graeme Smith:
A Stepwise Development Process for Reasoning About the Reliability of Real-Time Systems.
IFM 2007: 439-458 |
| 2006 |
|---|
| 2 | | Larissa Meinicke,
Ian J. Hayes:
Reasoning Algebraically About Probabilistic Loops.
ICFEM 2006: 380-399 |
| 1 | | Larissa Meinicke,
Ian J. Hayes:
Continuous Action System Refinement.
MPC 2006: 316-337 |
Data released under the ODC-BY 1.0 license — See also our legal information page