Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Adrian Francalanza, Marco Giunti, António Ravara |
Unlocking Blocked Communicating Processes. |
WWV |
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. |
WWV |
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. |
WWV |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Hai-Feng Guo, Qing Ouyang, Harvey P. Siy |
Semantics-based Automated Web Testing. |
WWV |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Davide Bacciu, Stefania Gnesi, Laura Semini |
Using a Machine Learning Approach to Implement and Evaluate Product Line Features. |
WWV |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Margheri, Rosario Pugliese, Francesco Tiezzi 0001 |
On Properties of Policy-Based Specifications. |
WWV |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Nosheen Gul |
A Calculus of Mobility and Communication for Ubiquitous Computing. |
WWV |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ramaswamy Ramanujam, S. Sheerazuddin |
A Local Logic for Realizability in Web Service Choreographies. |
WWV |
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. |
WWV |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Asad Ali 0001, Maribel Fernández |
Static Enforcement of Role-Based Access Control. |
WWV |
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. |
WWV |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Ciobanu, Ross Horne, Vladimiro Sassone |
Local Type Checking for Linked Data Consumers. |
WWV |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Luca Cesari, Rosario Pugliese, Francesco Tiezzi 0001 |
Blind-date Conversation Joining. |
WWV |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro |
Amending Choreographies. |
WWV |
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. |
WWV |
2013 |
DBLP DOI BibTeX RDF |
|
1 | James Smith |
Proving Properties of Rich Internet Applications. |
WWV |
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 |
WWV |
2013 |
DBLP BibTeX RDF |
|
1 | Irum Rauf, Ali Hanzala Khan, Ivan Porres |
Analyzing Consistency of Behavioral REST Web Service Interfaces |
WWV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | James Smith |
The Jasper Framework: Towards a Platform Independent, Formal Treatment ofWeb Programming |
WWV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Leonidas Lampropoulos, Konstantinos Sagonas |
Automatic WSDL-guided Test Case Generation for PropEr Testing of Web Services |
WWV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jesús Manuel Almendros-Jiménez, Luis Iribarne |
Model Validation in Ontology Based Transformations |
WWV |
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. |
WWV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sergio López, Josep Silva, David Insa |
Using the DOM Tree for Content Extraction |
WWV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Michaux, Elie Najm, Alessandro Fantechi |
Adding Sessions to BPEL |
WWV |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Boni García, Juan C. Dueñas |
Automated Functional Testing based on the Navigation of Web Applications |
WWV |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Naseem Ibrahim, Vangalur S. Alagar, Mubarak Mohammad |
Specification and Verification of Context-dependent Services |
WWV |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Petros Papapanagiotou, Jacques D. Fleuriot |
A theorem proving framework for the formal verification of Web Services Composition |
WWV |
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 |
WWV |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Maurice H. ter Beek, Stefania Gnesi, Mercy N. Njima |
Product Lines for Service Oriented Applications - PL for SOA |
WWV |
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. |
WWV |
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 |
WWV |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Marco Giunti |
A type checking algorithm for qualified session types |
WWV |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Eiter |
Answer Set Programming in a Nutshell. |
WWV |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Voronkov |
EasyChair. |
WWV |
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. |
WWV |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Héctor Valero, Carlos J. Castillo, Josep Silva |
Reconstructing Information Retrieved from Multiple Websites. |
WWV |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Franz Weitl, Shin Nakajima 0001 |
Incremental Construction of Counterexamples in Model Checking Web Documents. |
WWV |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Volker Mattick |
Specifying Hyperdocuments with Algebraic Methods. |
WWV |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Mirjana Jaksic, Burkhard Freitag |
Temporal Patterns for Document Verification. |
WWV |
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 |
WWV |
2009 |
DBLP BibTeX RDF |
|
1 | I. V. Ramakrishnan, Jalal Mahmud, Yevgen Borodin, Muhammad Asiful Islam, Faisal Ahmed 0001 |
Bridging the Web Accessibility Divide. |
WWV |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ali Nasrat Haidar, Ali E. Abdallah |
Formal Modelling of PKI Based Authentication. |
WWV |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Josep Silva |
Information Filtering and Information Retrieval with the Web Filtering Toolbar. |
WWV |
2008 |
DBLP DOI BibTeX RDF |
|
1 | María Alpuente, Daniel Romero 0001 |
A Visual Technique for Web Pages Comparison. |
WWV |
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. |
WWV |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Mancarella, Giacomo Terreni, Francesca Toni |
Web Sites Repairing through Abduction. |
WWV |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Demis Ballis, Santiago Escobar 0001 |
Preface. |
WWV |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Michele Baggi |
An Ontology-based System for Semantic Filtering of XML Data. |
WWV |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Steve Barker, Gill Lowen |
Event-oriented Web-based E-trading. |
WWV |
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 |
WWV |
2008 |
DBLP BibTeX RDF |
|
1 | Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi 0001 |
Service Discovery and Negotiation With COWS. |
WWV |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jesús Manuel Almendros-Jiménez |
An RDF Query Language based on Logic Programming. |
WWV |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Musab AlTurki, José Meseguer 0001 |
Reduction Semantics and Formal Analysis of Orc Programs. |
WWV |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Nawal Guermouche, Olivier Perrin 0001, Christophe Ringeissen |
Timed Specification For Web Services Compatibility Analysis. |
WWV |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Joost Visser 0001 |
Coupled Transformation of Schemas, Documents, Queries, and Constraints. |
WWV |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Sonia Flores, Salvador Lucas, Alicia Villanueva |
Formal Verification of Websites. |
WWV |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Robin Henry Message, Alan Mycroft |
Controlling Control Flow in Web Applications. |
WWV |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Faisal Abouzaid, John Mullins |
A Calculus for Generation, Verification and Refinement of BPEL Specifications. |
WWV |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Peter Höfner, Florian Lautenbacher |
Algebraic Structure of Web Services. |
WWV |
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. |
WWV |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Demis Ballis, Santiago Escobar 0001, Massimo Marchiori |
Preface. |
WWV |
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 |
WWV |
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. |
WWV |
2005 |
DBLP DOI BibTeX RDF |
|
1 | María Alpuente, Santiago Escobar 0001, Moreno Falaschi |
Preface. |
WWV |
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. |
WWV |
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. |
WWV |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Martin Karusseit, Tiziana Margaria |
Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service. |
WWV |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Roger G. Stone |
Validating Scripted Web-Pages. |
WWV |
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. |
WWV |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Shriram Krishnamurthi |
Web Verification: Perspective and Challenges. |
WWV |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Temur Kutsia |
Context Sequence Matching for XML. |
WWV |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Bo Hu, Florian Lauck, Jan Scheffczyk |
How Recent is a Web Document? |
WWV |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Claude Kirchner, Hélène Kirchner, Anderson Santana |
Anchoring Modularity in HTML. |
WWV |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Josep Silva |
Slicing XML Documents. |
WWV |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Demis Ballis, Javier García-Vivó |
A Rule-based System for Web site Verification. |
WWV |
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. |
WWV |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Salvador Lucas |
Rewriting-Based Navigation of Web Sites: Looking for Models and Logics. |
WWV |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Shadi Abou-Zahra |
A Data Model to Facilitate the Automation of Web Accessibility Evaluations. |
WWV |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Luigi Liquori, Furio Honsell, Rekha Redamalla |
A Language for Verification and Manipulation of Web Documents: (Extended Abstract). |
WWV |
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? |
WWV |
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. |
WWV |
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. |
WWV |
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 |
WWV |
2005 |
DBLP BibTeX RDF |
|
1 | Demis Ballis, Javier García-Vivó |
A Rewriting-based system for Web site Verification. |
WWV |
2005 |
DBLP BibTeX RDF |
|
1 | Temur Kutsia |
Context Sequence Matching for XML. |
WWV |
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. |
WWV |
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. |
WWV |
2005 |
DBLP BibTeX RDF |
|
1 | Roger G. Stone |
Validating Scripted Web-Pages. |
WWV |
2005 |
DBLP BibTeX RDF |
|
1 | Bo Hu, Florian Lauck, Jan Scheffczyk |
How Recent is a Web Document? |
WWV |
2005 |
DBLP BibTeX RDF |
|
1 | Luigi Liquori, Furio Honsell, Rekha Redamalla |
A Language for Verification and Manipulation of Web Documents. |
WWV |
2005 |
DBLP BibTeX RDF |
|
1 | Salvador Lucas |
Rewriting-based navigation of Web sites. |
WWV |
2005 |
DBLP BibTeX RDF |
|
1 | Shadi Abou-Zahra |
Automated Web Site Accessibility Evaluation. |
WWV |
2005 |
DBLP BibTeX RDF |
|
1 | Shriram Krishnamurthi |
Web Verification: Perspective and Challenges. |
WWV |
2005 |
DBLP BibTeX RDF |
|
1 | Anthony Finkelstein |
Business Data Validation: lessons from practice. |
WWV |
2005 |
DBLP BibTeX RDF |
|
1 | María Alpuente, Santiago Escobar 0001, Moreno Falaschi |
Preface. |
WWV |
2005 |
DBLP BibTeX RDF |
|
1 | Josep Silva |
Slicing XML Documents. |
WWV |
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? |
WWV |
2005 |
DBLP BibTeX RDF |
|
1 | Claude Kirchner, Hélène Kirchner, Anderson Santana |
Anchoring modularity in HTML. |
WWV |
2005 |
DBLP BibTeX RDF |
|
1 | Martin Karusseit, Tiziana Margaria |
Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service. |
WWV |
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. |
WWV |
2005 |
DBLP BibTeX RDF |
|