logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
G

Georg Weißenbacher

Technische Universitat Wien

17H-index
78Paper Count
1.4KCitation Count
Published Papers 3
Publication Date
logo
A formalization of Heisenbugs and their causes in terms of hyperproperties
errSoftware and Systems Modeling
IF3.2
err2026-02-01
err0
errOAAI
errSallinger, Sarah; Weissenbacher, Georg; Zuleger, Florian
errShare
errSave
Symbolic execution for refuting ∀∃ hyperproperties
errACTA INFORMATICA
IF0.5
err2025-10-27
err0
errOAAI
errCorrenson, Arthur; Niessen, Tobias; Finkbeiner, Bernd; Weissenbacher, Georg
errShare
errSave
Boolean Satisfiability Solvers and Their Applications in Model Checking
errPROCEEDINGS OF THE IEEE
IF25.9
err2015-11-01
err75
PREAI
errVizel, Yakir; Weissenbacher, Georg; Malik, Sharad
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
S
Sharad Malik
H-index: 65 · Papers: 417
B
Bernd Finkbeiner
H-index: 32 · Papers: 344
F
Florian Zuleger
H-index: 17 · Papers: 112
Y
Yakir Vizel
H-index: 14 · Papers: 44
A
Arthur Correnson
H-index: 3 · Papers: 18
View more