NASA Formal Methods 2024
Tue 4 - Thu 6 June 2024 Moffett Field, CA 94035, California, United States
  • Attending
    • Venue: NASA Ames Conference Center, Building 3
    • Lunch
    • Social Events
  • Program
    • NASA Formal Methods Program
    • Your Program
    • Tue 4 Jun
    • Wed 5 Jun
    • Thu 6 Jun
  • Track/Call
  • Organization
      • NASA Formal Methods 2024 Committees
      • Track Committees
      • Organizing Committee
      • Program Committee
      • Contributors
      • People Index
  • Search
  • Series
    • Series
    • NASA Formal Methods 2024
    • NASA Formal Methods 2023
    • NASA Formal Methods 2022
    • NASA Formal Methods 2021
    • NASA Formal Methods 2020
    • NASA Formal Methods 2019
    • NASA Formal Methods 2018
    • NASA Formal Methods 2017
    • NASA Formal Methods 2016
    • NASA Formal Methods 2015
    • NASA Formal Methods 2014
    • NASA Formal Methods 2013
    • NASA Formal Methods 2012
    • NASA Formal Methods 2011
    • NASA Formal Methods 2010
    • NASA Formal Methods 2009
    • 6th NASA Langley Formal Methods Workshop (LFM 2008)
    • 5th NASA Langley Formal Methods Workshop (LFM 2000)
    • 4th NASA Langley Formal Methods Workshop (LFM 1997)
    • 3rd NASA Langley Formal Methods Workshop (LFM 1995)
    • 2nd NASA Langley Formal Methods Workshop
    • 1st NASA Langley Formal Methods Workshop
  • Sign in
  • Sign up
NASA Formal Methods 2024 (series) / Andreas Katis
  • conf.research.org general profile
  • ASE 2020 profile
  • ICSE 2023 profile
  • ICSE 2024 profile
  • ICSE 2025 profile
  • NASA Formal Methods 2023 profile
  • REFSQ 2023 profile
  • Requirements Engineering 2023 profile
  • Requirements Engineering 2024 profile
Andreas Katis

Registered user since Wed 5 Aug 2020

Name:Andreas Katis
Country:United States
Affiliation:KBR / NASA Ames Research Center
Personal website: https://andreaskatis.github.io/

Contributions

2024

NFM

  • Committee Member in Program Committee within the NFM 2024-track
  • Tools Lightning Talks
  • Tool Demonstration Session
  • Verifying PLC Programs via Monitors: Extending the Integration of FRET and PLCverif

Show activities from other conferences

Share
NASA Formal Methods 2024-profile
View general profile
xSun 11 May 08:39

NASA Formal Methods 2024

contact form

using conf.researchr.org (v1.69.0)
Support page

Tracks

NFM 2024

Attending

Venue: NASA Ames Conference Center, Building 3
Lunch
Social Events
Sign Up