Wojciech Mostowski's Publications

Complete List of BibTeX Entries

All publications are listed in reverse chronological order per section. The material available on this page is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by the author(s) and/or the copyright holder(s).

Book Chapters

1. Wojciech Mostowski. Chapter 9. From Sequential Java to Java Card of Verification of Object-Oriented Software: The KeY Approach, pages 375–405, © Springer, 2007. [BibTeX]
2. Wojciech Mostowski. Chapter 14. The Demoney Case Study of Verification of Object-Oriented Software: The KeY Approach, pages 533–568, © Springer, 2007. [BibTeX]
3. Wojciech Mostowski. Appendix B. The KeY Syntax of Verification of Object-Oriented Software: The KeY Approach, pages 599–626, © Springer, 2007. [BibTeX]
4. Tomasz Janowski and Wojciech Mostowski. Chapter 13. Fail-Stop Components by Pattern Matching of Specification Case Studies in RAISE, pages 341–368, © Springer, 2002. [BibTeX]

Journal Articles

1. Daniel Bruns, Wojciech Mostowski, and Mattias Ulbrich. Implementation-level Verification of Algorithms with KeY. Software Tools for Technology Transfer, © Springer, 2013, on-line first, to appear. [BibTeX]
2. Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager and Peter H. Schmitt. The KeY Tool. Software and Systems Modeling Journal, Volume 4, Number 1, pages 32–54. © Springer, 2005. [BibTeX]

Posters

1. Lejla Batina, Bart Jacobs, Wojciech Mostowski, Erik Poll, and Pim Vullers. Security and Privacy of Smartcard-based e-Identity, Poster presentation, STW.ICT Conference, Veldhoven, the Netherlands, November 2010. [BibTeX]

Thesis

1. Wojciech Mostowski. Formal Development of Safe and Secure Java Card Applets. PhD Thesis, Technical Report 2D, Chalmers University of Technology, Department of Computer Science and Engineering, Göteborg, Sweden, February 2005. [BibTeX]
2. Wojciech Mostowski. Towards Development of Safe and Secure Java Card Applets. Licentiate Thesis, Technical Report 16L, Chalmers University of Technology, Computing Science Department, Göteborg, Sweden, December 2002. [BibTeX]

Technical Reports

1. Afshin Amighi, Stefan Blom, Marieke Huisman, Wojciech Mostowski, and Marina Zaharieva-Stojanovski. Formal Specifications for Java's Synchronisation Classes. Technical Report TR-CTIT-13-18, University of Twente, the Netherlands, September 2013. [BibTeX]
2. Wojciech Mostowski and Erik Poll. Electronic Passports in a Nutshell. Technical Report ICIS-R10004, Radboud University Nijmegen, the Netherlands, June 2010. [BibTeX]
3. Wojciech Mostowski and Erik Poll. Midlet Navigation Graphs in JML. Technical Report ICIS-R09004, Radboud University Nijmegen, the Netherlands, August 2009. [BibTeX]
4. Wojciech Mostowski and Erik Poll. Testing the Java Card Applet Firewall. Technical Report ICIS-R07029, Radboud University Nijmegen, the Netherlands, December 2007. [BibTeX][Erratum]
5. Wojciech Mostowski, Jing Pan, Srikanth Akkiraju, Erik de Vink, Erik Poll, and Jerry den Hartog. A Comparison of Java Cards: State-of-Affairs 2006. Technical Report CSR 07-06, Technical University Eindhoven, the Netherlands, 2007. This technical report is only available on request.