Matthijs Kooijman is an author at University of Twente specializing in engineering, formal verification, and computer engineering.
Top concepts
EngineeringFormal MethodsComputer ScienceProgram AnalysisFormal VerificationComputer EngineeringComputer ArchitectureCompilersHardware SystemsSystem-level Design
Publications per year
2010–2011
3
3
Higher-Order Abstraction in Hardware Descriptions with C?aSH
Marco E. T. Gerards, Christiaan Baaij, Jan Kuper et al. · 2011 · 10 citations
Hardware Modeling, Engineering, Hardware Verification Language +23
Exercises in architecture specification using CaSH
Jan Kuper, Christiaan Baaij, Matthijs Kooijman et al. · 2010 · 10 citations
Engineering, Computer Architecture, Software Engineering +20
Rows per page
1–3 of 3