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]