According to our database1, Orieta Celiku authored at least 7 papers between 2002 and 2009.
Legend:Book In proceedings Article PhD thesis Other
Evolution styles: Foundations and tool support for software architecture evolution.
Proceedings of the Joint Working IEEE/IFIP Conference on Software Architecture 2009 and European Conference on Software Architecture 2009, 2009
Using Service-oriented Architectures for Socio-Cultural Analysis.
Proceedings of the 21st International Conference on Software Engineering & Knowledge Engineering (SEKE'2009), 2009
Quantitative Temporal Logic Mechanized in HOL.
Proceedings of the Theoretical Aspects of Computing, 2005
Compositional Specification and Analysis of Cost-Based Properties in Probabilistic Programs.
Proceedings of the FM 2005: Formal Methods, 2005
Cost-Based Analysis of Probabilistic Programs Mechanised in HOL.
Nord. J. Comput., 2004
Implementing Angelic Nondeterminism.
Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 2003
Theorem Prover Support for Precondition and Correctness Calculation.
Proceedings of the Formal Methods and Software Engineering, 2002