Orieta Celiku

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2009
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

2005
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

2004
Cost-Based Analysis of Probabilistic Programs Mechanised in HOL.
Nord. J. Comput., 2004

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

2002
Theorem Prover Support for Precondition and Correctness Calculation.
Proceedings of the Formal Methods and Software Engineering, 2002


  Loading...