<div>
<div>
<span>
<div>***************</div><div>VATSS 2011</div><div>***************</div><div><br></div><div>1st International Workshop on Verification, Analysis, and Testing of Service Systems at ESEC/FSE 2011</div><div>Szeged, Hungary, September 2011</div><div><br></div><div>http://home.dei.polimi.it/guinea/VATSS2011/</div><div><br></div><div>*****************</div><div>Call for Papers</div><div>*****************</div><div><br></div><div>Service-orientation has provided us with a powerful new abstraction. Services enable integration, and allow the development of systems that are easier to adapt in the wake of anomalies or to take advantage of new opportunities. The result is that the abstraction has become pervasive, and is now being used outside the realm of traditional software artifacts. We have embedded services, mobile services, and real-time services. Cloud-computing describes and provides infrastructures and platforms as services, and the "Internet of Services" is becoming a reality. Innovative applications are taking more and more advantage of extremely diverse artifacts, thanks to the harmonization possible through a common abstraction.</div><div><br></div><div>The VATSS workshop will bring together researchers and practitioners to highlight design, testing, analysis, and verification techniques for service- and cloud-based systems, and discuss how these techniques can assist us as we transition from single- to multi-layered service-based systems. Participants are invited to review the state of the art and practices, report requirements and constraints from real-world systems, discuss drawbacks and the need to extend current approaches, or present recent new ideas and preliminary results. The workshop will concentrate on the challenges that have been or need to be faced, and the opportunities that have emerged or can be forecast.</div><div><br></div><div>********</div><div>Topics</div><div>********</div><div><br></div><div>The VATSS Program welcomes research papers, experience reports, and vision/position papers that address general or domain-specific challenges in the verification, analysis, and testing of service- and cloud-based systems. The program is interested in innovative software technologies, tools and applications. Topics of interest include but are not limited to the following:</div><div><br></div><div>- Analysis techniques for service compositions </div><div>- Stochastic and probabilistic analysis of service applications </div><div>- Formal verification of service-based systems </div><div>- Innovative testing techniques for service-centric applications </div><div>- Multi-layered analysis techniques for cloud infrastructures </div><div>- Testing techniques for the cloud </div><div>- Verification techniques for real-time services </div><div>- (Layered) monitoring techniques </div><div>- Runtime testing QoS assessment and validation </div><div>- Sustainability analysis of service-based infrastructures </div><div>- Case studies and industrial or experience reports</div><div><br></div><div>**********************</div><div>Submission Details</div><div>**********************</div><div><br></div><div>The contributed papers are expected to comprise research papers, experience reports, and vision/position papers. All papers must follow the ESEC/FSE 2011 conference proceedings format and be up to 4 pages of length for short papers, or 8 pages of length for full papers. All contributions must be in English. Contributions must be submitted as PDF documents.</div><div><br></div><div>The papers will be reviewed by at least three members of the program committee. The program committee will select the best papers based on their quality, relevance to the workshop and potential to initiate discussions.</div><div><br></div><div>More details can be found on the workshop's web site.</div><div><br></div><div>******************</div><div>Important Dates</div><div>******************</div><div><br></div><div>Paper submission: June 15, 2011</div><div>Notification: July 4, 2011</div><div>Camera ready: July 12, 2011</div><div>Workshop: September 4, 2011</div><div><br></div><div>************</div><div>Organizers</div><div>************</div><div><br></div><div>Luciano Baresi - Politecnico di Milano</div><div>Tevfik Bultan - University of California, Santa Barbara </div><div>Sam Guinea - Politecnico di Milano</div><div><br></div><div>***********************</div><div>Program Committee</div><div>***********************</div><div><br></div><div>- Annapaola Marconi - Fondazione Bruno Kessler Trento</div><div>- Gwen Salaun - INRIA Grenoble</div><div>- Schahram Dustdar - TU Wien</div><div>- Gianluigi Zavattaro - University of Bologna</div><div>- Wolfgang Theilmann - SAP</div><div>- Sylvain Halle - Université of Québec à Chicoutimi</div><div>- Samik Basu - Iowa State University </div><div>- Marsha Chechik - University of Toronto</div><div>- Andrea Zisman - City University London</div><div>- Alex Orso - Georgia Institute of Technology </div><div>- Andrea Polini - Università di Camerino</div><div>- Howard Foster - Imperial College London</div><div><br></div><div>***************</div><div>Supported by</div><div>***************</div><div><br></div><div>Self Managing Situated Computing (http://www.erc-smscom.org/)</div><div>S-CUBE (http://www.s-cube-network.eu/)</div><div><br></div><div>********************************************************************************</div><div>We look forward to your submissions, and to meeting you in Szeged!</div><div>********************************************************************************</div>
</span>
<span><br><br><br></span>
</div>
</div>