Search dblp for Publications

export results for "toc:db/series/eptcs/eptcs28.bht:"

 download as .bib file

@inproceedings{DBLP:journals/corr/abs-1006-5094,
  author       = {Alessandro Aldini},
  editor       = {Alessandra Di Pierro and
                  Gethin Norman},
  title        = {Approximate Testing Equivalence Based on Time, Probability, and Observed
                  Behavior},
  booktitle    = {Proceedings Eighth Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2010, Paphos, Cyprus, 27-28th March 2010},
  series       = {{EPTCS}},
  volume       = {28},
  pages        = {1--15},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.28.1},
  doi          = {10.4204/EPTCS.28.1},
  timestamp    = {Wed, 12 Sep 2018 01:05:15 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1006-5094.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1006-5095,
  author       = {Karine Altisen and
                  Yanhong Liu and
                  Matthieu Moy},
  editor       = {Alessandra Di Pierro and
                  Gethin Norman},
  title        = {Performance Evaluation of Components Using a Granularity-based Interface
                  Between Real-Time Calculus and Timed Automata},
  booktitle    = {Proceedings Eighth Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2010, Paphos, Cyprus, 27-28th March 2010},
  series       = {{EPTCS}},
  volume       = {28},
  pages        = {16--33},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.28.2},
  doi          = {10.4204/EPTCS.28.2},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1006-5095.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1006-5096,
  author       = {Dami{\'{a}}n Barsotti and
                  Nicol{\'{a}}s Wolovick},
  editor       = {Alessandra Di Pierro and
                  Gethin Norman},
  title        = {Automatic Probabilistic Program Verification through Random Variable
                  Abstraction},
  booktitle    = {Proceedings Eighth Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2010, Paphos, Cyprus, 27-28th March 2010},
  series       = {{EPTCS}},
  volume       = {28},
  pages        = {34--47},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.28.3},
  doi          = {10.4204/EPTCS.28.3},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1006-5096.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1006-5097,
  author       = {Alessandro Bianco and
                  Marco Faella and
                  Fabio Mogavero and
                  Aniello Murano},
  editor       = {Alessandra Di Pierro and
                  Gethin Norman},
  title        = {Quantitative Fairness Games},
  booktitle    = {Proceedings Eighth Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2010, Paphos, Cyprus, 27-28th March 2010},
  series       = {{EPTCS}},
  volume       = {28},
  pages        = {48--63},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.28.4},
  doi          = {10.4204/EPTCS.28.4},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1006-5097.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1006-5098,
  author       = {David Cachera and
                  Arnaud Jobin},
  editor       = {Alessandra Di Pierro and
                  Gethin Norman},
  title        = {Injecting Abstract Interpretations into Linear Cost Models},
  booktitle    = {Proceedings Eighth Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2010, Paphos, Cyprus, 27-28th March 2010},
  series       = {{EPTCS}},
  volume       = {28},
  pages        = {64--81},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.28.5},
  doi          = {10.4204/EPTCS.28.5},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1006-5098.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1006-5099,
  author       = {Mario Coppo and
                  Ferruccio Damiani and
                  Maurizio Drocco and
                  Elena Grassi and
                  Angelo Troina},
  editor       = {Alessandra Di Pierro and
                  Gethin Norman},
  title        = {Stochastic Calculus of Wrapped Compartments},
  booktitle    = {Proceedings Eighth Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2010, Paphos, Cyprus, 27-28th March 2010},
  series       = {{EPTCS}},
  volume       = {28},
  pages        = {82--98},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.28.6},
  doi          = {10.4204/EPTCS.28.6},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1006-5099.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1006-5100,
  author       = {Sonja Georgievska and
                  Suzana Andova},
  editor       = {Alessandra Di Pierro and
                  Gethin Norman},
  title        = {Testing Reactive Probabilistic Processes},
  booktitle    = {Proceedings Eighth Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2010, Paphos, Cyprus, 27-28th March 2010},
  series       = {{EPTCS}},
  volume       = {28},
  pages        = {99--113},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.28.7},
  doi          = {10.4204/EPTCS.28.7},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1006-5100.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1006-5101,
  author       = {Matthias G{\"{u}}demann and
                  Frank Ortmeier},
  editor       = {Alessandra Di Pierro and
                  Gethin Norman},
  title        = {Probabilistic Model-Based Safety Analysis},
  booktitle    = {Proceedings Eighth Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2010, Paphos, Cyprus, 27-28th March 2010},
  series       = {{EPTCS}},
  volume       = {28},
  pages        = {114--128},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.28.8},
  doi          = {10.4204/EPTCS.28.8},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1006-5101.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1006-5102,
  author       = {Ukachukwu Ndukwu and
                  Annabelle McIver},
  editor       = {Alessandra Di Pierro and
                  Gethin Norman},
  title        = {An expectation transformer approach to predicate abstraction and data
                  independence for probabilistic programs},
  booktitle    = {Proceedings Eighth Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2010, Paphos, Cyprus, 27-28th March 2010},
  series       = {{EPTCS}},
  volume       = {28},
  pages        = {129--143},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.28.9},
  doi          = {10.4204/EPTCS.28.9},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1006-5102.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1006-5103,
  author       = {Markus N. Rabe and
                  Sven Schewe},
  editor       = {Alessandra Di Pierro and
                  Gethin Norman},
  title        = {Optimal Time-Abstract Schedulers for CTMDPs and Markov Games},
  booktitle    = {Proceedings Eighth Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2010, Paphos, Cyprus, 27-28th March 2010},
  series       = {{EPTCS}},
  volume       = {28},
  pages        = {144--158},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.28.10},
  doi          = {10.4204/EPTCS.28.10},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1006-5103.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1006-5104,
  author       = {Anton Stefanek and
                  Richard A. Hayden and
                  Jeremy T. Bradley},
  editor       = {Alessandra Di Pierro and
                  Gethin Norman},
  title        = {A new tool for the performance analysis of massively parallel computer
                  systems},
  booktitle    = {Proceedings Eighth Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2010, Paphos, Cyprus, 27-28th March 2010},
  series       = {{EPTCS}},
  volume       = {28},
  pages        = {159--181},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.28.11},
  doi          = {10.4204/EPTCS.28.11},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1006-5104.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-1006-5107,
  editor       = {Alessandra Di Pierro and
                  Gethin Norman},
  title        = {Proceedings Eighth Workshop on Quantitative Aspects of Programming
                  Languages, {QAPL} 2010, Paphos, Cyprus, 27-28th March 2010},
  series       = {{EPTCS}},
  volume       = {28},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.28},
  doi          = {10.4204/EPTCS.28},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1006-5107.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

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