Canyam
AI summaries for academic research
Home
Preprint
Subscribe
Favorites
Tools
Analysis
Summary
Not logged in
Back
J
Jannis Wien
University of Lubeck
0
H-index
2
Paper Count
0
Citation Count
0
Related Insights
Subscribe
Published Papers
1
Publication Date
Publication Date
Impact Factor
Citations
A Practical Approach to Runtime Verification
RUNTIME VERIFICATION, RV 2025
IF
0
2026-01-01
0
PRE
AI
Hipler, Raik; Kallwies, Hannes; Leucker, Martin; van Dommele, Kevin Gillian; Wien, Jannis
Share
Save
Research Directions
No research directions
Co-authors
Cooperation Journals
M
Martin Leucker
H-index: 35 · Papers: 277
H
Hannes Kallwies
H-index: 4 · Papers: 13
R
Raik Hipler
H-index: 0 · Papers: 3
K
Kevin Gillian van Dommele
H-index: 0 · Papers: 2
All loaded