Wojciech Mostowski

Publikationer (12)
Projekt (0)

Visar 12 publikationer

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 i 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 i 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 i 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

Artikel i vetenskaplig tidskrift

2005

The KeY Tool

Reiner Hähnle, Wolfgang Ahrendt, Thomas Baar et al

Software and Systems Modeling. Vol. 4 (1), p. 32-54

Artikel i vetenskaplig tidskrift

2005

Formal Development of Safe and Secure Java Card Applets

Wojciech Mostowski

Doktorsavhandling

2004

Formalisation and Verification of Java Card Security Properties in Dynamic Logic

Wojciech Mostowski

Rapport

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

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

2002

Rigorous Development of Java Card Applications

Wojciech Mostowski

Övrigt konferensbidrag

2002

Towards Development of Safe and Secure Java Card Applets

Wojciech Mostowski

Licentiatavhandling

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Filtrera och ladda ner publikationslista

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.

Det finns inga projekt att visa.

Det kan finnas fler projekt där Wojciech Mostowski medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.