E-LIB Suche - Ergebnisse für: Stenger, Marvin

1

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

2

Battery-aware scheduling in low orbit: the GomX–3 case:

Bisgaard, Morten ; Gerhardt, David ; Hermanns, Holger...
Formal Aspects of Computing. 31 (2019) 2 - p. 261-285 , 2019

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

3

Constraint-Based Monitoring of Hyperproperties:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Hahn, Christopher ; Stenger, Marvin ; Tentrup, Leander - p. 115-131 , 2019

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

4

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

5

StreamLAB: Stream-based Monitoring of Cyber-Physical System:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Faymonville, Peter ; Finkbeiner, Bernd ; Schledjewski, Malte... - p. 421-431 , 2019

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

6

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

7

Synthesizing Reactive Systems from Hyperproperties:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Finkbeiner, Bernd ; Hahn, Christopher ; Lukert, Philip.. - p. 289-306 , 2018

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

8

$$\text {RVHyper}$$ RVHyper : A Runtime Verification Tool f..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Finkbeiner, Bernd ; Hahn, Christopher ; Stenger, Marvin. - p. 194-200 , 2018

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

9

Mastering operational limitations of LEO satellites – The G..:

Nies, Gilles ; Stenger, Marvin ; Krčál, Jan...
Acta Astronautica. 151 (2018) - p. 726-735 , 2018

Link: https://doi.org/10.1016/..

10

Efficient Monitoring of Hyperproperties using Prefix Trees:

Finkbeiner, Bernd ; Hahn, Christopher ; Stenger, Marvin.
http://arxiv.org/abs/2101.07109. , 2021

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

11

Efficient monitoring of hyperproperties using prefix trees:

Finkbeiner, Bernd ; Hahn, Christopher ; Stenger, Marvin.
1433-2787. , 2020

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

12

Constraint-Based Monitoring of Hyperproperties:

Hahn, Christopher ; Stenger, Marvin ; Tentrup, Leander
http://arxiv.org/abs/1905.13517. , 2019

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

13

Synthesis from hyperproperties:

Finkbeiner, Bernd ; Hahn, Christopher ; Lukert, Philip..
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC7056710/. , 2019

Link: http://www.ncbi.nlm.nih...

14

Synthesizing Reactive Systems from Hyperproperties:

Finkbeiner, Bernd ; Hahn, Christopher ; Lukert, Philip..
http://arxiv.org/abs/1905.13511. , 2019

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

15

RVHyper: A Runtime Verification Tool for Temporal Hyperprop..:

Finkbeiner, Bernd ; Hahn, Christopher ; Stenger, Marvin.
http://arxiv.org/abs/1906.00798. , 2019

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