BibTeX records: Norine Coenen

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Persons > Norine Coenen

download as .bib file

@inproceedings{DBLP:conf/csfw/CoenenFHT23,
  author       = {Norine Coenen and
                  Bernd Finkbeiner and
                  Jana Hofmann and
                  Julia J. Tillman},
  title        = {Smart Contract Synthesis Modulo Hyperproperties},
  booktitle    = {36th {IEEE} Computer Security Foundations Symposium, {CSF} 2023, Dubrovnik,
                  Croatia, July 10-14, 2023},
  pages        = {276--291},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/CSF57540.2023.00006},
  doi          = {10.1109/CSF57540.2023.00006},
  timestamp    = {Tue, 05 Sep 2023 20:33:27 +0200},
  biburl       = {https://dblp.org/rec/conf/csfw/CoenenFHT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tvcg/HorakCMHFMDFD22,
  author       = {Tom Horak and
                  Norine Coenen and
                  Niklas Metzger and
                  Christopher Hahn and
                  Tamara Flemisch and
                  Juli{\'{a}}n M{\'{e}}ndez and
                  Dennis Dimov and
                  Bernd Finkbeiner and
                  Raimund Dachselt},
  title        = {Visual Analysis of Hyperproperties for Understanding Model Checking
                  Results},
  journal      = {{IEEE} Trans. Vis. Comput. Graph.},
  volume       = {28},
  number       = {1},
  pages        = {357--367},
  year         = {2022},
  url          = {https://doi.org/10.1109/TVCG.2021.3114866},
  doi          = {10.1109/TVCG.2021.3114866},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tvcg/HorakCMHFMDFD22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/CoenenFFHMS22,
  author       = {Norine Coenen and
                  Bernd Finkbeiner and
                  Hadar Frenkel and
                  Christopher Hahn and
                  Niklas Metzger and
                  Julian Siber},
  editor       = {Ahmed Bouajjani and
                  Luk{\'{a}}s Hol{\'{\i}}k and
                  Zhilin Wu},
  title        = {Temporal Causality in Reactive Systems},
  booktitle    = {Automated Technology for Verification and Analysis - 20th International
                  Symposium, {ATVA} 2022, Virtual Event, October 25-28, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13505},
  pages        = {208--224},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-19992-9\_13},
  doi          = {10.1007/978-3-031-19992-9\_13},
  timestamp    = {Sun, 13 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atva/CoenenFFHMS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/CoenenDFFHHMS22,
  author       = {Norine Coenen and
                  Raimund Dachselt and
                  Bernd Finkbeiner and
                  Hadar Frenkel and
                  Christopher Hahn and
                  Tom Horak and
                  Niklas Metzger and
                  Julian Siber},
  editor       = {Sharon Shoham and
                  Yakir Vizel},
  title        = {Explaining Hyperproperty Violations},
  booktitle    = {Computer Aided Verification - 34th International Conference, {CAV}
                  2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13371},
  pages        = {407--429},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-13185-1\_20},
  doi          = {10.1007/978-3-031-13185-1\_20},
  timestamp    = {Tue, 20 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/CoenenDFFHHMS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2203-04146,
  author       = {Norine Coenen and
                  Bernd Finkbeiner and
                  Christopher Hahn and
                  Jana Hofmann and
                  Yannick Schillo},
  title        = {Runtime Enforcement of Hyperproperties},
  journal      = {CoRR},
  volume       = {abs/2203.04146},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2203.04146},
  doi          = {10.48550/ARXIV.2203.04146},
  eprinttype    = {arXiv},
  eprint       = {2203.04146},
  timestamp    = {Wed, 16 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2203-04146.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2206-02074,
  author       = {Norine Coenen and
                  Raimund Dachselt and
                  Bernd Finkbeiner and
                  Hadar Frenkel and
                  Christopher Hahn and
                  Tom Horak and
                  Niklas Metzger and
                  Julian Siber},
  title        = {Explaining Hyperproperty Violations},
  journal      = {CoRR},
  volume       = {abs/2206.02074},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2206.02074},
  doi          = {10.48550/ARXIV.2206.02074},
  eprinttype    = {arXiv},
  eprint       = {2206.02074},
  timestamp    = {Tue, 20 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2206-02074.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2208-07180,
  author       = {Norine Coenen and
                  Bernd Finkbeiner and
                  Jana Hofmann and
                  Julia J. Tillman},
  title        = {Smart Contract Synthesis Modulo Hyperproperties},
  journal      = {CoRR},
  volume       = {abs/2208.07180},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2208.07180},
  doi          = {10.48550/ARXIV.2208.07180},
  eprinttype    = {arXiv},
  eprint       = {2208.07180},
  timestamp    = {Wed, 17 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2208-07180.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/CoenenFHHS21,
  author       = {Norine Coenen and
                  Bernd Finkbeiner and
                  Christopher Hahn and
                  Jana Hofmann and
                  Yannick Schillo},
  editor       = {Zhe Hou and
                  Vijay Ganesh},
  title        = {Runtime Enforcement of Hyperproperties},
  booktitle    = {Automated Technology for Verification and Analysis - 19th International
                  Symposium, {ATVA} 2021, Gold Coast, QLD, Australia, October 18-22,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12971},
  pages        = {283--299},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88885-5\_19},
  doi          = {10.1007/978-3-030-88885-5\_19},
  timestamp    = {Mon, 18 Oct 2021 08:49:54 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/CoenenFHHS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/BaumeisterCBFS21,
  author       = {Jan Baumeister and
                  Norine Coenen and
                  Borzoo Bonakdarpour and
                  Bernd Finkbeiner and
                  C{\'{e}}sar S{\'{a}}nchez},
  editor       = {Alexandra Silva and
                  K. Rustan M. Leino},
  title        = {A Temporal Logic for Asynchronous Hyperproperties},
  booktitle    = {Computer Aided Verification - 33rd International Conference, {CAV}
                  2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12759},
  pages        = {694--717},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-81685-8\_33},
  doi          = {10.1007/978-3-030-81685-8\_33},
  timestamp    = {Wed, 28 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/BaumeisterCBFS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/BaierCFFJS21,
  author       = {Christel Baier and
                  Norine Coenen and
                  Bernd Finkbeiner and
                  Florian Funke and
                  Simon Jantsch and
                  Julian Siber},
  editor       = {Alexandra Silva and
                  K. Rustan M. Leino},
  title        = {Causality-Based Game Solving},
  booktitle    = {Computer Aided Verification - 33rd International Conference, {CAV}
                  2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12759},
  pages        = {894--917},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-81685-8\_42},
  doi          = {10.1007/978-3-030-81685-8\_42},
  timestamp    = {Thu, 29 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/BaierCFFJS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2104-14025,
  author       = {Jan Baumeister and
                  Norine Coenen and
                  Borzoo Bonakdarpour and
                  Bernd Finkbeiner and
                  C{\'{e}}sar S{\'{a}}nchez},
  title        = {A Temporal Logic for Asynchronous Hyperproperties},
  journal      = {CoRR},
  volume       = {abs/2104.14025},
  year         = {2021},
  url          = {https://arxiv.org/abs/2104.14025},
  eprinttype    = {arXiv},
  eprint       = {2104.14025},
  timestamp    = {Wed, 28 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2104-14025.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2105-14247,
  author       = {Christel Baier and
                  Norine Coenen and
                  Bernd Finkbeiner and
                  Florian Funke and
                  Simon Jantsch and
                  Julian Siber},
  title        = {Causality-Based Game Solving},
  journal      = {CoRR},
  volume       = {abs/2105.14247},
  year         = {2021},
  url          = {https://arxiv.org/abs/2105.14247},
  eprinttype    = {arXiv},
  eprint       = {2105.14247},
  timestamp    = {Wed, 02 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2105-14247.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2108-03698,
  author       = {Tom Horak and
                  Norine Coenen and
                  Niklas Metzger and
                  Christopher Hahn and
                  Tamara Flemisch and
                  Juli{\'{a}}n M{\'{e}}ndez and
                  Dennis Dimov and
                  Bernd Finkbeiner and
                  Raimund Dachselt},
  title        = {Visual Analysis of Hyperproperties for Understanding Model Checking
                  Results},
  journal      = {CoRR},
  volume       = {abs/2108.03698},
  year         = {2021},
  url          = {https://arxiv.org/abs/2108.03698},
  eprinttype    = {arXiv},
  eprint       = {2108.03698},
  timestamp    = {Tue, 04 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2108-03698.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2005-05934,
  author       = {Norine Coenen and
                  Bernd Finkbeiner and
                  Christopher Hahn and
                  Jana Hofmann},
  title        = {The Hierarchy of Hyperlogics},
  journal      = {CoRR},
  volume       = {abs/2005.05934},
  year         = {2020},
  url          = {https://arxiv.org/abs/2005.05934},
  eprinttype    = {arXiv},
  eprint       = {2005.05934},
  timestamp    = {Thu, 14 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2005-05934.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2005-07425,
  author       = {Norine Coenen and
                  Bernd Finkbeiner and
                  C{\'{e}}sar S{\'{a}}nchez and
                  Leander Tentrup},
  title        = {Verifying Hyperliveness},
  journal      = {CoRR},
  volume       = {abs/2005.07425},
  year         = {2020},
  url          = {https://arxiv.org/abs/2005.07425},
  eprinttype    = {arXiv},
  eprint       = {2005.07425},
  timestamp    = {Wed, 28 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2005-07425.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/CoenenFST19,
  author       = {Norine Coenen and
                  Bernd Finkbeiner and
                  C{\'{e}}sar S{\'{a}}nchez and
                  Leander Tentrup},
  editor       = {Isil Dillig and
                  Serdar Tasiran},
  title        = {Verifying Hyperliveness},
  booktitle    = {Computer Aided Verification - 31st International Conference, {CAV}
                  2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part
                  {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {11561},
  pages        = {121--139},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-25540-4\_7},
  doi          = {10.1007/978-3-030-25540-4\_7},
  timestamp    = {Wed, 28 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/CoenenFST19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/CoenenFHH19,
  author       = {Norine Coenen and
                  Bernd Finkbeiner and
                  Christopher Hahn and
                  Jana Hofmann},
  title        = {The Hierarchy of Hyperlogics},
  booktitle    = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
                  2019, Vancouver, BC, Canada, June 24-27, 2019},
  pages        = {1--13},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/LICS.2019.8785713},
  doi          = {10.1109/LICS.2019.8785713},
  timestamp    = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/CoenenFHH19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mc/LanderCBK15,
  author       = {Christian Lander and
                  Norine Coenen and
                  Sebastian Biewer and
                  Antonio Kr{\"{u}}ger},
  editor       = {Sarah Diefenbach and
                  Niels Henze and
                  Martin Pielot},
  title        = {Kollaboratives Text Lesen: Adaptive Text Scroll Geschwindigkeit},
  booktitle    = {Mensch und Computer 2015 - Proceedings, Stuttgart, Germany, September
                  6-9, 2015},
  pages        = {437--438},
  publisher    = {De Gruyter Oldenbourg},
  year         = {2015},
  url          = {https://dl.gi.de/handle/20.500.12116/7856},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mc/LanderCBK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/perdis/LanderSPCBK15,
  author       = {Christian Lander and
                  Marco Speicher and
                  Denise Paradowski and
                  Norine Coenen and
                  Sebastian Biewer and
                  Antonio Kr{\"{u}}ger},
  editor       = {Sven Gehring and
                  Antonio Kr{\"{u}}ger and
                  Florian Alt and
                  Nick Taylor},
  title        = {Collaborative Newspaper: Exploring an adaptive Scrolling Algorithm
                  in a Multi-user Reading Scenario},
  booktitle    = {Proceedings of the 4th International Symposium on Pervasive Displays,
                  PerDis 2015, Saarbr{\"{u}}cken, Germany, June 10-12, 2015},
  pages        = {163--169},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2757710.2757734},
  doi          = {10.1145/2757710.2757734},
  timestamp    = {Sat, 30 Sep 2023 09:54:37 +0200},
  biburl       = {https://dblp.org/rec/conf/perdis/LanderSPCBK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/perdis/LanderSPCBK15a,
  author       = {Christian Lander and
                  Marco Speicher and
                  Denise Paradowski and
                  Norine Coenen and
                  Sebastian Biewer and
                  Antonio Kr{\"{u}}ger},
  editor       = {Sven Gehring and
                  Antonio Kr{\"{u}}ger and
                  Florian Alt and
                  Nick Taylor},
  title        = {Collaborative Newspaper Demo: Exploring an adaptive Scrolling Algorithm
                  in a Multi-user Reading Scenario},
  booktitle    = {Proceedings of the 4th International Symposium on Pervasive Displays,
                  PerDis 2015, Saarbr{\"{u}}cken, Germany, June 10-12, 2015},
  pages        = {271--272},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2757710.2776817},
  doi          = {10.1145/2757710.2776817},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/perdis/LanderSPCBK15a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.