Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Kristin Yvonne Rozier
conf.researchr.org general profile
ASE 2020 profile
ECOOP 2025 profile
ECOOP and ISSTA 2023 profile
ESEC/FSE 2021 profile
ICSME 2023 profile
ISSTA/ECOOP 2024 profile
NASA Formal Methods 2023 profile
NASA Formal Methods 2024 profile
SPLASH 2020 profile
Not registered as user
Name:
Kristin Yvonne Rozier
Affiliation:
Iowa State University
Contributions
2025
VORTEX
PC Member in Program Committee (to be finalized) within the VORTEX-track
2024
VORTEX
Keynote Speaker of R2U2: Runtime Verification Takes Off! within the VORTEX 2024-track
Committee Member in Program Committee within the VORTEX 2024-track
NFM
Committee Member in Program Committee within the NFM 2024-track
Session Chair of SMT-based Assurance of Behavioral Specifications (part of NFM 2024)
2023
ICSME
Author of Artifact for What’s in a Name? Linear Temporal Logic Literally Represents Time Lines within the Artifact Evaluation Track and ROSE Festival-track
VORTEX
PC Member in Program Committee within the VORTEX 2023-track
NFM
Session Chair of Keynote talk #1 (part of NFM 2023)
Session Chair of Multiagent Systems #1 (part of NFM 2023)
Program Chair in Organizing Committee within the NFM 2023-track
2021
ESEC/FSE
Committee Member in Program Committee within the Research Papers-track
2020
SPLASH
Author of On the Future of Flight Software within the REBASE-track
ASE
Committee Member in Program Committee within the Research Papers-track
Share
x
Mon 9 Jun 08:40
