E-LIB Suche - Ergebnisse für: Coenen, Norine

1

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

2

Explaining Hyperproperty Violations:

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

Coenen, Norine ; Dachselt, Raimund ; Finkbeiner, Bernd... - p. 407-429 , 2022

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

3

Temporal Causality in Reactive Systems:

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

Coenen, Norine ; Finkbeiner, Bernd ; Frenkel, Hadar... - p. 208-224 , 2022

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

4

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

5

Causality-Based Game Solving:

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

Baier, Christel ; Coenen, Norine ; Finkbeiner, Bernd... - p. 894-917 , 2021

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

6

Runtime Enforcement of Hyperproperties:

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

Coenen, Norine ; Finkbeiner, Bernd ; Hahn, Christopher.. - p. 283-299 , 2021

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

7

A Temporal Logic for Asynchronous Hyperproperties:

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

Baumeister, Jan ; Coenen, Norine ; Bonakdarpour, Borzoo.. - p. 694-717 , 2021

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

8

The hierarchy of hyperlogics:

, In: Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science,

Coenen, Norine ; Finkbeiner, Bernd ; Hahn, Christopher. - p. 1-13 , 2019

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

9

Verifying Hyperliveness:

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

Coenen, Norine ; Finkbeiner, Bernd ; Sánchez, César. - p. 121-139 , 2019

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

10

Collaborative Newspaper : Exploring an adaptive Scrollin..:

, In: Proceedings of the 4th International Symposium on Pervasive Displays,

Lander, Christian ; Speicher, Marco ; Paradowski, Denise... - p. 163-169 , 2015

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

11

Collaborative Newspaper Demo : Exploring an adaptive Scr..:

, In: Proceedings of the 4th International Symposium on Pervasive Displays,

Lander, Christian ; Speicher, Marco ; Paradowski, Denise... - p. 271-272 , 2015

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

12

Smart Contract Synthesis Modulo Hyperproperties:

Coenen, Norine ; Finkbeiner, Bernd ; Hofmann, Jana.
http://arxiv.org/abs/2208.07180. , 2022

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

13

Explaining Hyperproperty Violations:

Coenen, Norine ; Dachselt, Raimund ; Finkbeiner, Bernd...
http://arxiv.org/abs/2206.02074. , 2022

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

14

Runtime Enforcement of Hyperproperties:

Coenen, Norine ; Finkbeiner, Bernd ; Hahn, Christopher..
http://arxiv.org/abs/2203.04146. , 2022

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

15

Causality-Based Game Solving:

Baier, Christel ; Coenen, Norine ; Finkbeiner, Bernd...
http://arxiv.org/abs/2105.14247. , 2021

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