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

Logics and Algorithms for Hyperproperties:

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

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

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

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

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

Visual Analysis of Hyperproperties for Understanding Model ..:

Horak, Tom ; Coenen, Norine ; Metzger, Niklas...
IEEE Transactions on Visualization and Computer Graphics.  28 (2022)  1 - p. 357-367 , 2022
Link: https://doi.org/10.1109/..
 
?
8

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

Specification decomposition for reactive synthesis:

Finkbeiner, Bernd ; Geier, Gideon ; Passing, Noemi
Innovations in Systems and Software Engineering.  19 (2022)  4 - p. 339-357 , 2022
Link: https://doi.org/10.1007/..
 
?
10

Introduction to the special issue of the 19th International..:

Finkbeiner, Bernd ; Mariani, Leonardo
International Journal on Software Tools for Technology Transfer.  23 (2021)  4 - p. 545-546 , 2021
Link: https://doi.org/10.1007/..
 
?
11

Efficient monitoring of hyperproperties using prefix trees:

Finkbeiner, Bernd ; Hahn, Christopher ; Stenger, Marvin.
International Journal on Software Tools for Technology Transfer.  22 (2020)  6 - p. 729-740 , 2020
Link: https://doi.org/10.1007/..
 
?
12

FPGA Stream-Monitoring of Real-time Properties:

Baumeister, Jan ; Finkbeiner, Bernd ; Schwenger, Maximilian.
ACM Transactions on Embedded Computing Systems (TECS).  18 (2019)  5s - p. 1-24 , 2019
Link: https://dl.acm.org/doi/1..
 
?
13

Synthesis from hyperproperties:

Finkbeiner, Bernd ; Hahn, Christopher ; Lukert, Philip..
Acta Informatica.  57 (2019)  1-2 - p. 137-163 , 2019
Link: https://doi.org/10.1007/..
 
?
14

FPGA Stream-Monitoring of Real-time Properties:

Baumeister, Jan ; Finkbeiner, Bernd ; Schwenger, Maximilian.
ACM Transactions on Embedded Computing Systems.  18 (2019)  5s - p. 1-24 , 2019
Link: https://doi.org/10.1145/..
 
?
15

Monitoring hyperproperties:

Finkbeiner, Bernd ; Hahn, Christopher ; Stenger, Marvin.
Formal Methods in System Design.  54 (2019)  3 - p. 336-363 , 2019
Link: https://doi.org/10.1007/..
 
1-15