Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:journals/corr/abs-1108-2348,
  author       = {Petros Papapanagiotou and
                  Jacques D. Fleuriot},
  editor       = {Laura Kov{\'{a}}cs and
                  Rosario Pugliese and
                  Francesco Tiezzi},
  title        = {A theorem proving framework for the formal verification of Web Services
                  Composition},
  booktitle    = {Proceedings 7th International Workshop on Automated Specification
                  and Verification of Web Systems, {WWV} 2011, Reykjavik, Iceland, 9th
                  June 2011},
  series       = {{EPTCS}},
  volume       = {61},
  pages        = {1--16},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.61.1},
  doi          = {10.4204/EPTCS.61.1},
  timestamp    = {Sun, 02 Oct 2022 15:31:49 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1108-2348.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1108-2349,
  author       = {Naseem Ibrahim and
                  Vangalur S. Alagar and
                  Mubarak Mohammad},
  editor       = {Laura Kov{\'{a}}cs and
                  Rosario Pugliese and
                  Francesco Tiezzi},
  title        = {Specification and Verification of Context-dependent Services},
  booktitle    = {Proceedings 7th International Workshop on Automated Specification
                  and Verification of Web Systems, {WWV} 2011, Reykjavik, Iceland, 9th
                  June 2011},
  series       = {{EPTCS}},
  volume       = {61},
  pages        = {17--33},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.61.2},
  doi          = {10.4204/EPTCS.61.2},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1108-2349.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1108-2350,
  author       = {Maurice H. ter Beek and
                  Stefania Gnesi and
                  Mercy N. Njima},
  editor       = {Laura Kov{\'{a}}cs and
                  Rosario Pugliese and
                  Francesco Tiezzi},
  title        = {Product Lines for Service Oriented Applications - {PL} for {SOA}},
  booktitle    = {Proceedings 7th International Workshop on Automated Specification
                  and Verification of Web Systems, {WWV} 2011, Reykjavik, Iceland, 9th
                  June 2011},
  series       = {{EPTCS}},
  volume       = {61},
  pages        = {34--48},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.61.3},
  doi          = {10.4204/EPTCS.61.3},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1108-2350.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1108-2357,
  author       = {Boni Garc{\'{\i}}a and
                  Juan C. Due{\~{n}}as},
  editor       = {Laura Kov{\'{a}}cs and
                  Rosario Pugliese and
                  Francesco Tiezzi},
  title        = {Automated Functional Testing based on the Navigation of Web Applications},
  booktitle    = {Proceedings 7th International Workshop on Automated Specification
                  and Verification of Web Systems, {WWV} 2011, Reykjavik, Iceland, 9th
                  June 2011},
  series       = {{EPTCS}},
  volume       = {61},
  pages        = {49--65},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.61.4},
  doi          = {10.4204/EPTCS.61.4},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1108-2357.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1108-2358,
  author       = {Mar{\'{\i}}a Alpuente and
                  Demis Ballis and
                  Javier Espert and
                  Francisco Frechina and
                  Daniel Romero},
  editor       = {Laura Kov{\'{a}}cs and
                  Rosario Pugliese and
                  Francesco Tiezzi},
  title        = {Debugging of Web Applications with Web-TLR},
  booktitle    = {Proceedings 7th International Workshop on Automated Specification
                  and Verification of Web Systems, {WWV} 2011, Reykjavik, Iceland, 9th
                  June 2011},
  series       = {{EPTCS}},
  volume       = {61},
  pages        = {66--80},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.61.5},
  doi          = {10.4204/EPTCS.61.5},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1108-2358.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1108-2359,
  author       = {Letterio Galletta and
                  Giorgio Levi},
  editor       = {Laura Kov{\'{a}}cs and
                  Rosario Pugliese and
                  Francesco Tiezzi},
  title        = {An Abstract Semantics for Inference of Types and Effects in a Multi-Tier
                  Web Language},
  booktitle    = {Proceedings 7th International Workshop on Automated Specification
                  and Verification of Web Systems, {WWV} 2011, Reykjavik, Iceland, 9th
                  June 2011},
  series       = {{EPTCS}},
  volume       = {61},
  pages        = {81--95},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.61.6},
  doi          = {10.4204/EPTCS.61.6},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1108-2359.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1108-2360,
  author       = {Marco Giunti},
  editor       = {Laura Kov{\'{a}}cs and
                  Rosario Pugliese and
                  Francesco Tiezzi},
  title        = {A type checking algorithm for qualified session types},
  booktitle    = {Proceedings 7th International Workshop on Automated Specification
                  and Verification of Web Systems, {WWV} 2011, Reykjavik, Iceland, 9th
                  June 2011},
  series       = {{EPTCS}},
  volume       = {61},
  pages        = {96--114},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.61.7},
  doi          = {10.4204/EPTCS.61.7},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1108-2360.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-1108-2085,
  editor       = {Laura Kov{\'{a}}cs and
                  Rosario Pugliese and
                  Francesco Tiezzi},
  title        = {Proceedings 7th International Workshop on Automated Specification
                  and Verification of Web Systems, {WWV} 2011, Reykjavik, Iceland, 9th
                  June 2011},
  series       = {{EPTCS}},
  volume       = {61},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.61},
  doi          = {10.4204/EPTCS.61},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1108-2085.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.