LMU Munich Munich Germany

  1. Home
  2. search page
  3. affiliation

LMU Munich Munich Germany

국가: Germany
주요 연구 분야: Verification
주요 키워드: #software #competition #competitions
주요 저자:
#Benjamin H. Lang #Sven Nyholm #Jennifer Blumenthal-Barby #Dirk Beyer #Thomas Lemberger

📄 기관 상세정보

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

논문 목록 (6건)

Six years later: testing vs. model checking
저자: Dirk Beyer , Thomas Lemberger
키워드: #competitive #competition #competitions #testing #5693
파트: Verification | 연도: 2025
Advances in Automatic Software Testing: Test-Comp 2025
저자: Dirk Beyer
키워드: #software #competition #2025 #226 #7th
파트: Verification | 연도: 2025
Delusio - Plausible Deniability For Face Recognition
저자: Felix Dietz , Lukas Mecke , Daniel Riesner , Florian Alt
키워드: #unlock #authentication #android #passwords #password
파트: Analysis | 연도: 2024
Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Translator
저자: Dirk Beyer , Po-Chun Chien , Nian-Ze Lee
키워드: #research #algorithms #computational #competitions #verifiers
파트: Verification | 연도: 2023
Software Testing: 5th Comparative Evaluation: Test-Comp 2023
저자: Dirk Beyer
키워드: #2023 #software #competition #5th #106
파트: Verification | 연도: 2023
Responsibility Gaps and Black Box Healthcare AI: Shared Responsibilization as a Solution
저자: Benjamin H. Lang , Sven Nyholm , Jennifer Blumenthal-Barby
키워드: #healthcare #software #cognitive #diagnosticians #prognosticators
파트: Artificial Intelligence | 연도: 2023