Constraint Systems for Useless Variable Elimination. - Mitchell Wand; Igor Siveroni (POPL, 1999)

Operational semantics of the Java Card Virtual Machine. - Igor Siveroni (J. Log. Algebraic Methods Program., 2004)

Towards Verification of Well-Formed Transactions in Java Card Bytecode. - René Rydhof Hansen; Igor Siveroni (Bytecode@ETAPS, 2005)

Filling Out the Gaps: A Padding Algorithm for Transforming Out Timing Leaks. - Igor Siveroni (QAPL, 2005)

Tempus fugit: How to plug it. - Alessandra Di Pierro; Chris Hankin; Igor Siveroni; Herbert Wiklicky (J. Log. Algebraic Methods Program., 2007)

Property Specification and Static Verification of UML Models. - Igor Siveroni; Andrea Zisman; George Spanoudakis (ARES, 2008)

A UML-based static verification framework for security. - Igor Siveroni; Andrea Zisman; George Spanoudakis (Requir. Eng., 2010)

Proactive and Reactive Runtime Service Discovery: A Framework and Its Evaluation. - Andrea Zisman; George Spanoudakis; James Dooley; Igor Siveroni (IEEE Trans. Software Eng., 2013)

Bayesian phylodynamic inference with complex models. - Erik M. Volz; Igor Siveroni (PLoS Comput. Biol., 2018)

BEAST 2.5: An advanced software platform for Bayesian evolutionary analysis. - Remco R. Bouckaert; Timothy G. Vaughan; Joëlle Barido-Sottani; Sebastián Duchêne; Mathieu Fourment; Alexandra Gavryushkina; Joseph Heled; Graham Jones; Denise Kühnert; Nicola De Maio; Michael Matschiner; Fábio K. Mendes; et al. (PLoS Comput. Biol., 2019)