HASE: High-Assurance Systems Engineering

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2018 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
HASE 2017 The 18th IEEE International Symposium on High Assurance Systems Engineering
Jan 12, 2017 - Jan 14, 2017 Singapore Sep 12, 2016
HASE 2016 The 17th IEEE International Symposium on High Assurance Systems Engineering
Jan 7, 2016 - Jan 9, 2016 Orlando, FL Sep 15, 2015
HASE 2015 16th IEEE International Symposium on High Assurance Systems Engineering
Jan 8, 2015 - Jan 10, 2015 Daytona Beach, Florida, USA Sep 15, 2014
HASE 2014 15th IEEE International Symposium on High Assurance Systems Engineering
Jan 9, 2014 - Jan 11, 2014 Miami, Florida, USA Aug 14, 2013
HASE 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering
Oct 25, 2012 - Oct 27, 2012 Omaha, USA Jul 15, 2012
HASE 2011 High Assurance Systems Engineering
Nov 10, 2011 - Nov 12, 2011 Boca Raton, FL, USA Jul 5, 2011
HASE 2010 The 12th IEEE International High Assurance Systems Engineering Symposium
Nov 1, 2010 - Nov 4, 2010 San Jose, CA, USA Jul 12, 2010 (Jul 5, 2010)
HASE 2008 IEEE 11th International Symposium on High-Assurance Systems Engineering
Dec 3, 2008 - Dec 5, 2008 Nanjing, China Jun 30, 2008
 
 

Present CFP : 2017

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

ICDE 2018   IEEE International Conference on Data Engineering (ICDE)
ESM 2017   31st European Simulation and Modelling Conference
ICRAE - IEEE 2017   IEEE--2017 2nd International Conference on Robotics and Automation Engineering (ICRAE 2017) - IEEE Xplore and Ei Compendex
Microservices 2017   Microservices - Special Issue at IEEE Software
ICSRS - Ei 2017   2017 2nd International Conference on System Reliability and Science (ICSRS 2017)--IEEE, Ei Compendex and Scopus
GHTC 2017   2017 IEEE Global Humanitarian Technology Conference
IEEE-ICSRS 2017   2017 2nd International Conference on System Reliability and Science (ICSRS 2017)--IEEE, Ei Compendex and Scopus
CSA 2017   5th International Workshop on Computer Systems and Architectures
ICSPC 2017   2017 IEEE Conference on Systems, Process and Control (ICSPC 2017)
MAMI 2017   2nd IEEE International Conference on Man And Machine Interfacing