Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:journals/corr/BacciuGS15,
  author       = {Davide Bacciu and
                  Stefania Gnesi and
                  Laura Semini},
  editor       = {Maurice H. ter Beek and
                  Alberto Lluch{-}Lafuente},
  title        = {Using a Machine Learning Approach to Implement and Evaluate Product
                  Line Features},
  booktitle    = {Proceedings 11th International Workshop on Automated Specification
                  and Verification of Web Systems, {WWV} 2015, Oslo, Norway, 23rd June
                  2015},
  series       = {{EPTCS}},
  volume       = {188},
  pages        = {75--83},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.188.8},
  doi          = {10.4204/EPTCS.188.8},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BacciuGS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/FrancalanzaGR15,
  author       = {Adrian Francalanza and
                  Marco Giunti and
                  Ant{\'{o}}nio Ravara},
  editor       = {Maurice H. ter Beek and
                  Alberto Lluch{-}Lafuente},
  title        = {Unlocking Blocked Communicating Processes},
  booktitle    = {Proceedings 11th International Workshop on Automated Specification
                  and Verification of Web Systems, {WWV} 2015, Oslo, Norway, 23rd June
                  2015},
  series       = {{EPTCS}},
  volume       = {188},
  pages        = {23--32},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.188.4},
  doi          = {10.4204/EPTCS.188.4},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/FrancalanzaGR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Gul15,
  author       = {Nosheen Gul},
  editor       = {Maurice H. ter Beek and
                  Alberto Lluch{-}Lafuente},
  title        = {A Calculus of Mobility and Communication for Ubiquitous Computing},
  booktitle    = {Proceedings 11th International Workshop on Automated Specification
                  and Verification of Web Systems, {WWV} 2015, Oslo, Norway, 23rd June
                  2015},
  series       = {{EPTCS}},
  volume       = {188},
  pages        = {6--22},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.188.3},
  doi          = {10.4204/EPTCS.188.3},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Gul15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/GuoOS15,
  author       = {Hai{-}Feng Guo and
                  Qing Ouyang and
                  Harvey P. Siy},
  editor       = {Maurice H. ter Beek and
                  Alberto Lluch{-}Lafuente},
  title        = {Semantics-based Automated Web Testing},
  booktitle    = {Proceedings 11th International Workshop on Automated Specification
                  and Verification of Web Systems, {WWV} 2015, Oslo, Norway, 23rd June
                  2015},
  series       = {{EPTCS}},
  volume       = {188},
  pages        = {59--74},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.188.7},
  doi          = {10.4204/EPTCS.188.7},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/GuoOS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/HoangSTPN15,
  author       = {Van Tien Hoang and
                  Angelo Spognardi and
                  Francesco Tiezzi and
                  Marinella Petrocchi and
                  Rocco De Nicola},
  editor       = {Maurice H. ter Beek and
                  Alberto Lluch{-}Lafuente},
  title        = {Domain-specific queries and Web search personalization: some investigations},
  booktitle    = {Proceedings 11th International Workshop on Automated Specification
                  and Verification of Web Systems, {WWV} 2015, Oslo, Norway, 23rd June
                  2015},
  series       = {{EPTCS}},
  volume       = {188},
  pages        = {51--58},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.188.6},
  doi          = {10.4204/EPTCS.188.6},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/HoangSTPN15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/MargheriPT15,
  author       = {Andrea Margheri and
                  Rosario Pugliese and
                  Francesco Tiezzi},
  editor       = {Maurice H. ter Beek and
                  Alberto Lluch{-}Lafuente},
  title        = {On Properties of Policy-Based Specifications},
  booktitle    = {Proceedings 11th International Workshop on Automated Specification
                  and Verification of Web Systems, {WWV} 2015, Oslo, Norway, 23rd June
                  2015},
  series       = {{EPTCS}},
  volume       = {188},
  pages        = {33--50},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.188.5},
  doi          = {10.4204/EPTCS.188.5},
  timestamp    = {Thu, 20 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/MargheriPT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/BeekL15,
  editor       = {Maurice H. ter Beek and
                  Alberto Lluch{-}Lafuente},
  title        = {Proceedings 11th International Workshop on Automated Specification
                  and Verification of Web Systems, {WWV} 2015, Oslo, Norway, 23rd June
                  2015},
  series       = {{EPTCS}},
  volume       = {188},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.188},
  doi          = {10.4204/EPTCS.188},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/BeekL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}