posted by organizer: HASE2015 || 2164 views || tracked by 9 users: [display]

HASE 2015 : 16th IEEE International Symposium on High Assurance Systems Engineering


Conference Series : High-Assurance Systems Engineering
When Jan 8, 2015 - Jan 10, 2015
Where Daytona Beach, Florida, USA
Submission Deadline Sep 15, 2014
Notification Due Oct 15, 2014
Final Version Due Nov 10, 2014

Call For Papers

* 16th IEEE International Symposium on High Assurance Systems Engineering *
* HASE 2015 *
* *
* *
* January 8 - 10, 2015 *
* Daytona Beach, Florida, USA


The 16th 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*******************************
September 15, 2014: paper submission
October 15, 2014: author notification
November 10, 2014: camera-ready & author registration


All submissions must be written in English and formatted according to the IEEE
formatting guidelines for conference papers
( 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.


General Chair
Raymond A. Paul, Department of Defense, USA

Program Chairs
Remzi Seker, Embry-Riddle Aeronautical University, USA
Kenji Yoshighoe, University of Arkansas at Little Rock,USA

Finance Chair
Victor Winter, University of Nebraska at Omaha, USA

Local Arrangement Chairs
Heidi Steinhauer, Embry-Riddle Aeronautical University, USA
Radu Babiceanu, Embry-Riddle Aeronautical University, USA

Proceedings Chairs
Jiang Bian, University of Arkansas for Medical Sciences, USA
Nuri Yilmazer, Texas A&M University-Kingsville, USA

Panel Chair
Ann T. Tai, WW Technology Group, USA

Publicity Chairs
Andrew Allen, Georgia Southern University, USA
Helene Waeselynck, LAAS-CNRS, France

Related Resources

ICIEM 2016   International Conference on Integrated Environmental Management for Sustainable Development
IROS 2017   IEEE/RSJ International Conference on Intelligent Robots and Systems
ACIRS 2017   2nd IEEE Asia-Pacific Conference on Intelligent Robot Systems (ACIRS 2017)-IEEE Xplore, Ei Compendex
HASE 2017   The 18th IEEE International Symposium on High Assurance Systems Engineering
ACIRS-IEEE 2017   IEEE - 2nd Asia-Pacific Conference on Intelligent Robot Systems (ACIRS 2017)
ISPCE 2017   IEEE Symposium on Product Safety Engineering 2017
IEEE ITOEC 2017   2017 IEEE 3rd Information Technology and Mechatronics Engineering Conference
IEEE-ICRV 2017   IEEE--2017 3rd International Conference on Robotics and Vision (ICRV 2017)--Ei Compendex and Scopus
ICCT 2017   17th IEEE International Conference on Communication Technology(ICCT 2017)-IEEE Xplore, Ei Compendex
IWPE 2017   3rd IEEE International Workshop on Privacy Engineering