| |
| 2008 | ||
|---|---|---|
| 7 | EE | Larissa Meinicke, Ian J. Hayes: Probabilistic Choice in Refinement Algebra. MPC 2008: 243-267 |
| 6 | EE | Larissa Meinicke, Kim Solin: Reactive Probabilistic Programs and Refinement Algebra. RelMiCS 2008: 304-319 |
| 5 | EE | Larissa Meinicke, Ian J. Hayes: Algebraic reasoning for probabilistic action systems and while-loops. Acta Inf. 45(5): 321-382 (2008) |
| 4 | EE | Larissa Meinicke, Kim Solin: Refinement Algebra for Probabilistic Programs. Electr. Notes Theor. Comput. Sci. 201: 177-195 (2008) |
| 2007 | ||
| 3 | EE | Larissa Meinicke, Graeme Smith: A Stepwise Development Process for Reasoning About the Reliability of Real-Time Systems. IFM 2007: 439-458 |
| 2006 | ||
| 2 | EE | Larissa Meinicke, Ian J. Hayes: Reasoning Algebraically About Probabilistic Loops. ICFEM 2006: 380-399 |
| 1 | EE | Larissa Meinicke, Ian J. Hayes: Continuous Action System Refinement. MPC 2006: 316-337 |
| 1 | Ian J. Hayes | [1] [2] [5] [7] |
| 2 | Graeme Smith | [3] |
| 3 | Kim Solin | [4] [6] |