![](https://dblp.dagstuhl.de/img/logo.320x120.png)
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
SSIRI 2010: Singapore - Companion Volume
- Fourth International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2010, Singapore, June 9-11, 2010 - Companion Volume. IEEE Computer Society 2010, ISBN 978-0-7695-4087-0
Student Doctoral Program
- Shao Jie Zhang, Yang Liu
:
An Automatic Approach to Model Checking UML State Machines. 1-6 - Man Chun Zheng:
An Automatic Approach to Verify Sensor Network Systems. 7-12 - Dusica Marijan, Nikola Teslic
, Vukota Pekovic, Tarkan Tekcan:
An Approach to Achieving the Reliability in TV Embedded System. 13-17 - Christoph Lauer, Reinhard German, Jens Pollmer:
Modeling and Analysis of Advanced Automotive ECU Architectures at Early Design Stages Using EMF and Model Transformation. 18-23
Fast Abstracts
- Songzheng Song:
An Efficient Method of Probabilistic Model Checking. 24-25 - Hao Xiao, Zheng Wang, Geguang Pu, Bin Gu:
Constraint Checking for XML-Based Language Specification by SAT Solver. 26-27 - G. Umarani Srikanth:
Parallel Lexical Analyzer on the Cell Processor. 28-29 - Huiquan Zhu:
Model Checking C# Code: A Translation Approach. 30-31 - Elizabeth Fong, Michael Kass, Thomas Rhodes, Frederick Boland:
Structured Assurance Case Methodology for Assessing Software Trustworthiness. 32-33 - Yongzheng Wu, Roland H. C. Yap:
The Problem of Usable Binary Authentication. 34-35 - Tian Huat Tan:
Towards Verification of a Service Orchestration Language. 36-37
Workshop on Model-Based Verification and Validation
- Ralf Mitsching, Carsten Weise, Stefan Kowalewski:
Design Patterns for Integrating Variability in Timed Automata. 38-45 - Tolga Ayav
, Tugkan Tuglular
, Fevzi Belli:
Towards Test Case Generation for Synthesizable VHDL Programs Using Model Checker. 46-53 - Ahmet Koltuksuz, Murat Ozkan, Burcu Kulahcioglu:
Modeling Efficient Multi-chained Stream Signature Protocol Using Communicating Sequential Processes. 54-61 - André Takeshi Endo
, Michael Linschulte, Adenilso da Silva Simão
, Simone do Rócio Senger de Souza
:
Event- and Coverage-Based Testing of Web Services. 62-69 - Lehilton Lelis Chaves Pedrosa, Arnaldo Vieira Moura:
Generalized Partial Test Case Generation Method. 70-77 - Fevzi Belli, Nevin Güler, Michael Linschulte:
Are Longer Test Sequences Always Better? - A Reliability Theoretical Analysis. 78-85 - Ahmet Koltuksuz, Burcu Kulahcioglu, Murat Ozkan:
Utilization of Timed Automata as a Verification Tool for Security Protocols. 86-93
Workshop on Model Checking Secure and Reliable Systems
- Hossain Shahriar
, Mohammad Zulkernine:
Classification of Static Analysis-Based Buffer Overflow Detectors. 94-101 - Chunqing Chen:
Formal Analysis for Stateflow Diagrams. 102-109 - Xian Zhang:
Job-Shop Scheduling Problems Using Timed Planning. 110-117 - Deepak Subramanian, Ha-Thanh Le, Peter Kok Keong Loh, Annamalai Benjamin Premkumar:
Quantitative Evaluation of Related Web-Based Vulnerabilities. 118-125 - Truong Khanh Nguyen, Quan Thanh Tho:
Using Multi Decision Diagram in Model Checking. 126-129 - Xiaocheng Ge
, Richard F. Paige, John A. McDermid
:
Analysing System Failure Behaviours with PRISM. 130-136 - WenDi Zhao:
Yet Another Model Checker for PROMELA - The Transformation Approach. 137-142 - Ling Shi, Yan Liu:
Modeling and Verification of Transmission Protocols: A Case Study on CSMA/CD Protocol. 143-149 - Tho T. Quan, Duc L. N. Hoang, B. Tam T. Nguyen, An N. Nguyen, Quan D. Tran, Phung H. Nguyen, Thang H. Bui, Anh T. Do, Linh V. Huynh, Nam T. Doan, Nguyen T. Huynh, Thien D. Nguyen, Binh T. T. Nguyen, Vu H. Nguyen:
MAFSE: A Model-Based Framework for Software Verification. 150-156 - Anh Tuan Luu:
Modeling and Verifying Security Protocols Using PAT Approach. 157-164
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.