default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/wwv:"
download as .bib file
@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}
}
@inproceedings{DBLP:journals/corr/AlarteIST14,
author = {Juli{\'{a}}n Alarte and
David Insa and
Josep Silva and
Salvador Tamarit},
editor = {Maurice H. ter Beek and
Ant{\'{o}}nio Ravara},
title = {Automatic Detection of Webpages that Share the Same Web Template},
booktitle = {Proceedings 10th International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2014, Vienna, Austria, July
18, 2014},
series = {{EPTCS}},
volume = {163},
pages = {2--15},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.163.2},
doi = {10.4204/EPTCS.163.2},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/AlarteIST14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/AliF14,
author = {Asad Ali and
Maribel Fern{\'{a}}ndez},
editor = {Maurice H. ter Beek and
Ant{\'{o}}nio Ravara},
title = {Static Enforcement of Role-Based Access Control},
booktitle = {Proceedings 10th International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2014, Vienna, Austria, July
18, 2014},
series = {{EPTCS}},
volume = {163},
pages = {36--50},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.163.4},
doi = {10.4204/EPTCS.163.4},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/AliF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/RamanujamS14,
author = {Ramaswamy Ramanujam and
S. Sheerazuddin},
editor = {Maurice H. ter Beek and
Ant{\'{o}}nio Ravara},
title = {A Local Logic for Realizability in Web Service Choreographies},
booktitle = {Proceedings 10th International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2014, Vienna, Austria, July
18, 2014},
series = {{EPTCS}},
volume = {163},
pages = {16--35},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.163.3},
doi = {10.4204/EPTCS.163.3},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/RamanujamS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/BeekR14,
editor = {Maurice H. ter Beek and
Ant{\'{o}}nio Ravara},
title = {Proceedings 10th International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2014, Vienna, Austria, July
18, 2014},
series = {{EPTCS}},
volume = {163},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.163},
doi = {10.4204/EPTCS.163},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BeekR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/CesariPT13,
author = {Luca Cesari and
Rosario Pugliese and
Francesco Tiezzi},
editor = {Ant{\'{o}}nio Ravara and
Josep Silva},
title = {Blind-date Conversation Joining},
booktitle = {Proceedings 9th International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2013, Florence, Italy, 6th
June 2013},
series = {{EPTCS}},
volume = {123},
pages = {3--18},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.123.3},
doi = {10.4204/EPTCS.123.3},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/CesariPT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/CiobanuHS13,
author = {Gabriel Ciobanu and
Ross Horne and
Vladimiro Sassone},
editor = {Ant{\'{o}}nio Ravara and
Josep Silva},
title = {Local Type Checking for Linked Data Consumers},
booktitle = {Proceedings 9th International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2013, Florence, Italy, 6th
June 2013},
series = {{EPTCS}},
volume = {123},
pages = {19--33},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.123.4},
doi = {10.4204/EPTCS.123.4},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/CiobanuHS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/LaneseMZ13,
author = {Ivan Lanese and
Fabrizio Montesi and
Gianluigi Zavattaro},
editor = {Ant{\'{o}}nio Ravara and
Josep Silva},
title = {Amending Choreographies},
booktitle = {Proceedings 9th International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2013, Florence, Italy, 6th
June 2013},
series = {{EPTCS}},
volume = {123},
pages = {34--48},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.123.5},
doi = {10.4204/EPTCS.123.5},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LaneseMZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Smith13a,
author = {James Smith},
editor = {Ant{\'{o}}nio Ravara and
Josep Silva},
title = {Proving Properties of Rich Internet Applications},
booktitle = {Proceedings 9th International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2013, Florence, Italy, 6th
June 2013},
series = {{EPTCS}},
volume = {123},
pages = {49--63},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.123.6},
doi = {10.4204/EPTCS.123.6},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Smith13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wwv/2010,
editor = {Laura Kov{\'{a}}cs and
Temur Kutsia},
title = {6th International Workshop on Automated Specification and Verification
of Web Systems, {WWV} 2010, Vienna, Austria, July 30-31, 2010},
series = {EPiC Series in Computing},
volume = {18},
publisher = {EasyChair},
year = {2013},
url = {https://easychair.org/publications/volume/WWV\_2010},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wwv/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/RavaraS13,
editor = {Ant{\'{o}}nio Ravara and
Josep Silva},
title = {Proceedings 9th International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2013, Florence, Italy, 6th
June 2013},
series = {{EPTCS}},
volume = {123},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.123},
doi = {10.4204/EPTCS.123},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/RavaraS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-6110,
author = {Leonidas Lampropoulos and
Konstantinos Sagonas},
editor = {Josep Silva and
Francesco Tiezzi},
title = {Automatic WSDL-guided Test Case Generation for PropEr Testing of Web
Services},
booktitle = {Proceedings 8th International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2012, Stockholm, Sweden, 16th
July 2012},
series = {{EPTCS}},
volume = {98},
pages = {3--16},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.98.3},
doi = {10.4204/EPTCS.98.3},
timestamp = {Thu, 20 May 2021 14:31:18 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-6110.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-6111,
author = {Jes{\'{u}}s Manuel Almendros{-}Jim{\'{e}}nez and
Luis Iribarne},
editor = {Josep Silva and
Francesco Tiezzi},
title = {Model Validation in Ontology Based Transformations},
booktitle = {Proceedings 8th International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2012, Stockholm, Sweden, 16th
July 2012},
series = {{EPTCS}},
volume = {98},
pages = {17--30},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.98.4},
doi = {10.4204/EPTCS.98.4},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-6111.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-6112,
author = {James Smith},
editor = {Josep Silva and
Francesco Tiezzi},
title = {The Jasper Framework: Towards a Platform Independent, Formal Treatment
ofWeb Programming},
booktitle = {Proceedings 8th International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2012, Stockholm, Sweden, 16th
July 2012},
series = {{EPTCS}},
volume = {98},
pages = {31--45},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.98.5},
doi = {10.4204/EPTCS.98.5},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-6112.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-6113,
author = {Sergio L{\'{o}}pez and
Josep Silva and
David Insa},
editor = {Josep Silva and
Francesco Tiezzi},
title = {Using the {DOM} Tree for Content Extraction},
booktitle = {Proceedings 8th International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2012, Stockholm, Sweden, 16th
July 2012},
series = {{EPTCS}},
volume = {98},
pages = {46--59},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.98.6},
doi = {10.4204/EPTCS.98.6},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-6113.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-6114,
author = {Jonathan Michaux and
Elie Najm and
Alessandro Fantechi},
editor = {Josep Silva and
Francesco Tiezzi},
title = {Adding Sessions to {BPEL}},
booktitle = {Proceedings 8th International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2012, Stockholm, Sweden, 16th
July 2012},
series = {{EPTCS}},
volume = {98},
pages = {60--76},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.98.7},
doi = {10.4204/EPTCS.98.7},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-6114.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-6115,
author = {Irum Rauf and
Ali Hanzala Khan and
Ivan Porres},
editor = {Josep Silva and
Francesco Tiezzi},
title = {Analyzing Consistency of Behavioral {REST} Web Service Interfaces},
booktitle = {Proceedings 8th International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2012, Stockholm, Sweden, 16th
July 2012},
series = {{EPTCS}},
volume = {98},
pages = {77--92},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.98.8},
doi = {10.4204/EPTCS.98.8},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-6115.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1210-5783,
editor = {Josep Silva and
Francesco Tiezzi},
title = {Proceedings 8th International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2012, Stockholm, Sweden, 16th
July 2012},
series = {{EPTCS}},
volume = {98},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.98},
doi = {10.4204/EPTCS.98},
timestamp = {Thu, 20 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-5783.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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}
}
@inproceedings{DBLP:conf/wwv/Almendros-JimenezBG10,
author = {Jes{\'{u}}s Manuel Almendros{-}Jim{\'{e}}nez and
Antonio Becerra{-}Ter{\'{o}}n and
Francisco Garc{\'{\i}}a{-}Garc{\'{\i}}a},
editor = {Laura Kov{\'{a}}cs and
Temur Kutsia},
title = {Development of a Query Language for {GML} based on XPath},
booktitle = {6th International Workshop on Automated Specification and Verification
of Web Systems, {WWV} 2010, Vienna, Austria, July 30-31, 2010},
series = {EPiC Series in Computing},
volume = {18},
pages = {51--64},
publisher = {EasyChair},
year = {2010},
url = {https://doi.org/10.29007/hfk7},
doi = {10.29007/HFK7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wwv/Almendros-JimenezBG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wwv/Eiter10,
author = {Thomas Eiter},
editor = {Laura Kov{\'{a}}cs and
Temur Kutsia},
title = {Answer Set Programming in a Nutshell},
booktitle = {6th International Workshop on Automated Specification and Verification
of Web Systems, {WWV} 2010, Vienna, Austria, July 30-31, 2010},
series = {EPiC Series in Computing},
volume = {18},
pages = {1},
publisher = {EasyChair},
year = {2010},
url = {https://doi.org/10.29007/tmt3},
doi = {10.29007/TMT3},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wwv/Eiter10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wwv/JaksicF10,
author = {Mirjana Jaksic and
Burkhard Freitag},
editor = {Laura Kov{\'{a}}cs and
Temur Kutsia},
title = {Temporal Patterns for Document Verification},
booktitle = {6th International Workshop on Automated Specification and Verification
of Web Systems, {WWV} 2010, Vienna, Austria, July 30-31, 2010},
series = {EPiC Series in Computing},
volume = {18},
pages = {3--18},
publisher = {EasyChair},
year = {2010},
url = {https://doi.org/10.29007/dclv},
doi = {10.29007/DCLV},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wwv/JaksicF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wwv/Mattick10,
author = {Volker Mattick},
editor = {Laura Kov{\'{a}}cs and
Temur Kutsia},
title = {Specifying Hyperdocuments with Algebraic Methods},
booktitle = {6th International Workshop on Automated Specification and Verification
of Web Systems, {WWV} 2010, Vienna, Austria, July 30-31, 2010},
series = {EPiC Series in Computing},
volume = {18},
pages = {19--33},
publisher = {EasyChair},
year = {2010},
url = {https://doi.org/10.29007/3bwg},
doi = {10.29007/3BWG},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wwv/Mattick10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wwv/ValeroCS10,
author = {H{\'{e}}ctor Valero and
Carlos J. Castillo and
Josep Silva},
editor = {Laura Kov{\'{a}}cs and
Temur Kutsia},
title = {Reconstructing Information Retrieved from Multiple Websites},
booktitle = {6th International Workshop on Automated Specification and Verification
of Web Systems, {WWV} 2010, Vienna, Austria, July 30-31, 2010},
series = {EPiC Series in Computing},
volume = {18},
pages = {65--80},
publisher = {EasyChair},
year = {2010},
url = {https://doi.org/10.29007/7q7l},
doi = {10.29007/7Q7L},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wwv/ValeroCS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wwv/Voronkov10,
author = {Andrei Voronkov},
editor = {Laura Kov{\'{a}}cs and
Temur Kutsia},
title = {EasyChair},
booktitle = {6th International Workshop on Automated Specification and Verification
of Web Systems, {WWV} 2010, Vienna, Austria, July 30-31, 2010},
series = {EPiC Series in Computing},
volume = {18},
pages = {2},
publisher = {EasyChair},
year = {2010},
url = {https://doi.org/10.29007/n94r},
doi = {10.29007/N94R},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wwv/Voronkov10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wwv/WeitlN10,
author = {Franz Weitl and
Shin Nakajima},
editor = {Laura Kov{\'{a}}cs and
Temur Kutsia},
title = {Incremental Construction of Counterexamples in Model Checking Web
Documents},
booktitle = {6th International Workshop on Automated Specification and Verification
of Web Systems, {WWV} 2010, Vienna, Austria, July 30-31, 2010},
series = {EPiC Series in Computing},
volume = {18},
pages = {34--50},
publisher = {EasyChair},
year = {2010},
url = {https://doi.org/10.29007/c8jt},
doi = {10.29007/C8JT},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wwv/WeitlN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wwv/2008,
editor = {Demis Ballis and
Santiago Escobar},
title = {Proceedings of the 4th International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2008, Siena, Italy, July 4,
2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {235},
publisher = {Elsevier},
year = {2009},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/235/suppl/C},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wwv/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AlpuenteR09,
author = {Mar{\'{\i}}a Alpuente and
Daniel Romero},
editor = {Demis Ballis and
Santiago Escobar},
title = {A Visual Technique for Web Pages Comparison},
booktitle = {Proceedings of the 4th International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2008, Siena, Italy, July 4,
2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {235},
pages = {3--18},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.03.002},
doi = {10.1016/J.ENTCS.2009.03.002},
timestamp = {Thu, 09 Mar 2023 13:11:35 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AlpuenteR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Baggi09,
author = {Michele Baggi},
editor = {Demis Ballis and
Santiago Escobar},
title = {An Ontology-based System for Semantic Filtering of {XML} Data},
booktitle = {Proceedings of the 4th International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2008, Siena, Italy, July 4,
2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {235},
pages = {19--33},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.03.003},
doi = {10.1016/J.ENTCS.2009.03.003},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Baggi09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BallisE09,
author = {Demis Ballis and
Santiago Escobar},
editor = {Demis Ballis and
Santiago Escobar},
title = {Preface},
booktitle = {Proceedings of the 4th International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2008, Siena, Italy, July 4,
2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {235},
pages = {1--2},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.03.001},
doi = {10.1016/J.ENTCS.2009.03.001},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BallisE09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BantiLPT09,
author = {Federico Banti and
Alessandro Lapadula and
Rosario Pugliese and
Francesco Tiezzi},
editor = {Demis Ballis and
Santiago Escobar},
title = {Specification and Analysis of {SOC} Systems Using {COWS:} {A} Finance
Case Study},
booktitle = {Proceedings of the 4th International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2008, Siena, Italy, July 4,
2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {235},
pages = {71--105},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.03.006},
doi = {10.1016/J.ENTCS.2009.03.006},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BantiLPT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BarkerL09,
author = {Steve Barker and
Gill Lowen},
editor = {Demis Ballis and
Santiago Escobar},
title = {Event-oriented Web-based E-trading},
booktitle = {Proceedings of the 4th International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2008, Siena, Italy, July 4,
2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {235},
pages = {35--53},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.03.004},
doi = {10.1016/J.ENTCS.2009.03.004},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BarkerL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HaidarA09,
author = {Ali Nasrat Haidar and
Ali E. Abdallah},
editor = {Demis Ballis and
Santiago Escobar},
title = {Formal Modelling of {PKI} Based Authentication},
booktitle = {Proceedings of the 4th International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2008, Siena, Italy, July 4,
2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {235},
pages = {55--70},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.03.005},
doi = {10.1016/J.ENTCS.2009.03.005},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HaidarA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MancarellaTT09,
author = {Paolo Mancarella and
Giacomo Terreni and
Francesca Toni},
editor = {Demis Ballis and
Santiago Escobar},
title = {Web Sites Repairing through Abduction},
booktitle = {Proceedings of the 4th International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2008, Siena, Italy, July 4,
2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {235},
pages = {137--152},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.03.009},
doi = {10.1016/J.ENTCS.2009.03.009},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MancarellaTT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RamakrishnanMBIA09,
author = {I. V. Ramakrishnan and
Jalal Mahmud and
Yevgen Borodin and
Muhammad Asiful Islam and
Faisal Ahmed},
editor = {Demis Ballis and
Santiago Escobar},
title = {Bridging the Web Accessibility Divide},
booktitle = {Proceedings of the 4th International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2008, Siena, Italy, July 4,
2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {235},
pages = {107--124},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.03.007},
doi = {10.1016/J.ENTCS.2009.03.007},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/RamakrishnanMBIA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Silva09,
author = {Josep Silva},
editor = {Demis Ballis and
Santiago Escobar},
title = {Information Filtering and Information Retrieval with the Web Filtering
Toolbar},
booktitle = {Proceedings of the 4th International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2008, Siena, Italy, July 4,
2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {235},
pages = {125--136},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.03.008},
doi = {10.1016/J.ENTCS.2009.03.008},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Silva09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wwv/2007,
editor = {Demis Ballis and
Santiago Escobar and
Massimo Marchiori},
title = {Proceedings of the 3rd International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2007, Venice, Italy, December
14, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {200},
number = {3},
publisher = {Elsevier},
year = {2008},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/200/issue/3},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wwv/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AbouzaidM08,
author = {Faisal Abouzaid and
John Mullins},
editor = {Demis Ballis and
Santiago Escobar and
Massimo Marchiori},
title = {A Calculus for Generation, Verification and Refinement of {BPEL} Specifications},
booktitle = {Proceedings of the 3rd International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2007, Venice, Italy, December
14, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {200},
number = {3},
pages = {43--65},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.04.092},
doi = {10.1016/J.ENTCS.2008.04.092},
timestamp = {Mon, 13 Feb 2023 11:22:30 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AbouzaidM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AlTurkiM08,
author = {Musab AlTurki and
Jos{\'{e}} Meseguer},
editor = {Demis Ballis and
Santiago Escobar and
Massimo Marchiori},
title = {Reduction Semantics and Formal Analysis of Orc Programs},
booktitle = {Proceedings of the 3rd International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2007, Venice, Italy, December
14, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {200},
number = {3},
pages = {25--41},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.04.091},
doi = {10.1016/J.ENTCS.2008.04.091},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/AlTurkiM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Almendros-Jimenez08,
author = {Jes{\'{u}}s Manuel Almendros{-}Jim{\'{e}}nez},
editor = {Demis Ballis and
Santiago Escobar and
Massimo Marchiori},
title = {An {RDF} Query Language based on Logic Programming},
booktitle = {Proceedings of the 3rd International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2007, Venice, Italy, December
14, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {200},
number = {3},
pages = {67--85},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.04.093},
doi = {10.1016/J.ENTCS.2008.04.093},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Almendros-Jimenez08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BallisEM08,
author = {Demis Ballis and
Santiago Escobar and
Massimo Marchiori},
editor = {Demis Ballis and
Santiago Escobar and
Massimo Marchiori},
title = {Preface},
booktitle = {Proceedings of the 3rd International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2007, Venice, Italy, December
14, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {200},
number = {3},
pages = {1--2},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.04.089},
doi = {10.1016/J.ENTCS.2008.04.089},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BallisEM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FloresLV08,
author = {Sonia Flores and
Salvador Lucas and
Alicia Villanueva},
editor = {Demis Ballis and
Santiago Escobar and
Massimo Marchiori},
title = {Formal Verification of Websites},
booktitle = {Proceedings of the 3rd International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2007, Venice, Italy, December
14, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {200},
number = {3},
pages = {103--118},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.04.095},
doi = {10.1016/J.ENTCS.2008.04.095},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FloresLV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GuermouchePR08,
author = {Nawal Guermouche and
Olivier Perrin and
Christophe Ringeissen},
editor = {Demis Ballis and
Santiago Escobar and
Massimo Marchiori},
title = {Timed Specification For Web Services Compatibility Analysis},
booktitle = {Proceedings of the 3rd International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2007, Venice, Italy, December
14, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {200},
number = {3},
pages = {155--170},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.04.098},
doi = {10.1016/J.ENTCS.2008.04.098},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GuermouchePR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HidalgoAMR08,
author = {Mar{\'{\i}}a{-}Jos{\'{e}} Hidalgo and
Jos{\'{e}}{-}Antonio Alonso and
Francisco{-}Jes{\'{u}}s Mart{\'{\i}}n{-}Mateos and
Jos{\'{e}}{-}Luis Ruiz{-}Reina},
editor = {Demis Ballis and
Santiago Escobar and
Massimo Marchiori},
title = {Constructing Formally Verified Reasoners for the {ACL} Description
Logic},
booktitle = {Proceedings of the 3rd International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2007, Venice, Italy, December
14, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {200},
number = {3},
pages = {87--102},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.04.094},
doi = {10.1016/J.ENTCS.2008.04.094},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HidalgoAMR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HofnerL08,
author = {Peter H{\"{o}}fner and
Florian Lautenbacher},
editor = {Demis Ballis and
Santiago Escobar and
Massimo Marchiori},
title = {Algebraic Structure of Web Services},
booktitle = {Proceedings of the 3rd International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2007, Venice, Italy, December
14, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {200},
number = {3},
pages = {171--187},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.04.099},
doi = {10.1016/J.ENTCS.2008.04.099},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HofnerL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LapadulaPT08,
author = {Alessandro Lapadula and
Rosario Pugliese and
Francesco Tiezzi},
editor = {Demis Ballis and
Santiago Escobar and
Massimo Marchiori},
title = {Service Discovery and Negotiation With {COWS}},
booktitle = {Proceedings of the 3rd International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2007, Venice, Italy, December
14, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {200},
number = {3},
pages = {133--154},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.04.097},
doi = {10.1016/J.ENTCS.2008.04.097},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LapadulaPT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MessageM08,
author = {Robin Henry Message and
Alan Mycroft},
editor = {Demis Ballis and
Santiago Escobar and
Massimo Marchiori},
title = {Controlling Control Flow in Web Applications},
booktitle = {Proceedings of the 3rd International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2007, Venice, Italy, December
14, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {200},
number = {3},
pages = {119--131},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.04.096},
doi = {10.1016/J.ENTCS.2008.04.096},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MessageM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Visser08,
author = {Joost Visser},
editor = {Demis Ballis and
Santiago Escobar and
Massimo Marchiori},
title = {Coupled Transformation of Schemas, Documents, Queries, and Constraints},
booktitle = {Proceedings of the 3rd International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2007, Venice, Italy, December
14, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {200},
number = {3},
pages = {3--23},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.04.090},
doi = {10.1016/J.ENTCS.2008.04.090},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Visser08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wwv/2005e,
editor = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Moreno Falaschi},
title = {Proceedings of the International Workshop on Automated Specification
and Verification of Web Sites, {WWV} 2005, Valencia, Spain, March
14-15, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {157},
number = {2},
publisher = {Elsevier},
year = {2006},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/157/issue/2},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wwv/2005e.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wwv/Abou-Zahra05,
author = {Shadi Abou{-}Zahra},
editor = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Moreno Falaschi},
title = {Automated Web Site Accessibility Evaluation},
booktitle = {First International Workshop on Automated Specification and Verification
of Web Sites {(WWV} 2005), March 14-15, 2005 Valencia, Spain},
volume = {{DSIC-II/03/05}},
pages = {97--102},
publisher = {Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica
de Valencia},
year = {2005},
timestamp = {Tue, 10 Nov 2020 12:25:00 +0100},
biburl = {https://dblp.org/rec/conf/wwv/Abou-Zahra05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wwv/AlpuenteEF05,
author = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Moreno Falaschi},
editor = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Moreno Falaschi},
title = {Preface},
booktitle = {First International Workshop on Automated Specification and Verification
of Web Sites {(WWV} 2005), March 14-15, 2005 Valencia, Spain},
volume = {{DSIC-II/03/05}},
publisher = {Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica
de Valencia},
year = {2005},
timestamp = {Tue, 10 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wwv/AlpuenteEF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wwv/AmatoCGSS05,
author = {Gianluca Amato and
Massimo Coppola and
Stefania Gnesi and
Francesca Scozzari and
Laura Semini},
editor = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Moreno Falaschi},
title = {Modeling Web Applications by the Multiple Levels of Integrity Policy},
booktitle = {First International Workshop on Automated Specification and Verification
of Web Sites {(WWV} 2005), March 14-15, 2005 Valencia, Spain},
volume = {{DSIC-II/03/05}},
pages = {161--175},
publisher = {Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica
de Valencia},
year = {2005},
timestamp = {Mon, 30 May 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wwv/AmatoCGSS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wwv/BallisG05,
author = {Demis Ballis and
Javier Garc{\'{\i}}a{-}Viv{\'{o}}},
editor = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Moreno Falaschi},
title = {A Rewriting-based system for Web site Verification},
booktitle = {First International Workshop on Automated Specification and Verification
of Web Sites {(WWV} 2005), March 14-15, 2005 Valencia, Spain},
volume = {{DSIC-II/03/05}},
pages = {153--156},
publisher = {Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica
de Valencia},
year = {2005},
timestamp = {Mon, 18 Sep 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wwv/BallisG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wwv/CentenoKAA05,
author = {Vicente Luque Centeno and
Carlos Delgado Kloos and
Jes{\'{u}}s Arias{-}Fisteus and
Luis {\'{A}}lvarez {\'{A}}lvarez},
editor = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Moreno Falaschi},
title = {Web Accessibility Evaluation Tools: a survey and some improvements},
booktitle = {First International Workshop on Automated Specification and Verification
of Web Sites {(WWV} 2005), March 14-15, 2005 Valencia, Spain},
volume = {{DSIC-II/03/05}},
pages = {83--95},
publisher = {Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica
de Valencia},
year = {2005},
timestamp = {Tue, 24 Oct 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wwv/CentenoKAA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wwv/CrockerW05,
author = {David Crocker and
John H. Warren},
editor = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Moreno Falaschi},
title = {Generating commercial web applications from precise requirements and
formal specifications},
booktitle = {First International Workshop on Automated Specification and Verification
of Web Sites {(WWV} 2005), March 14-15, 2005 Valencia, Spain},
volume = {{DSIC-II/03/05}},
pages = {27--32},
publisher = {Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica
de Valencia},
year = {2005},
timestamp = {Mon, 30 May 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wwv/CrockerW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wwv/DiazPCVC05,
author = {Gregorio D{\'{\i}}az and
Juan Jos{\'{e}} Pardo and
Mar{\'{\i}}a{-}Emilia Cambronero and
Valent{\'{\i}}n Valero and
Fernando Cuartero},
editor = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Moreno Falaschi},
title = {Verification of Web Services with Timed Automata},
booktitle = {First International Workshop on Automated Specification and Verification
of Web Sites {(WWV} 2005), March 14-15, 2005 Valencia, Spain},
volume = {{DSIC-II/03/05}},
pages = {177--191},
publisher = {Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica
de Valencia},
year = {2005},
timestamp = {Wed, 18 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wwv/DiazPCVC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wwv/EstruchFHR05,
author = {Vicent Estruch and
C{\'{e}}sar Ferri and
Jos{\'{e}} Hern{\'{a}}ndez{-}Orallo and
M. Jos{\'{e}} Ram{\'{\i}}rez{-}Quintana},
editor = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Moreno Falaschi},
title = {Web Categorisation Using Distance-Based Decision Trees},
booktitle = {First International Workshop on Automated Specification and Verification
of Web Sites {(WWV} 2005), March 14-15, 2005 Valencia, Spain},
volume = {{DSIC-II/03/05}},
pages = {77--82},
publisher = {Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica
de Valencia},
year = {2005},
timestamp = {Mon, 30 May 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wwv/EstruchFHR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wwv/Finkelstein05,
author = {Anthony Finkelstein},
editor = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Moreno Falaschi},
title = {Business Data Validation: lessons from practice},
booktitle = {First International Workshop on Automated Specification and Verification
of Web Sites {(WWV} 2005), March 14-15, 2005 Valencia, Spain},
volume = {{DSIC-II/03/05}},
pages = {1},
publisher = {Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica
de Valencia},
year = {2005},
timestamp = {Mon, 30 May 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wwv/Finkelstein05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wwv/HuLS05,
author = {Bo Hu and
Florian Lauck and
Jan Scheffczyk},
editor = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Moreno Falaschi},
title = {How Recent is a Web Document?},
booktitle = {First International Workshop on Automated Specification and Verification
of Web Sites {(WWV} 2005), March 14-15, 2005 Valencia, Spain},
volume = {{DSIC-II/03/05}},
pages = {37--53},
publisher = {Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica
de Valencia},
year = {2005},
timestamp = {Mon, 30 May 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wwv/HuLS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wwv/KarusseitM05,
author = {Martin Karusseit and
Tiziana Margaria},
editor = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Moreno Falaschi},
title = {Feature-based Modelling of a Complex, Online-Reconfigurable Decision
Support Service},
booktitle = {First International Workshop on Automated Specification and Verification
of Web Sites {(WWV} 2005), March 14-15, 2005 Valencia, Spain},
volume = {{DSIC-II/03/05}},
pages = {9--25},
publisher = {Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica
de Valencia},
year = {2005},
timestamp = {Mon, 30 May 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wwv/KarusseitM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wwv/KirchnerKS05,
author = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner and
Anderson Santana},
editor = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Moreno Falaschi},
title = {Anchoring modularity in {HTML}},
booktitle = {First International Workshop on Automated Specification and Verification
of Web Sites {(WWV} 2005), March 14-15, 2005 Valencia, Spain},
volume = {{DSIC-II/03/05}},
pages = {139--151},
publisher = {Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica
de Valencia},
year = {2005},
timestamp = {Mon, 30 May 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wwv/KirchnerKS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wwv/Krishnamurthi05,
author = {Shriram Krishnamurthi},
editor = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Moreno Falaschi},
title = {Web Verification: Perspective and Challenges},
booktitle = {First International Workshop on Automated Specification and Verification
of Web Sites {(WWV} 2005), March 14-15, 2005 Valencia, Spain},
volume = {{DSIC-II/03/05}},
pages = {3--8},
publisher = {Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica
de Valencia},
year = {2005},
timestamp = {Mon, 30 May 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wwv/Krishnamurthi05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wwv/Kutsia05,
author = {Temur Kutsia},
editor = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Moreno Falaschi},
title = {Context Sequence Matching for {XML}},
booktitle = {First International Workshop on Automated Specification and Verification
of Web Sites {(WWV} 2005), March 14-15, 2005 Valencia, Spain},
volume = {{DSIC-II/03/05}},
pages = {103--119},
publisher = {Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica
de Valencia},
year = {2005},
timestamp = {Mon, 30 May 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wwv/Kutsia05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wwv/LiquoriHR05,
author = {Luigi Liquori and
Furio Honsell and
Rekha Redamalla},
editor = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Moreno Falaschi},
title = {A Language for Verification and Manipulation of Web Documents},
booktitle = {First International Workshop on Automated Specification and Verification
of Web Sites {(WWV} 2005), March 14-15, 2005 Valencia, Spain},
volume = {{DSIC-II/03/05}},
pages = {127--137},
publisher = {Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica
de Valencia},
year = {2005},
timestamp = {Mon, 30 May 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wwv/LiquoriHR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wwv/Lucas05,
author = {Salvador Lucas},
editor = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Moreno Falaschi},
title = {Rewriting-based navigation of Web sites},
booktitle = {First International Workshop on Automated Specification and Verification
of Web Sites {(WWV} 2005), March 14-15, 2005 Valencia, Spain},
volume = {{DSIC-II/03/05}},
pages = {157--160},
publisher = {Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica
de Valencia},
year = {2005},
timestamp = {Mon, 30 May 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wwv/Lucas05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wwv/RiouxC05,
author = {Fr{\'{e}}d{\'{e}}ric Rioux and
Patrice Chalin},
editor = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Moreno Falaschi},
title = {Improving the Quality of Web-based Enterprise Applications with Extended
Static Checking: {A} Case Study},
booktitle = {First International Workshop on Automated Specification and Verification
of Web Sites {(WWV} 2005), March 14-15, 2005 Valencia, Spain},
volume = {{DSIC-II/03/05}},
pages = {193--206},
publisher = {Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica
de Valencia},
year = {2005},
timestamp = {Mon, 24 Jul 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wwv/RiouxC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wwv/RodriguezCRV05,
author = {Javier Jesus Guti{\'{e}}rrez Rodriguez and
Mar{\'{\i}}a Jos{\'{e}} Escalona Cuaresma and
Manuel Mej{\'{\i}}as Risoto and
Jes{\'{u}}s Torres Valderrama},
editor = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Moreno Falaschi},
title = {Testing web applications in practice},
booktitle = {First International Workshop on Automated Specification and Verification
of Web Sites {(WWV} 2005), March 14-15, 2005 Valencia, Spain},
volume = {{DSIC-II/03/05}},
pages = {65--75},
publisher = {Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica
de Valencia},
year = {2005},
timestamp = {Mon, 26 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wwv/RodriguezCRV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wwv/Silva05,
author = {Josep Silva},
editor = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Moreno Falaschi},
title = {Slicing {XML} Documents},
booktitle = {First International Workshop on Automated Specification and Verification
of Web Sites {(WWV} 2005), March 14-15, 2005 Valencia, Spain},
volume = {{DSIC-II/03/05}},
pages = {121--125},
publisher = {Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica
de Valencia},
year = {2005},
timestamp = {Mon, 30 May 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wwv/Silva05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wwv/Stone05,
author = {Roger G. Stone},
editor = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Moreno Falaschi},
title = {Validating Scripted Web-Pages},
booktitle = {First International Workshop on Automated Specification and Verification
of Web Sites {(WWV} 2005), March 14-15, 2005 Valencia, Spain},
volume = {{DSIC-II/03/05}},
pages = {55--64},
publisher = {Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica
de Valencia},
year = {2005},
timestamp = {Mon, 30 May 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wwv/Stone05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wwv/WincklerBPF05,
author = {Marco Winckler and
Eric Barboni and
Philippe A. Palanque and
Christelle Farenc},
editor = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Moreno Falaschi},
title = {What Kind of Verification of Formal Navigation Modelling for Reliable
and Usable Web Applications?},
booktitle = {First International Workshop on Automated Specification and Verification
of Web Sites {(WWV} 2005), March 14-15, 2005 Valencia, Spain},
volume = {{DSIC-II/03/05}},
pages = {33--36},
publisher = {Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica
de Valencia},
year = {2005},
timestamp = {Mon, 30 May 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wwv/WincklerBPF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Abou-Zahra06,
author = {Shadi Abou{-}Zahra},
editor = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Moreno Falaschi},
title = {A Data Model to Facilitate the Automation of Web Accessibility Evaluations},
booktitle = {Proceedings of the International Workshop on Automated Specification
and Verification of Web Sites, {WWV} 2005, Valencia, Spain, March
14-15, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {157},
number = {2},
pages = {3--9},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.040},
doi = {10.1016/J.ENTCS.2005.12.040},
timestamp = {Fri, 20 Jan 2023 11:40:19 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Abou-Zahra06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AlpuenteEF06,
author = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Moreno Falaschi},
editor = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Moreno Falaschi},
title = {Preface},
booktitle = {Proceedings of the International Workshop on Automated Specification
and Verification of Web Sites, {WWV} 2005, Valencia, Spain, March
14-15, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {157},
number = {2},
pages = {1--2},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.039},
doi = {10.1016/J.ENTCS.2005.12.039},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AlpuenteEF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AmatoCGSS06,
author = {Gianluca Amato and
Massimo Coppola and
Stefania Gnesi and
Francesca Scozzari and
Laura Semini},
editor = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Moreno Falaschi},
title = {Modeling Web Applications by the Multiple Levels of Integrity Policy},
booktitle = {Proceedings of the International Workshop on Automated Specification
and Verification of Web Sites, {WWV} 2005, Valencia, Spain, March
14-15, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {157},
number = {2},
pages = {167--185},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.053},
doi = {10.1016/J.ENTCS.2005.12.053},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AmatoCGSS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BallisG06,
author = {Demis Ballis and
Javier Garc{\'{\i}}a{-}Viv{\'{o}}},
editor = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Moreno Falaschi},
title = {A Rule-based System for Web site Verification},
booktitle = {Proceedings of the International Workshop on Automated Specification
and Verification of Web Sites, {WWV} 2005, Valencia, Spain, March
14-15, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {157},
number = {2},
pages = {11--17},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.041},
doi = {10.1016/J.ENTCS.2005.12.041},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BallisG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CentenoKFA06,
author = {Vicente Luque Centeno and
Carlos Delgado Kloos and
Jes{\'{u}}s Arias{-}Fisteus and
Luis {\'{A}}lvarez {\'{A}}lvarez},
editor = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Moreno Falaschi},
title = {Web Accessibility Evaluation Tools: {A} Survey and Some Improvements},
booktitle = {Proceedings of the International Workshop on Automated Specification
and Verification of Web Sites, {WWV} 2005, Valencia, Spain, March
14-15, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {157},
number = {2},
pages = {87--100},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.048},
doi = {10.1016/J.ENTCS.2005.12.048},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CentenoKFA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DiazPCVC06,
author = {Gregorio D{\'{\i}}az and
Juan Jos{\'{e}} Pardo and
Mar{\'{\i}}a{-}Emilia Cambronero and
Valent{\'{\i}}n Valero and
Fernando Cuartero},
editor = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Moreno Falaschi},
title = {Verification of Web Services with Timed Automata},
booktitle = {Proceedings of the International Workshop on Automated Specification
and Verification of Web Sites, {WWV} 2005, Valencia, Spain, March
14-15, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {157},
number = {2},
pages = {19--34},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.042},
doi = {10.1016/J.ENTCS.2005.12.042},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DiazPCVC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EstruchFHR06,
author = {Vicent Estruch and
C{\'{e}}sar Ferri and
Jos{\'{e}} Hern{\'{a}}ndez{-}Orallo and
M. Jos{\'{e}} Ram{\'{\i}}rez{-}Quintana},
editor = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Moreno Falaschi},
title = {Web Categorisation Using Distance-Based Decision Trees},
booktitle = {Proceedings of the International Workshop on Automated Specification
and Verification of Web Sites, {WWV} 2005, Valencia, Spain, March
14-15, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {157},
number = {2},
pages = {35--40},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.043},
doi = {10.1016/J.ENTCS.2005.12.043},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/EstruchFHR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HuLS06,
author = {Bo Hu and
Florian Lauck and
Jan Scheffczyk},
editor = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Moreno Falaschi},
title = {How Recent is a Web Document?},
booktitle = {Proceedings of the International Workshop on Automated Specification
and Verification of Web Sites, {WWV} 2005, Valencia, Spain, March
14-15, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {157},
number = {2},
pages = {147--166},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.052},
doi = {10.1016/J.ENTCS.2005.12.052},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HuLS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KarusseitM06,
author = {Martin Karusseit and
Tiziana Margaria},
editor = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Moreno Falaschi},
title = {Feature-based Modelling of a Complex, Online-Reconfigurable Decision
Support Service},
booktitle = {Proceedings of the International Workshop on Automated Specification
and Verification of Web Sites, {WWV} 2005, Valencia, Spain, March
14-15, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {157},
number = {2},
pages = {101--118},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.049},
doi = {10.1016/J.ENTCS.2005.12.049},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KarusseitM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KirchnerKS06,
author = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner and
Anderson Santana},
editor = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Moreno Falaschi},
title = {Anchoring Modularity in {HTML}},
booktitle = {Proceedings of the International Workshop on Automated Specification
and Verification of Web Sites, {WWV} 2005, Valencia, Spain, March
14-15, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {157},
number = {2},
pages = {133--146},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.051},
doi = {10.1016/J.ENTCS.2005.12.051},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KirchnerKS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Krishnamurthi06,
author = {Shriram Krishnamurthi},
editor = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Moreno Falaschi},
title = {Web Verification: Perspective and Challenges},
booktitle = {Proceedings of the International Workshop on Automated Specification
and Verification of Web Sites, {WWV} 2005, Valencia, Spain, March
14-15, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {157},
number = {2},
pages = {41--46},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.044},
doi = {10.1016/J.ENTCS.2005.12.044},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Krishnamurthi06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Kutsia06,
author = {Temur Kutsia},
editor = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Moreno Falaschi},
title = {Context Sequence Matching for {XML}},
booktitle = {Proceedings of the International Workshop on Automated Specification
and Verification of Web Sites, {WWV} 2005, Valencia, Spain, March
14-15, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {157},
number = {2},
pages = {47--65},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.045},
doi = {10.1016/J.ENTCS.2005.12.045},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Kutsia06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LiquoriHR06,
author = {Luigi Liquori and
Furio Honsell and
Rekha Redamalla},
editor = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Moreno Falaschi},
title = {A Language for Verification and Manipulation of Web Documents: (Extended
Abstract)},
booktitle = {Proceedings of the International Workshop on Automated Specification
and Verification of Web Sites, {WWV} 2005, Valencia, Spain, March
14-15, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {157},
number = {2},
pages = {67--78},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.046},
doi = {10.1016/J.ENTCS.2005.12.046},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LiquoriHR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Lucas06,
author = {Salvador Lucas},
editor = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Moreno Falaschi},
title = {Rewriting-Based Navigation of Web Sites: Looking for Models and Logics},
booktitle = {Proceedings of the International Workshop on Automated Specification
and Verification of Web Sites, {WWV} 2005, Valencia, Spain, March
14-15, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {157},
number = {2},
pages = {79--85},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.047},
doi = {10.1016/J.ENTCS.2005.12.047},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Lucas06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RiouxC06,
author = {Fr{\'{e}}d{\'{e}}ric Rioux and
Patrice Chalin},
editor = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Moreno Falaschi},
title = {Improving the Quality of Web-based Enterprise Applications with Extended
Static Checking: {A} Case Study},
booktitle = {Proceedings of the International Workshop on Automated Specification
and Verification of Web Sites, {WWV} 2005, Valencia, Spain, March
14-15, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {157},
number = {2},
pages = {119--132},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.050},
doi = {10.1016/J.ENTCS.2005.12.050},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/RiouxC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Silva06,
author = {Josep Silva},
editor = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Moreno Falaschi},
title = {Slicing {XML} Documents},
booktitle = {Proceedings of the International Workshop on Automated Specification
and Verification of Web Sites, {WWV} 2005, Valencia, Spain, March
14-15, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {157},
number = {2},
pages = {187--192},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.054},
doi = {10.1016/J.ENTCS.2005.12.054},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Silva06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Stone06,
author = {Roger G. Stone},
editor = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Moreno Falaschi},
title = {Validating Scripted Web-Pages},
booktitle = {Proceedings of the International Workshop on Automated Specification
and Verification of Web Sites, {WWV} 2005, Valencia, Spain, March
14-15, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {157},
number = {2},
pages = {193--205},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.055},
doi = {10.1016/J.ENTCS.2005.12.055},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Stone06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/WincklerBPF06,
author = {Marco Winckler and
Eric Barboni and
Philippe A. Palanque and
Christelle Farenc},
editor = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Moreno Falaschi},
title = {What Kind of Verification of Formal Navigation Modelling for Reliable
and Usable Web Applications?},
booktitle = {Proceedings of the International Workshop on Automated Specification
and Verification of Web Sites, {WWV} 2005, Valencia, Spain, March
14-15, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {157},
number = {2},
pages = {207--211},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.056},
doi = {10.1016/J.ENTCS.2005.12.056},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/WincklerBPF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wwv/2005,
editor = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Moreno Falaschi},
title = {First International Workshop on Automated Specification and Verification
of Web Sites {(WWV} 2005), March 14-15, 2005 Valencia, Spain},
volume = {{DSIC-II/03/05}},
publisher = {Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica
de Valencia},
year = {2005},
url = {http://www.dsic.upv.es/workshops/wwv05/pre-proceedings.pdf},
timestamp = {Tue, 10 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wwv/2005.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.
retrieved on 2024-09-20 10:28 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
