Dirk Beyer

  1. Home
  2. search page
  3. author

Dirk Beyer

소속 기관: LMU Munich Munich Germany
국가: Germany
주요 연구 분야: Verification
주요 키워드: #competition #competitions #software

📄 저자 정보

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

논문 목록 (4건)

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
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