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

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