Browsing by Author "Park, J"

Filter results by typing the first few letters
Now showing 1 - 2 of 2
  • Thumbnail Image
    ItemOpen Access
    Automatic verification of linear controller software
    (2015 Proceedings of the International Conference on Embedded Software, EMSOFT 2015, 2015-11-04) Pajic, M; Park, J; Lee, I; Pappas, GJ; Sokolsky, O
    © 2015 IEEE.We consider the problem of verification of software implementations of linear time-invariant controllers. Commonly, different implementations use different representations of the controller's state, for example due to optimizations in a third-party code generator. To accommodate this variation, we exploit input-output controller specification captured by the controller's transfer function and show how to automatically verify correctness of C code controller implementations using a Frama-C/Why3/Z3 toolchain. Scalability of the approach is evaluated using randomly generated controller specifications of realistic size.
  • Thumbnail Image
    ItemOpen Access
    The synergy between stress and self-compassion in building resilience: A 4-year longitudinal study
    (Social and Personality Psychology Compass, 2024-07-01) Park, J; Bluth, K; Lathren, C; Leary, M; Hoyle, R
    This 4-year prospective study investigated the dynamic relationship between stress, self-compassion, and resilience among university students, a population with increasing rates of mental health challenges. Drawing on stress theories, the research explored whether the combination of stress and self-compassion strengthens resilience over time. A sample of 1137 university students (47.6% White, 38% female) completed measures of stress, resilience, and self-compassion annually during the Spring semester across their four undergraduate years. A random intercept cross-lagged panel model with latent interactions was used to test the hypothesized causal relationships. Contrary to the common belief that stress is debilitating, the results revealed a positive association between an increase in stress and a subsequent increase in self-compassion. Moreover, when stress levels increased alongside self-compassion, students demonstrated higher resilience. Notably, an increase in either stress or self-compassion alone did not enhance resilience. These findings highlight the synergetic effect between self-compassion and stress in enhancing resilience; under the right conditions, stress can lead to positive outcomes and increased capacity for coping with future stressors.