Search dblp for Publications

export results for "stream:conf/probmiv:"

 download as .bib file

@proceedings{DBLP:conf/probmiv/1998,
  editor       = {Christel Baier and
                  Michael Huth and
                  Marta Z. Kwiatkowska and
                  Mark Ryan},
  title        = {First International Workshop on Probabilistic Methods in Verification,
                  {PROBMIV} 1998, Indianapolis, Indiana, USA, June 19-20, 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {22},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/22/suppl/C},
  timestamp    = {Mon, 11 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/probmiv/1998.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Alfaro99,
  author       = {Luca de Alfaro},
  editor       = {Christel Baier and
                  Michael Huth and
                  Marta Z. Kwiatkowska and
                  Mark Ryan},
  title        = {From Fairness to Chance},
  booktitle    = {First International Workshop on Probabilistic Methods in Verification,
                  {PROBMIV} 1998, Indianapolis, Indiana, USA, June 19-20, 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {22},
  pages        = {55--87},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(05)80597-3},
  doi          = {10.1016/S1571-0661(05)80597-3},
  timestamp    = {Mon, 11 Sep 2023 15:43:49 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/Alfaro99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BaierCH99,
  author       = {Christel Baier and
                  Edmund M. Clarke and
                  Vasiliki Hartonas{-}Garmhausen},
  editor       = {Christel Baier and
                  Michael Huth and
                  Marta Z. Kwiatkowska and
                  Mark Ryan},
  title        = {On the Semantic Foundations of Probabilistic Synchronous Reactive
                  Programs},
  booktitle    = {First International Workshop on Probabilistic Methods in Verification,
                  {PROBMIV} 1998, Indianapolis, Indiana, USA, June 19-20, 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {22},
  pages        = {3--28},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(05)80594-8},
  doi          = {10.1016/S1571-0661(05)80594-8},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BaierCH99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BaierHKR99,
  author       = {Christel Baier and
                  Michael Huth and
                  Marta Z. Kwiatkowska and
                  Mark Ryan},
  editor       = {Christel Baier and
                  Michael Huth and
                  Marta Z. Kwiatkowska and
                  Mark Ryan},
  title        = {Preface},
  booktitle    = {First International Workshop on Probabilistic Methods in Verification,
                  {PROBMIV} 1998, Indianapolis, Indiana, USA, June 19-20, 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {22},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(05)80593-6},
  doi          = {10.1016/S1571-0661(05)80593-6},
  timestamp    = {Mon, 11 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/BaierHKR99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BaierKN99,
  author       = {Christel Baier and
                  Marta Z. Kwiatkowska and
                  Gethin Norman},
  editor       = {Christel Baier and
                  Michael Huth and
                  Marta Z. Kwiatkowska and
                  Mark Ryan},
  title        = {Computing Probability Bounds for Linear Time Formulas over Concurrent
                  Probabilistic Systems},
  booktitle    = {First International Workshop on Probabilistic Methods in Verification,
                  {PROBMIV} 1998, Indianapolis, Indiana, USA, June 19-20, 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {22},
  pages        = {29},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(05)80595-X},
  doi          = {10.1016/S1571-0661(05)80595-X},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BaierKN99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/DArgenioHK99,
  author       = {Pedro R. D'Argenio and
                  Holger Hermanns and
                  Joost{-}Pieter Katoen},
  editor       = {Christel Baier and
                  Michael Huth and
                  Marta Z. Kwiatkowska and
                  Mark Ryan},
  title        = {On Generative Parallel Composition},
  booktitle    = {First International Workshop on Probabilistic Methods in Verification,
                  {PROBMIV} 1998, Indianapolis, Indiana, USA, June 19-20, 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {22},
  pages        = {30--54},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(05)80596-1},
  doi          = {10.1016/S1571-0661(05)80596-1},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/DArgenioHK99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Gregorio-RodriguezN99,
  author       = {Carlos Gregorio{-}Rodr{\'{\i}}guez and
                  Manuel N{\'{u}}{\~{n}}ez},
  editor       = {Christel Baier and
                  Michael Huth and
                  Marta Z. Kwiatkowska and
                  Mark Ryan},
  title        = {Denotational Semantics for Probabilistic Refusal Testing},
  booktitle    = {First International Workshop on Probabilistic Methods in Verification,
                  {PROBMIV} 1998, Indianapolis, Indiana, USA, June 19-20, 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {22},
  pages        = {111--137},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(05)80599-7},
  doi          = {10.1016/S1571-0661(05)80599-7},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Gregorio-RodriguezN99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/HartogV99,
  author       = {Jerry den Hartog and
                  Erik P. de Vink},
  editor       = {Christel Baier and
                  Michael Huth and
                  Marta Z. Kwiatkowska and
                  Mark Ryan},
  title        = {Mixing Up Nondeterminism and Probability: a preliminary report},
  booktitle    = {First International Workshop on Probabilistic Methods in Verification,
                  {PROBMIV} 1998, Indianapolis, Indiana, USA, June 19-20, 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {22},
  pages        = {88--110},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(05)82521-6},
  doi          = {10.1016/S1571-0661(05)82521-6},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HartogV99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/McIver99,
  author       = {Annabelle McIver},
  editor       = {Christel Baier and
                  Michael Huth and
                  Marta Z. Kwiatkowska and
                  Mark Ryan},
  title        = {Reasoning about efficiency within a probabilistic {\(\mathrm{\mu}\)}-calculus},
  booktitle    = {First International Workshop on Probabilistic Methods in Verification,
                  {PROBMIV} 1998, Indianapolis, Indiana, USA, June 19-20, 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {22},
  pages        = {138--155},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(05)80600-0},
  doi          = {10.1016/S1571-0661(05)80600-0},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/McIver99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/MeinelS99,
  author       = {Christoph Meinel and
                  Harald Sack},
  editor       = {Christel Baier and
                  Michael Huth and
                  Marta Z. Kwiatkowska and
                  Mark Ryan},
  title        = {Parity-OBDDs - a {BDD} structure for Probabilistic Verification},
  booktitle    = {First International Workshop on Probabilistic Methods in Verification,
                  {PROBMIV} 1998, Indianapolis, Indiana, USA, June 19-20, 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {22},
  pages        = {156--170},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(05)80601-2},
  doi          = {10.1016/S1571-0661(05)80601-2},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/MeinelS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Panangaden99,
  author       = {Prakash Panangaden},
  editor       = {Christel Baier and
                  Michael Huth and
                  Marta Z. Kwiatkowska and
                  Mark Ryan},
  title        = {The Category of Markov Kernels},
  booktitle    = {First International Workshop on Probabilistic Methods in Verification,
                  {PROBMIV} 1998, Indianapolis, Indiana, USA, June 19-20, 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {22},
  pages        = {171--187},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(05)80602-4},
  doi          = {10.1016/S1571-0661(05)80602-4},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Panangaden99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Segala99,
  author       = {Roberto Segala},
  editor       = {Christel Baier and
                  Michael Huth and
                  Marta Z. Kwiatkowska and
                  Mark Ryan},
  title        = {The Essence of Coin Lemmas},
  booktitle    = {First International Workshop on Probabilistic Methods in Verification,
                  {PROBMIV} 1998, Indianapolis, Indiana, USA, June 19-20, 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {22},
  pages        = {188--207},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(05)80603-6},
  doi          = {10.1016/S1571-0661(05)80603-6},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Segala99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.