Formal Verification of a Gravity-Induced Loss-of-Consciousness Monitoring System for Aircraft. - Seonmo Kim; Wonhong Nam; Hyunyoung Kil; Myunghwan Park (Comput. Sci. Eng., 2014)

Bit-Vector Model Counting Using Statistical Estimation. - Seonmo Kim; Stephen McCamant (TACAS (1), 2018)

Structural Bit-vector Model Counting. - Seonmo Kim; Stephen McCamant (SMT, 2020)