JKU Linz Austria

  1. Home
  2. search page
  3. affiliation

JKU Linz Austria

국가: Austria
주요 연구 분야: Verification
주요 키워드: #technologies #new #applications
주요 저자:
#Michael Vierhauser #Md Nafee Islam #Ankit Agrawal #Jane Cleland-Huang #James Mason

📄 기관 상세정보

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

논문 목록 (2건)

Low-overhead multi-language dynamic taint analysis on managed runtimes through speculative optimization
저자: Jacob Kreindl , Daniele Bonetta , Lukas Stadler , David Leopoldseder , Hanspeter Mössenböck
키워드: #detection #javascript #taint #tainted #slowdown
파트: Analysis | 연도: 2021
Hazard analysis for human-on-the-loop interactions in sUAS systems
저자: Michael Vierhauser , Md Nafee Islam , Ankit Agrawal , Jane Cleland-Huang , James Mason
키워드: #technologies #new #applications #hazards #mitigations
파트: Verification | 연도: 2021