SSIRI (Companion)

Keyphrases

Publications

2011

Sunghun Kim, Ning Chen
Challenges in Automatic Testing. SSIRI (Companion) (2011)
Dan Yu, Shilong Ma
A Method of Analysis and Verification for Safety-Critical Software Based on Modelling and Testing. SSIRI (Companion) (2011)
Lei Qiao, Mengfei Yang, Bin Gu, Hua Yang, Bo Liu
An Embedded Operating System Design for the Lunar Exploration Rover. SSIRI (Companion) (2011)
DongSeok Cho, Doo-Hwan Bae
Case Study on Installing a Porting Process for Embedded Operating System in a Small Team. SSIRI (Companion) (2011)
Wei Han, Yeping He, Liping Ding
Verifying the Safety of Xen Security Modules. SSIRI (Companion) (2011)
Rui Chen, Xiangying Guo, Yonghao Duan, Bin Gu, Mengfei Yang
Static Data Race Detection for Interrupt-Driven Embedded Software. SSIRI (Companion) (2011)
Si Liu, Xiaofeng Wu, Qin Li, Huibiao Zhu, Qian Wang
Formal Approaches to Wireless Sensor Networks. SSIRI (Companion) (2011)
Alexander Bolotov
Handling Periodic Properties: Deductive Verification for Quantified Temporal Logic Specifications. SSIRI (Companion) (2011)
Xianjin Fu, Wanwei Liu, Jing Li
Approximating Quantified SMT-Solving with SAT. SSIRI (Companion) (2011)
Oluwasefunmi 'Tale Arogundade, Z. Jin, X. G. Yang
Enhancing Use Cases with Subjective Risk Assessment. SSIRI (Companion) (2011)
Xiaofeng Liao, Liping Ding, Yongji Wang
Secure Machine Learning, a Brief Overview. SSIRI (Companion) (2011)
Yufeng Zhu, Yunwei Dong, Chunyan Ma, Fan Zhang
A Methodology of Model-Based Testing for AADL Flow Latency in CPS. SSIRI (Companion) (2011)
Haiyu Pan, Min Zhang, Yixiang Chen
Approximate Simulation for Metric Hybrid Input/Output Automata. SSIRI (Companion) (2011)
Jae Yoo Lee, Soo Dong Kim
A Scalability Framework for Reliable Services. SSIRI (Companion) (2011)
Kumiko Tadano, Jianwen Xiang, Masahiro Kawato, Yoshiharu Maeno
Synthesizing SRN Models from System Operations with SysML Diagrams for Availability Analysis. SSIRI (Companion) (2011)
Norman F. Schneidewind, Mike Hinchey
A Reliability Model for Complex Systems. SSIRI (Companion) (2011)
Chih-Hung Chang, Chih-Wei Lu, Kuo-Fong Kao, William C. Chu, Chao-Tung Yang, Nien-Lin Hsueh, Pao-Ann Hsiung, Chorng-Shiuh Koong
A SysML-Based Requirement Supporting Tool for Embedded Software. SSIRI (Companion) (2011)
Nan Ye, Xin Chen, Peng Jiang, Wenxu Ding, Xuandong Li
Automatic Regression Test Selection Based on Activity Diagrams. SSIRI (Companion) (2011)
Sanghyun Yoon, Jae Yeon Jo, Junbeom Yoo
A Domain-Specific Safety Analysis for Digital Nuclear Plant Protection Systems. SSIRI (Companion) (2011)
Han Zhu, Huibiao Zhu, Si Liu, Jian Guo
Towards Denotational Semantics for Verilog in PVS. SSIRI (Companion) (2011)
Huajie Chen, Tian Zhang, Lei Bu, Xuandong Li
An Instrumentation Tool for Program Dynamic Analysis in Java. SSIRI (Companion) (2011)
Atsuo Hazeyama, Hiroto Shimizu
A Learning Environment for Software Security Education. SSIRI (Companion) (2011)
Guo Xie, Akira Asano, Sei Takahashi, Hideo Nakamura
Study on Formal Specification of Automatic Train Protection and Block System for Local Line. SSIRI (Companion) (2011)
David Garlan
Invited Talk - Engineering Self-Healing and Self-Improving Systems. SSIRI (Companion) (2011)
Chen Zhang, Zhenhua Duan
Specification and Verification of UML2.0 Sequence Diagrams Using Event Deterministic Finite Automata. SSIRI (Companion) (2011)
H. Kim, H. Yoon, Y. Cho, Sooyong Park, Vijayan Sugumaran
Multi-layered Adaptive Monitoring in Service Robots. SSIRI (Companion) (2011)
Ralf Mitsching, Carsten Weise, Dominik Franke, Thomas Gerlitz, Stefan Kowalewski
Coping with Complexity of Testing Models for Real-Time Embedded Systems. SSIRI (Companion) (2011)
Yanbin Liu, Ye Yang, Qiusong Yang, Mingshu Li
DRiVeR: Diagnosing Runtime Property Violations Based on Dependency Rules. SSIRI (Companion) (2011)
Yan Cao, Qiuzi Lu, Tianhua Xu, Tao Tang, Haifeng Wang, Yongcheng Xu
Integrating DSL-CBI and NuSMV for Modeling and Verifiying Interlocking Systems. SSIRI (Companion) (2011)
Xin Chen, Nan Ye, Peng Jiang, Lei Bu, Xuandong Li
Feedback-Directed Test Case Generation Based on UML Activity Diagrams. SSIRI (Companion) (2011)
Steffen Herbold, Jens Grabowski, Stephan Waack
A Model for Usage-Based Testing of Event-Driven Software. SSIRI (Companion) (2011)
Kenneth K. Fletcher, Xiaoqing (Frank) Liu
Security Requirements Analysis, Specification, Prioritization and Policy Development in Cyber-Physical Systems. SSIRI (Companion) (2011)
Daeeui Hong, Taewan Gu, Jongmoon Baik
A UML Model Based White Box Reliability Prediction to Identify Unreliable Components. SSIRI (Companion) (2011)
Takafumi Komoto, Kenji Taguchi, Haralambos Mouratidis, Nobukazu Yoshioka, Kokichi Futatsugi
A Modelling Framework to Support Internal Control. SSIRI (Companion) (2011)
Fifth International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2011, 27-29 June, 2011, Jeju Island, Korea - Companion Volume SSIRI (Companion) (2011)
M. F. van Amstel, M. G. J. van den Brand, Luc J. P. Engelen
Using a DSL and Fine-Grained Model Transformations to Explore the Boundaries of Model Verification. SSIRI (Companion) (2011)

2010