Call for Papers

The Thirteenth International Workshop on Assurance

in Distributed Systems and Networks (ADSN2014)

Sponsored by the IEEE Computer Society Technical Committee on Distributed Processing in cooperation with the IEICE Communications Society Technical Committee on Information Networks and the IEICE Information and Systems Society Technical Committee on Dependable Computing

ADSN 2014 will be held in conjunction with the 34th International Conference on Distributed Computing Systems (ICDCS 2014), Madrid, Spain June 30, 2014 - July 3, 2014.

http://lsd.ls.fi.upm.es/icdcs2014

ADSN 2014 is the thirteenth edition of this International Workshop demonstrating its long-term continuity and continuously received recognition. The objective of the Workshop is to provide an effective forum for original scientific and engineering advances in Assurance in Distributed Systems and Networks. Along with recent rapid growth of the Internet and ubiquitous networks, applications for autonomous decentralized systems are emerging in many important areas like transportation, automotive systems, smart energy grids and E-commerce to name a few. In these distributed systems and networks, heterogeneous requirements are independently generated and the requirements themselves are frequently changing. Assurance in these distributed systems and networks is defined as capability of guaranteeing functional and non-functional system properties such as dependability, security, timeliness and adaptivity to heterogeneous and changing requirements. The workshop theme is critical in meeting ever more demanding requirements for assurance in systems and networks. Technologies supporting assurance including integration of various fields such as real time, fault tolerance, autonomy, mobility and intelligence will have to be incorporated in complex distributed systems and networks.

Topics of interest for this workshop include, but are not limited to:

· Assurance technologies for new generation networks

· Assurance in cooperative embedded, grid, and cloud computing systems

· Assurance in service-oriented and web-service based computing systems

· Heterogeneous systems coexistence and consistency technologies

· Network control (QoS,QoE, CoS, etc) technologies for assurance

· Self-stabilization and sensor networks assurance

· Real-time technology assurance

· Agents technologies for assurance

· Assurance in safety-critical automotive and avionic systems

· Software and hardware technologies for assurance in intelligent transportation systems, train control, and space computers

· System life-cycle assurance in specification, design, implementation, testing, verification, and validation

· Security technologies for assurance

· System management and proactive fault management technologies for assurance

· Technologies for achieving high assurance in complex systems

Papers and Submissions

Papers must be written in English, and they have to be Postscript, PDF, or Word format. The complete manuscript should be no more than 6 pages following IEEE conference proceedings style and guidelines. The following information must be provided on a cover sheet:

(1) paper title, full name, affiliation of the author(s)
(2) full name, affiliation, complete address, phone and fax numbers and email address of the author to be contacted, as well as
(3) an abstract (up to a 150 words).

All paper submissions will be handled electronically by the EasyChair conference management system. Papers should be submitted via the EasyChair adsn2014 page:
https://www.easychair.org/conferences/?conf=adsn2014

Authors are expected to present their paper at the workshop. At least one author of each paper must register for ICDCS to be included in the workshop program.

Important Dates

Deadline for submission: January 10, 2014 February 28, 2014

Acceptance notification: March 17, 2014

Final Manuscript due: April 7, 2014

Committees

General Chair

Miroslaw Malek, University of Lugano, Switzerland

Vice Chair

Yoshiaki Kakuda, Hiroshima City University, Japan

Program Chair

Joerg Kaiser, Otto-von-Guericke-University of Magdeburg

Vice Program Chairs

Antonio Casimiro, University of Lisbon (FCUL), Portugal

Chin-Tser Huang, University of South Carolina, USA

Yukikazu Nakamoto, University of Hyogo, Japan

Program Committee

Masaki Aida, Tokyo Metropolitan University, Japan

Ramesh Bharadwaj, US Naval Research Laboratory, USA

Yinong Chen, Arizona State University, USA

Jorge Cobb, University of Texas at Dallas, USA
Felicita Di Giandomenico, CNR, Italy

Mina S. Guirguis, Texas State University, USA

Keesook J. Han, Air Force Research Laboratory, USA

Rolf Johansson, SP, Sweden

Marc-Oliver Killijian, LAAS, France

Eitaro Kohno, Hiroshima City University, Japan

Sunggu Lee, Pohang University of Science and Tech., Korea

Rogerio de Lemos, University of Kent, UK
Istvan Majzik, Budapest University of Technology and Economics, Hungary

Yoshifumi Manabe, Kougakuin University, Japan

Supratik Mukhopadhyay, Louisiana State University, USA

Hidenori Nakazato, Waseda University, Japan

Krerk Piromsopa, Chulalongkorn University, Thailand,

Kaliappa Ravindran, CUNY City College of New York, USA

Indrakshi Ray, Colorado State University, USA

Felix Salfner, SAP, Germany

Janusz Sosnowski, Warsaw University of Technology, Poland
Elena A. Troubitsyna, Åbo Akademi University Turku, Finland

Tatsuhiro Tsuchiya, Osaka University, Japan

Marco Vieira, University of Coimbra, Portugal

Xiaofeng Wang, University of South Carolina, USA

Xin Wang, Fudan University, China

Yufeng Wang, Nanjing Univ. of Posts and Telecommunications,China,