| 2002 |
|---|
| 9 | | Robert B. Jones,
Jens U. Skakkebæk,
David L. Dill:
Formal Verification of Out-of-Order Execution with Incremental Flushing.
Formal Methods in System Design 20(2): 139-158 (2002) |
| 2000 |
|---|
| 8 | EE | David Y. W. Park,
Ulrich Stern,
Jens U. Skakkebæk,
David L. Dill:
Java Model Checking.
ASE 2000: 253-256 |
| 1999 |
|---|
| 7 | EE | Klaus Havelund,
Jens U. Skakkebæk:
Applying Model Checking in Java Verification.
SPIN 1999: 216-231 |
| 1998 |
|---|
| 6 | | Jens U. Skakkebæk,
Robert B. Jones,
David L. Dill:
Formal Verification of Out-of-Order Execution Using Incremental Flushing.
CAV 1998: 98-109 |
| 5 | EE | Robert B. Jones,
Jens U. Skakkebæk,
David L. Dill:
Reducing Manual Abstraction in Formal Verification of Out-of-Order Execution.
FMCAD 1998: 2-17 |
| 4 | EE | Jeffrey X. Su,
David L. Dill,
Jens U. Skakkebæk:
Formally Verifying Data and Control with Weak Reachability Invariants.
FMCAD 1998: 387-402 |
| 3 | EE | 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: 34-43 |
| 2 | EE | David Y. W. Park,
Jens U. Skakkebæk,
David L. Dill:
Static Analysis to Identify Invariants in RSML Specifications.
FTRTFT 1998: 133-142 |
| 1994 |
|---|
| 1 | | Jens U. Skakkebæk:
Liveness and Fairness in Duration Calculus.
CONCUR 1994: 283-298 |
