Selected Courses

Masters Publications

Coverage-Guided Fuzz Testing for Testing Cyber Physical Systems Sanaz Sheikhi, Edward Kim, Parasara Sridhar Duggirala, Stanley Bak 13th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS 2022) Accepted
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics Luca Geretti, Julien Alexandre dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Pieter Collins, Parasara Sridhar Duggirala, Marcelo Forets, Edward Kim, Uziel Linares, David P. Sanders, Christian Schilling, and Mark Wetzlinger 8th Int. Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH 2021) (Link)
Automatic Dynamic Parallelotope Bundles for Reachability Analysis of Nonlinear Systems Edward Kim, Stanley Bak, Parasara Sridhar Duggirala 19th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2021) (Extended arXiv Version, Slides) (Lecture Notes in Theoretical CS, volume 12860)
Kaa: A Python Implementation of Reachable Set Computation Using Bernstein Polynomial Edward Kim, Parasara Sridhar Duggirala 7th Int. Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH 2020) (Slides, Link)
Some inequalities involving geometric and harmonic means Wei-Kai Lai, Edward Kim International Mathematical Forum, Vol. 11, 2016, no. 4, 163-169

COVID Infection Prediction using CPS Formal Verification Methods Stanley Bak, Edward Kim, Parasara Sridhar Duggirala ACM SIGBED Blog, June 21, 2021