Koen Claessen
Chalmers University of Technology(SE)
Publications by Year
Research Areas
Formal Methods in Verification, Logic, programming, and type systems, Software Testing and Debugging Techniques, Embedded Systems Design Techniques, Parallel Computing and Optimization Techniques
Most-Cited Works
- → QuickCheck(2011)1,016 cited
- → Lava(1998)373 cited
- → SAT-Based Verification without State Space Traversal(2000)164 cited
- New Techniques that Improve MACE-style Finite Model Finding(2007)
- → Testing an optimising compiler by generating random lambda terms(2011)118 cited
- New Techniques that Improve MACE-style Model Finding(2003)
- → Static contract checking for Haskell(2009)102 cited
- → Feldspar: A domain specific language for digital signal processing algorithms(2010)96 cited