Raik Hipler

Identifiers

• name variant Raik Hipler 0.60 · backfill

Papers (1)

1. A Unified Framework for Runtime Verification and Model-Based Diagnosis in LOLA cs.SE · 2026 · author #1

Mentions

• 2606.23720 #1 · arxiv_oai · confidence 0.70 Raik Hipler

Frequent Coauthors

• Martin Leucker 1 shared papers
• Patrick Rodler 1 shared papers