Concepedia

Koen Claessen

KC

Statistics

Publications

47

Citations

4K

H-Index

27

Active since

1997

Affiliations

Chalmers University of Technology(Current)

Xilinx (United States)

Microsoft Research (United Kingdom)

Koen Claessen is an author at Chalmers University of Technology specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationProgram AnalysisSoftware AnalysisAutomated ReasoningVerificationComputer EngineeringSoftware Testing

Publications per year

1997–2023

47

Publications

47

QuickCheck

Koen Claessen, John Hughes · ACM SIGPLAN Notices · 2011 · 1K citations

Engineering, Haskell Programmer, Verification +16

Koen Claessen, John Hughes · 2000 · 704 citations

Program Checking, Engineering, Haskell Programmer +16

Lava

Per Bjesse, Koen Claessen, Mary Sheeran et al. · 1998 · 372 citations

Hardware Security, Logic Synthesis, Engineering +14

Koen Claessen, John Hughes · ACM SIGPLAN Notices · 2000 · 217 citations · Full text

Program Checking, Engineering, Haskell Programmer +16

New Techniques that Improve MACE-style Finite Model Finding

Koen Claessen · 2007 · 120 citations

Rows per page

1–5 of 47