Automated Specification and Verification of Web Systems

June 23rd, Oslo, Norway

affiliated with FM 2015

   9:00-10:00

  Joint keynote session with FMICS 2015 in room Logo (2nd floor)
  chair: Alberto Lluch Lafuente

   9:00-10:00

  Invited Talk (shared with FMICS)
  José Meseguer (University of Illinois at Urbana-Champaign, USA) Formal Patterns for Web and Cloud Computing (abstract)

 10:00-10:30

  Coffee Break

 10:30-12:00

  WWV session 1: Languages for Safety and Security in room Java (2nd floor)
  chair: Maurice ter Beek

 10:30-11:00

  Nosheen Gul: A Calculus of Mobility and Communication for Ubiquitous Computing

 11:00-11:30

  Adrian Francalanza, Marco Giunti, and António Ravara: Unlocking Blocked Communicating Processes

 11:30-12:00

  Andrea Margheri, Rosario Pugliese, and Francesco Tiezzi: On Properties of Policy-Based Specifications

 12:00-14:00

  Lunch Break

 14:00-15:30

  Joint keynote session with FMICS 2015 in room Logo (2nd floor)
  chair: Maurice ter Beek

 14:00-15:00

  Invited Talk (shared with FMICS):
  Dino Distefano (Queen Mary University, London, UK & Facebook Inc., USA): Moving fast with software verification (abstract)

 15:00-15:30

  Time for Discussions etc.

 15:30-16:00

  Coffee Break

 16:00-17:30

  WWV session 2: Web Analysis in room Java (2nd floor)
  chair: Alberto Lluch Lafuente

 16:00-16:30

  Van Tien Hoang, Rocco De Nicola, Francesco Tiezzi, Angelo Spognardi, and Marinella Petrocchi:
  Domain-specific queries and Web search personalization: some investigations

 16:30-17:00

  Hai-Feng Guo, Qing Ouyang, and Harvey Siy: Semantics-based Automated Web Testing

 17:00-17:30

  Davide Bacciu, Stefania Gnesi, and Laura Semini: Using a Machine Learning Approach to Implement and Evaluate Product Line Features