I agree that this site is using cookies. You can find further informations here.
X
Finkbeiner, Bernd
282  results:
Search for persons X
?
1

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

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

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

Expanding the horizons of finite-precision analysis:

Lohar, Debasmita , 2023
Link: https://nbn-resolving.de..
 
?
5

Correctness of data flows in asynchronous distributed syste.. 

model checking and synthesis 
Gieseking, Manuel , [2023]
Link: https://nbn-resolving.de..
 
?
6

Compositional synthesis of reactive systems:

Passing, Noemi Estrid , 2023
Link: https://nbn-resolving.de..
 
?
7

Studying user experience and acceptance of web authenticati..:

Ghorbani Lyastani, Sanam , 2023
Link: https://nbn-resolving.de..
 
?
8

Concurrent Hyperproperties:

, In: Theories of Programming and Formal Methods; Lecture Notes in Computer Science,
Finkbeiner, Bernd ; Olderog, Ernst-Rüdiger - p. 211-231 , 2023
Link: https://doi.org/10.1007/..
 
?
9

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/..
 
?
10

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/..
 
?
11

Logics and Algorithms for Hyperproperties:

Finkbeiner, Bernd
ACM SIGLOG News.  10 (2023)  2 - p. 4-23 , 2023
Link: https://doi.org/10.1145/..
 
?
12

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/..
 
?
13

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/..
 
?
14

Leveraging Static Analysis: An IDE for RTLola:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,
Finkbeiner, Bernd ; Kohn, Florian ; Schledjewski, Malte - p. 251-262 , 2023
Link: https://doi.org/10.1007/..
 
?
15

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/..
 
1-15