Search dblp for Publications

• > Home > Search

@proceedings{DBLP:journals/corr/abs-2001-06163,
  editor       = {Alessandro Aldini and
                  Herbert Wiklicky},
  title        = {Proceedings 16th Workshop on Quantitative Aspects of Programming Languages
                  and Systems, QAPL@ETAPS 2019, Prague, Czech Republic, 7th April 2019},
  series       = {{EPTCS}},
  volume       = {312},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.312},
  doi          = {10.4204/EPTCS.312},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2001-06163.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1810-11243,
  author       = {Mathias Ruggaard Pedersen and
                  Giorgio Bacci and
                  Kim G. Larsen},
  editor       = {Alessandro Aldini and
                  Herbert Wiklicky},
  title        = {A Faster-Than Relation for Semi-Markov Decision Processes},
  booktitle    = {Proceedings 16th Workshop on Quantitative Aspects of Programming Languages
                  and Systems, QAPL@ETAPS 2019, Prague, Czech Republic, 7th April 2019},
  series       = {{EPTCS}},
  volume       = {312},
  pages        = {29--42},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.312.3},
  doi          = {10.4204/EPTCS.312.3},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1810-11243.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2001-06942,
  author       = {Alessandro Aldini},
  editor       = {Alessandro Aldini and
                  Herbert Wiklicky},
  title        = {Quantitative Aspects of Programming Languages and Systems over the
                  past {\textdollar}24{\textdollar} years and beyond},
  booktitle    = {Proceedings 16th Workshop on Quantitative Aspects of Programming Languages
                  and Systems, QAPL@ETAPS 2019, Prague, Czech Republic, 7th April 2019},
  series       = {{EPTCS}},
  volume       = {312},
  pages        = {1--19},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.312.1},
  doi          = {10.4204/EPTCS.312.1},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2001-06942.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2001-06943,
  author       = {Maja Hanne Kirkeby},
  editor       = {Alessandro Aldini and
                  Herbert Wiklicky},
  title        = {Probabilistic Output Analyses for Deterministic Programs - Reusing
                  Existing Non-probabilistic Analyses},
  booktitle    = {Proceedings 16th Workshop on Quantitative Aspects of Programming Languages
                  and Systems, QAPL@ETAPS 2019, Prague, Czech Republic, 7th April 2019},
  series       = {{EPTCS}},
  volume       = {312},
  pages        = {43--57},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.312.4},
  doi          = {10.4204/EPTCS.312.4},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2001-06943.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2001-07706,
  author       = {Jan Olaf Blech},
  editor       = {Alessandro Aldini and
                  Herbert Wiklicky},
  title        = {Towards Digital Twins for the Description of Automotive Software Systems},
  booktitle    = {Proceedings 16th Workshop on Quantitative Aspects of Programming Languages
                  and Systems, QAPL@ETAPS 2019, Prague, Czech Republic, 7th April 2019},
  series       = {{EPTCS}},
  volume       = {312},
  pages        = {20--28},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.312.2},
  doi          = {10.4204/EPTCS.312.2},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2001-07706.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}