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) / Radu Calinescu
  • conf.research.org general profile
  • * ICSE 2018 * profile
  • ACSOS 2020 profile
  • ACSOS 2024 profile
  • ASE 2020 profile
  • ASE 2021 profile
  • ASE 2023 profile
  • ECSA 2020 profile
  • ECSA 2021 profile
  • ECSA 2023 profile
  • ECSA 2024 profile
  • FSE 2024 profile
  • FSE 2025 profile
  • ICSA 2024 profile
  • ICSA 2025 profile
  • ICSE 2019 profile
  • ICSE 2020 profile
  • ICSE 2021 profile
  • ICSE 2022 profile
  • ICSE 2023 profile
  • ICSE 2024 profile
  • ICSE 2025 profile
  • ICSE 2026 profile
  • MODELS 2021 profile
  • MODELS 2022 profile
  • Requirements Engineering 2024 profile
  • Requirements Engineering 2025 profile
Radu Calinescu

Registered user since Thu 25 Jan 2018

Name:Radu Calinescu
Country:United Kingdom
Affiliation:University of York, UK
Personal website: https://www-users.cs.york.ac.uk/raduc/
Research interests:software engineering, formal methods, self-adaptive systems

Contributions

2024

NFM

  • Robotics: A New Mission for FRET Requirements
  • Committee Member in Program Committee within the NFM 2024-track

Show activities from other conferences

Share
NASA Formal Methods 2024-profile
View general profile
xSun 20 Jul 08:18

NASA Formal Methods 2024

contact form

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

Tracks

NFM 2024

Attending

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