2011 Fifth International Conference on Secure Software Integration and Reliability Improvement - Companion
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781457707810

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Publisher's Information

2011 Fifth International Conference on Secure Software Integration and Reliability Improvement - Companion ◽

10.1109/ssiri-c.2011.46 ◽

2011 ◽

Download Full-text

Approximate Simulation for Metric Hybrid Input/Output Automata

2011 Fifth International Conference on Secure Software Integration and Reliability Improvement - Companion ◽

10.1109/ssiri-c.2011.19 ◽

2011 ◽

Cited By ~ 1

Author(s):

Haiyu Pan ◽

Min Zhang ◽

Yixiang Chen

Keyword(s):

Input Output ◽

Approximate Simulation

Download Full-text

Cover Art

2011 Fifth International Conference on Secure Software Integration and Reliability Improvement - Companion ◽

10.1109/ssiri-c.2011.47 ◽

2011 ◽

Keyword(s):

Cover Art

Download Full-text

Specification and Verification of UML2.0 Sequence Diagrams Using Event Deterministic Finite Automata

2011 Fifth International Conference on Secure Software Integration and Reliability Improvement - Companion ◽

10.1109/ssiri-c.2011.17 ◽

2011 ◽

Cited By ~ 3

Author(s):

Zhang Chen ◽

Duan Zhenhua

Keyword(s):

Finite Automata ◽

Sequence Diagrams ◽

Deterministic Finite Automata ◽

Specification And Verification

Download Full-text

A Methodology of Model-Based Testing for AADL Flow Latency in CPS

2011 Fifth International Conference on Secure Software Integration and Reliability Improvement - Companion ◽

10.1109/ssiri-c.2011.24 ◽

2011 ◽

Cited By ~ 2

Author(s):

Yufeng Zhu ◽

Yunwei Dong ◽

Chunyan Ma ◽

Fan Zhang

Keyword(s):

Model Based ◽

Model Based Testing

Download Full-text

2011 Fifth International Conference on Secure Software Integration and Reliability Improvement - Companion ◽

10.1109/ssiri-c.2011.4 ◽

2011 ◽

Download Full-text

Copyright Page

2011 Fifth International Conference on Secure Software Integration and Reliability Improvement - Companion ◽

10.1109/ssiri-c.2011.3 ◽

2011 ◽

Download Full-text

Case Study on Installing a Porting Process for Embedded Operating System in a Small Team

2011 Fifth International Conference on Secure Software Integration and Reliability Improvement - Companion ◽

10.1109/ssiri-c.2011.14 ◽

2011 ◽

Author(s):

DongSeok Cho ◽

DooHwan Bae

Keyword(s):

Operating System ◽

Embedded Operating System ◽

Small Team

Download Full-text

Automatic Regression Test Selection Based on Activity Diagrams

2011 Fifth International Conference on Secure Software Integration and Reliability Improvement - Companion ◽

10.1109/ssiri-c.2011.31 ◽

2011 ◽

Cited By ~ 6

Author(s):

Nan Ye ◽

Xin Chen ◽

Peng Jiang ◽

Wenxu Ding ◽

Xuandong Li

Keyword(s):

Test Selection ◽

Regression Test Selection ◽

Activity Diagrams ◽

Regression Test

Download Full-text

Static Data Race Detection for Interrupt-Driven Embedded Software

2011 Fifth International Conference on Secure Software Integration and Reliability Improvement - Companion ◽

10.1109/ssiri-c.2011.18 ◽

2011 ◽

Cited By ~ 4

Author(s):

Rui Chen ◽

Xiangying Guo ◽

Yonghao Duan ◽

Bin Gu ◽

Mengfei Yang

Keyword(s):

Embedded Software ◽

Data Race ◽

Data Race Detection ◽

Race Detection ◽

Static Data

Download Full-text

2011 Fifth International Conference on Secure Software Integration and Reliability Improvement - Companion
Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Publisher's Information

Approximate Simulation for Metric Hybrid Input/Output Automata

Cover Art

Specification and Verification of UML2.0 Sequence Diagrams Using Event Deterministic Finite Automata

A Methodology of Model-Based Testing for AADL Flow Latency in CPS

Table of Contents

Copyright Page

Case Study on Installing a Porting Process for Embedded Operating System in a Small Team

Automatic Regression Test Selection Based on Activity Diagrams

Static Data Race Detection for Interrupt-Driven Embedded Software

Export Citation Format

2011 Fifth International Conference on Secure Software Integration and Reliability Improvement - CompanionLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Publisher's Information

Approximate Simulation for Metric Hybrid Input/Output Automata

Cover Art

Specification and Verification of UML2.0 Sequence Diagrams Using Event Deterministic Finite Automata

A Methodology of Model-Based Testing for AADL Flow Latency in CPS

Table of Contents

Copyright Page

Case Study on Installing a Porting Process for Embedded Operating System in a Small Team

Automatic Regression Test Selection Based on Activity Diagrams

Static Data Race Detection for Interrupt-Driven Embedded Software

2011 Fifth International Conference on Secure Software Integration and Reliability Improvement - Companion
Latest Publications