Specification Of Embedded, Real-time Systems. - Jens Ulrik Skakkebæk; Anders P. Ravn; Hans Rischel; Chaochen Zhou (RTS, 1992)

Liveness and Fairness in Duration Calculus. - Jens U. Skakkebæk (CONCUR, 1994)

The PVS Verification System and PC/DC. - John M. Rushby; Jens Ulrik Skakkebæk (FTRTFT, 1994)

Towards a Duration Calculus Proof Assistant in PVS. - Jens Ulrik Skakkebæk; Natarajan Shankar (FTRTFT, 1994)

Formal Verification of Out-of-Order Execution Using Incremental Flushing. - Jens U. Skakkebæk; Robert B. Jones; David L. Dill (CAV, 1998)

Reducing Manual Abstraction in Formal Verification of Out-of-Order Execution. - Robert B. Jones; Jens U. Skakkebæk; David L. Dill (FMCAD, 1998)

Formally Verifying Data and Control with Weak Reachability Invariants. - Jeffrey X. Su; David L. Dill; Jens U. Skakkebæk (FMCAD, 1998)

Checking properties of safety critical specifications using efficient decision procedures. - David Y. W. Park; Jens U. Skakkebæk; Mats Per Erik Heimdahl; Barbara J. Czerny; David L. Dill (FMSP, 1998)

Static Analysis to Identify Invariants in RSML Specifications. - David Y. W. Park; Jens U. Skakkebæk; David L. Dill (FTRTFT, 1998)

Applying Model Checking in Java Verification. - Klaus Havelund; Jens U. Skakkebæk (SPIN, 1999)

Java Model Checking. - David Y. W. Park; Ulrich Stern; Jens U. Skakkebæk; David L. Dill (ASE, 2000)

Formal Verification of Out-of-Order Execution with Incremental Flushing. - Robert B. Jones; Jens U. Skakkebæk; David L. Dill (Formal Methods Syst. Des., 2002)