Open Systems Laboratory at Illinois

Karl Palmskog

Publications

2018

  1. Gul Agha and Karl Palmskog. Transforming threads into actors: learning concurrency structure from execution traces. In Principles of Modeling - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday, 16–37. 2018.
  2. Gul Agha and Karl Palmskog. A survey of statistical model checking. ACM Transactions on Modeling Computing and Simululation, 28(1):6:1–6:39, 2018.
  3. Gul Agha, Minas Charalambides, Kirill Mechitov, Karl Palmskog, Atul Sandur, and Reza Shiftehfar. Inferring and enforcing use patterns for mobile cloud assurance. In R. H. Campbell and K. A. Kwiat C. A. Kamhoua, editors, Assured Cloud Computing, pages 237–376. Wiley/IEEE Press, 2018.

2016

  1. . Programming Large Scale IoT Applications. None, Midwest PL Summit, University of Chicago, IL, 2016.