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: Mostowski:Wojciech
Contributed to:
2014
2014
2006
200520032002Wrote 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.