ARCH-COMP21 category report: continuous and hybrid systems with nonlinear dynamics L Geretti, JA dit Sandretto, M Althoff, L Benet, A Chapoutot, P Collins, ... 8th International Workshop on Applied Verification of Continuous and Hybrid …, 2021 | 11 | 2021 |
Kaa: A Python Implementation of Reachable Set Computation Using Bernstein Polynomials. E Kim, PS Duggirala ARCH, 184-196, 2020 | 10 | 2020 |
Coverage-guided fuzz testing for cyber-physical systems S Sheikhi, E Kim, PS Duggirala, S Bak 2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS …, 2022 | 8 | 2022 |
Automatic dynamic parallelotope bundles for reachability analysis of nonlinear systems E Kim, S Bak, PS Duggirala Formal Modeling and Analysis of Timed Systems: 19th International Conference …, 2021 | 4 | 2021 |
ARCH-COMP22 Category Report Continuous and Hybrid Systems with Nonlinear Dynamics L Geretti, JAD Sandretto, M Althoff, L Benet, P Collins, P Duggirala, ... Proceedings of 9th International Workshop on Applied Verification of …, 2022 | 3 | 2022 |
Some inequalities involving geometric and harmonic means WK Lai, E Kim International Mathematical Forum 11 (4), 163-169, 2016 | 3 | 2016 |
Automatic Dynamic Parallelotope Bundles for Reachability of Nonlinear Dynamical Systems E Kim The University of North Carolina at Chapel Hill, 2022 | | 2022 |