HASE 2008

HASE 2008
IEEE 11th International Symposium on High-Assurance Systems Engineering
Dates	Dec 3, 2008 (iCal) - Dec 5, 2008
Homepage:	cs.nju.edu.cn/hase08
Location
Location:	Nanjing, China
Loading map... {"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"280px","height":"280px","centre":false,"title":"","label":"","icon":"","visitedicon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"wmsoverlay":false,"copycoords":false,"static":false,"zoom":false,"defzoom":14,"layers":["OpenStreetMap"],"overlaylayers":[],"resizable":false,"enablefullscreen":false,"scrollwheelzoom":true,"markercluster":false,"clustermaxzoom":20,"clusterzoomonclick":true,"clustermaxradius":80,"clusterspiderfy":true,"geojson":"","locations":[{"text":"\u003Cb\u003E\u003Cdiv class=\"mw-parser-output\"\u003E\u003C/div\u003E\u003C/b\u003E\u003Chr /\u003E\u003Cdiv class=\"mw-parser-output\"\u003E\u003C/div\u003E","title":"","link":"","lat":32.0438284,"lon":118.7788631,"icon":""}],"imageoverlays":null}
Important dates
Submissions:	Jun 30, 2008
Notification:	Aug 1, 2008
Table of Contents

The IEEE International Symposium on High Assurance Systems Engineering is a forum for discussion of systems and software engineering issues to achieve high assurance systems. The focus is on integrated approaches for assuring reliability, availability, integrity, privacy, confidentiality, safety, and real-time of complex systems and the methods for assessing the assurance levels of the systems to a high degree of confidence. Technical and experience papers on algorithms, policies, middleware, tools, and models for high assurance systems development, verification and validation, and assessment are welcome.

Authors are invited to submit high quality technical papers describing original and unpublished work in all aspects of high assurance systems engineering.
Topics of interests for the symposium include, but are not limited to:

* Design and development of highly reliable, survivable, secure, safe, and time-assured systems
* Integrated system reliability, availability, security, safety, and timing analysis and evaluation methods
* Policies for reliability, safety, security, integrity, privacy, and confidentiality of high assurance systems
* Formal specification, specification validation, testing, and model checking for high assurance systems
* High assurance software architecture and design
* Transformation-based and evolutionary-based system development
* Reconfigurable system design for evolving high assurance requirements
* Dynamic monitoring and adaptation for run-time assurance
* High assurance web services
* High assurance information/knowledge systems and data grids
* High assurance embedded systems, ubiquitous systems and sensor networks
* Extending web service specifications for reliability, safety, security, privacy, trust, and other QoS properties
* Assurance techniques for service-oriented systems

Submission Guidelines:
    Research Papers:
    Original, previously unpublished papers are solicited. Maximum 10 pages, standard IEEE double-column format.

    Important Dates:
    June 30, 2008 	Paper submission deadline (EXTENDED)
    July 10, 2008: 	Fast Abstract submission deadline
    August 1, 2008: 	Acceptance/rejection notification
    August 29, 2008: 	Camera-ready version due
    December 3-5, 2008: 	HASE 2008


    Organization:
    General Chairs 	Jian Lu, Nanjing University, China
    Program Co-chairs 	Xuandong Li, Nanjing University (China)
      	Carol S. Smidts, Ohio State University (US, North/South America)
      	Jie Xu, University of Leeds (Europe)
    Finance Chair 	Xin Chen, Nanjing University (China)
    Publicity Chair 	Jing Dong, University of Texas at Dallas (US)
    Registration Chair 	JianHua Zhao, Nanjing University (China)
    Local Organization Chair 	Linzhang Wang, Nanjing University, China

     
    Program Committee

    Farooq Ahmad (National University of Sciences and technology, Pakistan)
    Masaki Aida (Tokyo Metropolitan University, Japan)
    Farokh Bastani (University of Texas at Dallas, USA)
    Andrea Bondavali(University of Florence, Italy)
    Guillaume Brat (USRA-RIACS, USA)
    Michel Cukier (University of Maryland at College Park, USA)
    John Davies(BAE Systems, UK)
    JinSong Dong (National University of Singapore,Singapore)
    Felicita Di Giandomenico(CNR, Italy)
    Arif Ghafoor (Purdue University, USA)
    Swapna Gokhale (University of Connecticut, USA)
    Katerina Goseva-Popstojanova (West Virginia University, USA)
    Mats Heimdahl (University of Minnesota, USA)
    Mike Henshaw(Loughborough University, UK)
    Ravi Iyer (University of Illinois at Urbana-Champaign, USA)
    Phil John(Cranfield University, UK)
    Yoshiaki Kakuda (Hiroshima City University, Japan)
    Shaoying Liu (Hosei University, Japan)
    Zhiming Liu (UNU/IIST, Macau, China)
    Xiaodong Lu (Tokyo Institute of Technology, Japan
    Michael Lyu (Chinese University of Hong Kong, China)
    Miroslaw Malek( Humboldt University, Germany)
    Hong Mei (Peking University, China)
    Graham Morgen(University of Newcastle, UK)
    Kinji Mori (Tokyo Institute of Technology, Japan)
    Hiroaki Morino (Shibaura Institue of Technology, Japan)
    Gilles Muller(EMN, France)
    Edgar Nett(University of Magdeburg. Germany)
    Jun Pang (University of Luxembourg, Luxembourg)
    Steven Roach (University of Texas at El Paso, USA)
    Manuel Rodriguez (Ohio State University, USA)
    Luigi Romano(University of Napoli, Italy)
    Eugene Santos (Dartmouth College, USA)
    Man-Tak Shing (Naval Postgraduate School, USA)
    Zhendong Su (University of California at Davis, USA)
    Yongdong Tan (Southwest Jiaotong University, China)
    Paul Townend(University of Leeds, UK)
    Helene Waeselynck(LAAS-CNRS, France)
    Farn Wang (National Taiwan University Taiwan, China)
    Ji Wang (Changsha Institute of Technology, China)
    Linzhang Wang (Nanjing University, China)
    Victor Winter (University of Nebraska at Omaha, USA)
    Eric Wong (University of Texas at Dallas, USA)
    Dianxiang Xu (North Dakota State University, USA)
    Jian Zhang (Institute of Software, China)
    Jianhua Zhao (Nanjing University, China)
    Jianjun Zhao (Shanghai Jiao Tong University, China)
    Hong Zhu (Oxford Brooks University, UK)
    Huibiao Zhu (East China Normal University, China)

    Steering Program Committee
    Taghi M. Khoshgoftaar 	Florida Atlantic University
    Kinji Mori	Tokyo Institute of Technology
    Raymond Paul	Department of Defense (Chair)
    Wei-Tek Tsai	Arizona State University
    Victor Winter	University of Nebraska,Omaha
    I-Ling Yen	University of Texas at Dallas
	

This CfP was obtained from WikiCFP