Search Results - Kimya Khakzad Shahandashti

  • Showing 1 - 11 results of 11
Refine Results
  1. 1
    Prompting GPT–4 to support automatic safety case generation

    Prompting GPT–4 to support automatic safety case generation by Sivakumar, Mithila, Belle, Alvine B., Shan, Jinjun, Khakzad Shahandashti, Kimya

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  2. 2
    Exploring the Capabilities of Large Language Models for the Generation of Safety Cases: the Case of GPT-4

    Exploring the Capabilities of Large Language Models for the Generation of Safety Cases: the Case of GPT-4 by Sivakumar, Mithila, Boaye Belle, Alvine, Shan, Jinjun, Khakzad Shahandashti, Kimya

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  3. 3
    A PRISMA-driven systematic mapping study on system assurance weakeners

    A PRISMA-driven systematic mapping study on system assurance weakeners by Shahandashti, Kimya Khakzad, Belle, Alvine B., Lethbridge, Timothy C., Odu, Oluwafemi, Sivakumar, Mithila

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  4. 4
    Using GPT-4 Turbo to Automatically Identify Defeaters in Assurance Cases

    Using GPT-4 Turbo to Automatically Identify Defeaters in Assurance Cases by Shahandashti, Kimya Khakzad, Belle, Alvine Boaye, Mohajer, Mohammad Mahdi, Odu, Oluwafemi, Lethbridge, Timothy C., Hemmati, Hadi, Wang, Song

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  5. 5
    A PRISMA-Driven Bibliometric Analysis of the Scientific Literature on Assurance Case Patterns

    A PRISMA-Driven Bibliometric Analysis of the Scientific Literature on Assurance Case Patterns by Odu, Oluwafemi, Alvine Boaye Belle, Wang, Song, Kimya Khakzad Shahandashti

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    GPT-4 and Safety Case Generation: An Exploratory Analysis

    GPT-4 and Safety Case Generation: An Exploratory Analysis by Sivakumar, Mithila, Alvine Boaye Belle, Shan, Jinjun, Kimya Khakzad Shahandashti

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    Program Slicing in the Era of Large Language Models

    Program Slicing in the Era of Large Language Models by Kimya Khakzad Shahandashti, Mohammad Mahdi Mohajer, Alvine Boaye Belle, Wang, Song, Hemmati, Hadi

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    Evaluating the Effectiveness of GPT-4 Turbo in Creating Defeaters for Assurance Cases

    Evaluating the Effectiveness of GPT-4 Turbo in Creating Defeaters for Assurance Cases by Kimya Khakzad Shahandashti, Sivakumar, Mithila, Mohammad Mahdi Mohajer, Belle, Alvine B, Wang, Song, Lethbridge, Timothy C

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    A PRISMA-driven systematic mapping study on system assurance weakeners

    A PRISMA-driven systematic mapping study on system assurance weakeners by Kimya Khakzad Shahandashti, Belle, Alvine B, Lethbridge, Timothy C, Odu, Oluwafemi, Sivakumar, Mithila

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    I came, I saw, I certified: some perspectives on the safety assurance of cyber-physical systems

    I came, I saw, I certified: some perspectives on the safety assurance of cyber-physical systems by Sivakumar, Mithila, Belle, Alvine B, Kimya Khakzad Shahandashti, Odu, Oluwafemi, Hemmati, Hadi, Segla Kpodjedo, Wang, Song, Adesina, Opeyemi O

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  11. 11
    The Last Decade in Review: Tracing the Evolution of Safety Assurance Cases through a Comprehensive Bibliometric Analysis

    The Last Decade in Review: Tracing the Evolution of Safety Assurance Cases through a Comprehensive Bibliometric Analysis by Sivakumar, Mithila, Alvine Boaye Belle, Shan, Jinjun, Adesina, Opeyemi, Wang, Song, Chechik, Marsha, Fokaefs, Marios, Kimya Khakzad Shahandashti, Odu, Oluwafemi

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: