Concepedia

Viktor Kunčak

VK

61

Publications

2.8K

Citations

27

H-Index

2002

Active since

Affiliations

École Polytechnique Fédérale de Lausanne(Current)

Massachusetts Institute of Technology

Max Planck Institute for Software Systems

Laboratoire d'Informatique Fondamentale de Lille

Viktor Kunčak is an author at École Polytechnique Fédérale de Lausanne specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationProgram AnalysisSoftware AnalysisVerificationSoftware EngineeringComputer Engineering

Publications per year

2002–2020

61

Publications

61

Full functional verification of linked data structures

Karen Zee, Viktor Kunčak, Martin Rinard · 2008 · 198 citations · Full text

Data Structure Implementations, Engineering, Verification +19

Test generation through programming in UDITA

Milos Gligoric, Tihomir Gvero, Vilas Jagannath et al. · 2010 · 159 citations · Full text

Engineering, Concrete Tests, Verification +18

Complete functional synthesis

Viktor Kunčak, Mikaël Mayer, Ružica Piskač et al. · 2010 · 144 citations · Full text

Engineering, Compiler Technology, Verification +22

Complete completion using types and weights

Tihomir Gvero, Viktor Kunčak, Ivan Kuraj et al. · 2013 · 135 citations · Full text

Mathematical Programming, Engineering, Machine Learning +21

Sound compilation of reals

Eva Darulová, Viktor Kunčak · 2014 · 132 citations · Full text

Music, Numerical Analysis, Mathematical Programming +21

Rows per page

1–5 of 61