City Research Online

Article

Sajjad, A., Rajarajan, M., Zisman, A. & Dimitrakos, T.view all authors (2015). A scalable and dynamic application-level secure communication framework for inter-cloud services. Future generation computer systems: the international journal of grid computing and escience, 48(July), pp. 19-27. doi: 10.1016/j.future.2015.01.018

Zisman, A., Spanoudakis, G., Dooley, J. & Siveroni, I.view all authors (2013). Proactive and reactive runtime service discovery: a framework and its evaluation. IEEE Transactions on Software Engineering, 39(7), pp. 954-974. doi: 10.1109/tse.2012.84

Pawar, P. S., Rajarajan, M., Nair, S. K. & Zisman, A.view all authors (2012). Trust Model for Optimized Cloud Services. IFIP Advances in Information and Communication Technology, 374 AICT, pp. 97-112. doi: 10.1007/978-3-642-29852-3_7

Mahbub, K., Spanoudakis, G. & Zisman, A. (2011). A monitoring approach for runtime service discovery. Automated Software Engineering, 18(2), pp. 117-161. doi: 10.1007/s10515-010-0077-5

Spanoudakis, G. & Zisman, A. (2010). Discovering Services during Service-Based System Design Using UML. IEEE Transactions on Software Engineering, 36(3), pp. 371-389. doi: 10.1109/tse.2009.88

Siveroni, I., Zisman, A. & Spanoudakis, G. (2010). A UML-based static verification framework for security. Requirements Engineering, 15(1), pp. 95-118. doi: 10.1007/s00766-009-0091-y

Nentwich, C., Emmerich, W., Finkelstein, A. ORCID: 0000-0003-2167-9844 & Zisman, A.view all authors (2000). BOX: Browsing objects in XML. Software: Practice and Experience, 30(15), pp. 1661-1676. doi: 10.1002/1097-024x(200012)30:15<1661::aid-spe353>3.0.co;2-o

Book Section

Pawar, P. S., Rajarajan, M., Dimitrakos, T. & Zisman, A.view all authors (2014). Trust Assessment Using Cloud Broker. In: Zhou, J., Gal-Oz, N., Zhang, J. & Gudes, E,view all authors (Eds.), Trust Management VIII. IFIP Advances in Information and Communication Technology, 430. (pp. 237-244). Springer.

Spanoudakis, G. & Zisman, A. (2011). Designing and Adapting Service-based Systems: A Service Discovery Framework. In: Service Engineering. (pp. 261-297). BERLIN: SPRINGER-VERLAG. doi: 10.1007/978-3-7091-0415-6_10

Conference or Workshop Item

da Silva, I. & Zisman, A. (2012). A Framework for Trusted Services. In: Lecture Notes in Computer Science. Service-Oriented Computing - 10th International Conference, ICSOC 2012, 12 - 15 Nov 2012, Shanghai, China.

Pawar, P. S., Nair, S. K., El-Mousaa, F. , Dimitrakos, T., Rajarajan, M. & Zisman, A.view all authors (2012). Opinion Model Based Security Reputation Enabling Cloud Broker Architecture. Paper presented at the CloudComp 2012 - 3rd International Conference on Cloud Computing, 24 - 26 Sep 2012, Vienna, Austria.

Rajarajan, M., Sajjad, A., Zisman, A. , Nair, S. K. & Dimitrakos, T.view all authors (2012). Secure communication using dynamic VPN provisioning in an Inter-Cloud environment. Paper presented at the ICON 2012: 18th IEEE International Conference on Networks, 12 - 14 Dec 2012, Singapore.

Rajarajan, M., Sajjad, A., Zisman, A. , Nair, S. K. & Dimitrakos, T.view all authors (2011). Dynamic virtual private network provisioning from multiple cloud infrastructure service providers. Paper presented at the 4th European Conference, ServiceWave 2011, 26 - 28 Oct 2011, Poznan, Poland.

Siveroni, I., Zisman, A. & Spanoudakis, G. (2008). Property specification and static verification of UML models. In: Jakoubi, S, Tjoa, S & Weippl, ER (Eds.), ARES 2008: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON AVAILABILITY, SECURITY AND RELIABILITY. Availability, Reliability and Security, 2008. ARES 08. Third International Conference on, 4 - 7 Mar 2008, Barcelona, Spain.

Zisman, A. (2007). A Static Verification Framework for Secure Peer-to-Peer Applications. Paper presented at the Internet and Web Applications and Services, 2007. ICIW '07. Second International Conference on, 13 - 19 May 2007, Mauritius.

Zisman, A., Emmerich, W. & Finkelstein, A. ORCID: 0000-0003-2167-9844 (2000). Using XML to build consistency rules for distributed specifications. In: Tenth International Workshop on Software Specification and Design. IWSSD-10 2000. 10th International Workshop on Software Specification and Design, 5-7 Nov 2000, San Diego, USA. doi: 10.1109/IWSSD.2000.891135

Report

Garcez, A., Spanoudakis, G. & Zisman, A. (2003). Proceedings of ACM ESEC/FSE International Workshop on Intelligent Technologies for Software Engineering WITSE03 (TR/2003/DOC/01). .