2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781467399135

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Formal Analysis of Railway Signalling Data

2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE) ◽

10.1109/hase.2016.44 ◽

2016 ◽

Cited By ~ 4

Author(s):

Alexei Iliasov ◽

Alexander Romanovsky

Keyword(s):

Formal Analysis ◽

Railway Signalling

Download Full-text

Generating Threat Profiles for Cloud Service Certification Systems

2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE) ◽

10.1109/hase.2016.43 ◽

2016 ◽

Cited By ~ 4

Author(s):

Philipp Stephanow ◽

Christian Banse ◽

Julian Schutte

Keyword(s):

Cloud Service

Download Full-text

Message from the Program Chairs

2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE) ◽

10.1109/hase.2016.5 ◽

2016 ◽

Download Full-text

World Model for Testing Autonomous Systems Using Petri Nets

2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE) ◽

10.1109/hase.2016.11 ◽

2016 ◽

Cited By ~ 2

Author(s):

Anneliese Andrews ◽

Mahmoud Abdelgawad ◽

Ahmed Gario

Keyword(s):

Petri Nets ◽

Autonomous Systems ◽

World Model

Download Full-text

Safe Multi-objective Planning with a Posteriori Preferences

2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE) ◽

10.1109/hase.2016.22 ◽

2016 ◽

Cited By ~ 3

Author(s):

Ralph Eastwood ◽

Rob Alexander ◽

Tim Kelly

Keyword(s):

A Posteriori ◽

Multi Objective

Download Full-text

Modeling Negative User Stories is Risky Business

2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE) ◽

10.1109/hase.2016.34 ◽

2016 ◽

Cited By ~ 1

Author(s):

Pankaj Kamthan ◽

Nazlie Shahmir

Keyword(s):

User Stories ◽

Risky Business

Download Full-text

Cover Art

2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE) ◽

10.1109/hase.2016.57 ◽

2016 ◽

Keyword(s):

Cover Art

Download Full-text

Compositional Architecture Design for Fuel Tank Thermal Systems

2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE) ◽

10.1109/hase.2016.25 ◽

2016 ◽

Author(s):

Sean J. S. Regisford ◽

Brian K. Hulbert ◽

Aaron W. Fifarek

Keyword(s):

Fuel Tank ◽

Architecture Design ◽

Thermal Systems

Download Full-text

Using Models to Validate Unanticipated, Fine-Grained Adaptations at Runtime

2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE) ◽

10.1109/hase.2016.40 ◽

2016 ◽

Cited By ~ 4

Author(s):

Mohammed Al-Refai ◽

Walter Cazzola ◽

Sudipto Ghosh ◽

Robert France

Keyword(s):

Fine Grained

Download Full-text

Design Diversity for Mitigating Monoculture Induced Threats

2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE) ◽

10.1109/hase.2016.37 ◽

2016 ◽

Author(s):

Qi Cheng ◽

Kevin Kwiat ◽

Charles A. Kamhoua

Keyword(s):

Design Diversity

Download Full-text

2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Formal Analysis of Railway Signalling Data

Generating Threat Profiles for Cloud Service Certification Systems

Message from the Program Chairs

World Model for Testing Autonomous Systems Using Petri Nets

Safe Multi-objective Planning with a Posteriori Preferences

Modeling Negative User Stories is Risky Business

Cover Art

Compositional Architecture Design for Fuel Tank Thermal Systems

Using Models to Validate Unanticipated, Fine-Grained Adaptations at Runtime

Design Diversity for Mitigating Monoculture Induced Threats

2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE)
Latest Publications