Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Wojciech Mostowski
[go: Go Back, main page]
My Photo

The Home Page of Wojciech Mostowski




About Me

Since August 2000 I am a Ph.D. student at Chalmers University of Technology, Department of Computer Science and Engineering, Division of Computing Science. My research interests include formal software verification and object-oriented methods and design. I am a member of the Formal Methods group at our Department and also a member of the KeY project (in collaboration with Karlsruhe University and Koblenz University), which aims at integrating object oriented design with formal methods. My Ph.D. supervisor is Reiner Hähnle.

Address/Contact Info

Wojciech Mostowski
Chalmers University of Technology
Department of Computer Science and Engineering
SE-412 96 Göteborg, Sweden
e-mail: woj@cs.chalmers.se
tel: +46 (0)31-772 1072
fax: +46 (0)31-772 3663
Room: 5451 in Computer Science and Engineering Building (EDIT)

Publications

  1. Tomasz Janowski and Wojciech Mostowski. Fail-Stop Components by Pattern Matching. Formal Methods for Open Object-Based Distributed Systems Conference, Stanford, California, U.S.A., September 6-8, 2000.
    [Gzipped PostScript] [BibTeX]

  2. 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] [At Springer]

  3. Wojciech Mostowski. Rigorous development of Java Card applications. Rigorous Object Oriented Methods Workshop, London, U.K., March 21, 2002.
    [Gzipped PostScript] [BibTeX]

  4. Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski and Peter H. Schmitt. The KeY System: Integrating Object-Oriented Design and Formal Methods. Proceedings, Fundamental Approaches to Software Engineering (FASE) Conference, LNCS 2306, pages 327-330, Grenoble, France, April 2002. Springer.
    [PDF] [Appendix (PDF)] [BibTeX] [FASE 2002 at Springer] [PDF at Springer]

  5. Bernhard Beckert and Wojciech Mostowski. A Program Logic for Handling Java Card's Transaction Mechanism. Proceedings, Fundamental Approaches to Software Engineering (FASE) Conference, LNCS 2621, pages 246-260, Warsaw, Poland, April 2003. Springer.
    [Gzipped PostScript] [PDF] [BibTeX] [FASE 2003 at Springer] [PDF at Springer]

  6. Daniel Larsson and Wojciech Mostowski. Specifying Java Card API in OCL. OCL 2.0 Workshop at UML 2003 Conference, San Francisco, U.S.A., October 21, 2003. ENTCS 102C, pages 3-19. Elsevier, November 2004.
    [Gzipped PostScript] [PDF] [BibTeX] [At Elsevier]

  7. 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, February 2005.
    [At Springer] [BibTeX]

  8. Reiner Hähnle and Wojciech Mostowski. Verification of Safety Properties in the Presence of Transactions. Proceedings, Construction and Analysis of Safe, Secure and Interoperable Smart devices (CASSIS'04) Workshop, LNCS 3362, pages 151-171, 2005. Springer.
    [Gzipped PostScript] [PDF] [BibTeX] [CASSIS'04 at Springer] [PDF at Springer]

  9. Wojciech Mostowski. Formalisation and Verification of Java Card Security Properties in Dynamic Logic. Proceedings, Fundamental Approaches to Software Engineering (FASE) Conference, Edinburgh, Scotland, April 2005. LNCS, Springer. To appear.
    [Gzipped PostScript] [PDF] [BibTeX] [FASE 2005 at Springer] [PDF at Springer]

Thesis

  1. 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.
    [Gzipped PostScript] [PDF] [BibTeX]

  2. 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.
    [Gzipped PostScript] [PDF] [BibTeX]

Technical Reports

  1. 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. Technical Report no. 2003-05, Chalmers University of Technology, Computing Science Department, Göteborg, Sweden, 2003.
    [PDF] [BibTeX]

  2. Wojciech Mostowski. Java Card Tools for Together Control Center.
    [PDF] [BibTeX]

  3. Wojciech Mostowski. Formalisation and Verification of Java Card Security Properties in Dynamic Logic. Technical Report no. 2004-08, Chalmers University of Technology, Computing Science Department, Göteborg, Sweden, October 2004.
    [Gzipped PostScript] [PDF] [BibTeX]

Java Card Modules for Borland Together Control Center

On this page you can find Java Card Tools package I developed for Borland Together Control Center CASE tool. There is also a short paper [PDF (also above)] describing Java Card Tools.
Linux Registered User

Current Teaching

People

These are the people I work with on the KeY Project:

Links

Some useful local docs:

Google Search
A very cool animation made with TeX (taken from the website of one of the TUG conferences).
Disclaimer, Wojciech Mostowski
Last modified: Mon Mar 21 10:51:35 CET 2005