Conference Information
HASE 2019: International Symposium on High Assurance Systems Engineering
Submission Date:
2018-09-23 Extended
Notification Date:
Conference Date:
Hangzhou, China
CORE: b   QUALIS: b1   Viewed: 16034   Tracked: 5   Attend: 1

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
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
ICRMVInternational Conference on Robotics and Machine Vision2018-05-152018-06-052018-08-11
TMCMInternational Conference on Test, Measurement and Computational Method2017-05-11 2017-05-21
ICIEIInternational Conference on Information and Education Innovations2022-02-052022-02-252022-04-14
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 Engineering2021-12-052021-12-202022-01-11
CyConInternational Conference on Cyber Conflict2014-10-012014-10-312015-06-03
ICCEIInternational Conference on Communication and Electronics Information2022-04-152022-05-102022-09-03
CMSAMInternational Conference on Computational Modeling, Simulation and Applied Mathematics2017-10-12 2017-10-22
ESREEInternational Workshop on Environmental Science and Renewable Energy Engineering2021-04-16 2021-04-11
Related Journals
CCFFull NameImpact FactorPublisherISSN
bAutomated Software Engineering1.273Springer0928-8910
bEmpirical Software Engineering2.522Springer1382-3256
Annals of Software Engineering Springer1022-7091
bRequirements Engineering2.273Springer0947-3602
Journal of Systems Engineering and Electronics Beijing Institute of Aerospace Information1004-4132
Cogent EngineeringCogent OA2331-1916
Visualization in EngineeringSpringer2213-7459
Journal of Computational Science3.817Elsevier1877-7503
Advances in Engineering Software4.141Elsevier0965-9978
Presence: Teleoperators and Virtual Environments0.789MIT Press1054-7460
Full NameImpact FactorPublisher
Automated Software Engineering1.273Springer
Empirical Software Engineering2.522Springer
Annals of Software Engineering Springer
Requirements Engineering2.273Springer
Journal of Systems Engineering and Electronics Beijing Institute of Aerospace Information
Cogent EngineeringCogent OA
Visualization in EngineeringSpringer
Journal of Computational Science3.817Elsevier
Advances in Engineering Software4.141Elsevier
Presence: Teleoperators and Virtual Environments0.789MIT Press