- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| j5 |      | Igor Siveroni, Andrea Zisman, George Spanoudakis: A UML-based static verification framework for security. Requir. Eng. 15(1): 95-118 (2010) |
| 2008 | ||
| c2 | | Igor Siveroni, Andrea Zisman, George Spanoudakis: Property Specification and Static Verification of UML Models. ARES 2008: 96-103 |
| 2007 | ||
| j4 | | 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 | ||
| j3 | | 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 | ||
| j2 | | 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) |
| e1 |  | Chris Hankin, Igor Siveroni (Eds.): Static Analysis, 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings. Lecture Notes in Computer Science 3672, Springer 2005, isbn 3-540-28584-9 |
| 2004 | ||
| j1 | | Igor Siveroni: Operational semantics of the Java Card Virtual Machine. J. Log. Algebr. Program. 58(1-2): 3-25 (2004) |
| 1999 | ||
| c1 | | Mitchell Wand, Igor Siveroni: Constraint Systems for Useless Variable Elimination. POPL 1999: 291-302 |
| 1 | Chris Hankin | |
| 2 | René Rydhof Hansen | |
| 3 | Alessandra Di Pierro | |
| 4 | George Spanoudakis | |
| 5 | Mitchell Wand | |
| 6 | Herbert Wiklicky | |
| 7 | Andrea Zisman |
Colors in the list of coauthors
Last update Fri May 24 14:24:51 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page