Sanjukta Bhowmick
2012-06-06 20:41:28 UTC
(We apologize if you have received multiple copies of this CFP)
Dear Colleague
We would like to invite you to submit papers to The 14th IEEE International Symposium on High Assurance Systems Engineering (HASE 2012), to be held at Omaha NE. October 25-27. HASE 2012 is a forum on tools and techniques used to design and construct systems that, in addition to meeting their functional objectives, are safe, secure, and reliable. Topics of interest include but are not limited to:
SCADA systems and other critical infrastructures, cyber-physical systems, cloud computing, distributed systems, web services, embedded systems, emergent behavior, fault tolerance, simulation, monitoring, model-driven engineering, synthesis, formal methods, domain-specific languages, evolution and change, verification and validation, software analysis and visualization, tools, transformation-based development, security , as well as case studies and experiments.
The following types of submissions are solicited:
Research Papers
HASE 2012 is soliciting original, unpublished research papers. The length is limited to eight pages, in IEEE style. More information can be found on the HASE 2012 website: http://hase2012.ist.unomaha.edu/
Fast Abstracts
A fast abstract is a lightly reviewed, two-page technical article that requires a short talk at HASE. The goal of a fast abstract is to promote current work, research, practices, opinions, experiences, and issues related to any facet of high assurance systems. A fast abstract is early communication of technical work and does not require the completed results expected of a conference or journal publication. The length is limited to two pages, in IEEE style.
Panel Proposals
Proposals for panels are being solicited. Panels should focus on new challenges and emerging technologies related to high assurance systems, to stimulate a lively and thought provoking discussion. Controversial issues that encompass multiple viewpoints are desirable. The goal is to engage the audience with a lively debate that furthers their understanding of the topic. Panel proposals of at most two pages should be submitted by email, to ***@unomaha.edu<mailto:***@unomaha.edu>, and should include the panel title and scope, and the organizers' contact information.
The paper submission website is available at http://www.easychair.org/conferences/?conf=hase2012
Important Dates/Deadlines
July 22, 2012 Paper Submission
August 31, 2012 Paper Notification
September 9, 2012 Camera-ready submission
September 16, 2012 Preliminary Conference Program
Sincerely,
HASE 2012 Organizing Committee.
Program Committee for HASE 2012
Ahamed Iqbal Marquette University, USA
Babiceanu Radu University of Arkansas at Little Rock, USA
Bastani Farrokh University of Texas at Dallas, USA
Bharadwaj Ramesh Naval Research Laboratory, USA
Bondavalli Andrea University of Florence, Italy
Chunming Hu Beihang University
Cukic Bojan West Virginia University, USA
Dampier David Mississippi State University, USA
Dimitrios Serpanos University of Patras
Fu Jicheng University of Central Oklahoma, USA
Gandhi Robin University of Nebraska at Omaha, USA
Garg Vijay University of Texas at Austin, USA
Ghafoor Arif Purdue University, USA
Helene Waeselynck LAAS-CNRS
Hong Zhu Oxford Brookes University
Hurson Ali Missouri University of Science and Technology, USA
I-Ling Yen University of Texas at Dallas
Iyer Ravi University of Illinois, USA
Kanoun Karama LAAS-CNRS, France
Jianjun Zhao Shanghai Jiao Tong University
Jie Xu University of Leeds
Katerina Goseva West Virginia University
Kenji Taguchi National Institute of Advanced Industrial Science and Technology (AIST), Japan
Kenji Yoshigoe University of Arkansas at Little Rock
Khan Farrukh Texas Southern University
Liu Frank Missouri University of Science and Technology, USA
Lu Jian Nanjing University, China
Lu Xiaodong Tokyo Institute of Technology, Japan
Lyu Michael Chinese University of Hong Kong
McMillin Bruce Missouri University of Science and Technology, USA
Mohammad Zulkernine Queen's University
Neeraj Suri TU Darmstadt
Pattabiraman Karthik University of British Columbia, Canada
Paul Raymond Department of Defense
Punnekkat Sasikumar Mälardalen University, Sweden
Roach Steve University of Texas at El Paso, USA
Rotella Pete Cisco Systems, USA
Saglietti Francesca Universität Erlangen-Nürnberg, Germany
Schoitsch Erwin Austrian Institute of Technology
Sedigh Sahra Missouri University of Science and Technology, USA
Seliya Naeem University of Michigan - Dearborn, USA
Umit Topaloglu University of Arkansas for Medical Science
Victor Winter University of Nebraska at Omaha, USA
Dear Colleague
We would like to invite you to submit papers to The 14th IEEE International Symposium on High Assurance Systems Engineering (HASE 2012), to be held at Omaha NE. October 25-27. HASE 2012 is a forum on tools and techniques used to design and construct systems that, in addition to meeting their functional objectives, are safe, secure, and reliable. Topics of interest include but are not limited to:
SCADA systems and other critical infrastructures, cyber-physical systems, cloud computing, distributed systems, web services, embedded systems, emergent behavior, fault tolerance, simulation, monitoring, model-driven engineering, synthesis, formal methods, domain-specific languages, evolution and change, verification and validation, software analysis and visualization, tools, transformation-based development, security , as well as case studies and experiments.
The following types of submissions are solicited:
Research Papers
HASE 2012 is soliciting original, unpublished research papers. The length is limited to eight pages, in IEEE style. More information can be found on the HASE 2012 website: http://hase2012.ist.unomaha.edu/
Fast Abstracts
A fast abstract is a lightly reviewed, two-page technical article that requires a short talk at HASE. The goal of a fast abstract is to promote current work, research, practices, opinions, experiences, and issues related to any facet of high assurance systems. A fast abstract is early communication of technical work and does not require the completed results expected of a conference or journal publication. The length is limited to two pages, in IEEE style.
Panel Proposals
Proposals for panels are being solicited. Panels should focus on new challenges and emerging technologies related to high assurance systems, to stimulate a lively and thought provoking discussion. Controversial issues that encompass multiple viewpoints are desirable. The goal is to engage the audience with a lively debate that furthers their understanding of the topic. Panel proposals of at most two pages should be submitted by email, to ***@unomaha.edu<mailto:***@unomaha.edu>, and should include the panel title and scope, and the organizers' contact information.
The paper submission website is available at http://www.easychair.org/conferences/?conf=hase2012
Important Dates/Deadlines
July 22, 2012 Paper Submission
August 31, 2012 Paper Notification
September 9, 2012 Camera-ready submission
September 16, 2012 Preliminary Conference Program
Sincerely,
HASE 2012 Organizing Committee.
Program Committee for HASE 2012
Ahamed Iqbal Marquette University, USA
Babiceanu Radu University of Arkansas at Little Rock, USA
Bastani Farrokh University of Texas at Dallas, USA
Bharadwaj Ramesh Naval Research Laboratory, USA
Bondavalli Andrea University of Florence, Italy
Chunming Hu Beihang University
Cukic Bojan West Virginia University, USA
Dampier David Mississippi State University, USA
Dimitrios Serpanos University of Patras
Fu Jicheng University of Central Oklahoma, USA
Gandhi Robin University of Nebraska at Omaha, USA
Garg Vijay University of Texas at Austin, USA
Ghafoor Arif Purdue University, USA
Helene Waeselynck LAAS-CNRS
Hong Zhu Oxford Brookes University
Hurson Ali Missouri University of Science and Technology, USA
I-Ling Yen University of Texas at Dallas
Iyer Ravi University of Illinois, USA
Kanoun Karama LAAS-CNRS, France
Jianjun Zhao Shanghai Jiao Tong University
Jie Xu University of Leeds
Katerina Goseva West Virginia University
Kenji Taguchi National Institute of Advanced Industrial Science and Technology (AIST), Japan
Kenji Yoshigoe University of Arkansas at Little Rock
Khan Farrukh Texas Southern University
Liu Frank Missouri University of Science and Technology, USA
Lu Jian Nanjing University, China
Lu Xiaodong Tokyo Institute of Technology, Japan
Lyu Michael Chinese University of Hong Kong
McMillin Bruce Missouri University of Science and Technology, USA
Mohammad Zulkernine Queen's University
Neeraj Suri TU Darmstadt
Pattabiraman Karthik University of British Columbia, Canada
Paul Raymond Department of Defense
Punnekkat Sasikumar Mälardalen University, Sweden
Roach Steve University of Texas at El Paso, USA
Rotella Pete Cisco Systems, USA
Saglietti Francesca Universität Erlangen-Nürnberg, Germany
Schoitsch Erwin Austrian Institute of Technology
Sedigh Sahra Missouri University of Science and Technology, USA
Seliya Naeem University of Michigan - Dearborn, USA
Umit Topaloglu University of Arkansas for Medical Science
Victor Winter University of Nebraska at Omaha, USA