Igor Siveroni
TitleCited byYear
Constraint systems for useless variable elimination
M Wand, I Siveroni
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of …, 1999
541999
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
422019
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
382012
Operational semantics of the java card virtual machine
IA Siveroni
The Journal of Logic and Algebraic Programming 58 (1-2), 3-25, 2004
302004
Property specification and static verification of UML models
I Siveroni, A Zisman, G Spanoudakis
2008 Third International Conference on Availability, Reliability and …, 2008
262008
A UML-based static verification framework for security
I Siveroni, A Zisman, G Spanoudakis
Requirements engineering 15 (1), 95-118, 2010
212010
A proposal for the JCVMLe operational semantics
I Siveroni, C Hankin
SECSAFE-ICSTM-001-2.2, October, 2001
192001
Bayesian phylodynamic inference with complex models
EM Volz, I Siveroni
PLoS computational biology 14 (11), e1006546, 2018
112018
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
112007
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
62006
A Formal Specification of the Java Card Firewall
I Siveroni, T Jensen, M Eluard
62001
Static Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings
I Siveroni
Springer-Verlag Berlin Heidelberg, 2005
52005
Static Analysis: 12th International Symposium, SAS 2005, London,[Imperial College], UK, September 7-9, 2005-Proceedings
C Hankin
Springer, 2005
52005
SecSafe
I Siveroni
Web page: http://www. doc. ic. ac. uk/siveroni/secsafe, 2003
52003
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
22005
Static Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings
C Hankin, I Siveroni
Springer, 2005
12005
Prototype Implementation of an Integrated Interpreter and Analyser of Carmel Programs
I Siveroni, L Jackson
SECSAFE-ICSTM-015-1.0, October, 2003
12003
Java Card Safety and Security through Static Analysis
RR Hansen, I Siveroni
12003
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
The system can't perform the operation now. Try again later.
Articles 1–20