Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:journals/corr/0001KM17aa,
  author       = {Barbara K{\"{o}}nig and
                  Sebastian K{\"{u}}pper and
                  Christina Mika},
  editor       = {Herbert Wiklicky and
                  Erik P. de Vink},
  title        = {{PAWS:} {A} Tool for the Analysis of Weighted Systems},
  booktitle    = {Proceedings 15th Workshop on Quantitative Aspects of Programming Languages
                  and Systems, QAPL@ETAPS 2017, Uppsala, Sweden, 23rd April 2017},
  series       = {{EPTCS}},
  volume       = {250},
  pages        = {75--91},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.250.5},
  doi          = {10.4204/EPTCS.250.5},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/0001KM17aa.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/ArmingBS17,
  author       = {Sebastian Arming and
                  Ezio Bartocci and
                  Ana Sokolova},
  editor       = {Herbert Wiklicky and
                  Erik P. de Vink},
  title        = {{SEA-PARAM:} Exploring Schedulers in Parametric MDPs},
  booktitle    = {Proceedings 15th Workshop on Quantitative Aspects of Programming Languages
                  and Systems, QAPL@ETAPS 2017, Uppsala, Sweden, 23rd April 2017},
  series       = {{EPTCS}},
  volume       = {250},
  pages        = {25--38},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.250.3},
  doi          = {10.4204/EPTCS.250.3},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/ArmingBS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/CastiglioniT17,
  author       = {Valentina Castiglioni and
                  Simone Tini},
  editor       = {Herbert Wiklicky and
                  Erik P. de Vink},
  title        = {Logical Characterization of Trace Metrics},
  booktitle    = {Proceedings 15th Workshop on Quantitative Aspects of Programming Languages
                  and Systems, QAPL@ETAPS 2017, Uppsala, Sweden, 23rd April 2017},
  series       = {{EPTCS}},
  volume       = {250},
  pages        = {39--74},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.250.4},
  doi          = {10.4204/EPTCS.250.4},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/CastiglioniT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/LatellaM17,
  author       = {Diego Latella and
                  Mieke Massink},
  editor       = {Herbert Wiklicky and
                  Erik P. de Vink},
  title        = {Design and Optimisation of the FlyFast Front-end for Attribute-based
                  Coordination},
  booktitle    = {Proceedings 15th Workshop on Quantitative Aspects of Programming Languages
                  and Systems, QAPL@ETAPS 2017, Uppsala, Sweden, 23rd April 2017},
  series       = {{EPTCS}},
  volume       = {250},
  pages        = {92--110},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.250.6},
  doi          = {10.4204/EPTCS.250.6},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/LatellaM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/LidmanS17,
  author       = {Jacob Lidman and
                  Josef Svenningsson},
  editor       = {Herbert Wiklicky and
                  Erik P. de Vink},
  title        = {Bridging Static and Dynamic Program Analysis using Fuzzy Logic},
  booktitle    = {Proceedings 15th Workshop on Quantitative Aspects of Programming Languages
                  and Systems, QAPL@ETAPS 2017, Uppsala, Sweden, 23rd April 2017},
  series       = {{EPTCS}},
  volume       = {250},
  pages        = {111--126},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.250.7},
  doi          = {10.4204/EPTCS.250.7},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/LidmanS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/SchuppNA17,
  author       = {Stefan Schupp and
                  Johanna Nellen and
                  Erika {\'{A}}brah{\'{a}}m},
  editor       = {Herbert Wiklicky and
                  Erik P. de Vink},
  title        = {Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability
                  Analysis},
  booktitle    = {Proceedings 15th Workshop on Quantitative Aspects of Programming Languages
                  and Systems, QAPL@ETAPS 2017, Uppsala, Sweden, 23rd April 2017},
  series       = {{EPTCS}},
  volume       = {250},
  pages        = {1--14},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.250.1},
  doi          = {10.4204/EPTCS.250.1},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/SchuppNA17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Vandin17,
  author       = {Andrea Vandin},
  editor       = {Herbert Wiklicky and
                  Erik P. de Vink},
  title        = {Language-based Abstractions for Dynamical Systems},
  booktitle    = {Proceedings 15th Workshop on Quantitative Aspects of Programming Languages
                  and Systems, QAPL@ETAPS 2017, Uppsala, Sweden, 23rd April 2017},
  series       = {{EPTCS}},
  volume       = {250},
  pages        = {15--24},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.250.2},
  doi          = {10.4204/EPTCS.250.2},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/Vandin17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/WiklickyV17,
  editor       = {Herbert Wiklicky and
                  Erik P. de Vink},
  title        = {Proceedings 15th Workshop on Quantitative Aspects of Programming Languages
                  and Systems, QAPL@ETAPS 2017, Uppsala, Sweden, 23rd April 2017},
  series       = {{EPTCS}},
  volume       = {250},
  year         = {2017},
  url          = {http://arxiv.org/abs/1707.03668},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/WiklickyV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}