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

Marieke Huisman

university of twente

28H-index
257Paper Count
2.5KCitation Count
Published Papers 5
Publication Date
logo
AutoSV-Annotator: Integrating Deductive and Automatic Software Verification
errFORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2025
IF0
err2026-01-01
err0
errOAAI
errArmborst, Lukas; Beyer, Dirk; Huisman, Marieke; Lingsch-Rosenfeld, Marian
errShare
errSave
Preserving provability over GPU program optimizations with annotation-aware transformations
errFormal Methods in System Design
IF0.8
err2025-11-01
err0
PREAI
errSakar, Omer; Safari, Mohsen; Huisman, Marieke; Wijs, Anton
errShare
errSave
Deductive Verification of Cooperative RTOS Applications
errACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS
IF2.6
err2025-09-01
err0
errOAAI
errTasche, Philip; Herber, Paula; Huisman, Marieke
errShare
errSave
Behavior Nets: Context-Aware Behavior Modeling for Code Injection-Based Windows Malware
errACM Transactions on Privacy and Security
IF2.8
err2025-08-23
err0
PREAI
errJerre Starink; Marieke Huisman; Andreas Peter; Andrea Continella
errShare
errSave
Survey of annotation generators for deductive verifiers
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2024-05-01
err3
errOAAI
errLathouwers, Sophie; Huisman, Marieke
errShare
errSave

Research Directions

The data has not been retrieved yet.
Co-authors
Cooperation Journals
D
Dirk Beyer
H-index: 53 · Papers: 428
P
Peter Andreas
H-index: 34 · Papers: 215
A
Anton Wijs
H-index: 21 · Papers: 149
A
Andrea Continella
H-index: 17 · Papers: 65
P
Paula Herber
H-index: 12 · Papers: 88
View more