|
|
| 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]
| |
