Concepedia

Kim Sunesen

KS

7

Publications

151

Citations

7

H-Index

1995

Active since

Affiliations

Danish National Research Foundation(Current)

Recore Systems (Netherlands)

Université de Rennes

Technological Educational Institute of Western Greece

Karlsruhe Institute of Technology

Kim Sunesen is an author at Danish National Research Foundation specializing in engineering, computer science, and program analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisVerificationFormal MethodsSoftware AnalysisAutomated ReasoningFormal VerificationSystems EngineeringComputer Engineering

Publications per year

1995–2017

7

Publications

7

A Temporal Logic Characterisation of Oservational Determinism

Marieke Huisman, Pratik Worah, Kim Sunesen · 2006 · 71 citations

Engineering, Information Security, Multi-threaded Programs +20

Automated logical verification based on trace abstractions

Nils Klarlund, Mogens Nielsen, Kim Sunesen · 1996 · 20 citations

Theory Of Computing, Program Checking, Engineering +15

Compiling Scilab to high performance embedded multicore systems

Timo Stripf, Oliver Oey, Thomas Bruckschloegl et al. · Microprocessors and Microsystems · 2013 · 15 citations

Manycore Processor, Engineering, Program Analysis +10

DeSyRe: On-demand system reliability

Ioannis Sourdis, Christos Strydis, Christos-Savvas Bouganis et al. · Microprocessors and Microsystems · 2013 · 13 citations · Full text

Reliability, Reliability Engineering, Engineering +5

Automated Logical Verification based on Trace Abstractions

Nils Klarlund, Mogens Nielsen, Kim Sunesen · BRICS Report Series · 1995 · 12 citations · Full text

Engineering, Verification, Computer-aided Verification +16

Rows per page

1–5 of 7