Conference Information
HASE 2019: International Symposium on High Assurance Systems Engineering
http://cloud.hdu.edu.cn/hase2019/
Submission Date:
2018-09-23 Extended
Notification Date:
2018-10-15
Conference Date:
2019-01-03
Location:
Hangzhou, China
Years:
19
CORE: b   QUALIS: b1   Viewed: 10559   Tracked: 5   Attend: 1

Conference Location
Call For Papers
Researchers and practitioners are invited to submit original work to HASE 2019. All submissions must be written in English and will be reviewed by at least three members of the Technical Program Committee. The HASE 2019 program will include the following tracks:

Track A: Theoretical foundations of assurance (8 pages, including all materials e.g. references, figures, tables and appendices)

Contributions under this track will focus on methods and techniques that aid in designing, modeling, validating and evolving complex systems and SoS.

Track B: The practice of assurance (8 pages)

Contributions under this track will focus on methods that have been applied in the real-world design, model, development, integration or evolution of high assurance systems, or have been tested in realistic testbeds.

Track C: Tools (4 pages)

Contributions under this track will focus on new or existing tools and their effectiveness in designing, modeling, developing, integrating or evolving high assurance systems.

Track D: Fast Abstract and New Ideas (2 pages)

Short papers under this track will focus on new ideas that producing high assurance systems and SoS. Such ideas might not have undergone a rigorous test but are novel enough and worthy of further discussion.

TOPICS OF INTEREST include, but not limited to, the following

Data Analytics for High Assurance Systems Engineering
Data Analysis and Visualization Methodologies
Data Analytics for High Assurance System Development and Evolution
Data Analytics for System-of Systems
Big Data in Cyber-Physical Systems
Big Data in Cloud Systems
Big Data in Security and Privacy

Development and Understanding

Agile System Development Methods
Model-based Systems Engineering
Requirements for High Assurance Systems
Formal Methods for High Assurance Systems Engineering
Domain Specific Languages
System Verification and Validation
Software Analysis and Visualization
High Assurance Systems Development

Platforms, Architectures and Design

Cyber-Physical Systems
Cloud Computing and Internet of Things
Distributed Networks and Systems
Embedded, Mobile, and Real-Time Systems
SCADA Systems and other Critical Infrastructures

System Operation and Behavior

Emergent Behavior and Adaptability
Safety, Vulnerability, and Fault Tolerance
Reliability, Robustness, and Resilience
Modeling and Simulation

Security and Privacy

Healthcare Systems Security and Privacy
Software Security Assurance and Assessment
Cyber security Issues and Challenges

Emerging Systems of High Assurance

Autonomous Systems and Robotics
Self-Adaptive Systems
Large-scale Systems Integration
Space and Communication Systems
Energy Management and Power Grids
Human-Systems Integration
Last updated by Dou Sun in 2018-09-11
Acceptance Ratio
YearSubmittedAcceptedAccepted(%)
2004742533.8%
1999442761.4%
1997463065.2%
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
ICRMVInternational Conference on Robotics and Machine Vision2018-05-152018-06-052018-08-11
ICIEIInternational Conference on Information and Education Innovations2020-06-102020-06-252020-07-26
TMCMInternational Conference on Test, Measurement and Computational Method2017-05-11 2017-05-21
RPInternational Conference on Reachability Problems2020-06-302020-08-172020-10-19
ICSPCSInternational Conference on Signal Processing and Communication Systems2020-06-302020-09-152020-12-14
ICCDE'International Conference on Computing and Data Engineering2020-08-202020-09-102021-01-15
CyConInternational Conference on Cyber Conflict2014-10-012014-10-312015-06-03
ICCEIInternational Conference on Communication and Electronics Information2020-07-152020-07-302020-09-05
CMSAMInternational Conference on Computational Modeling, Simulation and Applied Mathematics2017-10-12 2017-10-22
MSHHInternational Conference on Medical Science and Human Health2017-06-142017-06-182017-06-23
Related Journals
CCFFull NameImpact FactorPublisherISSN
bAutomated Software Engineering0.806Springer0928-8910
bEmpirical Software Engineering2.161Springer1382-3256
Annals of Software Engineering Springer1022-7091
bRequirements Engineering0.862Springer0947-3602
Journal of Systems Engineering and Electronics Beijing Institute of Aerospace Information1004-4132
Cogent EngineeringCogent OA2331-1916
Visualization in EngineeringSpringer2213-7459
Journal of Computational Science2.502Elsevier1877-7503
Advances in Engineering Software4.194Elsevier0965-9978
Presence: Teleoperators and Virtual Environments0.789MIT Press1054-7460
Full NameImpact FactorPublisher
Automated Software Engineering0.806Springer
Empirical Software Engineering2.161Springer
Annals of Software Engineering Springer
Requirements Engineering0.862Springer
Journal of Systems Engineering and Electronics Beijing Institute of Aerospace Information
Cogent EngineeringCogent OA
Visualization in EngineeringSpringer
Journal of Computational Science2.502Elsevier
Advances in Engineering Software4.194Elsevier
Presence: Teleoperators and Virtual Environments0.789MIT Press
Recommendation