Search dblp for Publications

• > Home > Search

@article{DBLP:journals/eceasst/AndersonC09,
  author       = {Hugh Anderson and
                  Gabriel Ciobanu},
  title        = {Markov Abstractions for Probabilistic Pi-Calculus},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {22},
  year         = {2009},
  url          = {https://doi.org/10.14279/tuj.eceasst.22.317},
  doi          = {10.14279/TUJ.ECEASST.22.317},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/AndersonC09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/ArapinisCDFGKMRRSUY09,
  author       = {Myrto Arapinis and
                  Muffy Calder and
                  Louise A. Dennis and
                  Michael Fisher and
                  Philip D. Gray and
                  Savas Konur and
                  Alice Miller and
                  Eike Ritter and
                  Mark Ryan and
                  Sven Schewe and
                  Chris Unsworth and
                  Rehana Yasmin},
  title        = {Towards the Verification of Pervasive Systems},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {22},
  year         = {2009},
  url          = {https://doi.org/10.14279/tuj.eceasst.22.315},
  doi          = {10.14279/TUJ.ECEASST.22.315},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/ArapinisCDFGKMRRSUY09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/BonnefonLN09,
  author       = {Jean{-}Fran{\c{c}}ois Bonnefon and
                  Dominique Longin and
                  Manh{-}Hung Nguyen},
  title        = {A Logical Framework for Trust-Related Emotions},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {22},
  year         = {2009},
  url          = {https://doi.org/10.14279/tuj.eceasst.22.321},
  doi          = {10.14279/TUJ.ECEASST.22.321},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/BonnefonLN09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/BowenR09,
  author       = {Judy Bowen and
                  Steve Reeves},
  title        = {UI-Design Driven Model-Based Testing},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {22},
  year         = {2009},
  url          = {https://doi.org/10.14279/tuj.eceasst.22.314},
  doi          = {10.14279/TUJ.ECEASST.22.314},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/BowenR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/CalderGU09,
  author       = {Muffy Calder and
                  Philip D. Gray and
                  Chris Unsworth},
  title        = {Tightly coupled verification of pervasive systems},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {22},
  year         = {2009},
  url          = {https://doi.org/10.14279/tuj.eceasst.22.320},
  doi          = {10.14279/TUJ.ECEASST.22.320},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/CalderGU09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/HarrisonM09,
  author       = {Michael D. Harrison and
                  Mieke Massink},
  title        = {Preface},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {22},
  year         = {2009},
  url          = {https://doi.org/10.14279/tuj.eceasst.22.340.321},
  doi          = {10.14279/TUJ.ECEASST.22.340.321},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/HarrisonM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}