![]() | Up a level |
Zisman, A., Spanoudakis, G., Dooley, J. and Siveroni, I. (2013). Proactive and reactive runtime service discovery: a framework and its evaluation. IEEE Transactions on Software Engineering, 39(7), doi: 10.1109/TSE.2012.84
Siveroni, I., Zisman, A. and 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. and Spanoudakis, G. (2008). Property specification and static verification of UML models. Paper presented at the Availability, Reliability and Security, 2008. ARES 08. Third International Conference on, 4 - 7 Mar 2008, Barcelona, Spain.
Hunt, S. and Mastroeni, I. (2005). The PER model of abstract non-interference. In: Hankin, C. and Siveroni, I. (Eds.), Static Analysis. SAS 2005. Lecture Notes in Computer Science. (pp. 171-185). Berlin: Springer. ISBN 978-3-540-28584-7