2010 Fourth 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

9781424476442

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Using Multi Decision Diagram in Model Checking

2010 Fourth International Conference on Secure Software Integration and Reliability Improvement Companion ◽

10.1109/ssiri-c.2010.31 ◽

2010 ◽

Author(s):

Nguyen Truong Khanh ◽

Quan Thanh Tho

Keyword(s):

Model Checking

Download Full-text

Design Patterns for Integrating Variability in Timed Automata

2010 Fourth International Conference on Secure Software Integration and Reliability Improvement Companion ◽

10.1109/ssiri-c.2010.21 ◽

2010 ◽

Cited By ~ 4

Author(s):

Ralf Mitsching ◽

Carsten Weise ◽

Stefan Kowalewski

Keyword(s):

Design Patterns ◽

Timed Automata

Download Full-text

Structured Assurance Case Methodology for Assessing Software Trustworthiness

2010 Fourth International Conference on Secure Software Integration and Reliability Improvement Companion ◽

10.1109/ssiri-c.2010.18 ◽

2010 ◽

Cited By ~ 4

Author(s):

Elizabeth Fong ◽

Michael Kass ◽

Thomas Rhodes ◽

Frederick Boland

Keyword(s):

Case Methodology ◽

Software Trustworthiness ◽

Assurance Case

Download Full-text

Event- and Coverage-Based Testing of Web Services

2010 Fourth International Conference on Secure Software Integration and Reliability Improvement Companion ◽

10.1109/ssiri-c.2010.24 ◽

2010 ◽

Cited By ~ 7

Author(s):

Andre Takeshi Endo ◽

Michael Linschulte ◽

Adenilso da Silva Simao ◽

Simone do Rocio Senger de Souza

Keyword(s):

Web Services

Download Full-text

Model Checking C# Code: A Translation Approach

2010 Fourth International Conference on Secure Software Integration and Reliability Improvement Companion ◽

10.1109/ssiri-c.2010.17 ◽

2010 ◽

Author(s):

Huiquan Zhu

Keyword(s):

Model Checking

Download Full-text

Classification of Static Analysis-Based Buffer Overflow Detectors

2010 Fourth International Conference on Secure Software Integration and Reliability Improvement Companion ◽

10.1109/ssiri-c.2010.28 ◽

2010 ◽

Cited By ~ 12

Author(s):

Hossain Shahriar ◽

Mohammad Zulkernine

Keyword(s):

Static Analysis ◽

Buffer Overflow

Download Full-text

Publisher's Information

2010 Fourth International Conference on Secure Software Integration and Reliability Improvement Companion ◽

10.1109/ssiri-c.2010.42 ◽

2010 ◽

Download Full-text

Modeling and Analysis of Advanced Automotive ECU Architectures at Early Design Stages Using EMF and Model Transformation

2010 Fourth International Conference on Secure Software Integration and Reliability Improvement Companion ◽

10.1109/ssiri-c.2010.37 ◽

2010 ◽

Author(s):

Christoph Lauer ◽

Reinhard German ◽

Jens Pollmer

Keyword(s):

Model Transformation ◽

Modeling And Analysis ◽

Early Design ◽

Early Design Stages

Download Full-text

An Efficient Method of Probabilistic Model Checking

2010 Fourth International Conference on Secure Software Integration and Reliability Improvement Companion ◽

10.1109/ssiri-c.2010.14 ◽

2010 ◽

Author(s):

Songzheng Song

Keyword(s):

Model Checking ◽

Efficient Method ◽

Probabilistic Model ◽

Probabilistic Model Checking

Download Full-text

An Automatic Approach to Verify Sensor Network Systems

2010 Fourth International Conference on Secure Software Integration and Reliability Improvement Companion ◽

10.1109/ssiri-c.2010.12 ◽

2010 ◽

Author(s):

Man Chun Zheng

Keyword(s):

Sensor Network ◽

Network Systems

Download Full-text

2010 Fourth International Conference on Secure Software Integration and Reliability Improvement CompanionLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Using Multi Decision Diagram in Model Checking

Design Patterns for Integrating Variability in Timed Automata

Structured Assurance Case Methodology for Assessing Software Trustworthiness

Event- and Coverage-Based Testing of Web Services

Model Checking C# Code: A Translation Approach

Classification of Static Analysis-Based Buffer Overflow Detectors

Publisher's Information

Modeling and Analysis of Advanced Automotive ECU Architectures at Early Design Stages Using EMF and Model Transformation

An Efficient Method of Probabilistic Model Checking

An Automatic Approach to Verify Sensor Network Systems

2010 Fourth International Conference on Secure Software Integration and Reliability Improvement Companion
Latest Publications