2011 IEEE 13th International Symposium on High-Assurance Systems Engineering
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781467301077, 9780769546155

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Copyright Page

2011 IEEE 13th International Symposium on High-Assurance Systems Engineering ◽

10.1109/hase.2011.3 ◽

2011 ◽

Download Full-text

High-Assurance Reconfigurable Multicore Processor Based Systems

2011 IEEE 13th International Symposium on High-Assurance Systems Engineering ◽

10.1109/hase.2011.33 ◽

2011 ◽

Cited By ~ 1

Author(s):

Manasi Peshave ◽

Farokh B. Bastani ◽

I-Ling Yen

Keyword(s):

Multicore Processor ◽

High Assurance

Download Full-text

A Unifying Approach to Validating Specification-Oriented XML Constraints

2011 IEEE 13th International Symposium on High-Assurance Systems Engineering ◽

10.1109/hase.2011.28 ◽

2011 ◽

Author(s):

Yongxin Zhao ◽

Zheng Wang ◽

Hao Xiao ◽

Jing Ping ◽

Geguang Pu ◽

...

Download Full-text

Discriminatively Fortified Computing with Reconfigurable Digital Fabric

2011 IEEE 13th International Symposium on High-Assurance Systems Engineering ◽

10.1109/hase.2011.49 ◽

2011 ◽

Author(s):

Mingjie Lin ◽

Yu Bai ◽

John Wawrzynek

Download Full-text

So Much to Learn from One Accident Crash of 737 on 25 February 2009

2011 IEEE 13th International Symposium on High-Assurance Systems Engineering ◽

10.1109/hase.2011.45 ◽

2011 ◽

Author(s):

Herbert Hecht

Download Full-text

Formal Analysis of the DNS Bandwidth Amplification Attack and Its Countermeasures Using Probabilistic Model Checking

2011 IEEE 13th International Symposium on High-Assurance Systems Engineering ◽

10.1109/hase.2011.57 ◽

2011 ◽

Cited By ~ 13

Author(s):

Tushar Deshpande ◽

Panagiotis Katsaros ◽

Stylianos Basagiannis ◽

Scott A. Smolka

Keyword(s):

Model Checking ◽

Probabilistic Model ◽

Formal Analysis ◽

Probabilistic Model Checking

Download Full-text

Preface

2011 IEEE 13th International Symposium on High-Assurance Systems Engineering ◽

10.1109/hase.2011.4 ◽

2011 ◽

Download Full-text

A Testing Service for Lifelong Validation of Dynamic SOA

2011 IEEE 13th International Symposium on High-Assurance Systems Engineering ◽

10.1109/hase.2011.18 ◽

2011 ◽

Cited By ~ 7

Author(s):

Andrea Ceccarelli ◽

Marco Vieira ◽

Andrea Bondavalli

Keyword(s):

Testing Service

Download Full-text

Patterns for Representing FMEA in Formal Specification of Control Systems

2011 IEEE 13th International Symposium on High-Assurance Systems Engineering ◽

10.1109/hase.2011.10 ◽

2011 ◽

Cited By ~ 13

Author(s):

Ilya Lopatkin ◽

Alexei Iliasov ◽

Alexander Romanovsky ◽

Yuliya Prokhorova ◽

Elena Troubitsyna

Keyword(s):

Control Systems ◽

Formal Specification

Download Full-text

A Task-Based Code Review Process and Tool to Comply with the DO-278/ED-109 Standard for Air Traffic Managment Software Development: An Industrial Case Study

2011 IEEE 13th International Symposium on High-Assurance Systems Engineering ◽

10.1109/hase.2011.54 ◽

2011 ◽

Cited By ~ 4

Author(s):

Mario Bernhart ◽

Stefan Reiterer ◽

Kilian Matt ◽

Andreas Mauczka ◽

Thomas Grechenig

Keyword(s):

Software Development ◽

Review Process ◽

Air Traffic ◽

Industrial Case Study ◽

Code Review

Download Full-text

2011 IEEE 13th International Symposium on High-Assurance Systems EngineeringLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Copyright Page

High-Assurance Reconfigurable Multicore Processor Based Systems

A Unifying Approach to Validating Specification-Oriented XML Constraints

Discriminatively Fortified Computing with Reconfigurable Digital Fabric

So Much to Learn from One Accident Crash of 737 on 25 February 2009

Formal Analysis of the DNS Bandwidth Amplification Attack and Its Countermeasures Using Probabilistic Model Checking

Preface

A Testing Service for Lifelong Validation of Dynamic SOA

Patterns for Representing FMEA in Formal Specification of Control Systems

A Task-Based Code Review Process and Tool to Comply with the DO-278/ED-109 Standard for Air Traffic Managment Software Development: An Industrial Case Study

2011 IEEE 13th International Symposium on High-Assurance Systems Engineering
Latest Publications