posted by system || 6623 views || tracked by 6 users: [display]

HASE 2012 : IEEE 14th International Symposium on High-Assurance Systems Engineering

FacebookTwitterLinkedInGoogle


Conference Series : High-Assurance Systems Engineering
 
Link: http://hase2012.ist.unomaha.edu/
 
When Oct 25, 2012 - Oct 27, 2012
Where Omaha, USA
Submission Deadline Jul 15, 2012
Notification Due Aug 31, 2012
Final Version Due Sep 9, 2012
Categories    systems
 

Call For Papers

The 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. Of central importance, is the strength of the evidence supporting the assurance case - 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 for the symposium include, but are not limited to:

Platforms and Architectures
Cloud Computing
Cyber-physical Systems
Distributed systems
Embedded systems
SCADA systems and other critical infrastructures
Web Services
Behavior
Emergent behavior
Fault Tolerance
Monitoring
Simulation
Development and Understanding
Domain-specific Languages
Evolution and Change
Formal Methods
Model-driven Engineering
Security
Software Analysis and Visualization
Synthesis
Tools
Transformation-based Development
Verification and validation
Case Studies and Experiments

Research Papers

HASE 2012 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 \emph{rgandhi@nucia.unomaha.edu}, and should include the panel title and scope, and the organizers?
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 \href{http://www.computer.org/portal/web/cscps/formatting}{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.

Related Resources

IEEE CPESE 2025   IEEE--2025 12th International Conference on Power and Energy Systems Engineering (CPESE 2025)
SIGCOMM 2025   ACM Special Interest Group on Data Communication
PEET 2025   IEEE--2025 International Conference on Power Engineering and Electrical Technology (PEET 2025)
IARIA Congress 2025   The 2025 IARIA Annual Congress on Frontiers in Science, Technology, Services, and Applications
CPESE 2025   IEEE--2025 12th International Conference on Power and Energy Systems Engineering (CPESE 2025)
MODERN SYSTEMS 2025   International Conference of Modern Systems Engineering Solutions
PESARO 2025   The Fifteenth International Conference on Performance, Safety and Robustness in Complex Systems and Applications
IEEE-Ei/Scopus-ITCC 2025   2025 5th International Conference on Information Technology and Cloud Computing (ITCC 2025)-EI Compendex
CHASE 2025   The Tenth IEEE/ACM International Conference on Connected Health: Applications, Systems and Engineering Technologies
ACM SAC 2025   40th ACM/SIGAPP Symposium On Applied Computing