Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Andreas Katis
conf.researchr.org general profile
ASE 2020 profile
ICSE 2023 profile
NASA Formal Methods profile
REFSQ 2023 profile
Requirements Engineering 2023 profile
Registered user since Wed 5 Aug 2020
Name:
Andreas Katis
Affiliation:
KBR / NASA Ames Research Center
Personal website:
https://andreaskatis.github.io/
Contributions
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
Thu 28 Sep 13:22
