Search the dblp DataBase

Publications of Author

1. Jens U. Skakkebæk, Robert B. Jones, David L. Dill
   Formal Verification of Out-of-Order Execution Using Incremental Flushing. [Citation Graph (0, 0)][DBLP]
   CAV, 1998, pp:98-109 [Conf]
   
2. Jens U. Skakkebæk
   Liveness and Fairness in Duration Calculus. [Citation Graph (0, 0)][DBLP]
   CONCUR, 1994, pp:283-298 [Conf]
   
3. Robert B. Jones, Jens U. Skakkebæk, David L. Dill
   Reducing Manual Abstraction in Formal Verification of Out-of-Order Execution. [Citation Graph (0, 0)][DBLP]
   FMCAD, 1998, pp:2-17 [Conf]
   
4. Jeffrey X. Su, David L. Dill, Jens U. Skakkebæk
   Formally Verifying Data and Control with Weak Reachability Invariants. [Citation Graph (0, 0)][DBLP]
   FMCAD, 1998, pp:387-402 [Conf]
   
5. David Y. W. Park, Jens U. Skakkebæk, Mats Per Erik Heimdahl, Barbara J. Czerny, David L. Dill
   Checking properties of safety critical specifications using efficient decision procedures. [Citation Graph (0, 0)][DBLP]
   FMSP, 1998, pp:34-43 [Conf]
   
6. David Y. W. Park, Jens U. Skakkebæk, David L. Dill
   Static Analysis to Identify Invariants in RSML Specifications. [Citation Graph (0, 0)][DBLP]
   FTRTFT, 1998, pp:133-142 [Conf]
   
7. David Y. W. Park, University Stern, Jens U. Skakkebæk, David L. Dill
   Java Model Checking. [Citation Graph (0, 0)][DBLP]
   ASE, 2000, pp:253-256 [Conf]
   
8. Klaus Havelund, Jens U. Skakkebæk
   Applying Model Checking in Java Verification. [Citation Graph (0, 0)][DBLP]
   SPIN, 1999, pp:216-231 [Conf]
   
9. Robert B. Jones, Jens U. Skakkebæk, David L. Dill
   Formal Verification of Out-of-Order Execution with Incremental Flushing. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2002, v:20, n:2, pp:139-158 [Journal]