Igor Siveroni

Orcid: 0000-0003-2595-3062

According to our database¹, Igor Siveroni authored at least 10 papers between 1999 and 2019.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2019

BEAST 2.5: An advanced software platform for Bayesian evolutionary analysis.

[BibT_eX]

[DOI]

PLoS Comput. Biol., 2019

2018

Bayesian phylodynamic inference with complex models.

[BibT_eX]

[DOI]

Erik M. Volz

Igor Siveroni

PLoS Comput. Biol., 2018

2013

Proactive and Reactive Runtime Service Discovery: A Framework and Its Evaluation.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2013

2010

A UML-based static verification framework for security.

[BibT_eX]

[DOI]

Igor Siveroni

Andrea Zisman

George Spanoudakis

Requir. Eng., 2010

2008

Property Specification and Static Verification of UML Models.

[BibT_eX]

[DOI]

Igor Siveroni

Andrea Zisman

George Spanoudakis

Proceedings of the The Third International Conference on Availability, 2008

2007

Tempus fugit: How to plug it.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2007

2005

Filling Out the Gaps: A Padding Algorithm for Transforming Out Timing Leaks.

[BibT_eX]

[DOI]

Igor Siveroni

Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages, 2005

Towards Verification of Well-Formed Transactions in Java Card Bytecode.

[BibT_eX]

[DOI]

René Rydhof Hansen

Igor Siveroni

Proceedings of the First Workshop on Bytecode Semantics, 2005

2004

Operational semantics of the Java Card Virtual Machine.

[BibT_eX]

[DOI]

Igor Siveroni

J. Log. Algebraic Methods Program., 2004

1999

Constraint Systems for Useless Variable Elimination.

[BibT_eX]

[DOI]

Mitchell Wand

Igor Siveroni

Proceedings of the POPL '99, 1999

Igor Siveroni

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...