| Constraint systems for useless variable elimination M Wand, I Siveroni Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of …, 1999 | 54 | 1999 |
| BEAST 2.5: An advanced software platform for Bayesian evolutionary analysis R Bouckaert, TG Vaughan, J Barido-Sottani, S Duchêne, M Fourment, ... PLoS computational biology 15 (4), e1006650, 2019 | 42 | 2019 |
| Proactive and reactive runtime service discovery: A framework and its evaluation A Zisman, G Spanoudakis, J Dooley, I Siveroni IEEE Transactions on Software Engineering 39 (7), 954-974, 2012 | 38 | 2012 |
| Operational semantics of the java card virtual machine IA Siveroni The Journal of Logic and Algebraic Programming 58 (1-2), 3-25, 2004 | 30 | 2004 |
| Property specification and static verification of UML models I Siveroni, A Zisman, G Spanoudakis 2008 Third International Conference on Availability, Reliability and …, 2008 | 26 | 2008 |
| A UML-based static verification framework for security I Siveroni, A Zisman, G Spanoudakis Requirements engineering 15 (1), 95-118, 2010 | 21 | 2010 |
| A proposal for the JCVMLe operational semantics I Siveroni, C Hankin SECSAFE-ICSTM-001-2.2, October, 2001 | 19 | 2001 |
| Bayesian phylodynamic inference with complex models EM Volz, I Siveroni PLoS computational biology 14 (11), e1006546, 2018 | 11 | 2018 |
| Tempus fugit: How to plug it A Di Pierro, C Hankin, I Siveroni, H Wiklicky The Journal of Logic and Algebraic Programming 72 (2), 173-190, 2007 | 11 | 2007 |
| Filling out the gaps: A padding algorithm for transforming out timing leaks I Siveroni Electronic Notes in Theoretical Computer Science 153 (2), 241-257, 2006 | 6 | 2006 |
| A Formal Specification of the Java Card Firewall I Siveroni, T Jensen, M Eluard | 6 | 2001 |
| Static Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings I Siveroni Springer-Verlag Berlin Heidelberg, 2005 | 5 | 2005 |
| Static Analysis: 12th International Symposium, SAS 2005, London,[Imperial College], UK, September 7-9, 2005-Proceedings C Hankin Springer, 2005 | 5 | 2005 |
| SecSafe I Siveroni Web page: http://www. doc. ic. ac. uk/siveroni/secsafe, 2003 | 5 | 2003 |
| Towards verification of well-formed transactions in Java Card bytecode RR Hansen, IA Siveroni Electronic Notes in Theoretical Computer Science 141 (1), 145-162, 2005 | 2 | 2005 |
| Static Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings C Hankin, I Siveroni Springer, 2005 | 1 | 2005 |
| Prototype Implementation of an Integrated Interpreter and Analyser of Carmel Programs I Siveroni, L Jackson SECSAFE-ICSTM-015-1.0, October, 2003 | 1 | 2003 |
| Java Card Safety and Security through Static Analysis RR Hansen, I Siveroni | 1 | 2003 |
| Guest editors’ introduction: Special issue on Formal Methods for Smart Cards M Huisman, T Jensen The Journal of Logic and Algebraic Programming 58 (1-2), 1-2, 2004 | | 2004 |
| Prototype Implementation of an Integrated Interpreter and I Siveroni, L Jackson | | 2003 |
