ICT for EU-India Cross Cultural Dissemination Project
MEC

WWV'05

1st Int'l Workshop on Automated Specification and Verification of Web Sites
Valencia, Spain, March 14-15, 2005

WORKSHOP PROGRAM

The pre-proceedings are available here (7 Mbytes).

Monday March, 14th

9:00 - 9:20 Registration
9:20 - 9:30 Welcome
9:30 - 10:30 INVITED TALK
Business Data Validation: lessons from practice
Anthony Finkelstein
10:30 - 11:00 Coffee Break
11:00 - 13:00 Session Formal Models for describing and reasoning about Web sites
Chair: Moreno Falashi
11:00 - 11:30 Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service
 Martin Karusseit and Tiziana Margaria
11:30 - 12:00 Generating commercial web applications from precise requirements and formal specifications
 David Crocker and John H. Warren
12:00 - 12:30 What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications?
 Marco Winckler, Eric Barboni, Christelle Farenc and Philippe Palanque
12:30 - 13:00 How Recent is a Web Document?
 Bo Hu, Florian Lauck and Jan Scheffczyk
13:00 - 15:00 Lunch (restaurant: Colegio Mayor Galileo Galilei)
15:00 - 16:30 Session Testing, Validation and Categorization of Web Sites
Chair: Tiziana Margaria
15:00 - 15:30 Validating Scripted Web-Pages
 Roger G Stone
15:30 - 16:00 Testing web applications in practice
 Javier Jesus Gutierrez Rodriguez, Maria Jose Escalona Cuaresma, Manuel Mejia Risoto and Jesus Torres Valderrama
16:00 - 16:30 Web Categorisation Using Distance-Based Decision Trees
 Vicent Estruch, Cesar Ferri, Jose Hernandez-Orallo and M. Jose Ramirez-Quintana
16:30 - 17:00 Coffee Break
17:00 - 18:00 Session Accessibility Evaluation
Chair: Sarat Babu
17:00 - 17:30 Web Accessibility Evaluation Tools: a survey and some improvements
 Vicente Luque-Centeno, Carlos Delgado-Kloos, Jesus Arias-Fisteus and Luis Alvarez-alvarez
17:30 - 18:00 Automated Web Site Accessibility Evaluation
 Shadi Abou-Zahra

Tuesday March, 15th

9:00 - 10:00 INVITED TALK
Programming and Verifying the Interactive Web
Shriram Krishnamurthi
10:00 - 11:00 Session XML transformation and optimization
Chair: Demis Ballis
10:00 - 10:30 Context Sequence Matching for XML
 Temur Kutsia
10:30 - 11:00 Slicing XML Documents
 Josep Silva
11:00 - 11:30 Coffee Break
11:30 - 13:30 Session Rule-based approaches to Web site analysis and verification
Chair: Santiago Escobar
11:30 - 12:00 A Language for Verification and Manipulation of Web Documents
 Luigi Liquori, Furio Honsell and Rekha Redamalla
12:00 - 12:30 Anchoring modularity in HTML
 Claude Kirchner, Helene Kirchner and Anderson Santana
12:30 - 13:00 A Rule-based System for Web site Verification
 Demis Ballis and Javier Garcia-Vivo
13:00 - 13:30 Rewriting-based navigation of Web sites
 Salvador Lucas
13:30 - 15:00 Lunch (restaurant: Colegio Mayor Galileo Galilei)
15:00 - 16:30 Session Model-checking and Static Analysis applied to the Web
Chair: María del Mar Gallardo
15:00 - 15:30 Modeling Web Applications by the Multiple Levels of Integrity Policy
 Gianluca Amato, Massimo Coppola, Stefania Gnesi, Francesca Scozzari and Laura Semini
15:30 - 16:00 Verification of Web Services with Timed Automata
 Gregorio Diaz Descalzo, Juan Jose Pardo Mateo, M. Emilia Cambronero Piqueras, Valentin Valero Ruiz and Fernando Cuartero Gomez
16:00 - 16:30 Improving the Quality of Web-based Enterprise Applications with Extended Static Checking: A Case Study
 Frederic Rioux and Patrice Chalin
16:30 Visit to Valencia
21:00 Workshop Dinner (restaurant: Les graelles)

Santiago Escobar
Last modified: Tue Mar 8 11:47:35 CET 2005