-------- Original Message --------
************************************************
* HASE 2014: 15th IEEE International Symposium
* on High Assurance Systems Engineering
*
* http://hase2014.cis.fiu.edu/
*
* January 9 - 11, 2014
* Miami, Florida, USA
************************************************
*** CALL FOR PAPER ***
************************************************
The 15th IEEE International Symposium on High Assurance Systems
Engineering (HASE) 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.
The strength of the evidence supporting the assurance case is of
central importance to the argument that a system satisfies its
safety and security policies. Supporting evidence can be obtained
from a number of sources including: testing, verification, design
methodologies, simulation, and analysis tools.
Topics of interest include, but are not limited to, the following:
* Platforms and Architectures
- Cyber-physical Systems
- Cloud Computing
- Distributed Systems
- Web Services
- Embedded Systems
- SCADA Systems and other Critical Infrastructures
* Behavior
- Emergent Behavior
- Fault Tolerance
- Simulation
- Monitoring
* Development and Understanding
- Model-driven Engineering
- Synthesis
- Formal Methods
- Domain Specific Languages
- Evolution and Change
- Verification and Validation
- Software Analysis and Visualization
- Transformation-based Development
- Security, Reliability and Safety
- Tools for High Assurance Systems
* Case Studies and Experiments
Types of Contributions
**********************
Full/Research Papers (up to eight pages) that solicit original,
unpublished research reports, empirical studies and reports on
engineering advances. They will be reviewed for topicality,
novelty, and potential to spark useful discussions in the symposium.
Fast Abstract Papers (up to two pages) that describe new ideas, or
recent experiences to promote current work, research, practices,
opinions, and issues related to any facet of high assurance systems.
A fast abstract is early communication of technical work and does not
require completed results as expected in a conference or journal
publication.
Panel Proposals 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 the panel chair, and should include the panel
title and scope, and the organizers’ contact information.
Extended versions of the best accepted papers will be invited for
publication in a special Issue of an International Journal or an Edited
Book (TBD).
************ IMPORTANT DATES *******************************
August 01, 2013: paper submission
September 30, 2013: author notification
October 30, 2013: Camera-ready & author registration
************************************************************
SUBMISSION
**********
All submissions must be written in English and formatted according to
the IEEE formatting guidelines for conference papers
(http://www.computer.org/portal/web/cscps/formatting).
All papers and fast abstracts must be submitted through the web-based
submission system, in PDF format. Submissions that exceed the specified
page limits (eight for research papers and two for fast abstracts),
outside the scope of the symposium, or do not follow the formatting
guidelines may be rejected without review. At least one author of each
accepted research paper or fast abstract is required to pay the full
registration fee to the conference. Each accepted paper or fast
abstract must be presented in person by the author or one of the
authors. All accepted papers and fast abstracts will be published in
the electronic proceedings by the IEEE Computer Society, indexed
through INSPEC and EI Index, and automatically included in the IEEE
digital library.
CONFERENCE ORGANIZERS
**********************
General Chair
Raymond A. Paul, Department of Defense, USA
Program Chairs
Mohammad Zulkernine, Queen’s University, Canada
Peter J. Clarke, Florida International University, USA
Finance Chair
Victor Winter, University of Nebraska at Omaha, USA
Local Arrangement Chairs
Peter J. Clarke, Florida International University, USA
Jinpeng Wei, Florida International University, USA
Proceeding Chair
Remzi Seker, Embry-Riddle Aeronautical University, USA
Panel Chair
I-Ling Yen, University of Texas at Dallas, USA
Publicity Chairs
Komminist Weldemariam, Queen’s University, Canada
Hirohisa Aman, Ehime University, Japan
--
Sincerely Yours,
Hirohisa AMAN <aman@cs.ehime-u.ac.jp, aman@computer.org>
Dept. of Computer Sc., Ehime Univ.