Orieta Celiku

Publication Activity (10 Years)

Years Active: 2002-2009
Publications (10 Years): 0

Publications

David Garlan, Jeffrey M. Barnes, Bradley R. Schmerl, Orieta Celiku
Evolution styles: Foundations and tool support for software architecture evolution. WICSA/ECSA (2009)
David Garlan, Kathleen M. Carley, Bradley R. Schmerl, Michael W. Bigrigg, Orieta Celiku
Using Service-oriented Architectures for Socio-Cultural Analysis. SEKE (2009)
Orieta Celiku
Quantitative Temporal Logic Mechanized in HOL. ICTAC (2005)
Orieta Celiku, Annabelle McIver
Compositional Specification and Analysis of Cost-Based Properties in Probabilistic Programs. FM (2005)
Orieta Celiku, Annabelle McIver
Cost-Based Analysis of Probabilistic Programs Mechanised in HOL. Nord. J. Comput. 11 (2) (2004)
Orieta Celiku, Joakim von Wright
Implementing Angelic Nondeterminism. APSEC (2003)
Orieta Celiku, Joakim von Wright
Theorem Prover Support for Precondition and Correctness Calculation. ICFEM (2002)