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

1

Temporal Behavior Trees: Robustness and Segmentation:

, In: Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control,

Schirmer, Sebastian ; Singh, Jasdeep ; Jensen, Emily... - p. 1-14 , 2024

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

2

Temporal Behavior Trees -- Segmentation:

, In: Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control,

Schirmer, Sebastian ; Singh, Jasdeep ; Jensen, Emily... - p. 1-2 , 2024

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

3

On the road with RTLola: Testing Real Driving Emissions on ..:

Biewer, Sebastian ; Finkbeiner, Bernd ; Hermanns, Holger...
International Journal on Software Tools for Technology Transfer. 25 (2023) 2 - p. 205-218 , 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

Smart Contract Synthesis Modulo Hyperproperties:

, In: 2023 IEEE 36th Computer Security Foundations Symposium (CSF),

Coenen, Norine ; Finkbeiner, Bernd ; Hofmann, Jana. - p. 276-291 , 2023

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

6

Reactive Synthesis of Smart Contract Control Flows:

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

Finkbeiner, Bernd ; Hofmann, Jana ; Kohn, Florian. - p. 248-269 , 2023

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

7

Monitoring with verified guarantees:

Baumeister, Jan ; Dauer, Johann C. ; Finkbeiner, Bernd.
International Journal on Software Tools for Technology Transfer. 25 (2023) 4 - p. 593-616 , 2023

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

8