Call for Papers (click for PDF copy) [Closed]
Researchers are invited to submit original articles as per conference guidelines. All submissions will be reviewed by at least three members of the Technical Programme Committee.
The final HASE 2017 technical programme will be divided into the following tracks.
Track A: Theoretical foundations of assurance (8 pages, including all materials e.g. references, appendices)
Contributions under this track will focus on formal methods that aid in modeling and validating new and existing designs of complex systems.
Track B: The practice of assurance (4 pages)
Contributions under this track will focus on methods that have been applied in the design 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 creating high assurance designs.
Track D: Ideas under trial (2 pages)
Short papers under this track will focus on new ideas that fall under design innovation. Such ideas might not have undergone a rigorous test but are worthy of discussion.
Papers that cut across Tracks A, B, and C are welcome.
Track E: Student Session (4 pages)
This track will feature research presentations by undergraduate and graduate students. Papers under this category must have a student as the first author who is enrolled full time at a recognised university. Student authors will be asked to provide a letter from the university confirming their full time enrolment.
US$500 is available for up to five students with accepted papers under this session to partially cover the air fare and hotel costs.
Systems of interest [not limited to]
- Cyber-physical Systems (including public infrastructure such as power grid, water treatment and distribution, mass transportation, digital manufacturing systems)
- Internet of Things
- Cloud Systems
- Distributed Systems
- Web Services
- Embedded Systems
- Autonomous vehicles
- Robot swarms
- High Assurance Complex Networks
Topics of interest [not limited to]
- Model-driven Engineering
- Design languages
- Formal Methods
- Domain Specific Languages
- Evolution and Change
- Verification and Validation
- Software Analysis and Visualisation
- Transformation-based Development
- Security and Privacy
- Reliability and Safety
- Tools for High Assurance Systems
- Artificial Intelligence in High Assurance
- Machine Learning in High Assurance