Wojciech Mostowski

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, 2nd Workshop on Models for Formal Analysis of Real Systems, MARS 2017, Uppsala, Sweden, 29 April 2017. 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) (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

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

Towards Development of Safe and Secure Java Card Applets

Wojciech Mostowski
Licentiatavhandling
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
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

Spara referenser

Om du har installerat Zotero eller Mendeley på din dator kan du direkt ta ut referenser från de publikationer du ser i listan.

Du laddar ner dessa pluginer här:
Zotero
Mendeley

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.