Items where Author is "Beutner, Raven"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 9.

Beutner, Raven and Finkbeiner, Bernd and Frenkel, Hadar and Siber, Julian
(2023) Checking and Sketching Causes on Temporal Sequences.
In: ATVA 2023.
Conference: ATVA International Symposium on Automated Technology for Verification and Analysis
(Submitted)

Beutner, Raven and Finkbeiner, Bernd and Frenkel, Hadar and Metzger, Niklas
(2023) Second-Order Hyperproperties.
In: CAV 2023, 17-22/07/23, Paris.
Conference: CAV Computer Aided Verification

Beutner, Raven and Finkbeiner, Bernd
(2022) Prophecy Variables for Hyperproperty Verification.
In: CSF 2022.
Conference: CSF IEEE Computer Security Foundations Symposium (was CSFW)
(In Press)

Beutner, Raven and Finkbeiner, Bernd
(2022) Software Verification of Hyperproperties Beyond k-Safety.
In: CAV 2022.
Conference: CAV Computer Aided Verification
(In Press)

Beutner, Raven and Ong, C.H. Luke and Zaiser, Fabian
(2022) Guaranteed Bounds for Posterior Inference in Universal Probabilistic Programming.
In: PLDI 2022, San Diego, CA, USA.
Conference: PLDI ACM-SIGPLAN Conference on Programming Language Design and Implementation
(In Press)

Beutner, Raven and Carral, David and Finkbeiner, Bernd and Hofmann, Jana and Krötzsch, Markus
(2022) Deciding Hyperproperties Combined with Functional Specifications.
In: 37th Annual ACM/IEEE Symposium on Logic in Computer Science.
Conference: LICS IEEE Symposium on Logic in Computer Science
(In Press)

Beutner, Raven and Finkbeiner, Bernd
(2021) A Temporal Logic for Strategic Hyperproperties.
In: 32nd International Conference on Concurrency Theory, CONCUR 2021.
Conference: CONCUR International Conference on Concurrency Theory

Beutner, Raven and Ong, Luke
(2021) On Probabilistic Termination of Functional Programs with Continuous Distributions.
In: 42nd International Conference on Programming Language Design and Implementation.
Conference: PLDI ACM-SIGPLAN Conference on Programming Language Design and Implementation

Beutner, Raven and Finkbeiner, Bernd and Hecking-Harbusch, Jesko
(2019) Translating Asynchronous Games for Distributed Synthesis.
In: 30th International Conference on Concurrency Theory, CONCUR 2019.
Conference: CONCUR International Conference on Concurrency Theory

This list was generated on Tue Jul 1 02:09:57 2025 CEST.
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.