Search dblp for Publications

export results for "Julian Metzger"

 download as .bib file

@inproceedings{DBLP:conf/nof/KlaiberDM23,
  author       = {Julian Klaiber and
                  Severin Dellsperger and
                  Laurent Metzger},
  editor       = {Prosper Chemouil and
                  M{\"{u}}ge Sayit and
                  Xiaoming Fu and
                  Diala Naboulsi and
                  Cihat Cetinkaya and
                  Razvan Stanica},
  title        = {Network-Driven Service Programming Controller using SRv6: {A} Demonstration},
  booktitle    = {14th International Conference on Network of the Future, NoF 2023,
                  Izmir, Turkey, October 4-6, 2023},
  pages        = {126--128},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/NoF58724.2023.10302789},
  doi          = {10.1109/NOF58724.2023.10302789},
  timestamp    = {Mon, 05 Feb 2024 20:33:21 +0100},
  biburl       = {https://dblp.org/rec/conf/nof/KlaiberDM23.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}
}

@inproceedings{DBLP:conf/giots/PellicerSMNMICS22,
  author       = {Andreu Belsa Pellicer and
                  Matilde Juli{\'{a}}n Segui and
                  Achilleas Marinakis and
                  Anastasios Nikolakopoulos and
                  Vrettos Moulos and
                  H{\'{e}}ctor Iturria and
                  Jos{\'{e}} Antonio Clemente and
                  Xhulja Shahini and
                  Tristan Kley and
                  Andreas Metzger and
                  Miguel Bravo and
                  Paolo Calciati and
                  Christos{-}Antonios Gizelis and
                  Filippos Nikolopoulos{-}Gkamatsis and
                  Konstantinos Nestorakis and
                  Ignacio Lacalle and
                  Carlos Enrique Palau and
                  Santiago C{\'{a}}ceres},
  editor       = {Aurora Gonz{\'{a}}lez{-}Vidal and
                  Ahmed Mohamed Abdelgawad and
                  Essaid Sabir and
                  S{\'{e}}bastien Ziegler and
                  Latif Ladid},
  title        = {Design of a Next-Generation Interoperable Cognitive Port Solution},
  booktitle    = {Internet of Things - 5th The Global IoT Summit, GIoTS 2022, Dublin,
                  Ireland, June 20-23, 2022, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {13533},
  pages        = {149--160},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-20936-9\_12},
  doi          = {10.1007/978-3-031-20936-9\_12},
  timestamp    = {Thu, 27 Apr 2023 09:03:50 +0200},
  biburl       = {https://dblp.org/rec/conf/giots/PellicerSMNMICS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2205-15389,
  author       = {Niklas Metzger and
                  Christopher Hahn and
                  Julian Siber and
                  Frederik Schmitt and
                  Bernd Finkbeiner},
  title        = {Attention Flows for General Transformers},
  journal      = {CoRR},
  volume       = {abs/2205.15389},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2205.15389},
  doi          = {10.48550/ARXIV.2205.15389},
  eprinttype    = {arXiv},
  eprint       = {2205.15389},
  timestamp    = {Tue, 20 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2205-15389.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2206-01962,
  author       = {Christopher Hahn and
                  Frederik Schmitt and
                  Julia J. Tillman and
                  Niklas Metzger and
                  Julian Siber and
                  Bernd Finkbeiner},
  title        = {Formal Specifications from Natural Language},
  journal      = {CoRR},
  volume       = {abs/2206.01962},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2206.01962},
  doi          = {10.48550/ARXIV.2206.01962},
  eprinttype    = {arXiv},
  eprint       = {2206.01962},
  timestamp    = {Tue, 20 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2206-01962.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/access/MannKLBMP21,
  author       = {Zolt{\'{a}}n {\'{A}}d{\'{a}}m Mann and
                  Florian Kunz and
                  Jan Laufer and
                  Julian Bellendorf and
                  Andreas Metzger and
                  Klaus Pohl},
  title        = {{RADAR:} Data Protection in Cloud-Based Computer Systems at Run Time},
  journal      = {{IEEE} Access},
  volume       = {9},
  pages        = {70816--70842},
  year         = {2021},
  url          = {https://doi.org/10.1109/ACCESS.2021.3078059},
  doi          = {10.1109/ACCESS.2021.3078059},
  timestamp    = {Thu, 22 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/access/MannKLBMP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cnsm/KlaiberDMAC21,
  author       = {Julian Klaiber and
                  Severin Dellsperger and
                  Laurent Metzger and
                  Ahmed Abdelsalam and
                  Fran{\c{c}}ois Clad},
  editor       = {Prosper Chemouil and
                  Mehmet Ulema and
                  Stuart Clayman and
                  M{\"{u}}ge Sayit and
                  Cihat {\c{C}}etinkaya and
                  Stefano Secci},
  title        = {Dynamic Service Programming with Path Preprocessing},
  booktitle    = {17th International Conference on Network and Service Management, {CNSM}
                  2021, Izmir, Turkey, October 25-29, 2021},
  pages        = {104--110},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.23919/CNSM52442.2021.9615567},
  doi          = {10.23919/CNSM52442.2021.9615567},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cnsm/KlaiberDMAC21.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}
}

@inproceedings{DBLP:conf/icce-berlin/MirollLMSH12,
  author       = {Jochen Miroll and
                  Alexander L{\"{o}}ffler and
                  Julian Metzger and
                  Philipp Slusallek and
                  Thorsten Herfet},
  title        = {Reverse genlock for synchronous tiled display walls with Smart Internet
                  Displays},
  booktitle    = {{IEEE} Second International Conference on Consumer Electronics - Berlin,
                  ICCE-Berlin 2012, Berlin, Germany, September 3-5, 2012},
  pages        = {236--240},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/ICCE-Berlin.2012.6336456},
  doi          = {10.1109/ICCE-BERLIN.2012.6336456},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icce-berlin/MirollLMSH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/concurrency/MoreauLA08,
  author       = {Luc Moreau and
                  Bertram Lud{\"{a}}scher and
                  Ilkay Altintas and
                  Roger S. Barga and
                  Shawn Bowers and
                  Steven P. Callahan and
                  George Chin Jr. and
                  Ben Clifford and
                  Shirley Cohen and
                  Sarah Cohen Boulakia and
                  Susan B. Davidson and
                  Ewa Deelman and
                  Luciano A. Digiampietri and
                  Ian T. Foster and
                  Juliana Freire and
                  James Frew and
                  Joe Futrelle and
                  Tara Gibson and
                  Yolanda Gil and
                  Carole A. Goble and
                  Jennifer Golbeck and
                  Paul Groth and
                  David A. Holland and
                  Sheng Jiang and
                  Jihie Kim and
                  David Koop and
                  Ales Krenek and
                  Timothy M. McPhillips and
                  Gaurang Mehta and
                  Simon Miles and
                  Dominic Metzger and
                  Steve Munroe and
                  Jim Myers and
                  Beth Plale and
                  Norbert Podhorszki and
                  Varun Ratnakar and
                  Emanuele Santos and
                  Carlos Eduardo Scheidegger and
                  Karen Schuchardt and
                  Margo I. Seltzer and
                  Yogesh L. Simmhan and
                  Cl{\'{a}}udio T. Silva and
                  Peter Slaughter and
                  Eric G. Stephan and
                  Robert Stevens and
                  Daniele Turi and
                  Huy T. Vo and
                  Michael Wilde and
                  Jun Zhao and
                  Yong Zhao},
  title        = {Special Issue: The First Provenance Challenge},
  journal      = {Concurr. Comput. Pract. Exp.},
  volume       = {20},
  number       = {5},
  pages        = {409--418},
  year         = {2008},
  url          = {https://doi.org/10.1002/cpe.1233},
  doi          = {10.1002/CPE.1233},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/concurrency/MoreauLA08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.