Search the dblp DataBase

Publications of Author

1. Bart Jacobs, Joseph Kiniry, Martijn Warnier
   Java Program Verification Challenges. [Citation Graph (0, 0)][DBLP]
   FMCO, 2002, pp:202-219 [Conf]
   
2. Jesse Hughes, Martijn Warnier
   The Coinductive Approach to Verifying Cryptographic Protocols. [Citation Graph (0, 0)][DBLP]
   WADT, 2002, pp:268-283 [Conf]
   
3. Gilles Barthe, Tamara Rezk, Martijn Warnier
   Preventing Timing Leaks Through Transactional Branching Instructions. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:153, n:2, pp:33-55 [Journal]
   
4. Bart Jacobs, Martijn Oostdijk, Martijn Warnier
   Source code verification of a secure payment applet. [Citation Graph (0, 0)][DBLP]
   J. Log. Algebr. Program., 2004, v:58, n:1-2, pp:107-120 [Journal]
   
5. Martine Boonk, Frances M. T. Brazier, David de Groot, Maarten van Stekelenburg, Anja Oskamp, Martijn Warnier
   Conditions for access and use of legal document retrieval web services. [Citation Graph (0, 0)][DBLP]
   ICAIL, 2007, pp:37-41 [Conf]
   
6. Martijn Warnier, Frances M. T. Brazier, Martin Apistola, Anja Oskamp
   Towards automatic identification of completeness and consistency in digital dossiers. [Citation Graph (0, 0)][DBLP]
   ICAIL, 2007, pp:177-181 [Conf]
   
7. 
   Secure Distributed Dossier Management in the Legal Domain. [Citation Graph (, )][DBLP]
   
   
8. 
   Secure Monitoring of Service Level Agreements. [Citation Graph (, )][DBLP]
   
   
9. 
   Organized Anonymity in Agent Systems. [Citation Graph (, )][DBLP]
   
   
10. 
    Enforcing security in the AgentScape middleware. [Citation Graph (, )][DBLP]
    
    
11. 
    Statically checking confidentiality via dynamic labels. [Citation Graph (, )][DBLP]
    
    
12. 
    Monitoring and Reputation Mechanisms for Service Level Agreements. [Citation Graph (, )][DBLP]
    
    
13. 
    Organized Anonymous Agents. [Citation Graph (, )][DBLP]
    
    
14. 
    A Distributed Agent-based Approach to Stabilization of Global Resource Utilization. [Citation Graph (, )][DBLP]
    
    
15. 
    An agent based system for distributed information management: A case study. [Citation Graph (, )][DBLP]