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

Havelund, Klaus

national aeronautics & space administration (nasa)

0H-index
4Paper Count
0Citation Count
Published Papers 3
Publication Date
logo
DSLs for Runtime Verification
errRUNTIME VERIFICATION, RV 2025
IF0
err2026-01-01
err0
PREAI
errHavelund, Klaus; Omer, Moran; Peled, Doron
errShare
errSave
The Power of Reframing: Using LLMs in Synthesizing RV Monitors
errRUNTIME VERIFICATION, RV 2025
IF0
err2026-01-01
err0
PREAI
errCohen, Itay; Havelund, Klaus; Peled, Doron; Goldberg, Yoav
errShare
errSave
Fuzz Testing with Temporal Constraints
errTHEORETICAL ASPECTS OF COMPUTING-ICTAC 2025
IF0
err2026-01-01
err0
PREAI
errHavelund, Klaus; Clark, Tracy; Reddy, Vivek
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
O
Omer, Moran
H-index: 0 · Papers: 1
P
Peled, Doron
H-index: 0 · Papers: 1
G
Goldberg, Yoav
H-index: 0 · Papers: 18
C
Cohen, Itay
H-index: 0 · Papers: 1
P
Peled, Doron
H-index: 0 · Papers: 2
View more