Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/ssiri/ssiri2010c.bht:"
download as .bib file
@inproceedings{DBLP:conf/ssiri/AyavTB10,
author = {Tolga Ayav and
Tugkan Tuglular and
Fevzi Belli},
title = {Towards Test Case Generation for Synthesizable {VHDL} Programs Using
Model Checker},
booktitle = {Fourth International Conference on Secure Software Integration and
Reliability Improvement, {SSIRI} 2010, Singapore, June 9-11, 2010
- Companion Volume},
pages = {46--53},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SSIRI-C.2010.22},
doi = {10.1109/SSIRI-C.2010.22},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssiri/AyavTB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/BelliGL10,
author = {Fevzi Belli and
Nevin G{\"{u}}ler and
Michael Linschulte},
title = {Are Longer Test Sequences Always Better? - {A} Reliability Theoretical
Analysis},
booktitle = {Fourth International Conference on Secure Software Integration and
Reliability Improvement, {SSIRI} 2010, Singapore, June 9-11, 2010
- Companion Volume},
pages = {78--85},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SSIRI-C.2010.26},
doi = {10.1109/SSIRI-C.2010.26},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssiri/BelliGL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/Chen10,
author = {Chunqing Chen},
title = {Formal Analysis for Stateflow Diagrams},
booktitle = {Fourth International Conference on Secure Software Integration and
Reliability Improvement, {SSIRI} 2010, Singapore, June 9-11, 2010
- Companion Volume},
pages = {102--109},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SSIRI-C.2010.29},
doi = {10.1109/SSIRI-C.2010.29},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssiri/Chen10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/EndoLSS10,
author = {Andr{\'{e}} Takeshi Endo and
Michael Linschulte and
Adenilso da Silva Sim{\~{a}}o and
Simone do R{\'{o}}cio Senger de Souza},
title = {Event- and Coverage-Based Testing of Web Services},
booktitle = {Fourth International Conference on Secure Software Integration and
Reliability Improvement, {SSIRI} 2010, Singapore, June 9-11, 2010
- Companion Volume},
pages = {62--69},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SSIRI-C.2010.24},
doi = {10.1109/SSIRI-C.2010.24},
timestamp = {Tue, 16 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssiri/EndoLSS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/FongKRB10,
author = {Elizabeth Fong and
Michael Kass and
Thomas Rhodes and
Frederick Boland},
title = {Structured Assurance Case Methodology for Assessing Software Trustworthiness},
booktitle = {Fourth International Conference on Secure Software Integration and
Reliability Improvement, {SSIRI} 2010, Singapore, June 9-11, 2010
- Companion Volume},
pages = {32--33},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SSIRI-C.2010.18},
doi = {10.1109/SSIRI-C.2010.18},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssiri/FongKRB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/GePM10,
author = {Xiaocheng Ge and
Richard F. Paige and
John A. McDermid},
title = {Analysing System Failure Behaviours with {PRISM}},
booktitle = {Fourth International Conference on Secure Software Integration and
Reliability Improvement, {SSIRI} 2010, Singapore, June 9-11, 2010
- Companion Volume},
pages = {130--136},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SSIRI-C.2010.32},
doi = {10.1109/SSIRI-C.2010.32},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssiri/GePM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/KhanhT10,
author = {Truong Khanh Nguyen and
Quan Thanh Tho},
title = {Using Multi Decision Diagram in Model Checking},
booktitle = {Fourth International Conference on Secure Software Integration and
Reliability Improvement, {SSIRI} 2010, Singapore, June 9-11, 2010
- Companion Volume},
pages = {126--129},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SSIRI-C.2010.31},
doi = {10.1109/SSIRI-C.2010.31},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssiri/KhanhT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/KoltuksuzKO10,
author = {Ahmet Koltuksuz and
Burcu Kulahcioglu and
Murat Ozkan},
title = {Utilization of Timed Automata as a Verification Tool for Security
Protocols},
booktitle = {Fourth International Conference on Secure Software Integration and
Reliability Improvement, {SSIRI} 2010, Singapore, June 9-11, 2010
- Companion Volume},
pages = {86--93},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SSIRI-C.2010.27},
doi = {10.1109/SSIRI-C.2010.27},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssiri/KoltuksuzKO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/KoltuksuzOK10,
author = {Ahmet Koltuksuz and
Murat Ozkan and
Burcu Kulahcioglu},
title = {Modeling Efficient Multi-chained Stream Signature Protocol Using Communicating
Sequential Processes},
booktitle = {Fourth International Conference on Secure Software Integration and
Reliability Improvement, {SSIRI} 2010, Singapore, June 9-11, 2010
- Companion Volume},
pages = {54--61},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SSIRI-C.2010.23},
doi = {10.1109/SSIRI-C.2010.23},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssiri/KoltuksuzOK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/LauerGP10,
author = {Christoph Lauer and
Reinhard German and
Jens Pollmer},
title = {Modeling and Analysis of Advanced Automotive {ECU} Architectures at
Early Design Stages Using {EMF} and Model Transformation},
booktitle = {Fourth International Conference on Secure Software Integration and
Reliability Improvement, {SSIRI} 2010, Singapore, June 9-11, 2010
- Companion Volume},
pages = {18--23},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SSIRI-C.2010.37},
doi = {10.1109/SSIRI-C.2010.37},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssiri/LauerGP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/Luu10,
author = {Anh Tuan Luu},
title = {Modeling and Verifying Security Protocols Using {PAT} Approach},
booktitle = {Fourth International Conference on Secure Software Integration and
Reliability Improvement, {SSIRI} 2010, Singapore, June 9-11, 2010
- Companion Volume},
pages = {157--164},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SSIRI-C.2010.34},
doi = {10.1109/SSIRI-C.2010.34},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssiri/Luu10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/MarijanTPT10,
author = {Dusica Marijan and
Nikola Teslic and
Vukota Pekovic and
Tarkan Tekcan},
title = {An Approach to Achieving the Reliability in {TV} Embedded System},
booktitle = {Fourth International Conference on Secure Software Integration and
Reliability Improvement, {SSIRI} 2010, Singapore, June 9-11, 2010
- Companion Volume},
pages = {13--17},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SSIRI-C.2010.13},
doi = {10.1109/SSIRI-C.2010.13},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ssiri/MarijanTPT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/MitschingWK10,
author = {Ralf Mitsching and
Carsten Weise and
Stefan Kowalewski},
title = {Design Patterns for Integrating Variability in Timed Automata},
booktitle = {Fourth International Conference on Secure Software Integration and
Reliability Improvement, {SSIRI} 2010, Singapore, June 9-11, 2010
- Companion Volume},
pages = {38--45},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SSIRI-C.2010.21},
doi = {10.1109/SSIRI-C.2010.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssiri/MitschingWK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/PedrosaM10,
author = {Lehilton Lelis Chaves Pedrosa and
Arnaldo Vieira Moura},
title = {Generalized Partial Test Case Generation Method},
booktitle = {Fourth International Conference on Secure Software Integration and
Reliability Improvement, {SSIRI} 2010, Singapore, June 9-11, 2010
- Companion Volume},
pages = {70--77},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SSIRI-C.2010.25},
doi = {10.1109/SSIRI-C.2010.25},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssiri/PedrosaM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/QuanHNNTNBDHDHNNN10,
author = {Tho T. Quan and
Duc L. N. Hoang and
B. Tam T. Nguyen and
An N. Nguyen and
Quan D. Tran and
Phung H. Nguyen and
Thang H. Bui and
Anh T. Do and
Linh V. Huynh and
Nam T. Doan and
Nguyen T. Huynh and
Thien D. Nguyen and
Binh T. T. Nguyen and
Vu H. Nguyen},
title = {{MAFSE:} {A} Model-Based Framework for Software Verification},
booktitle = {Fourth International Conference on Secure Software Integration and
Reliability Improvement, {SSIRI} 2010, Singapore, June 9-11, 2010
- Companion Volume},
pages = {150--156},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SSIRI-C.2010.36},
doi = {10.1109/SSIRI-C.2010.36},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssiri/QuanHNNTNBDHDHNNN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/ShahriarZ10a,
author = {Hossain Shahriar and
Mohammad Zulkernine},
title = {Classification of Static Analysis-Based Buffer Overflow Detectors},
booktitle = {Fourth International Conference on Secure Software Integration and
Reliability Improvement, {SSIRI} 2010, Singapore, June 9-11, 2010
- Companion Volume},
pages = {94--101},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SSIRI-C.2010.28},
doi = {10.1109/SSIRI-C.2010.28},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssiri/ShahriarZ10a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/ShiL10,
author = {Ling Shi and
Yan Liu},
title = {Modeling and Verification of Transmission Protocols: {A} Case Study
on {CSMA/CD} Protocol},
booktitle = {Fourth International Conference on Secure Software Integration and
Reliability Improvement, {SSIRI} 2010, Singapore, June 9-11, 2010
- Companion Volume},
pages = {143--149},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SSIRI-C.2010.33},
doi = {10.1109/SSIRI-C.2010.33},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssiri/ShiL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/Song10,
author = {Songzheng Song},
title = {An Efficient Method of Probabilistic Model Checking},
booktitle = {Fourth International Conference on Secure Software Integration and
Reliability Improvement, {SSIRI} 2010, Singapore, June 9-11, 2010
- Companion Volume},
pages = {24--25},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SSIRI-C.2010.14},
doi = {10.1109/SSIRI-C.2010.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssiri/Song10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/Srikanth10,
author = {G. Umarani Srikanth},
title = {Parallel Lexical Analyzer on the Cell Processor},
booktitle = {Fourth International Conference on Secure Software Integration and
Reliability Improvement, {SSIRI} 2010, Singapore, June 9-11, 2010
- Companion Volume},
pages = {28--29},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SSIRI-C.2010.16},
doi = {10.1109/SSIRI-C.2010.16},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssiri/Srikanth10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/SubramanianLLP10,
author = {Deepak Subramanian and
Ha{-}Thanh Le and
Peter Kok Keong Loh and
Annamalai Benjamin Premkumar},
title = {Quantitative Evaluation of Related Web-Based Vulnerabilities},
booktitle = {Fourth International Conference on Secure Software Integration and
Reliability Improvement, {SSIRI} 2010, Singapore, June 9-11, 2010
- Companion Volume},
pages = {118--125},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SSIRI-C.2010.30},
doi = {10.1109/SSIRI-C.2010.30},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssiri/SubramanianLLP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/Tan10,
author = {Tian Huat Tan},
title = {Towards Verification of a Service Orchestration Language},
booktitle = {Fourth International Conference on Secure Software Integration and
Reliability Improvement, {SSIRI} 2010, Singapore, June 9-11, 2010
- Companion Volume},
pages = {36--37},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SSIRI-C.2010.20},
doi = {10.1109/SSIRI-C.2010.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssiri/Tan10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/WuY10,
author = {Yongzheng Wu and
Roland H. C. Yap},
title = {The Problem of Usable Binary Authentication},
booktitle = {Fourth International Conference on Secure Software Integration and
Reliability Improvement, {SSIRI} 2010, Singapore, June 9-11, 2010
- Companion Volume},
pages = {34--35},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SSIRI-C.2010.19},
doi = {10.1109/SSIRI-C.2010.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssiri/WuY10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/XiaoWPG10,
author = {Hao Xiao and
Zheng Wang and
Geguang Pu and
Bin Gu},
title = {Constraint Checking for XML-Based Language Specification by {SAT}
Solver},
booktitle = {Fourth International Conference on Secure Software Integration and
Reliability Improvement, {SSIRI} 2010, Singapore, June 9-11, 2010
- Companion Volume},
pages = {26--27},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SSIRI-C.2010.15},
doi = {10.1109/SSIRI-C.2010.15},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssiri/XiaoWPG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/Zhang10,
author = {Xian Zhang},
title = {Job-Shop Scheduling Problems Using Timed Planning},
booktitle = {Fourth International Conference on Secure Software Integration and
Reliability Improvement, {SSIRI} 2010, Singapore, June 9-11, 2010
- Companion Volume},
pages = {110--117},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SSIRI-C.2010.35},
doi = {10.1109/SSIRI-C.2010.35},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssiri/Zhang10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/ZhangL10a,
author = {Shao Jie Zhang and
Yang Liu},
title = {An Automatic Approach to Model Checking {UML} State Machines},
booktitle = {Fourth International Conference on Secure Software Integration and
Reliability Improvement, {SSIRI} 2010, Singapore, June 9-11, 2010
- Companion Volume},
pages = {1--6},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SSIRI-C.2010.11},
doi = {10.1109/SSIRI-C.2010.11},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ssiri/ZhangL10a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/Zhao10,
author = {WenDi Zhao},
title = {Yet Another Model Checker for {PROMELA} - The Transformation Approach},
booktitle = {Fourth International Conference on Secure Software Integration and
Reliability Improvement, {SSIRI} 2010, Singapore, June 9-11, 2010
- Companion Volume},
pages = {137--142},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SSIRI-C.2010.38},
doi = {10.1109/SSIRI-C.2010.38},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssiri/Zhao10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/Zheng10,
author = {Man Chun Zheng},
title = {An Automatic Approach to Verify Sensor Network Systems},
booktitle = {Fourth International Conference on Secure Software Integration and
Reliability Improvement, {SSIRI} 2010, Singapore, June 9-11, 2010
- Companion Volume},
pages = {7--12},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SSIRI-C.2010.12},
doi = {10.1109/SSIRI-C.2010.12},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssiri/Zheng10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/Zhu10,
author = {Huiquan Zhu},
title = {Model Checking C{\#} Code: {A} Translation Approach},
booktitle = {Fourth International Conference on Secure Software Integration and
Reliability Improvement, {SSIRI} 2010, Singapore, June 9-11, 2010
- Companion Volume},
pages = {30--31},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SSIRI-C.2010.17},
doi = {10.1109/SSIRI-C.2010.17},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssiri/Zhu10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ssiri/2010c,
title = {Fourth International Conference on Secure Software Integration and
Reliability Improvement, {SSIRI} 2010, Singapore, June 9-11, 2010
- Companion Volume},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://ieeexplore.ieee.org/xpl/conhome/5521350/proceeding},
isbn = {978-0-7695-4087-0},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ssiri/2010c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-26 02:17 CEST from data curated 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 and maintained by:
the dblp computer science bibliography is funded and supported by:
