Items where Author is "Siveroni, I."
Zisman, A., Spanoudakis, G., Dooley, J. & Siveroni, I. (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
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
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.
Hunt, S. & Mastroeni, I. (2005). The PER model of abstract non-interference. In: Hankin, C. & Siveroni, I. (Eds.), Static Analysis. SAS 2005. Proc. Static Analysis, 12th International Symposium doi: 10.1007/11547662_13