University of Texas at Dallas Richardson USA

  1. Home
  2. search page
  3. affiliation

University of Texas at Dallas Richardson USA

국가: Austria
주요 연구 분야: Strategies
주요 키워드: #trained #mapping #software
주요 저자:
#Amiao Gao #Zenong Zhang #Simin Wang #Liguo Huang #Shiyi Wei

📄 기관 상세정보

출판수2
총 인용수0
평균 인용수0.00
저자 수15
좋아요 수0
연도별 출판 논문
파트별 논문
기관 키워드
공동 기관 관계도

논문 목록 (2건)

Teaching AI the ‘Why’ and ‘How’ of Software Vulnerability Fixes
저자: Amiao Gao , Zenong Zhang , Simin Wang , Liguo Huang , Shiyi Wei , Vincent Ng
키워드: #trained #mapping #software #automating #traceability
파트: Strategies | 연도: 2025
Enabling Theory-Based Continuous Assurance: A Coherent Approach with Semantics and Automated Synthesis
저자: Srivatsan Varadarajan , Robin Bloomfield , John Rushby , Gopal Gupta , Anitha Murugesan , Robert Stroud , Kateryna Netkachova , Isaac Hong Wong , Joaquín Arias
키워드: #security #automation #certification #systematized #evidences
파트: Verification | 연도: 2024