2014 IEEE 15th International Symposium on High-Assurance Systems Engineering
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781479934669, 9781479934652

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Modeling and Verification of Humanoid Robot Task Coordination

2014 IEEE 15th International Symposium on High-Assurance Systems Engineering ◽

10.1109/hase.2014.19 ◽

2014 ◽

Cited By ~ 2

Author(s):

Yujian Fu ◽

Steven Drager

Keyword(s):

Humanoid Robot ◽

Task Coordination ◽

Robot Task

Download Full-text

Hardware Implementation of Secure Shamir's Secret Sharing Scheme

2014 IEEE 15th International Symposium on High-Assurance Systems Engineering ◽

10.1109/hase.2014.34 ◽

2014 ◽

Cited By ~ 5

Author(s):

Pei Luo ◽

Andy Yu-Lun Lin ◽

Zhen Wang ◽

Mark Karpovsky

Keyword(s):

Secret Sharing ◽

Hardware Implementation ◽

Secret Sharing Scheme ◽

Sharing Scheme

Download Full-text

Cover Art

2014 IEEE 15th International Symposium on High-Assurance Systems Engineering ◽

10.1109/hase.2014.53 ◽

2014 ◽

Keyword(s):

Cover Art

Download Full-text

A Novel Framework of Software Reliability Evaluation with Software Reliability Growth Models and Software Metrics

2014 IEEE 15th International Symposium on High-Assurance Systems Engineering ◽

10.1109/hase.2014.22 ◽

2014 ◽

Cited By ~ 7

Author(s):

Hiroyuki Okamura ◽

Tadashi Dohi

Keyword(s):

Software Reliability ◽

Software Metrics ◽

Growth Models ◽

Reliability Evaluation ◽

Reliability Growth ◽

Software Reliability Growth Models ◽

Software Reliability Growth

Download Full-text

Adaptive Testing of Nondeterministic Systems with FSM

2014 IEEE 15th International Symposium on High-Assurance Systems Engineering ◽

10.1109/hase.2014.39 ◽

2014 ◽

Cited By ~ 10

Author(s):

Alexandre Petrenko ◽

Nina Yevtushenko

Keyword(s):

Adaptive Testing

Download Full-text

2014 IEEE 15th International Symposium on High-Assurance Systems Engineering ◽

10.1109/hase.2014.4 ◽

2014 ◽

Download Full-text

A Model-Based Intrusion Detection System for Smart Meters

2014 IEEE 15th International Symposium on High-Assurance Systems Engineering ◽

10.1109/hase.2014.12 ◽

2014 ◽

Cited By ~ 14

Author(s):

Farid Molazem Tabrizi ◽

Karthik Pattabiraman

Keyword(s):

Intrusion Detection ◽

Intrusion Detection System ◽

Detection System ◽

Smart Meters ◽

Model Based

Download Full-text

A Practitioner's Guide to Software-Based Soft-Error Mitigation Using AN-Codes

2014 IEEE 15th International Symposium on High-Assurance Systems Engineering ◽

10.1109/hase.2014.14 ◽

2014 ◽

Cited By ~ 9

Author(s):

Martin Hoffmann ◽

Peter Ulbrich ◽

Christian Dietrich ◽

Horst Schirmeier ◽

Daniel Lohmann ◽

...

Keyword(s):

Soft Error ◽

Error Mitigation ◽

Soft Error Mitigation

Download Full-text

Assuring Safety for Component Based Software Engineering

2014 IEEE 15th International Symposium on High-Assurance Systems Engineering ◽

10.1109/hase.2014.25 ◽

2014 ◽

Cited By ~ 3

Author(s):

Philippa Conmy ◽

Iain Bate

Keyword(s):

Software Engineering ◽

Component Based Software Engineering

Download Full-text

Fail-Safe Test Generation in Safety Critical Systems

2014 IEEE 15th International Symposium on High-Assurance Systems Engineering ◽

10.1109/hase.2014.16 ◽

2014 ◽

Cited By ~ 6

Author(s):

Anneliese Andrews ◽

Salwa Elakeili ◽

Salah Boukhris

Keyword(s):

Test Generation ◽

Critical Systems ◽

Safety Critical ◽

Safety Critical Systems ◽

Fail Safe

Download Full-text

2014 IEEE 15th International Symposium on High-Assurance Systems Engineering
Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Modeling and Verification of Humanoid Robot Task Coordination

Hardware Implementation of Secure Shamir's Secret Sharing Scheme

Cover Art

A Novel Framework of Software Reliability Evaluation with Software Reliability Growth Models and Software Metrics

Adaptive Testing of Nondeterministic Systems with FSM

Table of contents

A Model-Based Intrusion Detection System for Smart Meters

A Practitioner's Guide to Software-Based Soft-Error Mitigation Using AN-Codes

Assuring Safety for Component Based Software Engineering

Fail-Safe Test Generation in Safety Critical Systems

Export Citation Format

2014 IEEE 15th International Symposium on High-Assurance Systems EngineeringLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Modeling and Verification of Humanoid Robot Task Coordination

Hardware Implementation of Secure Shamir's Secret Sharing Scheme

Cover Art

A Novel Framework of Software Reliability Evaluation with Software Reliability Growth Models and Software Metrics

Adaptive Testing of Nondeterministic Systems with FSM

Table of contents

A Model-Based Intrusion Detection System for Smart Meters

A Practitioner's Guide to Software-Based Soft-Error Mitigation Using AN-Codes

Assuring Safety for Component Based Software Engineering

Fail-Safe Test Generation in Safety Critical Systems

2014 IEEE 15th International Symposium on High-Assurance Systems Engineering
Latest Publications