Jens Ulrik Skakkebæk

According to our database, Jens Ulrik Skakkebæk authored at least 12 papers between 1992 and 2002.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2002

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

2000

Java Model Checking.

David Y. W. Park, Ulrich Stern, Jens U. Skakkebæk, David L. Dill

Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, 2000

1999

Applying Model Checking in Java Verification.

Klaus Havelund, Jens U. Skakkebæk

Proceedings of the Theoretical and Practical Aspects of SPIN Model Checking, 1999

1998

Static Analysis to Identify Invariants in RSML Specifications.

David Y. W. Park, Jens U. Skakkebæk, David L. Dill

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 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

Proceedings of the Second Workshop on Formal Methods in Software Practice, 1998

Formally Verifying Data and Control with Weak Reachability Invariants.

Jeffrey X. Su, David L. Dill, Jens U. Skakkebæk

Proceedings of the Formal Methods in Computer-Aided Design, 1998

Reducing Manual Abstraction in Formal Verification of Out-of-Order Execution.

Robert B. Jones, Jens U. Skakkebæk, David L. Dill

Proceedings of the Formal Methods in Computer-Aided Design, 1998

Formal Verification of Out-of-Order Execution Using Incremental Flushing.

Jens U. Skakkebæk, Robert B. Jones, David L. Dill

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1994

Towards a Duration Calculus Proof Assistant in PVS.

Jens Ulrik Skakkebæk, Natarajan Shankar

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

The PVS Verification System and PC/DC.

John M. Rushby, Jens Ulrik Skakkebæk

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

Liveness and Fairness in Duration Calculus.

Jens U. Skakkebæk

Proceedings of the CONCUR '94, 1994

1992

Specification Of Embedded, Real-time Systems.

Jens Ulrik Skakkebæk, Anders P. Ravn, Hans Rischel, Chaochen Zhou

Proceedings of the Fourth Euromicro workshop on Real-Time Systems, 1992