Sewon Park
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
9
Active years
2018–2026
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | COMPSAC | The Zero Trust IoT (ZT-IoT) Project. | Atsuko Takefusa, Atsushi Igarashi, Taro Sekiyama, Kuniyasu Suzaki, Toshihiro Matsui, Jie Yin, Atsuya Osaki, Naoki Yamashita, Nobuo Aoki, Sewon Park, Terunobu Inaba, Llio Brun, Yutaka Ishikawa, Kento Aida, Yasushi Ono, Kensuke Fukuda, Eisaku Sakane, Ichiro Hasuo |
| 2025 | FMCAD | Making Rabbit Run for Security Verification of Networked Systems with Unbounded Loops. | Sewon Park, Atsushi Igarashi |
| 2024 | ITP | A Coq Formalization of Taylor Models and Power Series for Solving Ordinary Differential Equations. | Sewon Park, Holger Thies |
| 2023 | CIKM | MadSGM: Multivariate Anomaly Detection with Score-based Generative Models. | Haksoo Lim, Sewon Park, Minjung Kim, Jaehoon Lee, Seonkyu Lim, Noseong Park |
| 2023 | FCT | Verified Exact Real Computation with Nondeterministic Functions and Limits. | Sewon Park |
| 2023 | MFCS | Formalizing Hyperspaces for Extracting Efficient Exact Real Computation. | Michal Konecn, Sewon Park, Holger Thies |
| 2022 | KDD | SOS: Score-based Oversampling for Tabular Data. | Jayoung Kim, Chaejeong Lee, Yehjin Shin, Sewon Park, Minjung Kim, Noseong Park, Jihoon Cho |
| 2021 | WoLLIC | Axiomatic Reals and Certified Efficient Exact Real Computation. | Michal Konecn, Sewon Park, Holger Thies |
| 2018 | WALCOM | Computing Periods ... . | Junhee Cho, Sewon Park, Martin Ziegler |