TU Wien Vienna Austria

  1. Home
  2. search page
  3. affiliation

TU Wien Vienna Austria

국가: Austria
주요 연구 분야: Strategies
주요 키워드: #software #developers #probabilistic
주요 저자:
#Jürgen Cito #Clara Schneidewind #Ilya Grishchenko #Markus Scherer #Matteo Maffei

📄 기관 상세정보

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

논문 목록 (6건)

Using ontologies to facilitate healthcare process mining and analysis
저자: Owen P Dwyer , Lara Chammas , Emanuel Sallinger , Jim Davies
키워드: #healthcare #hospital #patients #treatments #diagnoses
파트: Databases | 연도: 2025
Differential Property Monitoring for Backdoor Detection
저자: Otto Brechelmacher , Dejan Ničković , Tobias Nießen , Sarah Sallinger , Georg Weissenbacher
키워드: #automated #challenge #complexity #inaccuracies #discrepancies
파트: Verification | 연도: 2024
Language-Agnostic Static Analysis of Probabilistic Programs
저자: Markus Böck , Michael Schröder , Jürgen Cito
키워드: #developers #software #probabilistic #workflow #mathematics
파트: Strategies | 연도: 2024
Getting pwn’d by AI: Penetration Testing with Large Language Models
저자: Jürgen Cito , Andreas Happe
키워드: #security #software #testing #testers #sparring
파트: Strategies | 연도: 2023
No Spring Chicken: Quantifying the Lifespan of Exploits in IoT Malware Using Static and Dynamic Analysis
저자: Arwa Abdulkarim Al Alsadi , Kaichi Sameshima , Jakob Bleier , Katsunari Yoshioka , Martina Lindorfer , Michel J G Van Eeten , Carlos Hernandez Gañán
키워드: #internet #software #hardware #malware #infection
파트: Strategies | 연도: 2022
eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts
저자: Clara Schneidewind , Ilya Grishchenko , Markus Scherer , Matteo Maffei
키워드: #popular #large #ethereum #thousands #hundreds
파트: Strategies | 연도: 2020