BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × France
1 × Italy
1 × Poland
1 × United Kingdom
Collaborated with:
B.Beckert A.Amighi S.Blom M.Huisman M.Zaharieva-Stojanovski S.Darabi W.Ahrendt T.Baar M.Giese E.Habermalz R.Hähnle W.Menzel P.H.Schmitt
Talks about:
java (4) formal (3) logic (3) card (3) system (2) method (2) verif (2) dynam (2) synchronis (1) transact (1)

Person: Wojciech Mostowski

DBLP DBLP: Mostowski:Wojciech

Contributed to:

PDP 20142014
SFM 20142014
FM 20062006
FASE 20052005
FASE 20032003
FASE 20022002

Wrote 6 papers:

PDP-2014-AmighiBHMZ #java #specification
Formal Specifications for Java’s Synchronisation Classes (AA, SB, MH, WM, MZS), pp. 725–733.
SFM-2014-AmighiBDHMZ #concurrent #verification
Verification of Concurrent Systems with VerCors (AA, SB, SD, MH, WM, MZS), pp. 172–216.
FM-2006-Mostowski #java #logic #reasoning
Formal Reasoning About Non-atomic Java Card Methods in Dynamic Logic (WM), pp. 444–459.
FASE-2005-Mostowski #formal method #java #logic #security #verification
Formalisation and Verification of Java Card Security Properties in Dynamic Logic (WM), pp. 357–371.
FASE-2003-BeckertM #java #logic #transaction
A Program Logic for Handling JAVA CARD’s Transaction Mechanism (BB, WM), pp. 246–260.
FASE-2002-AhrendtBBGHHMMS #design #formal method #object-oriented
The KeY System: Integrating Object-Oriented Design and Formal Methods (WA, TB, BB, MG, EH, RH, WM, WM, PHS), pp. 327–330.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.