Search the dblp DataBase

Publications of Author

1. Reiner Hähnle, Wojciech Mostowski
   Verification of Safety Properties in the Presence of Transactions. [Citation Graph (0, 0)][DBLP]
   CASSIS, 2004, pp:151-171 [Conf]
   
2. Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Peter H. Schmitt
   The KeY System: Integrating Object-Oriented Design and Formal Methods. [Citation Graph (0, 0)][DBLP]
   FASE, 2002, pp:327-330 [Conf]
   
3. Bernhard Beckert, Wojciech Mostowski
   A Program Logic for Handling JAVA CARD's Transaction Mechanism. [Citation Graph (0, 0)][DBLP]
   FASE, 2003, pp:246-260 [Conf]
   
4. Wojciech Mostowski
   Formalisation and Verification of Java Card Security Properties in Dynamic Logic. [Citation Graph (0, 0)][DBLP]
   FASE, 2005, pp:357-371 [Conf]
   
5. Wojciech Mostowski
   Formal Reasoning About Non-atomic Java Card Methods in Dynamic Logic. [Citation Graph (0, 0)][DBLP]
   FM, 2006, pp:444-459 [Conf]
   
6. Daniel Larsson, Wojciech Mostowski
   Specifying JAVA CARD API in OCL. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2004, v:102, n:, pp:3-19 [Journal]
   
7. Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager, Peter H. Schmitt
   The KeY tool. [Citation Graph (0, 0)][DBLP]
   Software and System Modeling, 2005, v:4, n:1, pp:32-54 [Journal]
   
8. 
   Fully Verified Java Card API Reference Implementation. [Citation Graph (, )][DBLP]
   
   
9. 
   Malicious Code on Java Card Smartcards: Attacks and Countermeasures. [Citation Graph (, )][DBLP]
   
   
10. 
    Developing Efficient Blinded Attribute Certificates on Smart Cards via Pairings. [Citation Graph (, )][DBLP]
    
    
11. 
    Model-Based Testing of Electronic Passports. [Citation Graph (, )][DBLP]