Koen Claessen
Publications
[J] = journal paper
[C] = ref. conference paper
[W] = ref. workshop paper
[B] = book chapter
[L] = lecture notes
[P] = presentation
[R] = tech. report or thesis
2007
A Coverage Analysis for Safety Property Lists Koen Claessen .Proc. of Conference on Formal Methods for Computer Aided Design (FMCAD) , IEEE , November 2007. [download PDF ] [C]
2006
SAT-based Assistance in Abstraction Refinement for Symbolic Trajectory Evaluation Jan-Willem Roorda and Koen Claessen .Proc. of Conference on Computer-Aided Verification (CAV) , Lecture Notes in Computer Science, Springer Verlag , August 2006. [download PDF ] [C] Using the TPTP Language for Writing Derivations and Finite Interpretations Geoff Sutcliffe , Stephan Schulz, Koen Claessen , and Allan van Gelder.Proc. of International Joint Conference on Automated Reasoning (IJCAR) , Lecture Notes in Computer Science, Springer Verlag , August 2006. [download PDF ] [C] Explaining Symbolic Trajectory Evaluation by giving it a Faithful Semantics Jan-Willem Roorda and Koen Claessen .Proc. of International Computer Science Symposium in Russia , Lecture Notes in Computer Science, Springer Verlag , June 2006. [download PS ] [download PDF ] [C] An Introduction to Symbolic Trajectory Evaluation Koen Claessen and Jan-Willem Roorda .6th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Hardware Verification Springer Verlag , May 2006. [download PS ] [download PDF ] [download PPT ] [L] [P] A Coverage Analysis for Safety Property Lists Koen Claessen .Workshop on Designing Correct Circuits (DCC) [download PDF ] [download PPT ] [P] SAT-based Assistance in Abstraction Refinement for Symbolic Trajectory Evaluation Jan-Willem Roorda and Koen Claessen .Dept. of Computer Science and Engineering, Chalmers University of Technology , February 2006. [superseded by cav06-star ] [R]
2005
Equinox, A New Theorem Prover for Full First-Order Logic with Equality Koen Claessen .Dagstuhl Seminar 05431 on Deduction and Applications [download PPT ] [P] Wired: Wire-aware Circuit Design Emil Axelsson , Koen Claessen , and Mary Sheeran .Proc. of Conference on Correct Hardware Design and Verification Methods (CHARME) , Lecture Notes in Computer Science, vol. 3725, Springer Verlag , October 2005. [download PDF ] [C] A New SAT-based Algorithm for Symbolic Trajectory Evaluation Koen Claessen and Jan-Willem Roorda .Proc. of Conference on Correct Hardware Design and Verification Methods (CHARME) , Lecture Notes in Computer Science, vol. 3725, Springer Verlag , October 2005. [download PDF ] [C] Testing Implementations of Formally Verified Algorithms Thomas Arts , Koen Claessen , John Hughes , and Hans Svensson .Proc. of Conference on Software Engineering Research and Practice in Sweden (SERPS) , Mälardalen University, October 2005. [download PDF ] [C] A Semantics for Distributed Erlang Koen Claessen and Hans Svensson .Proc. of Erlang Workshop , ACM SIGPLAN , September 2005. [download PDF ] [W] Improving Temporal Induction Koen Claessen .EqCheck05, Workshop on Equivalence Checking , August 2005. [download PPT ] [P]
2004
QuickCheck: Specification-based Random Testing Koen Claessen .Summer Institute on Trends in Testing: Theory, Techniques and Tools [download PPT ] [P] Parallel Parsing Processes Koen Claessen .Journal of Functional Programming Cambridge University Press , 2004. [download PS ] [J] An Operational Semantics for Weak PSL Koen Claessen and Johan Mårtensson .Proc. of Conference on Formal Methods for Computer Aided Design (FMCAD) , Lecture Notes in Computer Science, Springer Verlag , 2004. [download PDF ] [download TALK.PDF ] [C] [P] Semi-Formal Development of a Fault-Tolerant Leader Election Protocol in Erlang Thomas Arts , Koen Claessen , and Hans Svensson .Proc. of Workshop on Formal Aspects of Testing (FATES) , Lecture Notes in Computer Science, Springer Verlag , 2004. [download PDF ] [W]
2003
Functional Hardware Description in Lava Koen Claessen , Mary Sheeran , and Satnam Singh .The Fun of Programming , Cornerstones of Computing, pp. 151--176, Palgrave, 2003. [B] Specification Based Testing with QuickCheck Koen Claessen and John Hughes .The Fun of Programming , Cornerstones of Computing, pp. 17--40, Palgrave, 2003. [B] Safety Property Verification of Cyclic Synchronous Circuits Koen Claessen .Proc. of Workshop on Synchronous Languages Applications and Programs (SLAP) , Electronic Notes on Theoretical Computer Science (ENTCS) , vol. 88, Elsevier , 2003. [download PS ] [download PDF ] [W] Using Lava to Design and Verify Recursive and Periodic Sorters Koen Claessen , Mary Sheeran , and Satnam Singh .International Journal on Software Tools for Technology Transfer Springer Verlag , 2003. [J] New Techniques that Improve MACE-style Model Finding Koen Claessen and Niklas Sörensson .Proc. of Workshop on Model Computation (MODEL) , 2003. [download PS ] [W]
2002
Verification of Hardware Systems with First-Order Logic Koen Claessen , Reiner Hähnle , and Johan Mårtensson .Proc. of Problems and Problem Sets Workshop (PaPS) , 2002. [download PS ] [W] An Embedded Language Approach to Teaching Hardware Compilation Koen Claessen and Gordon Pace .Proc. of Workshop on Functional and Declarative Programming in Education (FDPE) , 2002. [download PS ] [W] Testing Monadic Code with QuickCheck Koen Claessen and John Hughes .Proc. of Haskell Workshop , ACM SIGPLAN , 2002. [download PS ] [W] Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat Koen Claessen , Colin Runciman , Olaf Chitil, and John Hughes .Advanced Functional Programming: 4th International School , Lecture Notes in Computer Science, vol. 2638, pp. 59--99, Springer Verlag , 2002. [download PS ] [L]
2001
Embedded Languages for Describing and Verifying Hardware Koen Claessen .Dept. of Computer Science and Engineering, Chalmers University of Technology , Ph.D. thesis, April 2001. [download PS ] [R] The Design and Verification of a Sorter Core Koen Claessen , Mary Sheeran , and Satnam Singh .Proc. of Conference on Correct Hardware Design and Verification Methods (CHARME) , Lecture Notes in Computer Science, Springer Verlag , 2001. [download PDF ] [C]
2000
An Embedded Language Approach to Hardware Description and Verification Koen Claessen .Dept. of Computer Science and Engineering, Chalmers University of Technology , Lic. thesis, August 2000. [R] QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs Koen Claessen and John Hughes .Proc. of International Conference on Functional Programming (ICFP) , ACM SIGPLAN , 2000. [download PS ] [C] Typed Logical Variables in Haskell Koen Claessen and Peter Ljunglöf .Proc. of Haskell Workshop , ACM SIGPLAN , 2000. [download PS ] [W] SAT-based Verification without State Space Traversal Per Bjesse and Koen Claessen .Proc. of Conference on Formal Methods for Computer Aided Design (FMCAD) , Lecture Notes in Computer Science, Springer Verlag , 2000. [download PS ] [C]
1999
A Poor Man's Concurrency Monad Koen Claessen .Journal of Functional Programming Cambridge University Press , May 1999. [download PS ] [J] Observable Sharing for Functional Circuit Description Koen Claessen and David Sands .Proc. of Asian Computer Science Conference (ASIAN) , Lecture Notes in Computer Science, Springer Verlag , 1999. [download PS ] [C]
1998
Lava: Hardware Design in Haskell Per Bjesse , Koen Claessen , Mary Sheeran , and Satnam Singh .Proc. of International Conference on Functional Programming (ICFP) , ACM SIGPLAN , 1998. [download PS ] [C]
1997
The Design and Implementation of Mondrian Koen Claessen and Erik Meijer .Proc. of Haskell Workshop , ACM SIGPLAN , 1997. [download PS ] [W] Structuring Graphical Paradigms in TkGofer Koen Claessen , Ton Vullinghs, and Erik Meijer .Proc. of International Conference on Functional Programming (ICFP) , ACM SIGPLAN , 1997. [download PS ] [C]
Home
Jul 3, 2007