| |
| 2005 | ||
|---|---|---|
| 5 | EE | Orieta Celiku, Annabelle McIver: Compositional Specification and Analysis of Cost-Based Properties in Probabilistic Programs. FM 2005: 107-122 |
| 4 | EE | Orieta Celiku: Quantitative Temporal Logic Mechanized in HOL. ICTAC 2005: 439-453 |
| 2004 | ||
| 3 | Orieta Celiku, Annabelle McIver: Cost-Based Analysis of Probabilistic Programs Mechanised in HOL. Nord. J. Comput. 11(2): 102-128 (2004) | |
| 2003 | ||
| 2 | EE | Orieta Celiku, Joakim von Wright: Implementing Angelic Nondeterminism. APSEC 2003: 176-185 |
| 2002 | ||
| 1 | EE | Orieta Celiku, Joakim von Wright: Theorem Prover Support for Precondition and Correctness Calculation. ICFEM 2002: 299-310 |
| 1 | Annabelle McIver | [3] [5] |
| 2 | Joakim von Wright | [1] [2] |