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 proceeding
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 proceeding
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 proceeding
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 proceeding
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 proceeding
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 proceeding
2002

Rigorous Development of Java Card Applications

Wojciech Mostowski
Other conference contribution

Download publication list

You can download this list to your computer.

Filter and download publication list

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

Zotero Connector
Mendeley Web Importer

The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.

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.