default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSSIRI 2011: Jeju Island, Korea - Companion Volume
- Fifth International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2011, 27-29 June, 2011, Jeju Island, Korea - Companion Volume. IEEE Computer Society 2011, ISBN 978-0-7695-4454-0
Fast Abstract
- Han Zhu, Huibiao Zhu, Si Liu
, Jian Guo:
Towards Denotational Semantics for Verilog in PVS. 1-2 - Dan Yu, Shilong Ma:
A Method of Analysis and Verification for Safety-Critical Software Based on Modelling and Testing. 3-4 - Kumiko Tadano, Jianwen Xiang, Masahiro Kawato, Yoshiharu Maeno:
Synthesizing SRN Models from System Operations with SysML Diagrams for Availability Analysis. 5-6 - Atsuo Hazeyama, Hiroto Shimizu:
A Learning Environment for Software Security Education. 7-8 - Xin Chen, Nan Ye, Peng Jiang, Lei Bu, Xuandong Li:
Feedback-Directed Test Case Generation Based on UML Activity Diagrams. 9-10
DSDSD Workshop - I
- Si Liu, Xiaofeng Wu, Qin Li, Huibiao Zhu, Qian Wang:
Formal Approaches to Wireless Sensor Networks. 11-18 - DongSeok Cho, Doo-Hwan Bae:
Case Study on Installing a Porting Process for Embedded Operating System in a Small Team. 19-25
Student Doctoral Program
- Xiaofeng Liao, Liping Ding, Yongji Wang:
Secure Machine Learning, a Brief Overview. 26-29 - Wei Han, Yeping He, Liping Ding:
Verifying the Safety of Xen Security Modules. 30-34 - Guo Xie, Akira Asano, Sei Takahashi, Hideo Nakamura:
Study on Formal Specification of Automatic Train Protection and Block System for Local Line. 35-40 - Chen Zhang, Zhenhua Duan:
Specification and Verification of UML2.0 Sequence Diagrams Using Event Deterministic Finite Automata. 41-46
SSCPS Workshop - I
- Rui Chen, Xiangying Guo, Yonghao Duan, Bin Gu, Mengfei Yang:
Static Data Race Detection for Interrupt-Driven Embedded Software. 47-52 - Haiyu Pan, Min Zhang, Yixiang Chen:
Approximate Simulation for Metric Hybrid Input/Output Automata. 53-59 - Huajie Chen, Tian Zhang, Lei Bu, Xuandong Li:
An Instrumentation Tool for Program Dynamic Analysis in Java. 60-67
DSDSD Workshop - II
- Sanghyun Yoon, Jae Yeon Jo, Junbeom Yoo:
A Domain-Specific Safety Analysis for Digital Nuclear Plant Protection Systems. 68-75 - H. Kim, H. Yoon, Y. Cho, Sooyong Park, Vijayan Sugumaran:
Multi-layered Adaptive Monitoring in Service Robots. 76-83
Invited Session
- Sunghun Kim, Ning Chen:
Challenges in Automatic Testing. 84 - Norman F. Schneidewind, Mike Hinchey:
A Reliability Model for Complex Systems. 85-94 - Jae Yoo Lee, Soo Dong Kim:
A Scalability Framework for Reliable Services. 95-98
SSCPS Workshop - II
- Yufeng Zhu, Yunwei Dong, Chunyan Ma, Fan Zhang:
A Methodology of Model-Based Testing for AADL Flow Latency in CPS. 99-105 - Kenneth K. Fletcher, Xiaoqing (Frank) Liu:
Security Requirements Analysis, Specification, Prioritization and Policy Development in Cyber-Physical Systems. 106-113 - Xianjin Fu, Wanwei Liu, Jing Li:
Approximating Quantified SMT-Solving with SAT. 114-119
MVV Workshop - I
- 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. 120-127 - Ralf Mitsching, Carsten Weise, Dominik Franke, Thomas Gerlitz, Stefan Kowalewski:
Coping with Complexity of Testing Models for Real-Time Embedded Systems. 128-135 - Yan Cao, Qiuzi Lu, Tianhua Xu, Tao Tang, Haifeng Wang, Yongcheng Xu:
Integrating DSL-CBI and NuSMV for Modeling and Verifiying Interlocking Systems. 136-143
MBDA Workshop - I
- Oluwasefunmi 'Tale Arogundade, Zhi Jin, Xiaoguang Yang:
Enhancing Use Cases with Subjective Risk Assessment. 144-151 - Daeeui Hong, Taewan Gu, Jongmoon Baik:
A UML Model Based White Box Reliability Prediction to Identify Unreliable Components. 152-159
SSCPS Workshop - III
- Lei Qiao, Mengfei Yang, Bin Gu, Hua Yang, Bo Liu:
An Embedded Operating System Design for the Lunar Exploration Rover. 160-165 - Nan Ye, Xin Chen, Peng Jiang, Wenxu Ding, Xuandong Li:
Automatic Regression Test Selection Based on Activity Diagrams. 166-171
MVV Workshop - II
- Steffen Herbold, Jens Grabowski, Stephan Waack:
A Model for Usage-Based Testing of Event-Driven Software. 172-178 - Alexander Bolotov:
Handling Periodic Properties: Deductive Verification for Quantified Temporal Logic Specifications. 179-186
MBDA Workshop - II
- Takafumi Komoto, Kenji Taguchi, Haralambos Mouratidis, Nobukazu Yoshioka, Kokichi Futatsugi:
A Modelling Framework to Support Internal Control. 187-193 - Yanbin Liu, Ye Yang, Qiusong Yang, Mingshu Li:
DRiVeR: Diagnosing Runtime Property Violations Based on Dependency Rules. 194-201 - 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. 202-206
Software Safety in Practice: Industry Reports - Workshop
- David Garlan:
Invited Talk - Engineering Self-Healing and Self-Improving Systems. 207
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-09-02 00:56 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
