BibTeX records: Uli Fahrenberg

download as .bib file

@article{DBLP:journals/corr/abs-2401-17444,
  author       = {Amazigh Amrane and
                  Hugo Bazille and
                  Emily Clement and
                  Uli Fahrenberg},
  title        = {Languages of Higher-Dimensional Timed Automata},
  journal      = {CoRR},
  volume       = {abs/2401.17444},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2401.17444},
  doi          = {10.48550/ARXIV.2401.17444},
  eprinttype    = {arXiv},
  eprint       = {2401.17444},
  timestamp    = {Wed, 07 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2401-17444.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-01589,
  author       = {Safa Zouari and
                  Krzysztof Ziemianski and
                  Uli Fahrenberg},
  title        = {Bisimulations and Logics for Higher-Dimensional Automata},
  journal      = {CoRR},
  volume       = {abs/2402.01589},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2402.01589},
  doi          = {10.48550/ARXIV.2402.01589},
  eprinttype    = {arXiv},
  eprint       = {2402.01589},
  timestamp    = {Fri, 09 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2402-01589.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/FahrenbergZ23,
  author       = {Uli Fahrenberg and
                  Krzysztof Ziemianski},
  editor       = {Lu{\'{\i}}s Gomes and
                  Robert Lorenz},
  title        = {A Myhill-Nerode Theorem for Higher-Dimensional Automata},
  booktitle    = {Application and Theory of Petri Nets and Concurrency - 44th International
                  Conference, {PETRI} {NETS} 2023, Lisbon, Portugal, June 25-30, 2023,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13929},
  pages        = {167--188},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33620-1\_9},
  doi          = {10.1007/978-3-031-33620-1\_9},
  timestamp    = {Wed, 31 May 2023 14:56:55 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/FahrenbergZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/DziadekFS23,
  author       = {Sven Dziadek and
                  Uli Fahrenberg and
                  Philipp Schlehuber{-}Caissier},
  editor       = {Marsha Chechik and
                  Joost{-}Pieter Katoen and
                  Martin Leucker},
  title        = {Energy B{\"{u}}chi Problems},
  booktitle    = {Formal Methods - 25th International Symposium, {FM} 2023, L{\"{u}}beck,
                  Germany, March 6-10, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14000},
  pages        = {222--239},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-27481-7\_14},
  doi          = {10.1007/978-3-031-27481-7\_14},
  timestamp    = {Sat, 11 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fm/DziadekFS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/AmraneBFZ23,
  author       = {Amazigh Amrane and
                  Hugo Bazille and
                  Uli Fahrenberg and
                  Krzysztof Ziemianski},
  editor       = {Erika {\'{A}}brah{\'{a}}m and
                  Clemens Dubslaff and
                  Silvia Lizeth Tapia Tarifa},
  title        = {Closure and Decision Properties for Higher-Dimensional Automata},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2023 - 20th International
                  Colloquium, Lima, Peru, December 4-8, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14446},
  pages        = {295--312},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-47963-2\_18},
  doi          = {10.1007/978-3-031-47963-2\_18},
  timestamp    = {Fri, 01 Dec 2023 18:39:19 +0100},
  biburl       = {https://dblp.org/rec/conf/ictac/AmraneBFZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-02873,
  author       = {Amazigh Amrane and
                  Hugo Bazille and
                  Uli Fahrenberg and
                  Krzysztof Ziemianski},
  title        = {Developments in Higher-Dimensional Automata Theory},
  journal      = {CoRR},
  volume       = {abs/2305.02873},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2305.02873},
  doi          = {10.48550/ARXIV.2305.02873},
  eprinttype    = {arXiv},
  eprint       = {2305.02873},
  timestamp    = {Wed, 10 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2305-02873.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/FahrenbergJSZ22,
  author       = {Uli Fahrenberg and
                  Christian Johansen and
                  Georg Struth and
                  Krzysztof Ziemianski},
  title        = {Posets with interfaces as a model for concurrency},
  journal      = {Inf. Comput.},
  volume       = {285},
  number       = {Part},
  pages        = {104914},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.ic.2022.104914},
  doi          = {10.1016/J.IC.2022.104914},
  timestamp    = {Tue, 28 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/FahrenbergJSZ22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lites/AbateFF22,
  author       = {Alessandro Abate and
                  Uli Fahrenberg and
                  Martin Fr{\"{a}}nzle},
  title        = {Introduction to the Special Issue on Distributed Hybrid Systems},
  journal      = {Leibniz Trans. Embed. Syst.},
  volume       = {8},
  number       = {2},
  pages        = {00:1--00:3},
  year         = {2022},
  url          = {https://doi.org/10.4230/LITES.8.2.0},
  doi          = {10.4230/LITES.8.2.0},
  timestamp    = {Fri, 27 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lites/AbateFF22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lites/Fahrenberg22,
  author       = {Uli Fahrenberg},
  title        = {Higher-Dimensional Timed and Hybrid Automata},
  journal      = {Leibniz Trans. Embed. Syst.},
  volume       = {8},
  number       = {2},
  pages        = {03:1--03:16},
  year         = {2022},
  url          = {https://doi.org/10.4230/LITES.8.2.3},
  doi          = {10.4230/LITES.8.2.3},
  timestamp    = {Fri, 27 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lites/Fahrenberg22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/FahrenbergL22,
  author       = {Uli Fahrenberg and
                  Axel Legay},
  title        = {Featured games},
  journal      = {Sci. Comput. Program.},
  volume       = {223},
  pages        = {102874},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.scico.2022.102874},
  doi          = {10.1016/J.SCICO.2022.102874},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/FahrenbergL22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/FahrenbergJSZ22,
  author       = {Uli Fahrenberg and
                  Christian Johansen and
                  Georg Struth and
                  Krzysztof Ziemianski},
  editor       = {Bartek Klin and
                  Slawomir Lasota and
                  Anca Muscholl},
  title        = {A Kleene Theorem for Higher-Dimensional Automata},
  booktitle    = {33rd International Conference on Concurrency Theory, {CONCUR} 2022,
                  September 12-16, 2022, Warsaw, Poland},
  series       = {LIPIcs},
  volume       = {243},
  pages        = {29:1--29:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://doi.org/10.4230/LIPIcs.CONCUR.2022.29},
  doi          = {10.4230/LIPICS.CONCUR.2022.29},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/concur/FahrenbergJSZ22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-03791,
  author       = {Uli Fahrenberg and
                  Christian Johansen and
                  Georg Struth and
                  Krzysztof Ziemianski},
  title        = {A Kleene Theorem for Higher-Dimensional Automata},
  journal      = {CoRR},
  volume       = {abs/2202.03791},
  year         = {2022},
  url          = {https://arxiv.org/abs/2202.03791},
  eprinttype    = {arXiv},
  eprint       = {2202.03791},
  timestamp    = {Wed, 09 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2202-03791.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-11302,
  author       = {Uli Fahrenberg},
  title        = {A Generic Approach to Quantitative Verification},
  journal      = {CoRR},
  volume       = {abs/2204.11302},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2204.11302},
  doi          = {10.48550/ARXIV.2204.11302},
  eprinttype    = {arXiv},
  eprint       = {2204.11302},
  timestamp    = {Thu, 28 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2204-11302.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-04392,
  author       = {Sven Dziadek and
                  Uli Fahrenberg and
                  Philipp Schlehuber{-}Caissier},
  title        = {Energy B{\"{u}}chi Problems},
  journal      = {CoRR},
  volume       = {abs/2205.04392},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2205.04392},
  doi          = {10.48550/ARXIV.2205.04392},
  eprinttype    = {arXiv},
  eprint       = {2205.04392},
  timestamp    = {Wed, 11 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2205-04392.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-08298,
  author       = {Uli Fahrenberg and
                  Krzysztof Ziemianski},
  title        = {A Myhill-Nerode Theorem for Higher-Dimensional Automata},
  journal      = {CoRR},
  volume       = {abs/2210.08298},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2210.08298},
  doi          = {10.48550/ARXIV.2210.08298},
  eprinttype    = {arXiv},
  eprint       = {2210.08298},
  timestamp    = {Wed, 19 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2210-08298.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BacciBFLMR21,
  author       = {Giovanni Bacci and
                  Patricia Bouyer and
                  Uli Fahrenberg and
                  Kim G. Larsen and
                  Nicolas Markey and
                  Pierre{-}Alain Reynier},
  title        = {Optimal and robust controller synthesis using energy timed automata
                  with uncertainty},
  journal      = {Formal Aspects Comput.},
  volume       = {33},
  number       = {1},
  pages        = {3--25},
  year         = {2021},
  url          = {https://doi.org/10.1007/s00165-020-00521-4},
  doi          = {10.1007/S00165-020-00521-4},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/BacciBFLMR21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/FahrenbergJTZ21,
  author       = {Uli Fahrenberg and
                  Christian Johansen and
                  Christopher Trotter and
                  Krzysztof Ziemianski},
  title        = {Sculptures in Concurrency},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {17},
  number       = {2},
  year         = {2021},
  url          = {https://lmcs.episciences.org/7363},
  timestamp    = {Tue, 20 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/FahrenbergJTZ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/FahrenbergJSZ21,
  author       = {Uli Fahrenberg and
                  Christian Johansen and
                  Georg Struth and
                  Krzysztof Ziemianski},
  title        = {Languages of higher-dimensional automata},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {31},
  number       = {5},
  pages        = {575--613},
  year         = {2021},
  url          = {https://doi.org/10.1017/S0960129521000293},
  doi          = {10.1017/S0960129521000293},
  timestamp    = {Wed, 23 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mscs/FahrenbergJSZ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/CalkFJSZ21,
  author       = {Cameron Calk and
                  Uli Fahrenberg and
                  Christian Johansen and
                  Georg Struth and
                  Krzysztof Ziemianski},
  editor       = {Uli Fahrenberg and
                  Mai Gehrke and
                  Luigi Santocanale and
                  Michael Winter},
  title        = {{\(\mathscr{l}\)} r-Multisemigroups, Modal Quantales and the Origin
                  of Locality},
  booktitle    = {Relational and Algebraic Methods in Computer Science - 19th International
                  Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13027},
  pages        = {90--107},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88701-8\_6},
  doi          = {10.1007/978-3-030-88701-8\_6},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/CalkFJSZ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/FahrenbergL21,
  author       = {Uli Fahrenberg and
                  Axel Legay},
  title        = {Featured Games},
  booktitle    = {International Symposium on Theoretical Aspects of Software Engineering,
                  {TASE} 2021, Shanghai, China, August 25-27, 2021},
  pages        = {167--174},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/TASE52547.2021.00027},
  doi          = {10.1109/TASE52547.2021.00027},
  timestamp    = {Mon, 11 Oct 2021 17:13:04 +0200},
  biburl       = {https://dblp.org/rec/conf/tase/FahrenbergL21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/RelMiCS/2021,
  editor       = {Uli Fahrenberg and
                  Mai Gehrke and
                  Luigi Santocanale and
                  Michael Winter},
  title        = {Relational and Algebraic Methods in Computer Science - 19th International
                  Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13027},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88701-8},
  doi          = {10.1007/978-3-030-88701-8},
  isbn         = {978-3-030-88700-1},
  timestamp    = {Mon, 25 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/2021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-07557,
  author       = {Uli Fahrenberg and
                  Christian Johansen and
                  Georg Struth and
                  Krzysztof Ziemianski},
  title        = {Languages of Higher-Dimensional Automata},
  journal      = {CoRR},
  volume       = {abs/2103.07557},
  year         = {2021},
  url          = {https://arxiv.org/abs/2103.07557},
  eprinttype    = {arXiv},
  eprint       = {2103.07557},
  timestamp    = {Tue, 23 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2103-07557.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-00188,
  author       = {Uli Fahrenberg and
                  Christian Johansen and
                  Georg Struth and
                  Krzysztof Ziemianski},
  title        = {lr-Multisemigroups and Modal Convolution Algebras},
  journal      = {CoRR},
  volume       = {abs/2105.00188},
  year         = {2021},
  url          = {https://arxiv.org/abs/2105.00188},
  eprinttype    = {arXiv},
  eprint       = {2105.00188},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2105-00188.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-10895,
  author       = {Uli Fahrenberg and
                  Christian Johansen and
                  Georg Struth and
                  Krzysztof Ziemianski},
  title        = {Posets with Interfaces for Concurrent Kleene Algebra},
  journal      = {CoRR},
  volume       = {abs/2106.10895},
  year         = {2021},
  url          = {https://arxiv.org/abs/2106.10895},
  eprinttype    = {arXiv},
  eprint       = {2106.10895},
  timestamp    = {Tue, 29 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2106-10895.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BenesFKLT20,
  author       = {Nikola Benes and
                  Uli Fahrenberg and
                  Jan Kret{\'{\i}}nsk{\'{y}} and
                  Axel Legay and
                  Louis{-}Marie Traonouez},
  title        = {Logical vs. behavioural specifications},
  journal      = {Inf. Comput.},
  volume       = {271},
  pages        = {104487},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.ic.2019.104487},
  doi          = {10.1016/J.IC.2019.104487},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/BenesFKLT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/FahrenbergL20,
  author       = {Uli Fahrenberg and
                  Axel Legay},
  title        = {A linear-time-branching-time spectrum for behavioral specification
                  theories},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {110},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.jlamp.2019.100499},
  doi          = {10.1016/J.JLAMP.2019.100499},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlap/FahrenbergL20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FahrenbergLQ20,
  author       = {Uli Fahrenberg and
                  Axel Legay and
                  Karin Quaas},
  title        = {Computing branching distances with quantitative games},
  journal      = {Theor. Comput. Sci.},
  volume       = {847},
  pages        = {134--146},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.tcs.2020.10.001},
  doi          = {10.1016/J.TCS.2020.10.001},
  timestamp    = {Fri, 13 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/FahrenbergLQ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/FahrenbergJST20,
  author       = {Uli Fahrenberg and
                  Christian Johansen and
                  Georg Struth and
                  Ratan Bahadur Thapa},
  editor       = {Uli Fahrenberg and
                  Peter Jipsen and
                  Michael Winter},
  title        = {Generating Posets Beyond {N}},
  booktitle    = {Relational and Algebraic Methods in Computer Science - 18th International
                  Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings
                  [postponed]},
  series       = {Lecture Notes in Computer Science},
  volume       = {12062},
  pages        = {82--99},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-43520-2\_6},
  doi          = {10.1007/978-3-030-43520-2\_6},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/FahrenbergJST20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/FahrenbergL20,
  author       = {Uli Fahrenberg and
                  Axel Legay},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Behavioral Specification Theories: An Algebraic Taxonomy},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation:
                  Verification Principles - 9th International Symposium on Leveraging
                  Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October
                  20-30, 2020, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12476},
  pages        = {262--274},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-61362-4\_14},
  doi          = {10.1007/978-3-030-61362-4\_14},
  timestamp    = {Thu, 29 Oct 2020 15:56:14 +0100},
  biburl       = {https://dblp.org/rec/conf/isola/FahrenbergL20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/RelMiCS/2020,
  editor       = {Uli Fahrenberg and
                  Peter Jipsen and
                  Michael Winter},
  title        = {Relational and Algebraic Methods in Computer Science - 18th International
                  Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings
                  [postponed]},
  series       = {Lecture Notes in Computer Science},
  volume       = {12062},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-43520-2},
  doi          = {10.1007/978-3-030-43520-2},
  isbn         = {978-3-030-43519-6},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/2020.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-05666,
  author       = {Uli Fahrenberg and
                  Axel Legay},
  title        = {Featured Games},
  journal      = {CoRR},
  volume       = {abs/2005.05666},
  year         = {2020},
  url          = {https://arxiv.org/abs/2005.05666},
  eprinttype    = {arXiv},
  eprint       = {2005.05666},
  timestamp    = {Thu, 14 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2005-05666.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-11011,
  author       = {Uli Fahrenberg and
                  Axel Legay},
  title        = {Behavioral Specification Theories: an Algebraic Taxonomy},
  journal      = {CoRR},
  volume       = {abs/2009.11011},
  year         = {2020},
  url          = {https://arxiv.org/abs/2009.11011},
  eprinttype    = {arXiv},
  eprint       = {2009.11011},
  timestamp    = {Wed, 30 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2009-11011.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-04704,
  author       = {Uli Fahrenberg and
                  Christian Johansen and
                  Georg Struth and
                  Krzysztof Ziemianksi},
  title        = {Domain Semirings United},
  journal      = {CoRR},
  volume       = {abs/2011.04704},
  year         = {2020},
  url          = {https://arxiv.org/abs/2011.04704},
  eprinttype    = {arXiv},
  eprint       = {2011.04704},
  timestamp    = {Thu, 12 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2011-04704.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/CacheraFL19,
  author       = {David Cachera and
                  Uli Fahrenberg and
                  Axel Legay},
  title        = {An {\(\omega\)}{\(\omega\)}{\textbackslash}omega-Algebra for Real-Time
                  Energy Problems},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {15},
  number       = {2},
  year         = {2019},
  url          = {https://doi.org/10.23638/LMCS-15(2:17)2019},
  doi          = {10.23638/LMCS-15(2:17)2019},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/CacheraFL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/FahrenbergL19,
  author       = {Uli Fahrenberg and
                  Axel Legay},
  title        = {Quantitative properties of featured automata},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {21},
  number       = {6},
  pages        = {667--677},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10009-019-00538-y},
  doi          = {10.1007/S10009-019-00538-Y},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/FahrenbergL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/FahrenbergLQ19,
  author       = {Uli Fahrenberg and
                  Axel Legay and
                  Karin Quaas},
  editor       = {Robert M. Hierons and
                  Mohamed Mosbah},
  title        = {Computing Branching Distances Using Quantitative Games},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2019 - 16th International
                  Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11884},
  pages        = {59--75},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-32505-3\_4},
  doi          = {10.1007/978-3-030-32505-3\_4},
  timestamp    = {Tue, 11 Oct 2022 14:59:07 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/FahrenbergLQ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-06162,
  author       = {Uli Fahrenberg and
                  Christian Johansen and
                  Georg Struth and
                  Ratan Bahadur Thapa},
  title        = {Generating Posets Beyond {N}},
  journal      = {CoRR},
  volume       = {abs/1910.06162},
  year         = {2019},
  url          = {http://arxiv.org/abs/1910.06162},
  eprinttype    = {arXiv},
  eprint       = {1910.06162},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1910-06162.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-08943,
  author       = {Uli Fahrenberg and
                  Axel Legay and
                  Karin Quaas},
  title        = {Computing Branching Distances Using Quantitative Games},
  journal      = {CoRR},
  volume       = {abs/1910.08943},
  year         = {2019},
  url          = {http://arxiv.org/abs/1910.08943},
  eprinttype    = {arXiv},
  eprint       = {1910.08943},
  timestamp    = {Tue, 22 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1910-08943.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/soco/FahrenbergKLT18,
  author       = {Uli Fahrenberg and
                  Jan Kret{\'{\i}}nsk{\'{y}} and
                  Axel Legay and
                  Louis{-}Marie Traonouez},
  title        = {Compositionality for quantitative specifications},
  journal      = {Soft Comput.},
  volume       = {22},
  number       = {4},
  pages        = {1139--1158},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00500-017-2519-5},
  doi          = {10.1007/S00500-017-2519-5},
  timestamp    = {Tue, 06 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/soco/FahrenbergKLT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/Fahrenberg18,
  author       = {Uli Fahrenberg},
  editor       = {Alessandro Abate and
                  Antoine Girard and
                  Maurice Heemels},
  title        = {Higher-Dimensional Timed Automata},
  booktitle    = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
                  2018, Oxford, UK, July 11-13, 2018},
  series       = {IFAC-PapersOnLine},
  volume       = {51},
  number       = {16},
  pages        = {109--114},
  publisher    = {Elsevier},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.ifacol.2018.08.019},
  doi          = {10.1016/J.IFACOL.2018.08.019},
  timestamp    = {Mon, 08 Oct 2018 13:49:16 +0200},
  biburl       = {https://dblp.org/rec/conf/adhs/Fahrenberg18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/0001BFLMR18,
  author       = {Giovanni Bacci and
                  Patricia Bouyer and
                  Uli Fahrenberg and
                  Kim Guldstrand Larsen and
                  Nicolas Markey and
                  Pierre{-}Alain Reynier},
  editor       = {Klaus Havelund and
                  Jan Peleska and
                  Bill Roscoe and
                  Erik P. de Vink},
  title        = {Optimal and Robust Controller Synthesis - Using Energy Timed Automata
                  with Uncertainty},
  booktitle    = {Formal Methods - 22nd International Symposium, {FM} 2018, Held as
                  Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July
                  15-17, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10951},
  pages        = {203--221},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-95582-7\_12},
  doi          = {10.1007/978-3-319-95582-7\_12},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fm/0001BFLMR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/OlaecheaALF18,
  author       = {Rafael Olaechea and
                  Joanne M. Atlee and
                  Axel Legay and
                  Uli Fahrenberg},
  editor       = {Jesper Andersson and
                  Danny Weyns},
  title        = {Trace checking for dynamic software product lines},
  booktitle    = {Proceedings of the 13th International Conference on Software Engineering
                  for Adaptive and Self-Managing Systems, SEAMS@ICSE 2018, Gothenburg,
                  Sweden, May 28-29, 2018},
  pages        = {69--75},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3194133.3194143},
  doi          = {10.1145/3194133.3194143},
  timestamp    = {Tue, 10 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/OlaecheaALF18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nik/FahrenbergL18,
  author       = {Uli Fahrenberg and
                  Kim G. Larsen},
  title        = {Energiautomater, energifunktioner og Kleene-algebra},
  booktitle    = {31st Norsk Informatikkonferanse, {NIK} 2018, Universitetet i Oslo,
                  Oslo, Norway, September 18-20, 2018},
  publisher    = {Bibsys Open Journal Systems, Norway},
  year         = {2018},
  url          = {https://ojs.bibsys.no/index.php/NIK/article/view/495},
  timestamp    = {Fri, 05 Feb 2021 11:08:06 +0100},
  biburl       = {https://dblp.org/rec/conf/nik/FahrenbergL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/mc/BouyerFLMO018,
  author       = {Patricia Bouyer and
                  Uli Fahrenberg and
                  Kim Guldstrand Larsen and
                  Nicolas Markey and
                  Jo{\"{e}}l Ouaknine and
                  James Worrell},
  editor       = {Edmund M. Clarke and
                  Thomas A. Henzinger and
                  Helmut Veith and
                  Roderick Bloem},
  title        = {Model Checking Real-Time Systems},
  booktitle    = {Handbook of Model Checking},
  pages        = {1001--1046},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-10575-8\_29},
  doi          = {10.1007/978-3-319-10575-8\_29},
  timestamp    = {Mon, 03 Jan 2022 22:13:30 +0100},
  biburl       = {https://dblp.org/rec/reference/mc/BouyerFLMO018.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-07038,
  author       = {Uli Fahrenberg},
  title        = {Higher-Dimensional Timed Automata},
  journal      = {CoRR},
  volume       = {abs/1802.07038},
  year         = {2018},
  url          = {http://arxiv.org/abs/1802.07038},
  eprinttype    = {arXiv},
  eprint       = {1802.07038},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1802-07038.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-00847,
  author       = {Giovanni Bacci and
                  Patricia Bouyer and
                  Uli Fahrenberg and
                  Kim G. Larsen and
                  Nicolas Markey and
                  Pierre{-}Alain Reynier},
  title        = {Optimal and Robust Controller Synthesis: using Energy Timed Automata
                  with Uncertainty},
  journal      = {CoRR},
  volume       = {abs/1805.00847},
  year         = {2018},
  url          = {http://arxiv.org/abs/1805.00847},
  eprinttype    = {arXiv},
  eprint       = {1805.00847},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1805-00847.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1812-02008,
  author       = {Uli Fahrenberg and
                  Christian Johansen and
                  Christopher Trotter and
                  Krzysztof Ziemianski},
  title        = {Sculptures in Concurrency},
  journal      = {CoRR},
  volume       = {abs/1812.02008},
  year         = {2018},
  url          = {http://arxiv.org/abs/1812.02008},
  eprinttype    = {arXiv},
  eprint       = {1812.02008},
  timestamp    = {Tue, 01 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1812-02008.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/EsikFLQ17,
  author       = {Zolt{\'{a}}n {\'{E}}sik and
                  Uli Fahrenberg and
                  Axel Legay and
                  Karin Quaas},
  title        = {An Algebraic Approach to Energy Problems {I} - \({}^{\mbox{*}}\)-Continuous
                  Kleene {\(\omega\)}-Algebras},
  journal      = {Acta Cybern.},
  volume       = {23},
  number       = {1},
  pages        = {203--228},
  year         = {2017},
  url          = {https://doi.org/10.14232/actacyb.23.1.2017.13},
  doi          = {10.14232/ACTACYB.23.1.2017.13},
  timestamp    = {Mon, 15 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/actaC/EsikFLQ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/EsikFLQ17a,
  author       = {Zolt{\'{a}}n {\'{E}}sik and
                  Uli Fahrenberg and
                  Axel Legay and
                  Karin Quaas},
  title        = {An Algebraic Approach to Energy Problems {II} - The Algebra of Energy
                  Functions},
  journal      = {Acta Cybern.},
  volume       = {23},
  number       = {1},
  pages        = {229--268},
  year         = {2017},
  url          = {https://doi.org/10.14232/actacyb.23.1.2017.14},
  doi          = {10.14232/ACTACYB.23.1.2017.14},
  timestamp    = {Mon, 15 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/actaC/EsikFLQ17a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/FahrenbergL17,
  author       = {Uli Fahrenberg and
                  Axel Legay},
  title        = {Featured Weighted Automata},
  booktitle    = {5th {IEEE/ACM} International {FME} Workshop on Formal Methods in Software
                  Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27,
                  2017},
  pages        = {51--57},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/FormaliSE.2017.2},
  doi          = {10.1109/FORMALISE.2017.2},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/FahrenbergL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/OuederniFLS17,
  author       = {Meriem Ouederni and
                  Uli Fahrenberg and
                  Axel Legay and
                  Gwen Sala{\"{u}}n},
  editor       = {Ahmed Seffah and
                  Birgit Penzenstadler and
                  Carina Alves and
                  Xin Peng},
  title        = {Compatibility flooding: measuring interaction of services interfaces},
  booktitle    = {Proceedings of the Symposium on Applied Computing, {SAC} 2017, Marrakech,
                  Morocco, April 3-7, 2017},
  pages        = {1334--1340},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3019612.3019807},
  doi          = {10.1145/3019612.3019807},
  timestamp    = {Wed, 01 Feb 2023 17:58:48 +0100},
  biburl       = {https://dblp.org/rec/conf/sac/OuederniFLS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/FahrenbergL17,
  author       = {Uli Fahrenberg and
                  Axel Legay},
  editor       = {Bernhard Steffen and
                  Christel Baier and
                  Mark van den Brand and
                  Johann Eder and
                  Mike Hinchey and
                  Tiziana Margaria},
  title        = {A Linear-Time-Branching-Time Spectrum of Behavioral Specification
                  Theories},
  booktitle    = {{SOFSEM} 2017: Theory and Practice of Computer Science - 43rd International
                  Conference on Current Trends in Theory and Practice of Computer Science,
                  Limerick, Ireland, January 16-20, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10139},
  pages        = {49--61},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-51963-0\_5},
  doi          = {10.1007/978-3-319-51963-0\_5},
  timestamp    = {Sun, 02 Oct 2022 16:15:51 +0200},
  biburl       = {https://dblp.org/rec/conf/sofsem/FahrenbergL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/natosec/LarsenFL17,
  author       = {Kim G. Larsen and
                  Uli Fahrenberg and
                  Axel Legay},
  editor       = {Alexander Pretschner and
                  Doron Peled and
                  Thomas Hutzelmann},
  title        = {From Timed Automata to Stochastic Hybrid Games Model Checking, Synthesis,
                  Performance Analysis and Machine Learning},
  booktitle    = {Dependable Software Systems Engineering},
  series       = {{NATO} Science for Peace and Security Series - {D:} Information and
                  Communication Security},
  volume       = {50},
  pages        = {60--103},
  publisher    = {{IOS} Press},
  year         = {2017},
  url          = {https://doi.org/10.3233/978-1-61499-810-5-60},
  doi          = {10.3233/978-1-61499-810-5-60},
  timestamp    = {Tue, 06 Aug 2019 09:52:02 +0200},
  biburl       = {https://dblp.org/rec/series/natosec/LarsenFL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CacheraFL17,
  author       = {David Cachera and
                  Uli Fahrenberg and
                  Axel Legay},
  title        = {An {\(\omega\)}-Algebra for Real-Time Energy Problems},
  journal      = {CoRR},
  volume       = {abs/1701.08524},
  year         = {2017},
  url          = {http://arxiv.org/abs/1701.08524},
  eprinttype    = {arXiv},
  eprint       = {1701.08524},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/CacheraFL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FahrenbergL17,
  author       = {Uli Fahrenberg and
                  Axel Legay},
  title        = {Featured Weighted Automata},
  journal      = {CoRR},
  volume       = {abs/1702.07484},
  year         = {2017},
  url          = {http://arxiv.org/abs/1702.07484},
  eprinttype    = {arXiv},
  eprint       = {1702.07484},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/FahrenbergL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/LePFL16,
  author       = {Thi Thieu Hoa Le and
                  Roberto Passerone and
                  Ulrich Fahrenberg and
                  Axel Legay},
  title        = {A tag contract framework for modeling heterogeneous systems},
  journal      = {Sci. Comput. Program.},
  volume       = {115-116},
  pages        = {225--246},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.scico.2015.06.004},
  doi          = {10.1016/J.SCICO.2015.06.004},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/LePFL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/LePFL16,
  author       = {Thi Thieu Hoa Le and
                  Roberto Passerone and
                  Uli Fahrenberg and
                  Axel Legay},
  title        = {Contract-Based Requirement Modularization via Synthesis of Correct
                  Decompositions},
  journal      = {{ACM} Trans. Embed. Comput. Syst.},
  volume       = {15},
  number       = {2},
  pages        = {33:1--33:26},
  year         = {2016},
  url          = {https://doi.org/10.1145/2885752},
  doi          = {10.1145/2885752},
  timestamp    = {Tue, 08 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tecs/LePFL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/OlaecheaFAL16,
  author       = {Rafael Olaechea and
                  Uli Fahrenberg and
                  Joanne M. Atlee and
                  Axel Legay},
  editor       = {Hong Mei},
  title        = {Long-term average cost in featured transition systems},
  booktitle    = {Proceedings of the 20th International Systems and Software Product
                  Line Conference, {SPLC} 2016, Beijing, China, September 16-23, 2016},
  pages        = {109--118},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2934466.2934473},
  doi          = {10.1145/2934466.2934473},
  timestamp    = {Tue, 09 May 2023 08:00:06 +0200},
  biburl       = {https://dblp.org/rec/conf/splc/OlaecheaFAL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FahrenbergL16,
  author       = {Uli Fahrenberg and
                  Axel Legay},
  title        = {A Linear-Time Branching-Time Spectrum of Behavioral Specification
                  Theories},
  journal      = {CoRR},
  volume       = {abs/1604.06503},
  year         = {2016},
  url          = {http://arxiv.org/abs/1604.06503},
  eprinttype    = {arXiv},
  eprint       = {1604.06503},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/FahrenbergL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/OlaecheaFAL16,
  author       = {Rafael Olaechea and
                  Uli Fahrenberg and
                  Joanne M. Atlee and
                  Axel Legay},
  title        = {Long-Term Average Cost in Featured Transition Systems},
  journal      = {CoRR},
  volume       = {abs/1604.06781},
  year         = {2016},
  url          = {http://arxiv.org/abs/1604.06781},
  eprinttype    = {arXiv},
  eprint       = {1604.06781},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/OlaecheaFAL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/FahrenbergL15,
  author       = {Ulrich Fahrenberg and
                  Axel Legay},
  editor       = {Lawrence S. Moss and
                  Pawel Sobocinski},
  title        = {Partial Higher-dimensional Automata},
  booktitle    = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
                  2015, June 24-26, 2015, Nijmegen, The Netherlands},
  series       = {LIPIcs},
  volume       = {35},
  pages        = {101--115},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.CALCO.2015.101},
  doi          = {10.4230/LIPICS.CALCO.2015.101},
  timestamp    = {Tue, 21 Apr 2020 10:56:16 +0200},
  biburl       = {https://dblp.org/rec/conf/calco/FahrenbergL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/EsikFL15,
  author       = {Zolt{\'{a}}n {\'{E}}sik and
                  Uli Fahrenberg and
                  Axel Legay},
  editor       = {Igor Potapov},
  title        = {*-Continuous Kleene {\(\omega\)}-Algebras},
  booktitle    = {Developments in Language Theory - 19th International Conference, {DLT}
                  2015, Liverpool, UK, July 27-30, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9168},
  pages        = {240--251},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-21500-6\_19},
  doi          = {10.1007/978-3-319-21500-6\_19},
  timestamp    = {Tue, 14 May 2019 10:00:40 +0200},
  biburl       = {https://dblp.org/rec/conf/dlt/EsikFL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/CacheraFL15,
  author       = {David Cachera and
                  Uli Fahrenberg and
                  Axel Legay},
  editor       = {Prahladh Harsha and
                  G. Ramalingam},
  title        = {An omega-Algebra for Real-Time Energy Problems},
  booktitle    = {35th {IARCS} Annual Conference on Foundation of Software Technology
                  and Theoretical Computer Science, {FSTTCS} 2015, December 16-18, 2015,
                  Bangalore, India},
  series       = {LIPIcs},
  volume       = {45},
  pages        = {394--407},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2015.394},
  doi          = {10.4230/LIPICS.FSTTCS.2015.394},
  timestamp    = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl       = {https://dblp.org/rec/conf/fsttcs/CacheraFL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AtleeFL15,
  author       = {Joanne M. Atlee and
                  Uli Fahrenberg and
                  Axel Legay},
  editor       = {Stefania Gnesi and
                  Nico Plat},
  title        = {Measuring Behaviour Interactions between Product-Line Features},
  booktitle    = {3rd {IEEE/ACM} {FME} Workshop on Formal Methods in Software Engineering,
                  FormaliSE 2015, Florence, Italy, May 18, 2015},
  pages        = {20--25},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/FormaliSE.2015.11},
  doi          = {10.1109/FORMALISE.2015.11},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/AtleeFL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/AtleeBFL15,
  author       = {Joanne M. Atlee and
                  Sandy Beidu and
                  Uli Fahrenberg and
                  Axel Legay},
  editor       = {Michalis Famelis and
                  Daniel Ratiu and
                  Martina Seidl and
                  Gehan M. K. Selim},
  title        = {Merging Features in Featured Transition Systems},
  booktitle    = {Proceedings of the 12th Workshop on Model-Driven Engineering, Verification
                  and Validation co-located with {ACM/IEEE} 18th International Conference
                  on Model Driven Engineering Languages and Systems, MoDeVVa@MoDELS
                  2015, Ottawa, Canada, September 29, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1514},
  pages        = {38--43},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1514/paper5.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:20 +0100},
  biburl       = {https://dblp.org/rec/conf/models/AtleeBFL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/EsikFL15a,
  author       = {Zolt{\'{a}}n {\'{E}}sik and
                  Uli Fahrenberg and
                  Axel Legay},
  editor       = {Ralph Matthes and
                  Matteo Mio},
  title        = {*-Continuous Kleene {\(\omega\)}-Algebras for Energy Problems},
  booktitle    = {Proceedings Tenth International Workshop on Fixed Points in Computer
                  Science, {FICS} 2015, Berlin, Germany, September 11-12, 2015},
  series       = {{EPTCS}},
  volume       = {191},
  pages        = {48--59},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.191.6},
  doi          = {10.4204/EPTCS.191.6},
  timestamp    = {Sun, 02 Oct 2022 15:31:45 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/EsikFL15a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EsikFL15,
  author       = {Zolt{\'{a}}n {\'{E}}sik and
                  Uli Fahrenberg and
                  Axel Legay},
  title        = {*-Continuous Kleene {\(\omega\)}-Algebras},
  journal      = {CoRR},
  volume       = {abs/1501.01118},
  year         = {2015},
  url          = {http://arxiv.org/abs/1501.01118},
  eprinttype    = {arXiv},
  eprint       = {1501.01118},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/EsikFL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/FahrenbergL14,
  author       = {Uli Fahrenberg and
                  Axel Legay},
  title        = {General quantitative specification theories with modal transition
                  systems},
  journal      = {Acta Informatica},
  volume       = {51},
  number       = {5},
  pages        = {261--295},
  year         = {2014},
  url          = {https://doi.org/10.1007/s00236-014-0196-8},
  doi          = {10.1007/S00236-014-0196-8},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/FahrenbergL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1212-4288,
  author       = {Beno{\^{\i}}t Delahaye and
                  Uli Fahrenberg and
                  Kim G. Larsen and
                  Axel Legay},
  title        = {Refinement and Difference for Probabilistic Automata},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {3},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(3:11)2014},
  doi          = {10.2168/LMCS-10(3:11)2014},
  timestamp    = {Sun, 16 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1212-4288.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijac/AllamigeonFGKL14,
  author       = {Xavier Allamigeon and
                  Uli Fahrenberg and
                  St{\'{e}}phane Gaubert and
                  Ricardo David Katz and
                  Axel Legay},
  title        = {Tropical Fourier-Motzkin elimination, with an application to real-time
                  verification},
  journal      = {Int. J. Algebra Comput.},
  volume       = {24},
  number       = {5},
  pages        = {569--608},
  year         = {2014},
  url          = {https://doi.org/10.1142/S0218196714500258},
  doi          = {10.1142/S0218196714500258},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijac/AllamigeonFGKL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FahrenbergL14,
  author       = {Uli Fahrenberg and
                  Axel Legay},
  title        = {The quantitative linear-time-branching-time spectrum},
  journal      = {Theor. Comput. Sci.},
  volume       = {538},
  pages        = {54--69},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.tcs.2013.07.030},
  doi          = {10.1016/J.TCS.2013.07.030},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/FahrenbergL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etaps/FahrenbergLLT14,
  author       = {Uli Fahrenberg and
                  Kim Guldstrand Larsen and
                  Axel Legay and
                  Louis{-}Marie Traonouez},
  editor       = {Saddek Bensalem and
                  Yassine Lakhnech and
                  Axel Legay},
  title        = {Parametric and Quantitative Extensions of Modal Transition Systems},
  booktitle    = {From Programs to Systems. The Systems perspective in Computing - {ETAPS}
                  Workshop, {FPS} 2014, in Honor of Joseph Sifakis, Grenoble, France,
                  April 6, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8415},
  pages        = {84--97},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-642-54848-2\_6},
  doi          = {10.1007/978-3-642-54848-2\_6},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/etaps/FahrenbergLLT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etaps/FahrenbergLT14,
  author       = {Uli Fahrenberg and
                  Axel Legay and
                  Louis{-}Marie Traonouez},
  editor       = {Saddek Bensalem and
                  Yassine Lakhnech and
                  Axel Legay},
  title        = {Specification Theories for Probabilistic and Real-Time Systems},
  booktitle    = {From Programs to Systems. The Systems perspective in Computing - {ETAPS}
                  Workshop, {FPS} 2014, in Honor of Joseph Sifakis, Grenoble, France,
                  April 6, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8415},
  pages        = {98--117},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-642-54848-2\_7},
  doi          = {10.1007/978-3-642-54848-2\_7},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/etaps/FahrenbergLT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/FahrenbergKLT14,
  author       = {Ulrich Fahrenberg and
                  Jan Kret{\'{\i}}nsk{\'{y}} and
                  Axel Legay and
                  Louis{-}Marie Traonouez},
  editor       = {Ivan Lanese and
                  Eric Madelaine},
  title        = {Compositionality for Quantitative Specifications},
  booktitle    = {Formal Aspects of Component Software - 11th International Symposium,
                  {FACS} 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8997},
  pages        = {306--324},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-15317-9\_19},
  doi          = {10.1007/978-3-319-15317-9\_19},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/facs2/FahrenbergKLT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/FahrenbergALW14,
  author       = {Uli Fahrenberg and
                  Mathieu Acher and
                  Axel Legay and
                  Andrzej Wasowski},
  editor       = {Stefania Gnesi and
                  Arend Rensink},
  title        = {Sound Merging and Differencing for Class Diagrams},
  booktitle    = {Fundamental Approaches to Software Engineering - 17th International
                  Conference, {FASE} 2014, Held as Part of the European Joint Conferences
                  on Theory and Practice of Software, {ETAPS} 2014, Grenoble, France,
                  April 5-13, 2014, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8411},
  pages        = {63--78},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-642-54804-8\_5},
  doi          = {10.1007/978-3-642-54804-8\_5},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fase/FahrenbergALW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/FahrenbergLT14,
  author       = {Uli Fahrenberg and
                  Axel Legay and
                  Louis{-}Marie Traonouez},
  editor       = {Gabriel Ciobanu and
                  Dominique M{\'{e}}ry},
  title        = {Structural Refinement for the Modal nu-Calculus},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2014 - 11th International
                  Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8687},
  pages        = {169--187},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10882-7\_11},
  doi          = {10.1007/978-3-319-10882-7\_11},
  timestamp    = {Tue, 14 May 2019 10:00:38 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/FahrenbergLT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/FahrenbergL14,
  author       = {Uli Fahrenberg and
                  Axel Legay},
  editor       = {Davide Di Ruscio and
                  Juan de Lara and
                  Alfonso Pierantonio},
  title        = {Configurable Formal Methods for Extreme Modeling},
  booktitle    = {Proceedings of the 3rd Workshop on Extreme Modeling co-located with
                  {ACM/IEEE} 17th International Conference on Model Driven Engineering
                  Languages {\&} Systems, XM@MoDELS 2014, Valencia, Spain, September
                  29, 2014},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1239},
  pages        = {52--57},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1239/xm14\_submission\_6.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:20 +0100},
  biburl       = {https://dblp.org/rec/conf/models/FahrenbergL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slsp/FahrenbergBCJKL14,
  author       = {Uli Fahrenberg and
                  Fabrizio Biondi and
                  Kevin Corre and
                  Cyrille J{\'{e}}gourel and
                  Simon Kongsh{\o}j and
                  Axel Legay},
  editor       = {Laurent Besacier and
                  Adrian{-}Horia Dediu and
                  Carlos Mart{\'{\i}}n{-}Vide},
  title        = {Measuring Global Similarity Between Texts},
  booktitle    = {Statistical Language and Speech Processing - Second International
                  Conference, {SLSP} 2014, Grenoble, France, October 14-16, 2014, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8791},
  pages        = {220--232},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11397-5\_17},
  doi          = {10.1007/978-3-319-11397-5\_17},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/slsp/FahrenbergBCJKL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FahrenbergLT14,
  author       = {Uli Fahrenberg and
                  Axel Legay and
                  Louis{-}Marie Traonouez},
  title        = {Structural Refinement for the Modal nu-Calculus},
  journal      = {CoRR},
  volume       = {abs/1402.2143},
  year         = {2014},
  url          = {http://arxiv.org/abs/1402.2143},
  eprinttype    = {arXiv},
  eprint       = {1402.2143},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/FahrenbergLT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FahrenbergBCJKL14,
  author       = {Uli Fahrenberg and
                  Fabrizio Biondi and
                  Kevin Corre and
                  Cyrille J{\'{e}}gourel and
                  Simon Kongsh{\o}j and
                  Axel Legay},
  title        = {Measuring Structural Distances between Texts},
  journal      = {CoRR},
  volume       = {abs/1403.4024},
  year         = {2014},
  url          = {http://arxiv.org/abs/1403.4024},
  eprinttype    = {arXiv},
  eprint       = {1403.4024},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/FahrenbergBCJKL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FahrenbergKLT14,
  author       = {Uli Fahrenberg and
                  Jan Kret{\'{\i}}nsk{\'{y}} and
                  Axel Legay and
                  Louis{-}Marie Traonouez},
  title        = {Compositionality for Quantitative Specifications},
  journal      = {CoRR},
  volume       = {abs/1408.1256},
  year         = {2014},
  url          = {http://arxiv.org/abs/1408.1256},
  eprinttype    = {arXiv},
  eprint       = {1408.1256},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/FahrenbergKLT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FahrenbergL14,
  author       = {Uli Fahrenberg and
                  Axel Legay},
  title        = {Homotopy Bisimilarity for Higher-Dimensional Automata},
  journal      = {CoRR},
  volume       = {abs/1409.5865},
  year         = {2014},
  url          = {http://arxiv.org/abs/1409.5865},
  eprinttype    = {arXiv},
  eprint       = {1409.5865},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/FahrenbergL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BauerFJLLT13,
  author       = {Sebastian S. Bauer and
                  Uli Fahrenberg and
                  Line Juhl and
                  Kim G. Larsen and
                  Axel Legay and
                  Claus R. Thrane},
  title        = {Weighted modal transition systems},
  journal      = {Formal Methods Syst. Des.},
  volume       = {42},
  number       = {2},
  pages        = {193--220},
  year         = {2013},
  url          = {https://doi.org/10.1007/s10703-012-0178-9},
  doi          = {10.1007/S10703-012-0178-9},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/BauerFJLLT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/LePFL13,
  author       = {Thi Thieu Hoa Le and
                  Roberto Passerone and
                  Ulrich Fahrenberg and
                  Axel Legay},
  editor       = {Josep Carmona and
                  Mihai T. Lazarescu and
                  Marta Pietkiewicz{-}Koutny},
  title        = {Tag Machines for Modeling Heterogeneous Systems},
  booktitle    = {13th International Conference on Application of Concurrency to System
                  Design, {ACSD} 2013, Barcelona, Spain, 8-10 July, 2013},
  pages        = {186--195},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ACSD.2013.23},
  doi          = {10.1109/ACSD.2013.23},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/LePFL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/FahrenbergL13,
  author       = {Uli Fahrenberg and
                  Axel Legay},
  editor       = {Chung{-}chieh Shan},
  title        = {Generalized Quantitative Analysis of Metric Transition Systems},
  booktitle    = {Programming Languages and Systems - 11th Asian Symposium, {APLAS}
                  2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8301},
  pages        = {192--208},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-03542-0\_14},
  doi          = {10.1007/978-3-319-03542-0\_14},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/FahrenbergL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/EsikFLQ13,
  author       = {Zolt{\'{a}}n {\'{E}}sik and
                  Uli Fahrenberg and
                  Axel Legay and
                  Karin Quaas},
  editor       = {Dang Van Hung and
                  Mizuhito Ogawa},
  title        = {Kleene Algebras and Semimodules for Energy Problems},
  booktitle    = {Automated Technology for Verification and Analysis - 11th International
                  Symposium, {ATVA} 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8172},
  pages        = {102--117},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-02444-8\_9},
  doi          = {10.1007/978-3-319-02444-8\_9},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/EsikFLQ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BenesDFKL13,
  author       = {Nikola Benes and
                  Beno{\^{\i}}t Delahaye and
                  Uli Fahrenberg and
                  Jan Kret{\'{\i}}nsk{\'{y}} and
                  Axel Legay},
  editor       = {Pedro R. D'Argenio and
                  Hern{\'{a}}n C. Melgratti},
  title        = {Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural
                  Specification Theory},
  booktitle    = {{CONCUR} 2013 - Concurrency Theory - 24th International Conference,
                  {CONCUR} 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8052},
  pages        = {76--90},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40184-8\_7},
  doi          = {10.1007/978-3-642-40184-8\_7},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/BenesDFKL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esocc/LePFL13,
  author       = {Thi Thieu Hoa Le and
                  Roberto Passerone and
                  Uli Fahrenberg and
                  Axel Legay},
  editor       = {Carlos Canal and
                  Massimo Villari},
  title        = {A Tag Contract Framework for Heterogeneous Systems},
  booktitle    = {Advances in Service-Oriented and Cloud Computing - Workshops of {ESOCC}
                  2013, M{\'{a}}laga, Spain, September 11-13, 2013, Revised Selected
                  Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {393},
  pages        = {204--217},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-45364-9\_17},
  doi          = {10.1007/978-3-642-45364-9\_17},
  timestamp    = {Sat, 16 Sep 2017 12:08:59 +0200},
  biburl       = {https://dblp.org/rec/conf/esocc/LePFL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/FahrenbergLL13,
  author       = {Uli Fahrenberg and
                  Kim G. Larsen and
                  Axel Legay},
  editor       = {Zhiming Liu and
                  Jim Woodcock and
                  Huibiao Zhu},
  title        = {Model-Based Verification, Optimization, Synthesis and Performance
                  Evaluation of Real-Time Systems},
  booktitle    = {Unifying Theories of Programming and Formal Engineering Methods -
                  International Training School on Software Engineering, Held at {ICTAC}
                  2013, Shanghai, China, August 26-30, 2013, Advanced Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {8050},
  pages        = {67--108},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39721-9\_2},
  doi          = {10.1007/978-3-642-39721-9\_2},
  timestamp    = {Fri, 17 Feb 2023 09:02:01 +0100},
  biburl       = {https://dblp.org/rec/conf/ictac/FahrenbergLL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/DelahayeFLL13,
  author       = {Beno{\^{\i}}t Delahaye and
                  Uli Fahrenberg and
                  Kim Guldstrand Larsen and
                  Axel Legay},
  editor       = {Kaustubh R. Joshi and
                  Markus Siegle and
                  Mari{\"{e}}lle Stoelinga and
                  Pedro R. D'Argenio},
  title        = {Refinement and Difference for Probabilistic Automata},
  booktitle    = {Quantitative Evaluation of Systems - 10th International Conference,
                  {QEST} 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8054},
  pages        = {22--38},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40196-1\_3},
  doi          = {10.1007/978-3-642-40196-1\_3},
  timestamp    = {Sat, 30 Sep 2023 09:55:03 +0200},
  biburl       = {https://dblp.org/rec/conf/qest/DelahayeFLL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FahrenbergL13,
  author       = {Uli Fahrenberg and
                  Axel Legay},
  editor       = {Dexter Kozen and
                  Michael W. Mislove},
  title        = {History-Preserving Bisimilarity for Higher-Dimensional Automata via
                  Open Maps},
  booktitle    = {Proceedings of the Twenty-ninth Conference on the Mathematical Foundations
                  of Programming Semantics, {MFPS} 2013, New Orleans, LA, USA, June
                  23-25, 2013},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {298},
  pages        = {165--178},
  publisher    = {Elsevier},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.entcs.2013.09.012},
  doi          = {10.1016/J.ENTCS.2013.09.012},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/FahrenbergL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/natosec/FahrenbergLLT13,
  author       = {Uli Fahrenberg and
                  Kim G. Larsen and
                  Axel Legay and
                  Claus R. Thrane},
  editor       = {Manfred Broy and
                  Doron A. Peled and
                  Georg Kalus},
  title        = {Model-Based Verification, Optimization, Synthesis and Performance
                  Evaluation of Real-Time Systems},
  booktitle    = {Engineering Dependable Software Systems},
  series       = {{NATO} Science for Peace and Security Series, {D:} Information and
                  Communication Security},
  volume       = {34},
  pages        = {235--273},
  publisher    = {{IOS} Press},
  year         = {2013},
  url          = {https://doi.org/10.3233/978-1-61499-207-3-235},
  doi          = {10.3233/978-1-61499-207-3-235},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/natosec/FahrenbergLLT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BenesDFKL13,
  author       = {Nikola Benes and
                  Beno{\^{\i}}t Delahaye and
                  Uli Fahrenberg and
                  Jan Kret{\'{\i}}nsk{\'{y}} and
                  Axel Legay},
  title        = {Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural
                  Specification Theory},
  journal      = {CoRR},
  volume       = {abs/1306.0741},
  year         = {2013},
  url          = {http://arxiv.org/abs/1306.0741},
  eprinttype    = {arXiv},
  eprint       = {1306.0741},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BenesDFKL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EsikFLQ13,
  author       = {Zolt{\'{a}}n {\'{E}}sik and
                  Uli Fahrenberg and
                  Axel Legay and
                  Karin Quaas},
  title        = {Kleene Algebras and Semimodules for Energy Problems},
  journal      = {CoRR},
  volume       = {abs/1307.0635},
  year         = {2013},
  url          = {http://arxiv.org/abs/1307.0635},
  eprinttype    = {arXiv},
  eprint       = {1307.0635},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/EsikFLQ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AllamigeonFGKL13,
  author       = {Xavier Allamigeon and
                  Uli Fahrenberg and
                  St{\'{e}}phane Gaubert and
                  Ricardo David Katz and
                  Axel Legay},
  title        = {Tropical Fourier-Motzkin elimination, with an application to real-time
                  verification},
  journal      = {CoRR},
  volume       = {abs/1308.2122},
  year         = {2013},
  url          = {http://arxiv.org/abs/1308.2122},
  eprinttype    = {arXiv},
  eprint       = {1308.2122},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/AllamigeonFGKL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/LuMMRFL12,
  author       = {Qi Lu and
                  Michael Madsen and
                  Martin Milata and
                  S{\o}ren Ravn and
                  Uli Fahrenberg and
                  Kim G. Larsen},
  title        = {Reachability analysis for timed automata using max-plus algebra},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {81},
  number       = {3},
  pages        = {298--313},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.jlap.2011.10.004},
  doi          = {10.1016/J.JLAP.2011.10.004},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/LuMMRFL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/BauerFLT12,
  author       = {Sebastian S. Bauer and
                  Uli Fahrenberg and
                  Axel Legay and
                  Claus R. Thrane},
  editor       = {Edward A. Hirsch and
                  Juhani Karhum{\"{a}}ki and
                  Arto Lepist{\"{o}} and
                  Michail Kh. Prilutskii},
  title        = {General Quantitative Specification Theories with Modalities},
  booktitle    = {Computer Science - Theory and Applications - 7th International Computer
                  Science Symposium in Russia, {CSR} 2012, Nizhny Novgorod, Russia,
                  July 3-7, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7353},
  pages        = {18--30},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-30642-6\_3},
  doi          = {10.1007/978-3-642-30642-6\_3},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/csr/BauerFLT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/DelahayeFHLN12,
  author       = {Beno{\^{\i}}t Delahaye and
                  Uli Fahrenberg and
                  Thomas A. Henzinger and
                  Axel Legay and
                  Dejan Nickovic},
  editor       = {Holger Giese and
                  Grigore Rosu},
  title        = {Synchronous Interface Theories and Time Triggered Scheduling},
  booktitle    = {Formal Techniques for Distributed Systems - Joint 14th {IFIP} {WG}
                  6.1 International Conference, {FMOODS} 2012 and 32nd {IFIP} {WG} 6.1
                  International Conference, {FORTE} 2012, Stockholm, Sweden, June 13-16,
                  2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7273},
  pages        = {203--218},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-30793-5\_13},
  doi          = {10.1007/978-3-642-30793-5\_13},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/DelahayeFHLN12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1207-4268,
  author       = {Uli Fahrenberg and
                  Axel Legay},
  editor       = {Sebastian S. Bauer and
                  Jean{-}Baptiste Raclet},
  title        = {A Robust Specification Theory for Modal Event-Clock Automata},
  booktitle    = {Proceedings Fourth Workshop on Foundations of Interface Technologies,
                  {FIT} 2012, Tallinn, Estonia, 25th March 2012},
  series       = {{EPTCS}},
  volume       = {87},
  pages        = {5--16},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.87.2},
  doi          = {10.4204/EPTCS.87.2},
  timestamp    = {Wed, 12 Sep 2018 01:05:14 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1207-4268.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1212-3454,
  editor       = {Uli Fahrenberg and
                  Axel Legay and
                  Claus R. Thrane},
  title        = {Proceedings Quantities in Formal Methods, {QFM} 2012, Paris, France,
                  28 August 2012},
  series       = {{EPTCS}},
  volume       = {103},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.103},
  doi          = {10.4204/EPTCS.103},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1212-3454.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1209-4927,
  author       = {Uli Fahrenberg and
                  Axel Legay},
  title        = {History-Preserving Bisimilarity for Higher-Dimensional Automata via
                  Open Maps},
  journal      = {CoRR},
  volume       = {abs/1209.4927},
  year         = {2012},
  url          = {http://arxiv.org/abs/1209.4927},
  eprinttype    = {arXiv},
  eprint       = {1209.4927},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1209-4927.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1210-5659,
  author       = {Sebastian S. Bauer and
                  Uli Fahrenberg and
                  Line Juhl and
                  Kim G. Larsen and
                  Axel Legay and
                  Claus R. Thrane},
  title        = {Weighted Modal Transition Systems},
  journal      = {CoRR},
  volume       = {abs/1210.5659},
  year         = {2012},
  url          = {http://arxiv.org/abs/1210.5659},
  eprinttype    = {arXiv},
  eprint       = {1210.5659},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1210-5659.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/BouyerFLM11,
  author       = {Patricia Bouyer and
                  Uli Fahrenberg and
                  Kim G. Larsen and
                  Nicolas Markey},
  title        = {Quantitative analysis of real-time systems using priced timed automata},
  journal      = {Commun. {ACM}},
  volume       = {54},
  number       = {9},
  pages        = {78--87},
  year         = {2011},
  url          = {https://doi.org/10.1145/1995376.1995396},
  doi          = {10.1145/1995376.1995396},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/BouyerFLM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LarsenFT11,
  author       = {Kim G. Larsen and
                  Uli Fahrenberg and
                  Claus R. Thrane},
  title        = {Metrics for weighted transition systems: Axiomatization and complexity},
  journal      = {Theor. Comput. Sci.},
  volume       = {412},
  number       = {28},
  pages        = {3358--3369},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.tcs.2011.04.003},
  doi          = {10.1016/J.TCS.2011.04.003},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/LarsenFT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/FahrenbergLT11,
  author       = {Uli Fahrenberg and
                  Axel Legay and
                  Claus R. Thrane},
  editor       = {Supratik Chakraborty and
                  Amit Kumar},
  title        = {The Quantitative Linear-Time--Branching-Time Spectrum},
  booktitle    = {{IARCS} Annual Conference on Foundations of Software Technology and
                  Theoretical Computer Science, {FSTTCS} 2011, December 12-14, 2011,
                  Mumbai, India},
  series       = {LIPIcs},
  volume       = {13},
  pages        = {103--114},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2011},
  url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2011.103},
  doi          = {10.4230/LIPICS.FSTTCS.2011.103},
  timestamp    = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl       = {https://dblp.org/rec/conf/fsttcs/FahrenbergLT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/FahrenbergJLS11,
  author       = {Uli Fahrenberg and
                  Line Juhl and
                  Kim G. Larsen and
                  Jir{\'{\i}} Srba},
  editor       = {Antonio Cerone and
                  Pekka Pihlajasaari},
  title        = {Energy Games in Multiweighted Automata},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2011 - 8th International
                  Colloquium, Johannesburg, South Africa, August 31 - September 2, 2011.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6916},
  pages        = {95--115},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23283-1\_9},
  doi          = {10.1007/978-3-642-23283-1\_9},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictac/FahrenbergJLS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BauerFJLLT11,
  author       = {Sebastian S. Bauer and
                  Uli Fahrenberg and
                  Line Juhl and
                  Kim G. Larsen and
                  Axel Legay and
                  Claus R. Thrane},
  editor       = {Filip Murlak and
                  Piotr Sankowski},
  title        = {Quantitative Refinement for Weighted Modal Transition Systems},
  booktitle    = {Mathematical Foundations of Computer Science 2011 - 36th International
                  Symposium, {MFCS} 2011, Warsaw, Poland, August 22-26, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6907},
  pages        = {60--71},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22993-0\_9},
  doi          = {10.1007/978-3-642-22993-0\_9},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/BauerFJLLT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/FahrenbergLW11,
  author       = {Uli Fahrenberg and
                  Axel Legay and
                  Andrzej Wasowski},
  editor       = {Jon Whittle and
                  Tony Clark and
                  Thomas K{\"{u}}hne},
  title        = {Vision Paper: Make a Difference! (Semantically)},
  booktitle    = {Model Driven Engineering Languages and Systems, 14th International
                  Conference, {MODELS} 2011, Wellington, New Zealand, October 16-21,
                  2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6981},
  pages        = {490--500},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24485-8\_36},
  doi          = {10.1007/978-3-642-24485-8\_36},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/FahrenbergLW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1107-1205,
  author       = {Uli Fahrenberg and
                  Claus R. Thrane and
                  Kim G. Larsen},
  editor       = {Mieke Massink and
                  Gethin Norman},
  title        = {Distances for Weighted Transition Systems: Games and Properties},
  booktitle    = {Proceedings Ninth Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2011, Saarbr{\"{u}}cken, Germany, April 1-3,
                  2011},
  series       = {{EPTCS}},
  volume       = {57},
  pages        = {134--147},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.57.10},
  doi          = {10.4204/EPTCS.57.10},
  timestamp    = {Wed, 12 Sep 2018 01:05:14 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1107-1205.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/natosec/FahrenbergLT11,
  author       = {Uli Fahrenberg and
                  Kim G. Larsen and
                  Claus R. Thrane},
  editor       = {Manfred Broy and
                  Christian Leuxner and
                  Tony Hoare},
  title        = {Model-Based Verification and Analysis for Real-Time Systems},
  booktitle    = {Software and Systems Safety - Specification and Verification},
  series       = {{NATO} Science for Peace and Security Series - {D:} Information and
                  Communication Security},
  volume       = {30},
  pages        = {231--259},
  publisher    = {{IOS} Press},
  year         = {2011},
  url          = {https://doi.org/10.3233/978-1-60750-711-6-231},
  doi          = {10.3233/978-1-60750-711-6-231},
  timestamp    = {Tue, 16 May 2017 14:24:21 +0200},
  biburl       = {https://dblp.org/rec/series/natosec/FahrenbergLT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/formats/2011,
  editor       = {Uli Fahrenberg and
                  Stavros Tripakis},
  title        = {Formal Modeling and Analysis of Timed Systems - 9th International
                  Conference, {FORMATS} 2011, Aalborg, Denmark, September 21-23, 2011.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6919},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24310-3},
  doi          = {10.1007/978-3-642-24310-3},
  isbn         = {978-3-642-24309-7},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/2011.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/ThraneFL10,
  author       = {Claus R. Thrane and
                  Uli Fahrenberg and
                  Kim G. Larsen},
  title        = {Quantitative analysis of weighted transition systems},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {79},
  number       = {7},
  pages        = {689--703},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.jlap.2010.07.010},
  doi          = {10.1016/J.JLAP.2010.07.010},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/ThraneFL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BouyerFLM10,
  author       = {Patricia Bouyer and
                  Uli Fahrenberg and
                  Kim G. Larsen and
                  Nicolas Markey},
  editor       = {Karl Henrik Johansson and
                  Wang Yi},
  title        = {Timed automata with observers under energy constraints},
  booktitle    = {Proceedings of the 13th {ACM} International Conference on Hybrid Systems:
                  Computation and Control, {HSCC} 2010, Stockholm, Sweden, April 12-15,
                  2010},
  pages        = {61--70},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1755952.1755963},
  doi          = {10.1145/1755952.1755963},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hybrid/BouyerFLM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/FahrenbergLT09,
  author       = {Uli Fahrenberg and
                  Kim G. Larsen and
                  Claus R. Thrane},
  editor       = {Farhad Arbab and
                  Marjan Sirjani},
  title        = {Verification, Performance Analysis and Controller Synthesis for Real-Time
                  Systems},
  booktitle    = {Fundamentals of Software Engineering, Third {IPM} International Conference,
                  {FSEN} 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5961},
  pages        = {34--61},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-11623-0\_2},
  doi          = {10.1007/978-3-642-11623-0\_2},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/fsen/FahrenbergLT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memics/LarsenFT09,
  author       = {Kim G. Larsen and
                  Uli Fahrenberg and
                  Claus R. Thrane},
  editor       = {Petr Hlinen{\'{y}} and
                  V{\'{a}}clav Maty{\'{a}}s and
                  Tom{\'{a}}s Vojnar},
  title        = {A Quantitative Characterization of Weighted Kripke Structures in Temporal
                  Logic},
  booktitle    = {Annual Doctoral Workshop on Mathematical and Engineering Methods in
                  Computer Science, {MEMICS} 2009, November 13-15, 2009, Prestige Hotel,
                  Znojmo, Czech Republic},
  series       = {OASIcs},
  volume       = {13},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
  year         = {2009},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2009/2345},
  timestamp    = {Tue, 15 Feb 2022 09:40:04 +0100},
  biburl       = {https://dblp.org/rec/conf/memics/LarsenFT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FahrenbergL09a,
  author       = {Ulrich Fahrenberg and
                  Kim Guldstrand Larsen},
  editor       = {Christel Baier and
                  Alessandra Di Pierro},
  title        = {Discounting in Time},
  booktitle    = {Proceedings of Seventh Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2009, York, UK, March 28-29, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {253},
  number       = {3},
  pages        = {25--31},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.10.003},
  doi          = {10.1016/J.ENTCS.2009.10.003},
  timestamp    = {Fri, 20 Jan 2023 14:27:03 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/FahrenbergL09a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FahrenbergL09,
  author       = {Ulrich Fahrenberg and
                  Kim Guldstrand Larsen},
  editor       = {Peter Habermehl and
                  Tom{\'{a}}s Vojnar},
  title        = {Discount-Optimal Infinite Runs in Priced Timed Automata},
  booktitle    = {Joint Proceedings of the 8th, 9th, and 10th International Workshops
                  on Verification of Infinite-State Systems, {INFINITY} 2006 / 2007
                  / 2008, Bonn, Germany, August 26, 2006 / Lisbon, Portugal, September
                  8, 2007 / Toronto, Canada, August 23, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {239},
  pages        = {179--191},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.05.039},
  doi          = {10.1016/J.ENTCS.2009.05.039},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/FahrenbergL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/BouyerFLMS08,
  author       = {Patricia Bouyer and
                  Ulrich Fahrenberg and
                  Kim Guldstrand Larsen and
                  Nicolas Markey and
                  Jir{\'{\i}} Srba},
  editor       = {Franck Cassez and
                  Claude Jard},
  title        = {Infinite Runs in Weighted Timed Automata with Energy Constraints},
  booktitle    = {Formal Modeling and Analysis of Timed Systems, 6th International Conference,
                  {FORMATS} 2008, Saint Malo, France, September 15-17, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5215},
  pages        = {33--47},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-85778-5\_4},
  doi          = {10.1007/978-3-540-85778-5\_4},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/formats/BouyerFLMS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Fahrenberg05,
  author       = {Ulrich Fahrenberg},
  editor       = {Vladimiro Sassone},
  title        = {A Category of Higher-Dimensional Automata},
  booktitle    = {Foundations of Software Science and Computational Structures, 8th
                  International Conference, {FOSSACS} 2005, Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2005,
                  Edinburgh, UK, April 4-8, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3441},
  pages        = {187--201},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/978-3-540-31982-5\_12},
  doi          = {10.1007/978-3-540-31982-5\_12},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/Fahrenberg05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/getco/2003,
  editor       = {Thomas T. Hildebrandt and
                  Alexander Kurz and
                  Eric Goubault and
                  Ulrich Fahrenberg},
  title        = {Combined Proceedings of the Second Workshop on Categorical Methods
                  for Concurrency, Interaction, and Mobility, {CMCIM} 2003, and the
                  Fifth Workshop on Geometric and Topological Methods in Concurrency,
                  {GETCO} 2003, Satellite Events of {CONCUR} 2003, Marseille, France,
                  September 6, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {100},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/100/suppl/C},
  timestamp    = {Thu, 08 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/getco/2003.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GoubaultF04,
  author       = {Eric Goubault and
                  Ulrich Fahrenberg},
  editor       = {Thomas T. Hildebrandt and
                  Alexander Kurz and
                  Eric Goubault and
                  Ulrich Fahrenberg},
  title        = {Preface},
  booktitle    = {Combined Proceedings of the Second Workshop on Categorical Methods
                  for Concurrency, Interaction, and Mobility, {CMCIM} 2003, and the
                  Fifth Workshop on Geometric and Topological Methods in Concurrency,
                  {GETCO} 2003, Satellite Events of {CONCUR} 2003, Marseille, France,
                  September 6, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {100},
  pages        = {47--48},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/j.entcs.2004.08.014},
  doi          = {10.1016/J.ENTCS.2004.08.014},
  timestamp    = {Thu, 08 Dec 2022 22:54:04 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GoubaultF04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Fahrenberg04,
  author       = {Ulrich Fahrenberg},
  editor       = {Thomas T. Hildebrandt and
                  Alexander Kurz and
                  Eric Goubault and
                  Ulrich Fahrenberg},
  title        = {Directed Homology},
  booktitle    = {Combined Proceedings of the Second Workshop on Categorical Methods
                  for Concurrency, Interaction, and Mobility, {CMCIM} 2003, and the
                  Fifth Workshop on Geometric and Topological Methods in Concurrency,
                  {GETCO} 2003, Satellite Events of {CONCUR} 2003, Marseille, France,
                  September 6, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {100},
  pages        = {111--125},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/j.entcs.2004.09.005},
  doi          = {10.1016/J.ENTCS.2004.09.005},
  timestamp    = {Thu, 08 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Fahrenberg04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Fahrenberg03,
  author       = {Ulrich Fahrenberg},
  editor       = {Patrick Cousot and
                  Lisbeth Fajstrup and
                  Eric Goubault and
                  Maurice Herlihy and
                  Martin Raussen and
                  Vladimiro Sassone},
  title        = {The Geometry of Timed {PV} Programs},
  booktitle    = {4th Workshop on GEometry and Topology in COncurrency and distributed
                  systems theory, {GETCO} 2002, Satellite workshop of {DISC} 2002, Toulouse,
                  France, October 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {81},
  pages        = {1--14},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(04)80832-6},
  doi          = {10.1016/S1571-0661(04)80832-6},
  timestamp    = {Wed, 07 Dec 2022 09:37:04 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Fahrenberg03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics