posted by user: kommy || 7290 views || tracked by 17 users: [display]

HASE 2014 : 15th IEEE International Symposium on High Assurance Systems Engineering

FacebookTwitterLinkedInGoogle


Conference Series : High-Assurance Systems Engineering
 
Link: http://hase2014.cis.fiu.edu/#
 
When Jan 9, 2014 - Jan 11, 2014
Where Miami, Florida, USA
Submission Deadline Aug 14, 2013
Notification Due Sep 30, 2013
Final Version Due Oct 30, 2013
Categories    computer science   system   assurance
 

Call For Papers

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 the Springer Software Quality Journal. http://www.springer.com/computer/swe/journal/11219



***************************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 Chairs
Raymond A. Paul, Department of Defense, USA
Jie Xu, University of Leeds, UK

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

Related Resources

ICMAI--SCI 2023   2023 8th International Conference on Mathematics and Artificial Intelligence (ICMAI 2023)--SCI
EI-CFAIS 2022   2022 International Conference on Frontiers of Artificial Intelligence and Statistics (CFAIS 2022)
IEEE ICICSE 2023   IEEE--2023 the 3rd International Conference on Information Communication and Software Engineering (ICICSE 2023)
ACM-Ei/Scopus-ITNLP 2022   2022 2nd International Conference on Information Technology and Natural Language Processing (ITNLP 2022) -EI Compendex
IEEE ICCCBDA 2023   IEEE--2023 the 8th International Conference on Cloud Computing and Big Data Analytics (ICCCBDA 2023)
ECCSIT 2022   2022 European Conference on Computer Science and Information Technology (ECCSIT 2022)
IEEE ICEEE 2023   IEEE--2023 10th International Conference on Electrical and Electronics Engineering (ICEEE 2023)
IOP, EI, Scopus-PRECE 2022   2022 International Conference on Power, Renewable Energy and Control Engineering (PRECE 2022)-EI Compendex
CETA--Ei 2023   2023 2nd International Conference on Computer Engineering, Technologies and Applications (CETA 2023)
ICEEE 2023   IEEE--2023 10th International Conference on Electrical and Electronics Engineering (ICEEE 2023)