Jens U. Skakkebæk

Publication Activity (10 Years)

Years Active: 1994-2002
Publications (10 Years): 0

Publications

Robert B. Jones, Jens U. Skakkebæk, David L. Dill
Formal Verification of Out-of-Order Execution with Incremental Flushing. Formal Methods Syst. Des. 20 (2) (2002)
David Y. W. Park, Ulrich Stern, Jens U. Skakkebæk, David L. Dill
Java Model Checking. ASE (2000)
Klaus Havelund, Jens U. Skakkebæk
Applying Model Checking in Java Verification. SPIN (1999)
David Y. W. Park, Jens U. Skakkebæk, David L. Dill
Static Analysis to Identify Invariants in RSML Specifications. FTRTFT (1998)
Robert B. Jones, Jens U. Skakkebæk, David L. Dill
Reducing Manual Abstraction in Formal Verification of Out-of-Order Execution. FMCAD (1998)
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. FMSP (1998)
Jeffrey X. Su, David L. Dill, Jens U. Skakkebæk
Formally Verifying Data and Control with Weak Reachability Invariants. FMCAD (1998)
Jens U. Skakkebæk, Robert B. Jones, David L. Dill
Formal Verification of Out-of-Order Execution Using Incremental Flushing. CAV (1998)
Jens U. Skakkebæk
Liveness and Fairness in Duration Calculus. CONCUR (1994)