|
|
| Line 1: |
Line 1: |
| {{Event
| | Ppl like you get all the brains. I just get to say thanks for he asnwer. |
| | Acronym = HASE 2008
| |
| | Title = IEEE 11th International Symposium on High-Assurance Systems Engineering
| |
| | Type = Conference
| |
| | Series =
| |
| | Field = Computer security and reliability
| |
| | Homepage = cs.nju.edu.cn/hase08
| |
| | Start date = Dec 3, 2008
| |
| | End date = Dec 5, 2008
| |
| | City= Nanjing
| |
| | State =
| |
| | Country = China
| |
| | Abstract deadline =
| |
| | Submission deadline = Jun 30, 2008
| |
| | Notification = Aug 1, 2008
| |
| | Camera ready =
| |
| }}
| |
| | |
| <pre>
| |
| 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
| |
| </pre>This CfP was obtained from [http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=3254&copyownerid=2 WikiCFP]
| |