Wojciech Mostowski

Publications (12)
Projects (0)

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. 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). Vol. 8471 (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

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

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

Formal Development of Safe and Secure Java Card Applets

Wojciech Mostowski

Doctoral thesis

2004

Formalisation and Verification of Java Card Security Properties in Dynamic Logic

Wojciech Mostowski

Report

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

Rigorous Development of Java Card Applications

Wojciech Mostowski

Other conference contribution

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

Towards Development of Safe and Secure Java Card Applets

Wojciech Mostowski

Licentiate thesis

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.