E-LIB Suche - Ergebnisse für: Beutner, Raven

1

Automated Software Verification of Hyperliveness:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Beutner, Raven - p. 196-216 , 2024

Link: https://doi.org/10.1007/..

2

AutoHyper: Explicit-State Model Checking for HyperLTL:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Beutner, Raven ; Finkbeiner, Bernd - p. 145-163 , 2023

Link: https://doi.org/10.1007/..

3

Checking and Sketching Causes on Temporal Sequences:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,

Beutner, Raven ; Finkbeiner, Bernd ; Frenkel, Hadar. - p. 314-327 , 2023

Link: https://doi.org/10.1007/..

4

HyperATL*: A Logic for Hyperproperties in Multi-Agent Syste..:

Beutner, Raven ; Finkbeiner, Bernd
Logical Methods in Computer Science. 19, Issue 2 (2023) - p. , 2023

Link: https://doi.org/10.46298..

5

Second-Order Hyperproperties:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Beutner, Raven ; Finkbeiner, Bernd ; Frenkel, Hadar. - p. 309-332 , 2023

Link: https://doi.org/10.1007/..

6

Prophecy Variables for Hyperproperty Verification:

, In: 2022 IEEE 35th Computer Security Foundations Symposium (CSF),

Beutner, Raven ; Finkbeiner, Bernd - p. 471-485 , 2022

Link: https://doi.org/10.1109/..

7

Software Verification of Hyperproperties Beyond k-Safety:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Beutner, Raven ; Finkbeiner, Bernd - p. 341-362 , 2022

Link: https://doi.org/10.1007/..

8

Deciding Hyperproperties Combined with Functional Specifica..:

, In: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science,

Beutner, Raven ; Carral, David ; Finkbeiner, Bernd.. - p. 1-13 , 2022

Link: https://dl.acm.org/doi/1..

9

Guaranteed bounds for posterior inference in universal prob..:

, In: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation,

Beutner, Raven ; Ong, C.-H. Luke ; Zaiser, Fabian - p. 536-551 , 2022

Link: https://dl.acm.org/doi/1..

10

On probabilistic termination of functional programs with co..:

, In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation,

Beutner, Raven ; Ong, Luke - p. 1312-1326 , 2021

Link: https://dl.acm.org/doi/1..

11

AutoHyper: Explicit-State Model Checking for HyperLTL:

Beutner, Raven ; Finkbeiner, Bernd
http://arxiv.org/abs/2301.11229. , 2023

Link: http://arxiv.org/abs/230..

12

Second-Order Hyperproperties:

Beutner, Raven ; Finkbeiner, Bernd ; Frenkel, Hadar.
http://arxiv.org/abs/2305.17935. , 2023

Link: http://arxiv.org/abs/230..

13

On Alternating-time Temporal Logic, Hyperproperties, and St..:

Beutner, Raven ; Finkbeiner, Bernd
http://arxiv.org/abs/2312.12403. , 2023

Link: http://arxiv.org/abs/231..

14

Deciding Hyperproperties Combined with Functional Specifica..:

Beutner, Raven ; Carral, David ; Finkbeiner, Bernd..
info:eu-repo/semantics/altIdentifier/arxiv/2205.15138. , 2022

Link: https://hal-lirmm.ccsd.c..

15

Deciding Hyperproperties Combined with Functional Specifica..:

Beutner, Raven ; Carral, David ; Finkbeiner, Bernd..
info:eu-repo/semantics/altIdentifier/arxiv/2205.15138. , 2022

Link: https://hal-lirmm.ccsd.c..