Raven Beutner
Scholar

Raven Beutner

Google Scholar ID: aVxU-EMAAAAJ
CISPA Helmholtz Center for Information Security
Formal Methods
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
377
 
H-index
11
 
i10-index
15
 
Publications
20
 
Co-authors
12
list available
Contact
No contact links provided.
Publications
6 items
Verifying Asynchronous Hyperproperties in Reactive Systems
2025
Cited
0
Checking Satisfiability of Hyperproperties using First-Order Logic
2025
Cited
0
On Conformant Planning and Model-Checking of $exists^*forall^*$ Hyperproperties
2025
Cited
0
Strategy Logic, Imperfect Information, and Hyperproperties
2025
Cited
0
On Hyperproperty Verification, Quantifier Alternations, and Games under Partial Information
2025
Cited
0
Visualizing Game-Based Certificates for Hyperproperty Verification
2025
Cited
0
Resume (English only)
Co-authors
12 total
Bernd Finkbeiner
Bernd Finkbeiner
Professor of Computer Science, CISPA Helmholtz Center for Information Security
Hadar Frenkel
Hadar Frenkel
Bar Ilan University
Luke Ong
Luke Ong
Distinguished University Professor, Nanyang Technological University
Niklas Metzger
Niklas Metzger
CISPA Helmholtz Center for Information Security
Co-author 5
Co-author 5
Co-author 6
Co-author 6
David Carral
David Carral
Inria, LIRMM, University of Montpellier, CNRS
Markus Krötzsch
Markus Krötzsch
Technische Universität Dresden