Items where Author is "Zisman, A."
Article
Sajjad, A., Rajarajan, M., Zisman, A. (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. (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. (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 (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. (2014). Trust Assessment Using Cloud Broker. In: Zhou, J., Gal-Oz, N., Zhang, J. (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. (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. (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. (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). .