Concepedia

Karl Palmskog

KP

Statistics

Publications

3

Citations

342

H-Index

3

Active since

2017

Affiliations

The University of Texas at Austin(Current)

University of Illinois Urbana-Champaign

Karl Palmskog is an author at The University of Texas at Austin specializing in formal verification, automated reasoning, and engineering.

Top concepts

Publications per year

2017–2019

3

Publications

3

A Survey of Statistical Model Checking

Gul Agha, Karl Palmskog · ACM Transactions on Modeling and Computer Simulation · 2018 · 282 citations

, , +21

QED at Large: A Survey of Engineering of Formally Verified Software

Talia Ringer, Karl Palmskog, Ilya Sergey et al. · Foundations and Trends® in Programming Languages · 2019 · 42 citations · Full text

, , +21

ICoq: Regression proof selection for large-scale verification projects

Ahmet Çelik, Karl Palmskog, Milos Gligoric · 2017 · 18 citations

, , +21

1–3 of 3