 | 2008 |
|---|
| 7 |       | Igor Siveroni,
Andrea Zisman,
George Spanoudakis:
Property Specification and Static Verification of UML Models.
ARES 2008: 96-103 |
| 2007 |
|---|
| 6 | | Alessandra Di Pierro,
Chris Hankin,
Igor Siveroni,
Herbert Wiklicky:
Tempus fugit: How to plug it.
J. Log. Algebr. Program. 72(2): 173-190 (2007) |
| 2006 |
|---|
| 5 | | Igor Siveroni:
Filling Out the Gaps: A Padding Algorithm for Transforming Out Timing Leaks.
Electr. Notes Theor. Comput. Sci. 153(2): 241-257 (2006) |
| 2005 |
|---|
| 4 |  | Chris Hankin,
Igor Siveroni:
Static Analysis, 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings
Springer 2005 |
| 3 | | René Rydhof Hansen,
Igor Siveroni:
Towards Verification of Well-Formed Transactions in Java Card Bytecode.
Electr. Notes Theor. Comput. Sci. 141(1): 145-162 (2005) |
| 2004 |
|---|
| 2 | | Igor Siveroni:
Operational semantics of the Java Card Virtual Machine.
J. Log. Algebr. Program. 58(1-2): 3-25 (2004) |
| 1999 |
|---|
| 1 | | Mitchell Wand,
Igor Siveroni:
Constraint Systems for Useless Variable Elimination.
POPL 1999: 291-302 |
