Concepedia

Kasper Svendsen

KS

10

Publications

480

Citations

10

H-Index

2009

Active since

Affiliations

Aarhus University(Current)

Saarland University

IT University of Copenhagen

University of Cambridge

Max Planck Institute for Software Systems

Kasper Svendsen is an author at Aarhus University specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringVerificationFormal MethodsAutomated ReasoningFormal VerificationDesignComputer ScienceProgram AnalysisRehabilitationUser Experience

Publications per year

2009–2021

10

Publications

10

Iris

Ralf Jung, David Swasey, Filip Sieczkowski et al. · 2014 · 261 citations

Engineering, Automated Reasoning, Program Analysis +13

Ralf Jung, David Swasey, Filip Sieczkowski et al. · ACM SIGPLAN Notices · 2015 · 51 citations

Engineering, Automated Reasoning, Program Analysis +13

Design patterns in separation logic

Neelakantan R. Krishnaswami, Jonathan Aldrich, Lars Birkedal et al. · 2009 · 36 citations

Applied Logic, Program Checking, Engineering +20

A relational model of types-and-effects in higher-order concurrent separation logic

Morten Krogh-Jespersen, Kasper Svendsen, Lars Birkedal · 2016 · 29 citations

Design and Evaluation of a VR Training Simulation for Pump Maintenance Based on a Use Case at Grundfos

Frederik Winther, Linoj Ravindran, Kasper Svendsen et al. · 2020 IEEE Conference on Virtual Reality and 3D User Interfaces (VR) · 2020 · 25 citations

Engineering, Vr Training, Virtual Reality +14

Rows per page

1–5 of 10