Koen Claessen

2008
25	EE	Koen Claessen, Hans Svensson: Finding Counter Examples in Induction Proofs. TAP 2008: 48-65
2007
24	EE	Koen Claessen: A Coverage Analysis for Safety Property Lists. FMCAD 2007: 139-145
2006
23	EE	Jan-Willem Roorda, Koen Claessen: SAT-Based Assistance in Abstraction Refinement for Symbolic Trajectory Evaluation. CAV 2006: 175-189
22	EE	Jan-Willem Roorda, Koen Claessen: Explaining Symbolic Trajectory Evaluation by Giving It a Faithful Semantics. CSR 2006: 555-566
21	EE	Geoff Sutcliffe, Stephan Schulz, Koen Claessen, Allen Van Gelder: Using the TPTP Language for Writing Derivations and Finite Interpretations. IJCAR 2006: 67-81
20	EE	Koen Claessen, Jan-Willem Roorda: An Introduction to Symbolic Trajectory Evaluation. SFM 2006: 56-77
2005
19	EE	Jan-Willem Roorda, Koen Claessen: A New SAT-Based Algorithm for Symbolic Trajectory Evaluation. CHARME 2005: 238-253
18	EE	Emil Axelsson, Koen Claessen, Mary Sheeran: Wired: Wire-Aware Circuit Design. CHARME 2005: 5-19
17	EE	Koen Claessen, Hans Svensson: A semantics for distributed Erlang. Erlang Workshop 2005: 78-87
2004
16	EE	Thomas Arts, Koen Claessen, Hans Svensson: Semi-formal Development of a Fault-Tolerant Leader Election Protocol in Erlang. FATES 2004: 140-154
15	EE	Koen Claessen, Johan Mårtensson: An Operational Semantics for Weak PSL. FMCAD 2004: 337-351
14	EE	Koen Claessen: Parallel Parsing Processes. J. Funct. Program. 14(6): 741-757 (2004)
2003
13	EE	Koen Claessen, Mary Sheeran, Satnam Singh: Using Lava to design and verify recursive and periodic sorters. STTT 4(3): 349-358 (2003)
2002
12	EE	Koen Claessen, Colin Runciman, Olaf Chitil, John Hughes, Malcolm Wallace: Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat. Advanced Functional Programming 2002: 59-99
11	EE	Koen Claessen, Gordon J. Pace: An embedded language approach to teaching hardware compilation. SIGPLAN Notices 37(12): 35-46 (2002)
10	EE	Koen Claessen, John Hughes: Testing monadic code with QuickCheck. SIGPLAN Notices 37(12): 47-59 (2002)
2001
9	EE	Koen Claessen, Mary Sheeran, Satnam Singh: The Design and Verification of a Sorter Core. CHARME 2001: 355-369
2000
8	EE	Per Bjesse, Koen Claessen: SAT-Based Verification without State Space Traversal. FMCAD 2000: 372-389
7	EE	Koen Claessen, John Hughes: QuickCheck: a lightweight tool for random testing of Haskell programs. ICFP 2000: 268-279
6	EE	Koen Claessen, Peter Ljunglöf: Typed Logical Variables in Haskell. Electr. Notes Theor. Comput. Sci. 41(1): (2000)
1999
5	EE	Koen Claessen, David Sands: Observable Sharing for Functional Circuit Description. ASIAN 1999: 62-73
4		Koen Claessen: A Poor Man's Concurrency Monad. J. Funct. Program. 9(3): 313-323 (1999)
1998
3	EE	Per Bjesse, Koen Claessen, Mary Sheeran, Satnam Singh: Lava: Hardware Design in Haskell. ICFP 1998: 174-184
1997
2		Koen Claessen, Ton Vullinghs, Erik Meijer: Structuring Graphical Paradigms in TkGofer. ICFP 1997: 251-262
1		Koen Claessen: Graphs in Compilation. ICFP 1997: 309

Coauthor Index

1	Thomas Arts	[16]
2	Emil Axelsson	[18]
3	Per Bjesse	[3] [8]
4	Olaf Chitil	[12]
5	Allen Van Gelder	[21]
6	John Hughes	[7] [10] [12]
7	Peter Ljunglöf	[6]
8	Johan Mårtensson	[15]
9	Erik Meijer	[2]
10	Gordon J. Pace	[11]
11	Jan-Willem Roorda	[19] [20] [22] [23]
12	Colin Runciman	[12]
13	David Sands	[5]
14	Stephan Schulz	[21]
15	Mary Sheeran	[3] [9] [13] [18]
16	Satnam Singh	[3] [9] [13]
17	Geoff Sutcliffe	[21]
18	Hans Svensson	[16] [17] [25]
19	Ton Vullinghs	[2]
20	Malcolm Wallace	[12]

Colors in the list of coauthors