HASE 2011 - 13th IEEE International High Assurance Systems Engineering Symposium, Boca Raton, FL HASE 2011

Website hase.eadvise.us | Edit Freely

Category HASE 2011

Deadline: July 15, 2011 | Date: November 10, 2011-November 12, 2011

Venue/Country: Boca Raton, U.S.A

Updated: 2011-07-06 12:22:45 (GMT+9)

Call For Papers - CFP

Topics of interest 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, validation, testing, and model checking for high assurance systems

High assurance software architectures 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 information/knowledge systems and data grids

High assurance embedded systems, ubiquitous systems, and sensor networks

High assurance web services

Extending web service specifications for reliability, safety, security, privacy and other QoS properties

Assurance techniques for service-oriented systems

Case studies, experiments, and tools for high assurance systems

Research Papers:

HASE 2011 is soliciting original, unpublished research papers. The length is limited to eight pages, in IEEE style.

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 ankurcse.fau.edu, and should include the panel title and scope, and the organizers? contact information.

Special Issue Publications

Extended versions of the best papers at the conference will be invited for publication in special issues of International Journals and Edited Books (T.B.D).

Submission Guidelines:

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 page limits specified (eight for research papers and two for fast abstracts, respectively), are outside the scope of the symposium, or do not follow the formatting guidelines and 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. Arrangements are being made to publish extended versions of the best research papers in reputable journals.