E-LIB Suche - Ergebnisse für: Finkbeiner, Bernd

1

Certification Aspects of Runtime Assurance for Urban Air Mo..:

Torens, Christoph ; Nagarajan, Pranav ; Schirmer, Sebastian...
https://elib.dlr.de/201362/1/main.pdf. , 2024

Link: https://elib.dlr.de/2013..

2

AutoHyper: Explicit-State Model Checking for HyperLTL:

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

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

3

A Hierarchy of Monitoring Properties for Autonomous Systems:

Schirmer, Sebastian ; Torens, Christoph ; Dauer, Johann C...
https://elib.dlr.de/193868/1/A_Hierarchy_Of_Monitoring_Properties_for_Autonomous_Systems.pdf. , 2023

Link: https://elib.dlr.de/1938..

4

Counterfactuals Modulo Temporal Logics:

Finkbeiner, Bernd ; Siber, Julian
http://arxiv.org/abs/2306.08916. , 2023

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

5

Second-Order Hyperproperties:

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

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

6

Automata-Based Software Model Checking of Hyperproperties:

Finkbeiner, Bernd ; Frenkel, Hadar ; Hofmann, Jana.
http://arxiv.org/abs/2303.14796. , 2023

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

7

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..

8

Bounded Model Checking for Asynchronous Hyperproperties:

Hsu, Tzu-Han ; Bonakdarpour, Borzoo ; Finkbeiner, Bernd.
http://arxiv.org/abs/2301.07208. , 2023

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

9

Leveraging Static Analysis: An IDE for RTLola:

Finkbeiner, Bernd ; Kohn, Florian ; Schledjewski, Malte
http://arxiv.org/abs/2311.08096. , 2023

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

10

Iterative Circuit Repair Against Formal Specifications:

Cosler, Matthias ; Schmitt, Frederik ; Hahn, Christopher.
http://arxiv.org/abs/2303.01158. , 2023

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

11

On the road with RTLola : Testing real driving emissions on..:

Biewer, Sebastian ; Finkbeiner, Bernd ; Hermanns, Holger...
1433-2787. , 2023

Link: http://nbn-resolving.org..

12

Concurrent Hyperproperties:

Finkbeiner, Bernd ; Olderog, Ernst-Rüdiger
http://arxiv.org/abs/2310.00705. , 2023

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

13

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..

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

Smart Contract Synthesis Modulo Hyperproperties:

Coenen, Norine ; Finkbeiner, Bernd ; Hofmann, Jana.
http://arxiv.org/abs/2208.07180. , 2022

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