Igor Siveroni

Publication Activity (10 Years)

Years Active: 1999-2019
Publications (10 Years): 2

Top Topics

Evolutionary Computation

Statistical Model

Software Platform

Service Discovery

Top Venues

PLoS Comput. Biol.

IEEE Trans. Software Eng.

Publications

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
BEAST 2.5: An advanced software platform for Bayesian evolutionary analysis. PLoS Comput. Biol. 15 (4) (2019)
Erik M. Volz, Igor Siveroni
Bayesian phylodynamic inference with complex models. PLoS Comput. Biol. 14 (11) (2018)
Andrea Zisman, George Spanoudakis, James Dooley, Igor Siveroni
Proactive and Reactive Runtime Service Discovery: A Framework and Its Evaluation. IEEE Trans. Software Eng. 39 (7) (2013)
Igor Siveroni, Andrea Zisman, George Spanoudakis
A UML-based static verification framework for security. Requir. Eng. 15 (1) (2010)
Igor Siveroni, Andrea Zisman, George Spanoudakis
Property Specification and Static Verification of UML Models. ARES (2008)
Alessandra Di Pierro, Chris Hankin, Igor Siveroni, Herbert Wiklicky
Tempus fugit: How to plug it. J. Log. Algebraic Methods Program. 72 (2) (2007)
Igor Siveroni
Filling Out the Gaps: A Padding Algorithm for Transforming Out Timing Leaks. Electron. Notes Theor. Comput. Sci. 153 (2) (2006)
René Rydhof Hansen, Igor Siveroni
Towards Verification of Well-Formed Transactions in Java Card Bytecode. Electron. Notes Theor. Comput. Sci. 141 (1) (2005)
Igor Siveroni
Operational semantics of the Java Card Virtual Machine. J. Log. Algebraic Methods Program. 58 (1-2) (2004)
Mitchell Wand, Igor Siveroni
Constraint Systems for Useless Variable Elimination. POPL (1999)