Wojciech Mostowski

Showing 12 publications

2017

Modelling of Autosar libraries for large scale testing

Wojciech Mostowski, Thomas Arts, John Hughes
Electronic Proceedings in Theoretical Computer Science, EPTCS, 2nd Workshop on Models for Formal Analysis of Real Systems, MARS 2017, Uppsala, Sweden, 29 April 2017. Vol. 244, p. 184-199
Paper in proceedings
2014

The KeY platform for verification and analysis of java programs

Wolfgang Ahrendt, B. Beckert, D. Bruns et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (8471), p. 55-71
Paper in proceedings
2012

Real-time java API specifications for high coverage test generation

Wolfgang Ahrendt, Wojciech Mostowski, Gabriele Paganelli
10th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES 2012), Copenhagen, 24 - 26 October 2012, p. 145-154
Paper in proceedings
2005

Verification of Safety Properties in the Presence of Transactions

Reiner Hähnle, Wojciech Mostowski
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 3362, p. 151-171
Journal article
2005

The KeY Tool

Reiner Hähnle, Wolfgang Ahrendt, Thomas Baar et al
Software and Systems Modeling. Vol. 4 (1), p. 32-54
Journal article
2005

Formal Development of Safe and Secure Java Card Applets

Wojciech Mostowski
Doctoral thesis
2004

Specifying Java Card API in OCL

Wojciech Mostowski, Daniel Larsson
OCL 2.0 Workshop at UML 2003 Conference. Vol. 102 (C), p. 3-19
Paper in proceedings
2003

A Program Logic for Handling Java Card's Transaction Mechanism

Bernhard Beckert, Wojciech Mostowski
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 2621, p. 246-260
Paper in proceedings
2002

Towards Development of Safe and Secure Java Card Applets

Wojciech Mostowski
Licentiate thesis
2002

The KeY System: Integrating Object-Oriented Design and Formal Methods

Wolfgang Ahrendt, T. Baar, B. Beckert et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 2306, p. 327-330
Paper in proceedings
2002

Rigorous Development of Java Card Applications

Wojciech Mostowski
Conference contribution

Save references

If you have installed Zotero or Mendeley on your computer you can use a plugin to extract references from the publications you see.

Download plugins:
Zotero
Mendeley

There are no projects.
There might be more projects where Wojciech Mostowski participates, but you have to be logged in as a Chalmers employee to see them.