Search dblp for Publications

export results for "toc:db/journals/entcs/entcs310.bht:"

 download as .bib file

@proceedings{DBLP:conf/pasm/2014,
  editor       = {Jeremy T. Bradley and
                  William J. Knottenbelt and
                  Nigel Thomas},
  title        = {Proceedings of the Seventh International Workshop on the Practical
                  Application of Stochastic Modelling, {PASM} 2014, Newcastle-upon-Tyne,
                  UK, May 2014},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {310},
  publisher    = {Elsevier},
  year         = {2015},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/310/suppl/C},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pasm/2014.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/AvritzerCGHHKMR15,
  author       = {Alberto Avritzer and
                  Laura Carnevali and
                  Hamed Ghasemieh and
                  Lucia Happe and
                  Boudewijn R. Haverkort and
                  Anne Koziolek and
                  Daniel S. Menasch{\'{e}} and
                  Anne Remke and
                  Sahra Sedigh Sarvestani and
                  Enrico Vicario},
  editor       = {Jeremy T. Bradley and
                  William J. Knottenbelt and
                  Nigel Thomas},
  title        = {Survivability Evaluation of Gas, Water and Electricity Infrastructures},
  booktitle    = {Proceedings of the Seventh International Workshop on the Practical
                  Application of Stochastic Modelling, {PASM} 2014, Newcastle-upon-Tyne,
                  UK, May 2014},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {310},
  pages        = {5--25},
  publisher    = {Elsevier},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.entcs.2014.12.010},
  doi          = {10.1016/J.ENTCS.2014.12.010},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/AvritzerCGHHKMR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BortolussiHT15,
  author       = {Luca Bortolussi and
                  Jane Hillston and
                  Mirco Tribastone},
  editor       = {Jeremy T. Bradley and
                  William J. Knottenbelt and
                  Nigel Thomas},
  title        = {Fluid Performability Analysis of Nested Automata Models},
  booktitle    = {Proceedings of the Seventh International Workshop on the Practical
                  Application of Stochastic Modelling, {PASM} 2014, Newcastle-upon-Tyne,
                  UK, May 2014},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {310},
  pages        = {27--47},
  publisher    = {Elsevier},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.entcs.2014.12.011},
  doi          = {10.1016/J.ENTCS.2014.12.011},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BortolussiHT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BradleyKT15,
  author       = {Jeremy T. Bradley and
                  William J. Knottenbelt and
                  Nigel Thomas},
  editor       = {Jeremy T. Bradley and
                  William J. Knottenbelt and
                  Nigel Thomas},
  title        = {Preface},
  booktitle    = {Proceedings of the Seventh International Workshop on the Practical
                  Application of Stochastic Modelling, {PASM} 2014, Newcastle-upon-Tyne,
                  UK, May 2014},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {310},
  pages        = {1--3},
  publisher    = {Elsevier},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.entcs.2014.12.009},
  doi          = {10.1016/J.ENTCS.2014.12.009},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BradleyKT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CerottiGPS15,
  author       = {Davide Cerotti and
                  Marco Gribaudo and
                  Pietro Piazzolla and
                  Giuseppe Serazzi},
  editor       = {Jeremy T. Bradley and
                  William J. Knottenbelt and
                  Nigel Thomas},
  title        = {Asymptotic Behavior and Performance Constraints of Replication Policies},
  booktitle    = {Proceedings of the Seventh International Workshop on the Practical
                  Application of Stochastic Modelling, {PASM} 2014, Newcastle-upon-Tyne,
                  UK, May 2014},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {310},
  pages        = {49--63},
  publisher    = {Elsevier},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.entcs.2014.12.012},
  doi          = {10.1016/J.ENTCS.2014.12.012},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CerottiGPS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/ForshawMT15,
  author       = {Matthew Forshaw and
                  Andrew Stephen McGough and
                  Nigel Thomas},
  editor       = {Jeremy T. Bradley and
                  William J. Knottenbelt and
                  Nigel Thomas},
  title        = {Energy-efficient Checkpointing in High-throughput Cycle-stealing Distributed
                  Systems},
  booktitle    = {Proceedings of the Seventh International Workshop on the Practical
                  Application of Stochastic Modelling, {PASM} 2014, Newcastle-upon-Tyne,
                  UK, May 2014},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {310},
  pages        = {65--90},
  publisher    = {Elsevier},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.entcs.2014.12.013},
  doi          = {10.1016/J.ENTCS.2014.12.013},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ForshawMT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/GribaudoIM15,
  author       = {Marco Gribaudo and
                  Mauro Iacono and
                  Stefano Marrone},
  editor       = {Jeremy T. Bradley and
                  William J. Knottenbelt and
                  Nigel Thomas},
  title        = {Exploiting Bayesian Networks for the Analysis of Combined Attack Trees},
  booktitle    = {Proceedings of the Seventh International Workshop on the Practical
                  Application of Stochastic Modelling, {PASM} 2014, Newcastle-upon-Tyne,
                  UK, May 2014},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {310},
  pages        = {91--111},
  publisher    = {Elsevier},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.entcs.2014.12.014},
  doi          = {10.1016/J.ENTCS.2014.12.014},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GribaudoIM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/MontecchiNCVCB15,
  author       = {Leonardo Montecchi and
                  Nicola Nostro and
                  Andrea Ceccarelli and
                  Giuseppe Vella and
                  Antonio Caruso and
                  Andrea Bondavalli},
  editor       = {Jeremy T. Bradley and
                  William J. Knottenbelt and
                  Nigel Thomas},
  title        = {Model-based Evaluation of Scalability and Security Tradeoffs: a Case
                  Study on a Multi-Service Platform},
  booktitle    = {Proceedings of the Seventh International Workshop on the Practical
                  Application of Stochastic Modelling, {PASM} 2014, Newcastle-upon-Tyne,
                  UK, May 2014},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {310},
  pages        = {113--133},
  publisher    = {Elsevier},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.entcs.2014.12.015},
  doi          = {10.1016/J.ENTCS.2014.12.015},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/MontecchiNCVCB15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/PolanskySG15,
  author       = {Ronny J. Polansky and
                  Samyukta Sethuraman and
                  Natarajan Gautam},
  editor       = {Jeremy T. Bradley and
                  William J. Knottenbelt and
                  Nigel Thomas},
  title        = {Obtaining Optimal Thresholds for Processors with Speed-Scaling},
  booktitle    = {Proceedings of the Seventh International Workshop on the Practical
                  Application of Stochastic Modelling, {PASM} 2014, Newcastle-upon-Tyne,
                  UK, May 2014},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {310},
  pages        = {135--155},
  publisher    = {Elsevier},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.entcs.2014.12.016},
  doi          = {10.1016/J.ENTCS.2014.12.016},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/PolanskySG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/ReijsbergenGH15,
  author       = {Dani{\"{e}}l Reijsbergen and
                  Stephen Gilmore and
                  Jane Hillston},
  editor       = {Jeremy T. Bradley and
                  William J. Knottenbelt and
                  Nigel Thomas},
  title        = {Patch-based Modelling of City-centre Bus Movement with Phase-type
                  Distributions},
  booktitle    = {Proceedings of the Seventh International Workshop on the Practical
                  Application of Stochastic Modelling, {PASM} 2014, Newcastle-upon-Tyne,
                  UK, May 2014},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {310},
  pages        = {157--177},
  publisher    = {Elsevier},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.entcs.2014.12.017},
  doi          = {10.1016/J.ENTCS.2014.12.017},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ReijsbergenGH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/VissatCG15,
  author       = {Ludovica Luisa Vissat and
                  Allan Clark and
                  Stephen Gilmore},
  editor       = {Jeremy T. Bradley and
                  William J. Knottenbelt and
                  Nigel Thomas},
  title        = {Finding Optimal Timetables for Edinburgh Bus Routes},
  booktitle    = {Proceedings of the Seventh International Workshop on the Practical
                  Application of Stochastic Modelling, {PASM} 2014, Newcastle-upon-Tyne,
                  UK, May 2014},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {310},
  pages        = {179--199},
  publisher    = {Elsevier},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.entcs.2014.12.018},
  doi          = {10.1016/J.ENTCS.2014.12.018},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/VissatCG15.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.