 | 2009 |
|---|
| 7 |       | David Garlan,
Kathleen M. Carley,
Bradley R. Schmerl,
Michael W. Bigrigg,
Orieta Celiku:
Using Service-oriented Architectures for Socio-Cultural Analysis.
SEKE 2009: 370-375 |
| 6 |  | David Garlan,
Jeffrey M. Barnes,
Bradley R. Schmerl,
Orieta Celiku:
Evolution styles: Foundations and tool support for software architecture evolution.
WICSA/ECSA 2009: 131-140 |
| 2005 |
|---|
| 5 | | Orieta Celiku,
Annabelle McIver:
Compositional Specification and Analysis of Cost-Based Properties in Probabilistic Programs.
FM 2005: 107-122 |
| 4 | | 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 | | Orieta Celiku,
Joakim von Wright:
Implementing Angelic Nondeterminism.
APSEC 2003: 176-185 |
| 2002 |
|---|
| 1 | | Orieta Celiku,
Joakim von Wright:
Theorem Prover Support for Precondition and Correctness Calculation.
ICFEM 2002: 299-310 |
