Search the dblp DataBase

Publications of Author

1. Joseph R. Kiniry
   Exceptions in Java and Eiffel: Two Extremes in Exception Design and Application. [Citation Graph (0, 0)][DBLP]
   Advanced Topics in Exception Handling Techniques, 2006, pp:288-300 [Conf]
   
2. Patrice Chalin, Joseph R. Kiniry, Gary T. Leavens, Erik Poll
   Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2. [Citation Graph (0, 0)][DBLP]
   FMCO, 2005, pp:342-363 [Conf]
   
3. Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph R. Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll
   An overview of JML tools and applications. [Citation Graph (0, 0)][DBLP]
   STTT, 2005, v:7, n:3, pp:212-232 [Journal]
   
4. Gary T. Leavens, Joseph R. Kiniry, Erik Poll
   A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java. [Citation Graph (0, 0)][DBLP]
   CAV, 2007, pp:37- [Conf]
   
5. 
   Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations. [Citation Graph (, )][DBLP]
   
   
6. 
   CLOPS: A DSL for Command Line Options. [Citation Graph (, )][DBLP]
   
   
7. 
   Secret Ninja Formal Methods. [Citation Graph (, )][DBLP]
   
   
8. 
   A Verification-Centric Software Development Process for Java. [Citation Graph (, )][DBLP]
   
   
9. 
   The KOA Remote Voting System: A Summary of Work to Date. [Citation Graph (, )][DBLP]
   
   
10. 
    Integrating Static Checking and Interactive Verification: Supporting Multiple Theories and Provers in Verification. [Citation Graph (, )][DBLP]
    
    
11. 
    E-matching for Fun and Profit. [Citation Graph (, )][DBLP]