• Sign in
  • Sign up
conf.researchr.org / Andreas Katis
  • ASE 2020 profile
  • ICSE 2023 profile
  • NASA Formal Methods profile
  • REFSQ 2023 profile
  • Requirements Engineering 2023 profile
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

Share
xSun 4 Jun 19:13
using conf.researchr.org (v1.60.0)
Support page
Sign Up