Igor Siveroni

11 papers A* 1B 2Journal 6Unranked 2
YearRankTypeTitle / Venue / Authors
2019 J jnl
BEAST 2.5: An advanced software platform for Bayesian evolutionary analysis.
PLoS Comput. Biol.
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, Nicola F. Müller, Huw A. Ogilvie, Louis du Plessis, Alex Popinga, Andrew Rambaut, David A. Rasmussen, Igor Siveroni, Marc A. Suchard, Chieh-Hsi Wu, Dong Xie, Chi Zhang, Tanja Stadler, Alexei J. Drummond
2018 J jnl
Bayesian phylodynamic inference with complex models.
PLoS Comput. Biol.
Erik M. Volz, Igor Siveroni
2013 J jnl
Proactive and Reactive Runtime Service Discovery: A Framework and Its Evaluation.
IEEE Trans. Software Eng.
Andrea Zisman, George Spanoudakis, James Dooley, Igor Siveroni
2010 J jnl
A UML-based static verification framework for security.
Requir. Eng.
Igor Siveroni, Andrea Zisman, George Spanoudakis
2008 B conf
Property Specification and Static Verification of UML Models.
ARES
Igor Siveroni, Andrea Zisman, George Spanoudakis
2007 J jnl
Tempus fugit: How to plug it.
J. Log. Algebraic Methods Program.
Alessandra Di Pierro, Chris Hankin, Igor Siveroni, Herbert Wiklicky
2005 — conf
Filling Out the Gaps: A Padding Algorithm for Transforming Out Timing Leaks.
QAPL
Igor Siveroni
2005 B ed.
Static Analysis, 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings
SAS
Chris Hankin, Igor Siveroni
2005 — conf
Towards Verification of Well-Formed Transactions in Java Card Bytecode.
Bytecode@ETAPS
René Rydhof Hansen, Igor Siveroni
2004 J jnl
Operational semantics of the Java Card Virtual Machine.
J. Log. Algebraic Methods Program.
Igor Siveroni
1999 A* conf
Constraint Systems for Useless Variable Elimination.
POPL
Mitchell Wand, Igor Siveroni