Theorem Prover Support for Precondition and Correctness Calculation. - Orieta Celiku; Joakim von Wright (ICFEM, 2002)

Implementing Angelic Nondeterminism. - Orieta Celiku; Joakim von Wright (APSEC, 2003)

Cost-Based Analysis of Probabilistic Programs Mechanised in HOL. - Orieta Celiku; Annabelle McIver (Nord. J. Comput., 2004)

Compositional Specification and Analysis of Cost-Based Properties in Probabilistic Programs. - Orieta Celiku; Annabelle McIver (FM, 2005)

Quantitative Temporal Logic Mechanized in HOL. - Orieta Celiku (ICTAC, 2005)

Using Service-oriented Architectures for Socio-Cultural Analysis. - David Garlan; Kathleen M. Carley; Bradley R. Schmerl; Michael W. Bigrigg; Orieta Celiku (SEKE, 2009)

Evolution styles: Foundations and tool support for software architecture evolution. - David Garlan; Jeffrey M. Barnes; Bradley R. Schmerl; Orieta Celiku (WICSA/ECSA, 2009)