Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Adrian Francalanza, Marco Giunti, António Ravara |
Unlocking Blocked Communicating Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems, WWV 2015, Oslo, Norway, 23rd June 2015., pp. 23-32, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Van Tien Hoang, Angelo Spognardi, Francesco Tiezzi 0001, Marinella Petrocchi, Rocco De Nicola |
Domain-specific queries and Web search personalization: some investigations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems, WWV 2015, Oslo, Norway, 23rd June 2015., pp. 51-58, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Maurice H. ter Beek, Alberto Lluch-Lafuente (eds.) |
Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems, WWV 2015, Oslo, Norway, 23rd June 2015. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Hai-Feng Guo, Qing Ouyang, Harvey P. Siy |
Semantics-based Automated Web Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems, WWV 2015, Oslo, Norway, 23rd June 2015., pp. 59-74, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Davide Bacciu, Stefania Gnesi, Laura Semini |
Using a Machine Learning Approach to Implement and Evaluate Product Line Features. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems, WWV 2015, Oslo, Norway, 23rd June 2015., pp. 75-83, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Margheri, Rosario Pugliese, Francesco Tiezzi 0001 |
On Properties of Policy-Based Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems, WWV 2015, Oslo, Norway, 23rd June 2015., pp. 33-50, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Nosheen Gul |
A Calculus of Mobility and Communication for Ubiquitous Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems, WWV 2015, Oslo, Norway, 23rd June 2015., pp. 6-22, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ramaswamy Ramanujam, S. Sheerazuddin |
A Local Logic for Realizability in Web Service Choreographies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings 10th International Workshop on Automated Specification and Verification of Web Systems, WWV 2014, Vienna, Austria, July 18, 2014., pp. 16-35, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Maurice H. ter Beek, António Ravara (eds.) |
Proceedings 10th International Workshop on Automated Specification and Verification of Web Systems, WWV 2014, Vienna, Austria, July 18, 2014. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Asad Ali 0001, Maribel Fernández |
Static Enforcement of Role-Based Access Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings 10th International Workshop on Automated Specification and Verification of Web Systems, WWV 2014, Vienna, Austria, July 18, 2014., pp. 36-50, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Julián Alarte, David Insa, Josep Silva, Salvador Tamarit |
Automatic Detection of Webpages that Share the Same Web Template. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings 10th International Workshop on Automated Specification and Verification of Web Systems, WWV 2014, Vienna, Austria, July 18, 2014., pp. 2-15, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Ciobanu, Ross Horne, Vladimiro Sassone |
Local Type Checking for Linked Data Consumers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings 9th International Workshop on Automated Specification and Verification of Web Systems, WWV 2013, Florence, Italy, 6th June 2013., pp. 19-33, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Luca Cesari, Rosario Pugliese, Francesco Tiezzi 0001 |
Blind-date Conversation Joining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings 9th International Workshop on Automated Specification and Verification of Web Systems, WWV 2013, Florence, Italy, 6th June 2013., pp. 3-18, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro |
Amending Choreographies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings 9th International Workshop on Automated Specification and Verification of Web Systems, WWV 2013, Florence, Italy, 6th June 2013., pp. 34-48, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | António Ravara, Josep Silva (eds.) |
Proceedings 9th International Workshop on Automated Specification and Verification of Web Systems, WWV 2013, Florence, Italy, 6th June 2013. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | James Smith |
Proving Properties of Rich Internet Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings 9th International Workshop on Automated Specification and Verification of Web Systems, WWV 2013, Florence, Italy, 6th June 2013., pp. 49-63, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Laura Kovács, Temur Kutsia (eds.) |
6th International Workshop on Automated Specification and Verification of Web Systems, WWV 2010, Vienna, Austria, July 30-31, 2010 ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![EasyChair The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Irum Rauf, Ali Hanzala Khan, Ivan Porres |
Analyzing Consistency of Behavioral REST Web Service Interfaces ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings 8th International Workshop on Automated Specification and Verification of Web Systems, WWV 2012, Stockholm, Sweden, 16th July 2012., pp. 77-92, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | James Smith |
The Jasper Framework: Towards a Platform Independent, Formal Treatment ofWeb Programming ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings 8th International Workshop on Automated Specification and Verification of Web Systems, WWV 2012, Stockholm, Sweden, 16th July 2012., pp. 31-45, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Leonidas Lampropoulos, Konstantinos Sagonas |
Automatic WSDL-guided Test Case Generation for PropEr Testing of Web Services ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings 8th International Workshop on Automated Specification and Verification of Web Systems, WWV 2012, Stockholm, Sweden, 16th July 2012., pp. 3-16, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jesús Manuel Almendros-Jiménez, Luis Iribarne |
Model Validation in Ontology Based Transformations ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings 8th International Workshop on Automated Specification and Verification of Web Systems, WWV 2012, Stockholm, Sweden, 16th July 2012., pp. 17-30, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Josep Silva, Francesco Tiezzi 0001 (eds.) |
Proceedings 8th International Workshop on Automated Specification and Verification of Web Systems, WWV 2012, Stockholm, Sweden, 16th July 2012. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sergio López, Josep Silva, David Insa |
Using the DOM Tree for Content Extraction ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings 8th International Workshop on Automated Specification and Verification of Web Systems, WWV 2012, Stockholm, Sweden, 16th July 2012., pp. 46-59, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Michaux, Elie Najm, Alessandro Fantechi |
Adding Sessions to BPEL ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings 8th International Workshop on Automated Specification and Verification of Web Systems, WWV 2012, Stockholm, Sweden, 16th July 2012., pp. 60-76, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Boni García, Juan C. Dueñas |
Automated Functional Testing based on the Navigation of Web Applications ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems, WWV 2011, Reykjavik, Iceland, 9th June 2011., pp. 49-65, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Naseem Ibrahim, Vangalur S. Alagar, Mubarak Mohammad |
Specification and Verification of Context-dependent Services ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems, WWV 2011, Reykjavik, Iceland, 9th June 2011., pp. 17-33, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Petros Papapanagiotou, Jacques D. Fleuriot |
A theorem proving framework for the formal verification of Web Services Composition ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems, WWV 2011, Reykjavik, Iceland, 9th June 2011., pp. 1-16, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | María Alpuente, Demis Ballis, Javier Espert, Francisco Frechina, Daniel Romero 0001 |
Debugging of Web Applications with Web-TLR ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems, WWV 2011, Reykjavik, Iceland, 9th June 2011., pp. 66-80, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Maurice H. ter Beek, Stefania Gnesi, Mercy N. Njima |
Product Lines for Service Oriented Applications - PL for SOA ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems, WWV 2011, Reykjavik, Iceland, 9th June 2011., pp. 34-48, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Laura Kovács, Rosario Pugliese, Francesco Tiezzi 0001 (eds.) |
Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems, WWV 2011, Reykjavik, Iceland, 9th June 2011. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Letterio Galletta, Giorgio Levi |
An Abstract Semantics for Inference of Types and Effects in a Multi-Tier Web Language ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems, WWV 2011, Reykjavik, Iceland, 9th June 2011., pp. 81-95, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Marco Giunti |
A type checking algorithm for qualified session types ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems, WWV 2011, Reykjavik, Iceland, 9th June 2011., pp. 96-114, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Eiter |
Answer Set Programming in a Nutshell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: 6th International Workshop on Automated Specification and Verification of Web Systems, WWV 2010, Vienna, Austria, July 30-31, 2010, pp. 1, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Voronkov |
EasyChair. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: 6th International Workshop on Automated Specification and Verification of Web Systems, WWV 2010, Vienna, Austria, July 30-31, 2010, pp. 2, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Francisco García-García 0001 |
Development of a Query Language for GML based on XPath. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: 6th International Workshop on Automated Specification and Verification of Web Systems, WWV 2010, Vienna, Austria, July 30-31, 2010, pp. 51-64, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Héctor Valero, Carlos J. Castillo, Josep Silva |
Reconstructing Information Retrieved from Multiple Websites. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: 6th International Workshop on Automated Specification and Verification of Web Systems, WWV 2010, Vienna, Austria, July 30-31, 2010, pp. 65-80, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Franz Weitl, Shin Nakajima 0001 |
Incremental Construction of Counterexamples in Model Checking Web Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: 6th International Workshop on Automated Specification and Verification of Web Systems, WWV 2010, Vienna, Austria, July 30-31, 2010, pp. 34-50, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Volker Mattick |
Specifying Hyperdocuments with Algebraic Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: 6th International Workshop on Automated Specification and Verification of Web Systems, WWV 2010, Vienna, Austria, July 30-31, 2010, pp. 19-33, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Mirjana Jaksic, Burkhard Freitag |
Temporal Patterns for Document Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: 6th International Workshop on Automated Specification and Verification of Web Systems, WWV 2010, Vienna, Austria, July 30-31, 2010, pp. 3-18, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Demis Ballis, Santiago Escobar 0001 (eds.) |
Proceedings of the 4th International Workshop on Automated Specification and Verification of Web Systems, WWV 2008, Siena, Italy, July 4, 2008 ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![Elsevier The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | I. V. Ramakrishnan, Jalal Mahmud, Yevgen Borodin, Muhammad Asiful Islam, Faisal Ahmed 0001 |
Bridging the Web Accessibility Divide. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings of the 4th International Workshop on Automated Specification and Verification of Web Systems, WWV 2008, Siena, Italy, July 4, 2008, pp. 107-124, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ali Nasrat Haidar, Ali E. Abdallah |
Formal Modelling of PKI Based Authentication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings of the 4th International Workshop on Automated Specification and Verification of Web Systems, WWV 2008, Siena, Italy, July 4, 2008, pp. 55-70, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Josep Silva |
Information Filtering and Information Retrieval with the Web Filtering Toolbar. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings of the 4th International Workshop on Automated Specification and Verification of Web Systems, WWV 2008, Siena, Italy, July 4, 2008, pp. 125-136, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | María Alpuente, Daniel Romero 0001 |
A Visual Technique for Web Pages Comparison. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings of the 4th International Workshop on Automated Specification and Verification of Web Systems, WWV 2008, Siena, Italy, July 4, 2008, pp. 3-18, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Federico Banti, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi 0001 |
Specification and Analysis of SOC Systems Using COWS: A Finance Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings of the 4th International Workshop on Automated Specification and Verification of Web Systems, WWV 2008, Siena, Italy, July 4, 2008, pp. 71-105, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Mancarella, Giacomo Terreni, Francesca Toni |
Web Sites Repairing through Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings of the 4th International Workshop on Automated Specification and Verification of Web Systems, WWV 2008, Siena, Italy, July 4, 2008, pp. 137-152, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Demis Ballis, Santiago Escobar 0001 |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings of the 4th International Workshop on Automated Specification and Verification of Web Systems, WWV 2008, Siena, Italy, July 4, 2008, pp. 1-2, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Michele Baggi |
An Ontology-based System for Semantic Filtering of XML Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings of the 4th International Workshop on Automated Specification and Verification of Web Systems, WWV 2008, Siena, Italy, July 4, 2008, pp. 19-33, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Steve Barker, Gill Lowen |
Event-oriented Web-based E-trading. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings of the 4th International Workshop on Automated Specification and Verification of Web Systems, WWV 2008, Siena, Italy, July 4, 2008, pp. 35-53, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Demis Ballis, Santiago Escobar 0001, Massimo Marchiori (eds.) |
Proceedings of the 3rd International Workshop on Automated Specification and Verification of Web Systems, WWV 2007, Venice, Italy, December 14, 2007 ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![Elsevier The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi 0001 |
Service Discovery and Negotiation With COWS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings of the 3rd International Workshop on Automated Specification and Verification of Web Systems, WWV 2007, Venice, Italy, December 14, 2007, pp. 133-154, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jesús Manuel Almendros-Jiménez |
An RDF Query Language based on Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings of the 3rd International Workshop on Automated Specification and Verification of Web Systems, WWV 2007, Venice, Italy, December 14, 2007, pp. 67-85, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Musab AlTurki, José Meseguer 0001 |
Reduction Semantics and Formal Analysis of Orc Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings of the 3rd International Workshop on Automated Specification and Verification of Web Systems, WWV 2007, Venice, Italy, December 14, 2007, pp. 25-41, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Nawal Guermouche, Olivier Perrin 0001, Christophe Ringeissen |
Timed Specification For Web Services Compatibility Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings of the 3rd International Workshop on Automated Specification and Verification of Web Systems, WWV 2007, Venice, Italy, December 14, 2007, pp. 155-170, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Joost Visser 0001 |
Coupled Transformation of Schemas, Documents, Queries, and Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings of the 3rd International Workshop on Automated Specification and Verification of Web Systems, WWV 2007, Venice, Italy, December 14, 2007, pp. 3-23, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Sonia Flores, Salvador Lucas, Alicia Villanueva |
Formal Verification of Websites. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings of the 3rd International Workshop on Automated Specification and Verification of Web Systems, WWV 2007, Venice, Italy, December 14, 2007, pp. 103-118, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Robin Henry Message, Alan Mycroft |
Controlling Control Flow in Web Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings of the 3rd International Workshop on Automated Specification and Verification of Web Systems, WWV 2007, Venice, Italy, December 14, 2007, pp. 119-131, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Faisal Abouzaid, John Mullins |
A Calculus for Generation, Verification and Refinement of BPEL Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings of the 3rd International Workshop on Automated Specification and Verification of Web Systems, WWV 2007, Venice, Italy, December 14, 2007, pp. 43-65, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Peter Höfner, Florian Lautenbacher |
Algebraic Structure of Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings of the 3rd International Workshop on Automated Specification and Verification of Web Systems, WWV 2007, Venice, Italy, December 14, 2007, pp. 171-187, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | María-José Hidalgo, José-Antonio Alonso, Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina |
Constructing Formally Verified Reasoners for the ACL Description Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings of the 3rd International Workshop on Automated Specification and Verification of Web Systems, WWV 2007, Venice, Italy, December 14, 2007, pp. 87-102, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Demis Ballis, Santiago Escobar 0001, Massimo Marchiori |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings of the 3rd International Workshop on Automated Specification and Verification of Web Systems, WWV 2007, Venice, Italy, December 14, 2007, pp. 1-2, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | María Alpuente, Santiago Escobar 0001, Moreno Falaschi (eds.) |
Proceedings of the International Workshop on Automated Specification and Verification of Web Sites, WWV 2005, Valencia, Spain, March 14-15, 2005 ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![Elsevier The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
1 | Vicente Luque Centeno, Carlos Delgado Kloos, Jesús Arias-Fisteus, Luis Álvarez Álvarez |
Web Accessibility Evaluation Tools: A Survey and Some Improvements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings of the International Workshop on Automated Specification and Verification of Web Sites, WWV 2005, Valencia, Spain, March 14-15, 2005, pp. 87-100, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | María Alpuente, Santiago Escobar 0001, Moreno Falaschi |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings of the International Workshop on Automated Specification and Verification of Web Sites, WWV 2005, Valencia, Spain, March 14-15, 2005, pp. 1-2, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Vicent Estruch, César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana |
Web Categorisation Using Distance-Based Decision Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings of the International Workshop on Automated Specification and Verification of Web Sites, WWV 2005, Valencia, Spain, March 14-15, 2005, pp. 35-40, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Gregorio Díaz 0001, Juan José Pardo, María-Emilia Cambronero, Valentín Valero, Fernando Cuartero |
Verification of Web Services with Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings of the International Workshop on Automated Specification and Verification of Web Sites, WWV 2005, Valencia, Spain, March 14-15, 2005, pp. 19-34, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Martin Karusseit, Tiziana Margaria |
Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings of the International Workshop on Automated Specification and Verification of Web Sites, WWV 2005, Valencia, Spain, March 14-15, 2005, pp. 101-118, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Roger G. Stone |
Validating Scripted Web-Pages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings of the International Workshop on Automated Specification and Verification of Web Sites, WWV 2005, Valencia, Spain, March 14-15, 2005, pp. 193-205, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Rioux, Patrice Chalin |
Improving the Quality of Web-based Enterprise Applications with Extended Static Checking: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings of the International Workshop on Automated Specification and Verification of Web Sites, WWV 2005, Valencia, Spain, March 14-15, 2005, pp. 119-132, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Shriram Krishnamurthi |
Web Verification: Perspective and Challenges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings of the International Workshop on Automated Specification and Verification of Web Sites, WWV 2005, Valencia, Spain, March 14-15, 2005, pp. 41-46, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Temur Kutsia |
Context Sequence Matching for XML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings of the International Workshop on Automated Specification and Verification of Web Sites, WWV 2005, Valencia, Spain, March 14-15, 2005, pp. 47-65, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Bo Hu, Florian Lauck, Jan Scheffczyk |
How Recent is a Web Document? ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings of the International Workshop on Automated Specification and Verification of Web Sites, WWV 2005, Valencia, Spain, March 14-15, 2005, pp. 147-166, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Claude Kirchner, Hélène Kirchner, Anderson Santana |
Anchoring Modularity in HTML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings of the International Workshop on Automated Specification and Verification of Web Sites, WWV 2005, Valencia, Spain, March 14-15, 2005, pp. 133-146, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Josep Silva |
Slicing XML Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings of the International Workshop on Automated Specification and Verification of Web Sites, WWV 2005, Valencia, Spain, March 14-15, 2005, pp. 187-192, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Demis Ballis, Javier García-Vivó |
A Rule-based System for Web site Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings of the International Workshop on Automated Specification and Verification of Web Sites, WWV 2005, Valencia, Spain, March 14-15, 2005, pp. 11-17, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Gianluca Amato, Massimo Coppola, Stefania Gnesi, Francesca Scozzari, Laura Semini |
Modeling Web Applications by the Multiple Levels of Integrity Policy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings of the International Workshop on Automated Specification and Verification of Web Sites, WWV 2005, Valencia, Spain, March 14-15, 2005, pp. 167-185, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Salvador Lucas |
Rewriting-Based Navigation of Web Sites: Looking for Models and Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings of the International Workshop on Automated Specification and Verification of Web Sites, WWV 2005, Valencia, Spain, March 14-15, 2005, pp. 79-85, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Shadi Abou-Zahra |
A Data Model to Facilitate the Automation of Web Accessibility Evaluations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings of the International Workshop on Automated Specification and Verification of Web Sites, WWV 2005, Valencia, Spain, March 14-15, 2005, pp. 3-9, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Luigi Liquori, Furio Honsell, Rekha Redamalla |
A Language for Verification and Manipulation of Web Documents: (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings of the International Workshop on Automated Specification and Verification of Web Sites, WWV 2005, Valencia, Spain, March 14-15, 2005, pp. 67-78, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Marco Winckler, Eric Barboni, Philippe A. Palanque, Christelle Farenc |
What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications? ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: Proceedings of the International Workshop on Automated Specification and Verification of Web Sites, WWV 2005, Valencia, Spain, March 14-15, 2005, pp. 207-211, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Vicente Luque Centeno, Carlos Delgado Kloos, Jesús Arias-Fisteus, Luis Álvarez Álvarez |
Web Accessibility Evaluation Tools: a survey and some improvements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: First International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), March 14-15, 2005 Valencia, Spain, pp. 83-95, 2005, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Javier Jesus Gutiérrez Rodriguez, María José Escalona Cuaresma, Manuel Mejías Risoto, Jesús Torres Valderrama |
Testing web applications in practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: First International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), March 14-15, 2005 Valencia, Spain, pp. 65-75, 2005, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | María Alpuente, Santiago Escobar 0001, Moreno Falaschi (eds.) |
First International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), March 14-15, 2005 Valencia, Spain ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Demis Ballis, Javier García-Vivó |
A Rewriting-based system for Web site Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: First International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), March 14-15, 2005 Valencia, Spain, pp. 153-156, 2005, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Temur Kutsia |
Context Sequence Matching for XML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: First International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), March 14-15, 2005 Valencia, Spain, pp. 103-119, 2005, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Vicent Estruch, César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana |
Web Categorisation Using Distance-Based Decision Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: First International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), March 14-15, 2005 Valencia, Spain, pp. 77-82, 2005, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Gianluca Amato, Massimo Coppola, Stefania Gnesi, Francesca Scozzari, Laura Semini |
Modeling Web Applications by the Multiple Levels of Integrity Policy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: First International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), March 14-15, 2005 Valencia, Spain, pp. 161-175, 2005, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Roger G. Stone |
Validating Scripted Web-Pages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: First International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), March 14-15, 2005 Valencia, Spain, pp. 55-64, 2005, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Bo Hu, Florian Lauck, Jan Scheffczyk |
How Recent is a Web Document? ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: First International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), March 14-15, 2005 Valencia, Spain, pp. 37-53, 2005, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Luigi Liquori, Furio Honsell, Rekha Redamalla |
A Language for Verification and Manipulation of Web Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: First International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), March 14-15, 2005 Valencia, Spain, pp. 127-137, 2005, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Salvador Lucas |
Rewriting-based navigation of Web sites. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: First International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), March 14-15, 2005 Valencia, Spain, pp. 157-160, 2005, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Shadi Abou-Zahra |
Automated Web Site Accessibility Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: First International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), March 14-15, 2005 Valencia, Spain, pp. 97-102, 2005, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Shriram Krishnamurthi |
Web Verification: Perspective and Challenges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: First International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), March 14-15, 2005 Valencia, Spain, pp. 3-8, 2005, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Anthony Finkelstein |
Business Data Validation: lessons from practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: First International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), March 14-15, 2005 Valencia, Spain, pp. 1, 2005, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | María Alpuente, Santiago Escobar 0001, Moreno Falaschi |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: First International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), March 14-15, 2005 Valencia, Spain, 2005, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Josep Silva |
Slicing XML Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: First International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), March 14-15, 2005 Valencia, Spain, pp. 121-125, 2005, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Marco Winckler, Eric Barboni, Philippe A. Palanque, Christelle Farenc |
What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications? ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: First International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), March 14-15, 2005 Valencia, Spain, pp. 33-36, 2005, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Claude Kirchner, Hélène Kirchner, Anderson Santana |
Anchoring modularity in HTML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: First International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), March 14-15, 2005 Valencia, Spain, pp. 139-151, 2005, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Martin Karusseit, Tiziana Margaria |
Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: First International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), March 14-15, 2005 Valencia, Spain, pp. 9-25, 2005, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Gregorio Díaz 0001, Juan José Pardo, María-Emilia Cambronero, Valentín Valero, Fernando Cuartero |
Verification of Web Services with Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWV ![In: First International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), March 14-15, 2005 Valencia, Spain, pp. 177-191, 2005, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|