Search dblp for Publications

export results for "toc:db/conf/epew/epew2007.bht:"

 download as .bib file

@inproceedings{DBLP:conf/epew/BabkaDT07,
  author       = {Vlastimil Babka and
                  Martin Deck{\'{y}} and
                  Petr Tuma},
  editor       = {Katinka Wolter},
  title        = {Resource Sharing in Performance Models},
  booktitle    = {Formal Methods and Stochastic Models for Performance Evaluation, Fourth
                  European Performance Engineering Workshop, {EPEW} 2007, Berlin, Germany,
                  September 27-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4748},
  pages        = {245--259},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75211-0\_18},
  doi          = {10.1007/978-3-540-75211-0\_18},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/epew/BabkaDT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/BeginBBWF07,
  author       = {Thomas Begin and
                  Alexandre Brandwajn and
                  Bruno Baynat and
                  Bernd E. Wolfinger and
                  Serge Fdida},
  editor       = {Katinka Wolter},
  title        = {Towards an Automatic Modeling Tool for Observed System Behavior},
  booktitle    = {Formal Methods and Stochastic Models for Performance Evaluation, Fourth
                  European Performance Engineering Workshop, {EPEW} 2007, Berlin, Germany,
                  September 27-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4748},
  pages        = {200--212},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75211-0\_15},
  doi          = {10.1007/978-3-540-75211-0\_15},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/BeginBBWF07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/BellH07,
  author       = {Alexander Bell and
                  Boudewijn R. Haverkort},
  editor       = {Katinka Wolter},
  title        = {Untold Horrors About Steady-State Probabilities: What Reward-Based
                  Measures Won't Tell About the Equilibrium Distribution},
  booktitle    = {Formal Methods and Stochastic Models for Performance Evaluation, Fourth
                  European Performance Engineering Workshop, {EPEW} 2007, Berlin, Germany,
                  September 27-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4748},
  pages        = {2--17},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75211-0\_2},
  doi          = {10.1007/978-3-540-75211-0\_2},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/BellH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/BusicP07,
  author       = {Ana Busic and
                  Nihal Pekergin},
  editor       = {Katinka Wolter},
  title        = {Closed Form Absorption Time Bounds},
  booktitle    = {Formal Methods and Stochastic Models for Performance Evaluation, Fourth
                  European Performance Engineering Workshop, {EPEW} 2007, Berlin, Germany,
                  September 27-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4748},
  pages        = {33--47},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75211-0\_4},
  doi          = {10.1007/978-3-540-75211-0\_4},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/BusicP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/CortellessaF07,
  author       = {Vittorio Cortellessa and
                  Laurento Frittella},
  editor       = {Katinka Wolter},
  title        = {A Framework for Automated Generation of Architectural Feedback from
                  Software Performance Analysis},
  booktitle    = {Formal Methods and Stochastic Models for Performance Evaluation, Fourth
                  European Performance Engineering Workshop, {EPEW} 2007, Berlin, Germany,
                  September 27-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4748},
  pages        = {171--185},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75211-0\_13},
  doi          = {10.1007/978-3-540-75211-0\_13},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/CortellessaF07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/FourneauPY07,
  author       = {Jean{-}Michel Fourneau and
                  Nihal Pekergin and
                  Sana Youn{\`{e}}s},
  editor       = {Katinka Wolter},
  title        = {Censoring Markov Chains and Stochastic Bounds},
  booktitle    = {Formal Methods and Stochastic Models for Performance Evaluation, Fourth
                  European Performance Engineering Workshop, {EPEW} 2007, Berlin, Germany,
                  September 27-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4748},
  pages        = {213--227},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75211-0\_16},
  doi          = {10.1007/978-3-540-75211-0\_16},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/FourneauPY07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/FreitagCCBNA07,
  author       = {Felix Freitag and
                  Pablo Chacin and
                  Isaac Chao and
                  Ren{\'{e}} Brunner and
                  Leandro Navarro and
                  Oscar Ardaiz},
  editor       = {Katinka Wolter},
  title        = {Performance Measuring Framework for Grid Market Middleware},
  booktitle    = {Formal Methods and Stochastic Models for Performance Evaluation, Fourth
                  European Performance Engineering Workshop, {EPEW} 2007, Berlin, Germany,
                  September 27-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4748},
  pages        = {141--153},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75211-0\_11},
  doi          = {10.1007/978-3-540-75211-0\_11},
  timestamp    = {Thu, 10 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/FreitagCCBNA07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/GoeringHHH07,
  author       = {Patrick Goering and
                  Geert J. Heijenk and
                  Boudewijn R. Haverkort and
                  Robbert Haarman},
  editor       = {Katinka Wolter},
  title        = {The Effect of Mobility on Local Service Discovery in the Ahoy Ad-Hoc
                  Network System},
  booktitle    = {Formal Methods and Stochastic Models for Performance Evaluation, Fourth
                  European Performance Engineering Workshop, {EPEW} 2007, Berlin, Germany,
                  September 27-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4748},
  pages        = {284--300},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75211-0\_21},
  doi          = {10.1007/978-3-540-75211-0\_21},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/epew/GoeringHHH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/HorvathT07,
  author       = {G{\'{a}}bor Horv{\'{a}}th and
                  Mikl{\'{o}}s Telek},
  editor       = {Katinka Wolter},
  title        = {A Canonical Representation of Order 3 Phase Type Distributions},
  booktitle    = {Formal Methods and Stochastic Models for Performance Evaluation, Fourth
                  European Performance Engineering Workshop, {EPEW} 2007, Berlin, Germany,
                  September 27-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4748},
  pages        = {48--62},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75211-0\_5},
  doi          = {10.1007/978-3-540-75211-0\_5},
  timestamp    = {Wed, 25 Apr 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/HorvathT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/KuntzH07,
  author       = {Matthias Kuntz and
                  Boudewijn R. Haverkort},
  editor       = {Katinka Wolter},
  title        = {Faster {SPDL} Model Checking Through Property-Driven State Space Generation},
  booktitle    = {Formal Methods and Stochastic Models for Performance Evaluation, Fourth
                  European Performance Engineering Workshop, {EPEW} 2007, Berlin, Germany,
                  September 27-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4748},
  pages        = {80--96},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75211-0\_7},
  doi          = {10.1007/978-3-540-75211-0\_7},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/epew/KuntzH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/LopezNR07,
  author       = {Natalia L{\'{o}}pez and
                  Manuel N{\'{u}}{\~{n}}ez and
                  Ismael Rodr{\'{\i}}guez},
  editor       = {Katinka Wolter},
  title        = {{SPAMR:} Extending {PAMR} with stochastic time},
  booktitle    = {Formal Methods and Stochastic Models for Performance Evaluation, Fourth
                  European Performance Engineering Workshop, {EPEW} 2007, Berlin, Germany,
                  September 27-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4748},
  pages        = {63--79},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75211-0\_6},
  doi          = {10.1007/978-3-540-75211-0\_6},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/LopezNR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/Marco07,
  author       = {Alessandro Di Marco},
  editor       = {Katinka Wolter},
  title        = {Exploiting Commodity Hard-Disk Geometry to Efficiently Preserve Data
                  Consistency},
  booktitle    = {Formal Methods and Stochastic Models for Performance Evaluation, Fourth
                  European Performance Engineering Workshop, {EPEW} 2007, Berlin, Germany,
                  September 27-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4748},
  pages        = {260--274},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75211-0\_19},
  doi          = {10.1007/978-3-540-75211-0\_19},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/Marco07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/MarkovskiSTV07,
  author       = {Jasen Markovski and
                  Ana Sokolova and
                  Nikola Trcka and
                  Erik P. de Vink},
  editor       = {Katinka Wolter},
  title        = {Compositionality for Markov Reward Chains with Fast Transitions},
  booktitle    = {Formal Methods and Stochastic Models for Performance Evaluation, Fourth
                  European Performance Engineering Workshop, {EPEW} 2007, Berlin, Germany,
                  September 27-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4748},
  pages        = {18--32},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75211-0\_3},
  doi          = {10.1007/978-3-540-75211-0\_3},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/MarkovskiSTV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/MelloMF07,
  author       = {Emerson Ribeiro de Mello and
                  Aad P. A. van Moorsel and
                  Joni da Silva Fraga},
  editor       = {Katinka Wolter},
  title        = {Evaluation of {P2P} Search Algorithms for Discovering Trust Paths},
  booktitle    = {Formal Methods and Stochastic Models for Performance Evaluation, Fourth
                  European Performance Engineering Workshop, {EPEW} 2007, Berlin, Germany,
                  September 27-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4748},
  pages        = {112--124},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75211-0\_9},
  doi          = {10.1007/978-3-540-75211-0\_9},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/MelloMF07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/MerayoNR07,
  author       = {Mercedes G. Merayo and
                  Manuel N{\'{u}}{\~{n}}ez and
                  Ismael Rodr{\'{\i}}guez},
  editor       = {Katinka Wolter},
  title        = {Testing Finite State Machines Presenting Stochastic Time and Timeouts},
  booktitle    = {Formal Methods and Stochastic Models for Performance Evaluation, Fourth
                  European Performance Engineering Workshop, {EPEW} 2007, Berlin, Germany,
                  September 27-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4748},
  pages        = {97--111},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75211-0\_8},
  doi          = {10.1007/978-3-540-75211-0\_8},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/MerayoNR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/Mitrani07,
  author       = {Isi Mitrani},
  editor       = {Katinka Wolter},
  title        = {Optimization Problems in Service Provisioning Systems},
  booktitle    = {Formal Methods and Stochastic Models for Performance Evaluation, Fourth
                  European Performance Engineering Workshop, {EPEW} 2007, Berlin, Germany,
                  September 27-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4748},
  pages        = {1},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75211-0\_1},
  doi          = {10.1007/978-3-540-75211-0\_1},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/Mitrani07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/MohammedOM07,
  author       = {Aminu Mohammed and
                  Mohamed Ould{-}Khaoua and
                  Lewis M. Mackenzie},
  editor       = {Katinka Wolter},
  title        = {An Efficient Counter-Based Broadcast Scheme for Mobile Ad Hoc Networks},
  booktitle    = {Formal Methods and Stochastic Models for Performance Evaluation, Fourth
                  European Performance Engineering Workshop, {EPEW} 2007, Berlin, Germany,
                  September 27-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4748},
  pages        = {275--283},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75211-0\_20},
  doi          = {10.1007/978-3-540-75211-0\_20},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/MohammedOM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/NouKT07,
  author       = {Ramon Nou and
                  Samuel Kounev and
                  Jordi Torres},
  editor       = {Katinka Wolter},
  title        = {Building Online Performance Models of Grid Middleware with Fine-Grained
                  Load-Balancing: {A} Globus Toolkit Case Study},
  booktitle    = {Formal Methods and Stochastic Models for Performance Evaluation, Fourth
                  European Performance Engineering Workshop, {EPEW} 2007, Berlin, Germany,
                  September 27-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4748},
  pages        = {125--140},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75211-0\_10},
  doi          = {10.1007/978-3-540-75211-0\_10},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/NouKT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/SachsKBB07,
  author       = {Kai Sachs and
                  Samuel Kounev and
                  Jean Bacon and
                  Alejandro P. Buchmann},
  editor       = {Katinka Wolter},
  title        = {Workload Characterization of the SPECjms2007 Benchmark},
  booktitle    = {Formal Methods and Stochastic Models for Performance Evaluation, Fourth
                  European Performance Engineering Workshop, {EPEW} 2007, Berlin, Germany,
                  September 27-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4748},
  pages        = {228--244},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75211-0\_17},
  doi          = {10.1007/978-3-540-75211-0\_17},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/SachsKBB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/SadreHR07,
  author       = {Ramin Sadre and
                  Boudewijn R. Haverkort and
                  Patrick Reinelt},
  editor       = {Katinka Wolter},
  title        = {A Fixed-Point Algorithm for Closed Queueing Networks},
  booktitle    = {Formal Methods and Stochastic Models for Performance Evaluation, Fourth
                  European Performance Engineering Workshop, {EPEW} 2007, Berlin, Germany,
                  September 27-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4748},
  pages        = {154--170},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75211-0\_12},
  doi          = {10.1007/978-3-540-75211-0\_12},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/epew/SadreHR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/SlegersMT07,
  author       = {Joris Slegers and
                  Isi Mitrani and
                  Nigel Thomas},
  editor       = {Katinka Wolter},
  title        = {Optimal Dynamic Server Allocation in Systems with On/Off Sources},
  booktitle    = {Formal Methods and Stochastic Models for Performance Evaluation, Fourth
                  European Performance Engineering Workshop, {EPEW} 2007, Berlin, Germany,
                  September 27-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4748},
  pages        = {186--199},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75211-0\_14},
  doi          = {10.1007/978-3-540-75211-0\_14},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/SlegersMT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/epew/2007,
  editor       = {Katinka Wolter},
  title        = {Formal Methods and Stochastic Models for Performance Evaluation, Fourth
                  European Performance Engineering Workshop, {EPEW} 2007, Berlin, Germany,
                  September 27-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4748},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75211-0},
  doi          = {10.1007/978-3-540-75211-0},
  isbn         = {978-3-540-75210-3},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/2007.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics