| 2008 |
|---|
| 9 | EE | Wojciech Mostowski,
Erik Poll:
Malicious Code on Java Card Smartcards: Attacks and Countermeasures.
CARDIS 2008: 1-16 |
| 2007 |
|---|
| 8 | EE | Wojciech Mostowski:
Fully Verified Java Card API Reference Implementation.
VERIFY 2007 |
| 2006 |
|---|
| 7 | EE | Wojciech Mostowski:
Formal Reasoning About Non-atomic Java Card Methods in Dynamic Logic.
FM 2006: 444-459 |
| 2005 |
|---|
| 6 | EE | Wojciech Mostowski:
Formalisation and Verification of Java Card Security Properties in Dynamic Logic.
FASE 2005: 357-371 |
| 5 | EE | Wolfgang Ahrendt,
Thomas Baar,
Bernhard Beckert,
Richard Bubel,
Martin Giese,
Reiner Hähnle,
Wolfram Menzel,
Wojciech Mostowski,
Andreas Roth,
Steffen Schlager,
Peter H. Schmitt:
The KeY tool.
Software and System Modeling 4(1): 32-54 (2005) |
| 2004 |
|---|
| 4 | EE | Reiner Hähnle,
Wojciech Mostowski:
Verification of Safety Properties in the Presence of Transactions.
CASSIS 2004: 151-171 |
| 3 | EE | Daniel Larsson,
Wojciech Mostowski:
Specifying JAVA CARD API in OCL.
Electr. Notes Theor. Comput. Sci. 102: 3-19 (2004) |
| 2003 |
|---|
| 2 | EE | Bernhard Beckert,
Wojciech Mostowski:
A Program Logic for Handling JAVA CARD's Transaction Mechanism.
FASE 2003: 246-260 |
| 2002 |
|---|
| 1 | EE | Wolfgang Ahrendt,
Thomas Baar,
Bernhard Beckert,
Martin Giese,
Elmar Habermalz,
Reiner Hähnle,
Wolfram Menzel,
Wojciech Mostowski,
Peter H. Schmitt:
The KeY System: Integrating Object-Oriented Design and Formal Methods.
FASE 2002: 327-330 |
