conf.researchr.org / 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
NFM
- Committee Member in Program Committee within the NFM 2024-track
- Author of Tools Lightning Talks within the NFM 2024-track
- Author of Tool Demonstration Session within the NFM 2024-track
- Author of Verifying PLC Programs via Monitors: Extending the Integration of FRET and PLCverif within the NFM 2024-track