Jens U. Skakkebæk

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2002
j1		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
c8		David Y. W. Park, Ulrich Stern, Jens U. Skakkebæk, David L. Dill: Java Model Checking. ASE 2000: 253-256
	1999
c7		Klaus Havelund, Jens U. Skakkebæk: Applying Model Checking in Java Verification. SPIN 1999: 216-231
	1998
c6		Jens U. Skakkebæk, Robert B. Jones, David L. Dill: Formal Verification of Out-of-Order Execution Using Incremental Flushing. CAV 1998: 98-109
c5		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
c4		Jeffrey X. Su, David L. Dill, Jens U. Skakkebæk: Formally Verifying Data and Control with Weak Reachability Invariants. FMCAD 1998: 387-402
c3		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
c2		David Y. W. Park, Jens U. Skakkebæk, David L. Dill: Static Analysis to Identify Invariants in RSML Specifications. FTRTFT 1998: 133-142
	1994
c1		Jens U. Skakkebæk: Liveness and Fairness in Duration Calculus. CONCUR 1994: 283-298

Coauthor Index

Last update Sat May 25 03:52:34 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page