Wojciech Mostowski

	2009
10		Wojciech Mostowski, Erik Poll, Julien Schmaltz, Jan Tretmans, Ronny Wichers Schreur: Model-Based Testing of Electronic Passports. FMICS 2009: 207-209
	2008
9		Wojciech Mostowski, Erik Poll: Malicious Code on Java Card Smartcards: Attacks and Countermeasures. CARDIS 2008: 1-16
	2007
8		Wojciech Mostowski: Fully Verified Java Card API Reference Implementation. VERIFY 2007
	2006
7		Wojciech Mostowski: Formal Reasoning About Non-atomic Java Card Methods in Dynamic Logic. FM 2006: 444-459
	2005
6		Wojciech Mostowski: Formalisation and Verification of Java Card Security Properties in Dynamic Logic. FASE 2005: 357-371
5		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		Reiner Hähnle, Wojciech Mostowski: Verification of Safety Properties in the Presence of Transactions. CASSIS 2004: 151-171
3		Daniel Larsson, Wojciech Mostowski: Specifying JAVA CARD API in OCL. Electr. Notes Theor. Comput. Sci. 102: 3-19 (2004)
	2003
2		Bernhard Beckert, Wojciech Mostowski: A Program Logic for Handling JAVA CARD's Transaction Mechanism. FASE 2003: 246-260
	2002
1		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

Coauthor Index

1	Wolfgang Ahrendt	[1] [5]
2	Thomas Baar	[1] [5]
3	Bernhard Beckert	[1] [2] [5]
4	Richard Bubel	[5]
5	Martin Giese	[1] [5]
6	Elmar Habermalz	[1]
7	Reiner Hähnle	[1] [4] [5]
8	Daniel Larsson	[3]
9	Wolfram Menzel	[1] [5]
10	Erik Poll	[9] [10]
11	Andreas Roth	[5]
12	Steffen Schlager	[5]
13	Julien Schmaltz	[10]
14	Peter H. Schmitt	[1] [5]
15	Ronny Wichers Schreur	[10]
16	Jan Tretmans	[10]

Colors in the list of coauthors