I agree that this site is using cookies. You can find further informations here.
X
Finkbeiner, Bernd
129  results:
english X
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

Logics and Algorithms for Hyperproperties:

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

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

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

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

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

Can reactive synthesis and syntax-guided synthesis be frien..:

, In: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation,
Choi, Wonhyuk ; Finkbeiner, Bernd ; Piskac, Ruzica. - p. 229-243 , 2022
Link: https://dl.acm.org/doi/1..
 
?
9

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

Live synthesis:

Finkbeiner, Bernd ; Klein, Felix ; Metzger, Niklas
Innovations in Systems and Software Engineering.  18 (2022)  3 - p. 443-454 , 2022
Link: https://doi.org/10.1007/..
 
?
11

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

Verification, Model Checking, and Abstract Interpretation: .. 

Theoretical Computer Science and General Issues, 13182
Finkbeiner, Bernd ; Wies, Thomas - 1st ed. 2022 . , 2022
Link: https://doi.org/10.1007/..
 
?
13

Compositional synthesis of modular systems:

Finkbeiner, Bernd ; Passing, Noemi
Innovations in Systems and Software Engineering.  18 (2022)  3 - p. 455-469 , 2022
Link: https://doi.org/10.1007/..
 
?
14

BOCoSy: Small but Powerful Symbolic Output-Feedback Control:

, In: 25th ACM International Conference on Hybrid Systems: Computation and Control,
Finkbeiner, Bernd ; Mallik, Kaushik ; Passing, Noemi.. - p. 1-11 , 2022
Link: https://dl.acm.org/doi/1..
 
?
15

A Truly Robust Signal Temporal Logic: Monitoring Safety Pro..:

Finkbeiner, Bernd ; Fränzle, Martin ; Kohn, Florian.
Algorithms.  15 (2022)  4 - p. 126 , 2022
Link: https://doi.org/10.3390/..
 
1-15