Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Andreas Katis
conf.researchr.org general profile
ASE 2020 profile
ICSE 2023 profile
ICSE 2024 profile
NASA Formal Methods 2023 profile
NASA Formal Methods 2024 profile
REFSQ 2023 profile
Requirements Engineering 2023 profile
Requirements Engineering 2024 profile
Registered user since Wed 5 Aug 2020
Name:
Andreas Katis
Affiliation:
KBR / NASA Ames Research Center
Personal website:
https://andreaskatis.github.io/
Contributions
2024
Requirements Engineering
PC Member in Program Committee within the Industrial Innovation Papers-track
NFM
Committee Member in Program Committee within the NFM 2024-track
FormaliSE
Committee Member in Artifact Evaluation Committee within the FormaliSE 2024-track
2023
FormaliSE
Artifact Evaluation Committee Member in Artifact Evaluation Committee within the FormaliSE 2023-track
Requirements Engineering: Foundation for Software Quality (REFSQ)
Author of Authoring, Analyzing, and Monitoring Requirements for a Lift-Plus-Cruise Aircraft within the Research Papers-track
Requirements Engineering
Committee Member in Program Committee within the Industrial Innovation Papers-track
NFM
Author of From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif within the NFM 2023-track
2020
ASE
Author of Synthesis of Infinite-State Systems with Random Behavior within the Research Papers-track
Share
x
Tue 5 Dec 23:20