Open Systems Laboratory at Illinois

Karl Palmskog



  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.