posted by organizer: markgoh || 5108 views || tracked by 9 users: [display]

HASE 2017 : The 18th IEEE International Symposium on High Assurance Systems Engineering

FacebookTwitterLinkedInGoogle


Conference Series : High-Assurance Systems Engineering
 
Link: http://itrust.sutd.edu.sg/hase2017/
 
When Jan 12, 2017 - Jan 14, 2017
Where Singapore
Submission Deadline Sep 12, 2016
Notification Due Oct 10, 2016
Final Version Due Nov 7, 2016
Categories    foundations of assurance   practice of assurance   tools   ideas under trial
 

Call For Papers

HASE 2017 programme will be divided into the following tracks.

Track A: Theoretical foundations of assurance
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
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
Contributions under this track will focus on new or existing tools and their effectiveness in creating high assurance designs.

Track D: Ideas under trial
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

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.

Limited travel support is available for 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
- Synthesis
- 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

Related Resources

ACM--RSAE--EI Compendex, Scopus 2021   ACM--2021 The 3rd International Conference on Robotics Systems and Automation Engineering (RSAE 2021)--EI Compendex, Scopus
MPLR 2020   17th International Conference on Managed Programming Languages & Runtimes
IEEE 14th MCSoC 2021   14th IEEE International Symposium on Embedded Multicore/Manycore (MCSoC 2021)
VMIL 2020   Workshop on Virtual Machines and Language Implementations
RSAE--ACM, EI, Scopus 2021   ACM--2021 The 3rd International Conference on Robotics Systems and Automation Engineering (RSAE 2021)--EI Compendex, Scopus
ICCED--IEEE, EI Compendex and Scopus 2021   IEEE--2021 4th International Conference on Consumer Electronics and Device (ICCED 2021)--Ei Compendex, Scopus
ICCSS--Ei Compendex, Scopus 2021   2021 4th International Conference on Circuits, Systems and Simulation (ICCSS 2021)--Ei Compendex, Scopus
AEIS--Ei Compendex, Scopus 2021   2021 International Conference on Advanced Enterprise Information System (AEIS 2021)--Ei Compendex, Scopus
WSIM--Ei, Scopus 2021   2021 International Workshop on Information Management (WSIM 2021)--Ei Compendex, Scopus
ICCSS--Ei and Scopus 2021   2021 4th International Conference on Circuits, Systems and Simulation (ICCSS 2021)--Ei Compendex, Scopus