Orieta Celiku

According to our database, Orieta Celiku authored at least 7 papers between 2002 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

Evolution styles: Foundations and tool support for software architecture evolution.

David Garlan, Jeffrey M. Barnes, Bradley R. Schmerl, Orieta Celiku

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.

David Garlan, Kathleen M. Carley, Bradley R. Schmerl, Michael W. Bigrigg, Orieta Celiku

Proceedings of the 21st International Conference on Software Engineering & Knowledge Engineering (SEKE'2009), 2009

2005

Quantitative Temporal Logic Mechanized in HOL.

Orieta Celiku

Proceedings of the Theoretical Aspects of Computing, 2005

Compositional Specification and Analysis of Cost-Based Properties in Probabilistic Programs.

Orieta Celiku, Annabelle McIver

Proceedings of the FM 2005: Formal Methods, 2005

2004

Cost-Based Analysis of Probabilistic Programs Mechanised in HOL.

Orieta Celiku, Annabelle McIver

Nord. J. Comput., 2004

2003

Implementing Angelic Nondeterminism.

Orieta Celiku, Joakim von Wright

Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 2003

2002

Theorem Prover Support for Precondition and Correctness Calculation.

Orieta Celiku, Joakim von Wright

Proceedings of the Formal Methods and Software Engineering, 2002