Andreas Katis -

Registered user since Wed 5 Aug 2020

Name:Andreas Katis

Affiliation:KBR / NASA Ames Research Center

Personal website:https://andreaskatis.github.io/

Contributions

FormaliSE 2023	Artifact Evaluation Committee Member in Artifact Evaluation Committee within the FormaliSE 2023-track
REFSQ 2023	Author of Authoring, Analyzing, and Monitoring Requirements for a Lift-Plus-Cruise Aircraft within the Research Papers-track
Requirements Engineering 2023	Committee Member in Program Committee within the Industrial Innovation Papers-track
NASA Formal Methods	Author of From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif within the NFM 2023-track
ASE 2020	Author of Synthesis of Infinite-State Systems with Random Behavior within the Research Papers-track