Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/setta:"
download as .bib file
@proceedings{DBLP:conf/setta/2023,
editor = {Holger Hermanns and
Jun Sun and
Lei Bu},
title = {Dependable Software Engineering. Theories, Tools, and Applications
- 9th International Symposium, {SETTA} 2023, Nanjing, China, November
27-29, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14464},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-981-99-8664-4},
doi = {10.1007/978-981-99-8664-4},
isbn = {978-981-99-8663-7},
timestamp = {Thu, 04 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/GengHLLS23,
author = {Jia Geng and
Ruiqi Hu and
Kairong Liu and
Zhihui Li and
Zhikun She},
editor = {Holger Hermanns and
Jun Sun and
Lei Bu},
title = {Reachability Based Uniform Controllability to Target Set with Evolution
Function},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 9th International Symposium, {SETTA} 2023, Nanjing, China, November
27-29, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14464},
pages = {21--37},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-981-99-8664-4\_2},
doi = {10.1007/978-981-99-8664-4\_2},
timestamp = {Thu, 04 Jan 2024 08:13:47 +0100},
biburl = {https://dblp.org/rec/conf/setta/GengHLLS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/HanZ23,
author = {Shaocong Han and
Yi Zhang},
editor = {Holger Hermanns and
Jun Sun and
Lei Bu},
title = {Enhancing Branch and Bound for Robustness Verification of Neural Networks
via an Effective Branching Strategy},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 9th International Symposium, {SETTA} 2023, Nanjing, China, November
27-29, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14464},
pages = {38--54},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-981-99-8664-4\_3},
doi = {10.1007/978-981-99-8664-4\_3},
timestamp = {Fri, 26 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/HanZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/HeTZLC23,
author = {Zhangyue He and
Yanni Tang and
Kaiqi Zhao and
Jiamou Liu and
Wu Chen},
editor = {Holger Hermanns and
Jun Sun and
Lei Bu},
title = {Graph-Based Log Anomaly Detection via Adversarial Training},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 9th International Symposium, {SETTA} 2023, Nanjing, China, November
27-29, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14464},
pages = {55--71},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-981-99-8664-4\_4},
doi = {10.1007/978-981-99-8664-4\_4},
timestamp = {Thu, 04 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/HeTZLC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/HongCLLHW23,
author = {Weijiang Hong and
Zhenbang Chen and
Minglong Li and
Yuhan Li and
Peishan Huang and
Ji Wang},
editor = {Holger Hermanns and
Jun Sun and
Lei Bu},
title = {Formal Verification Based Synthesis for Behavior Trees},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 9th International Symposium, {SETTA} 2023, Nanjing, China, November
27-29, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14464},
pages = {72--91},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-981-99-8664-4\_5},
doi = {10.1007/978-981-99-8664-4\_5},
timestamp = {Sat, 13 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/HongCLLHW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/HuW23,
author = {Denghang Hu and
Zhilin Wu},
editor = {Holger Hermanns and
Jun Sun and
Lei Bu},
title = {String Constraints with Regex-Counting and String-Length Solved More
Efficiently},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 9th International Symposium, {SETTA} 2023, Nanjing, China, November
27-29, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14464},
pages = {1--20},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-981-99-8664-4\_1},
doi = {10.1007/978-981-99-8664-4\_1},
timestamp = {Sat, 13 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/HuW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/HuangWSLZL23,
author = {Jintao Huang and
Gaosheng Wang and
Zhiqiang Shi and
Fei Lv and
Weidong Zhang and
Shichao Lv},
editor = {Holger Hermanns and
Jun Sun and
Lei Bu},
title = {SeHBPL: Behavioral Semantics-Based Patch Presence Test for Binaries},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 9th International Symposium, {SETTA} 2023, Nanjing, China, November
27-29, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14464},
pages = {92--111},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-981-99-8664-4\_6},
doi = {10.1007/978-981-99-8664-4\_6},
timestamp = {Wed, 17 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/HuangWSLZL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/JiWX23,
author = {Zekun Ji and
Shuling Wang and
Xiong Xu},
editor = {Holger Hermanns and
Jun Sun and
Lei Bu},
title = {Session Types with Multiple Senders Single Receiver},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 9th International Symposium, {SETTA} 2023, Nanjing, China, November
27-29, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14464},
pages = {112--131},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-981-99-8664-4\_7},
doi = {10.1007/978-981-99-8664-4\_7},
timestamp = {Thu, 04 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/JiWX23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/LiuKWSS23,
author = {Huiyu Liu and
Qichao Kong and
Jue Wang and
Ting Su and
Haiying Sun},
editor = {Holger Hermanns and
Jun Sun and
Lei Bu},
title = {Understanding the Reproducibility Issues of Monkey for {GUI} Testing},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 9th International Symposium, {SETTA} 2023, Nanjing, China, November
27-29, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14464},
pages = {132--151},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-981-99-8664-4\_8},
doi = {10.1007/978-981-99-8664-4\_8},
timestamp = {Thu, 04 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/LiuKWSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/LiuTL23,
author = {Zhiming Liu and
Jiadong Teng and
Bo Liu},
editor = {Holger Hermanns and
Jun Sun and
Lei Bu},
title = {Multi-dimensional Abstraction and Decomposition for Separation of
Concerns},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 9th International Symposium, {SETTA} 2023, Nanjing, China, November
27-29, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14464},
pages = {152--170},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-981-99-8664-4\_9},
doi = {10.1007/978-981-99-8664-4\_9},
timestamp = {Sat, 13 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/LiuTL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/NiWX23,
author = {Xinpeng Ni and
Yulun Wu and
Bican Xia},
editor = {Holger Hermanns and
Jun Sun and
Lei Bu},
title = {Solving {SMT} over Non-linear Real Arithmetic via Numerical Sampling
and Symbolic Verification},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 9th International Symposium, {SETTA} 2023, Nanjing, China, November
27-29, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14464},
pages = {171--188},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-981-99-8664-4\_10},
doi = {10.1007/978-981-99-8664-4\_10},
timestamp = {Fri, 26 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/NiWX23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/OuyangHHM23,
author = {Lingzhi Ouyang and
Yu Huang and
Binyu Huang and
Xiaoxing Ma},
editor = {Holger Hermanns and
Jun Sun and
Lei Bu},
title = {Leveraging TLA\({}^{\mbox{+}}\) Specifications to Improve the Reliability
of the ZooKeeperCoordination Service},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 9th International Symposium, {SETTA} 2023, Nanjing, China, November
27-29, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14464},
pages = {189--205},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-981-99-8664-4\_11},
doi = {10.1007/978-981-99-8664-4\_11},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/OuyangHHM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/SuCLC23,
author = {Weihao Su and
Haiming Chen and
Rongchen Li and
Zixuan Chen},
editor = {Holger Hermanns and
Jun Sun and
Lei Bu},
title = {Modeling Regex Operators for Solving Regex Crossword Puzzles},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 9th International Symposium, {SETTA} 2023, Nanjing, China, November
27-29, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14464},
pages = {206--225},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-981-99-8664-4\_12},
doi = {10.1007/978-981-99-8664-4\_12},
timestamp = {Thu, 04 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/SuCLC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/SunBXZHZ23,
author = {Hao Sun and
Zhe Bu and
Yang Xiao and
Chengsheng Zhou and
Zhiyu Hao and
Hongsong Zhu},
editor = {Holger Hermanns and
Jun Sun and
Lei Bu},
title = {Software Vulnerability Detection Using an Enhanced Generalization
Strategy},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 9th International Symposium, {SETTA} 2023, Nanjing, China, November
27-29, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14464},
pages = {226--242},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-981-99-8664-4\_13},
doi = {10.1007/978-981-99-8664-4\_13},
timestamp = {Thu, 04 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/SunBXZHZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/SunLLS23,
author = {Weidi Sun and
Yuteng Lu and
Xiaokun Luan and
Meng Sun},
editor = {Holger Hermanns and
Jun Sun and
Lei Bu},
title = {HeatC: {A} Variable-Grained Coverage Criterion for Deep Learning Systems},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 9th International Symposium, {SETTA} 2023, Nanjing, China, November
27-29, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14464},
pages = {243--261},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-981-99-8664-4\_14},
doi = {10.1007/978-981-99-8664-4\_14},
timestamp = {Thu, 04 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/SunLLS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/WanC23,
author = {Xinyi Wan and
Qinxiang Cao},
editor = {Holger Hermanns and
Jun Sun and
Lei Bu},
title = {Formalization of Lambda Calculus with Explicit Names as a Nominal
Reasoning Framework},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 9th International Symposium, {SETTA} 2023, Nanjing, China, November
27-29, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14464},
pages = {262--278},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-981-99-8664-4\_15},
doi = {10.1007/978-981-99-8664-4\_15},
timestamp = {Thu, 04 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/WanC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/WangLYZ23,
author = {Weiwei Wang and
Zidong Li and
Feng You and
Ruilian Zhao},
editor = {Holger Hermanns and
Jun Sun and
Lei Bu},
title = {Vulnerability Report Analysis and Vulnerability Reproduction for Web
Applications},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 9th International Symposium, {SETTA} 2023, Nanjing, China, November
27-29, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14464},
pages = {279--297},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-981-99-8664-4\_16},
doi = {10.1007/978-981-99-8664-4\_16},
timestamp = {Sat, 13 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/WangLYZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/XiaoYZH23,
author = {Yingmin Xiao and
Zhibin Yang and
Yong Zhou and
Zhiqiu Huang},
editor = {Holger Hermanns and
Jun Sun and
Lei Bu},
title = {Run-Time Assured Reinforcement Learning for Safe Spacecraft Rendezvous
with Obstacle Avoidance},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 9th International Symposium, {SETTA} 2023, Nanjing, China, November
27-29, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14464},
pages = {298--313},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-981-99-8664-4\_17},
doi = {10.1007/978-981-99-8664-4\_17},
timestamp = {Thu, 04 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/XiaoYZH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/XuCFYW23,
author = {Han Xu and
Liqian Chen and
Guangsheng Fan and
Banghu Yin and
Ji Wang},
editor = {Holger Hermanns and
Jun Sun and
Lei Bu},
title = {An Abstract Domain of Linear Templates with Disjunctive Right-Hand-Side
Intervals},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 9th International Symposium, {SETTA} 2023, Nanjing, China, November
27-29, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14464},
pages = {314--330},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-981-99-8664-4\_18},
doi = {10.1007/978-981-99-8664-4\_18},
timestamp = {Thu, 04 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/XuCFYW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/YanSZWCPLC23,
author = {Yixuan Yan and
Weihao Su and
Lixiao Zheng and
Mengxi Wang and
Haiming Chen and
Chengyao Peng and
Rongchen Li and
Zixuan Chen},
editor = {Holger Hermanns and
Jun Sun and
Lei Bu},
title = {Deducing Matching Strings for Real-World Regular Expressions},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 9th International Symposium, {SETTA} 2023, Nanjing, China, November
27-29, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14464},
pages = {331--350},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-981-99-8664-4\_19},
doi = {10.1007/978-981-99-8664-4\_19},
timestamp = {Thu, 04 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/YanSZWCPLC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/YangGLWW23,
author = {Yixiao Yang and
Chen Gao and
Zhiqi Li and
Yifan Wang and
Rui Wang},
editor = {Holger Hermanns and
Jun Sun and
Lei Bu},
title = {Binary Level Concolic Execution on Windows with Rich Instrumentation
Based Taint Analysis},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 9th International Symposium, {SETTA} 2023, Nanjing, China, November
27-29, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14464},
pages = {351--367},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-981-99-8664-4\_20},
doi = {10.1007/978-981-99-8664-4\_20},
timestamp = {Thu, 04 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/YangGLWW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/YaoXW23,
author = {Qian Yao and
Xinli Xiong and
Yongjie Wang},
editor = {Holger Hermanns and
Jun Sun and
Lei Bu},
title = {Cheat-FlipIt: An Approach to Modeling and Perception of a Deceptive
Opponent},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 9th International Symposium, {SETTA} 2023, Nanjing, China, November
27-29, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14464},
pages = {368--384},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-981-99-8664-4\_21},
doi = {10.1007/978-981-99-8664-4\_21},
timestamp = {Sat, 13 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/YaoXW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/YuanLBT23,
author = {Shenghao Yuan and
Benjamin Lion and
Fr{\'{e}}d{\'{e}}ric Besson and
Jean{-}Pierre Talpin},
editor = {Holger Hermanns and
Jun Sun and
Lei Bu},
title = {Making an eBPF Virtual Machine Faster on Microcontrollers: Verified
Optimization and Proof Simplification},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 9th International Symposium, {SETTA} 2023, Nanjing, China, November
27-29, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14464},
pages = {385--401},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-981-99-8664-4\_22},
doi = {10.1007/978-981-99-8664-4\_22},
timestamp = {Fri, 26 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/YuanLBT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/ZhangZCZL23,
author = {Chunxi Zhang and
Shuyan Zhang and
Ting Chen and
Rong Zhang and
Kai Liu},
editor = {Holger Hermanns and
Jun Sun and
Lei Bu},
title = {An Optimized Solution for Highly Contended Transactional Workloads},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 9th International Symposium, {SETTA} 2023, Nanjing, China, November
27-29, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14464},
pages = {402--418},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-981-99-8664-4\_23},
doi = {10.1007/978-981-99-8664-4\_23},
timestamp = {Thu, 04 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/ZhangZCZL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/ZhuTGJ23,
author = {Jin Zhu and
Chuanqi Tao and
Hongjing Guo and
Yue Ju},
editor = {Holger Hermanns and
Jun Sun and
Lei Bu},
title = {DeepTD: Diversity-Guided Deep Neural Network Test Generation},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 9th International Symposium, {SETTA} 2023, Nanjing, China, November
27-29, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14464},
pages = {419--433},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-981-99-8664-4\_24},
doi = {10.1007/978-981-99-8664-4\_24},
timestamp = {Thu, 04 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/ZhuTGJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/BandukaraT22,
author = {M. H. Bandukara and
Nikos Tzevelekos},
editor = {Wei Dong and
Jean{-}Pierre Talpin},
title = {On-The-Fly Bisimilarity Checking for Fresh-Register Automata},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 8th International Symposium, {SETTA} 2022, Beijing, China, October
27-29, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13649},
pages = {187--204},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21213-0\_12},
doi = {10.1007/978-3-031-21213-0\_12},
timestamp = {Fri, 23 Dec 2022 17:47:37 +0100},
biburl = {https://dblp.org/rec/conf/setta/BandukaraT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/DuXZCXZ22,
author = {Xiaodong Du and
Pengfei Xu and
Zheng Zhang and
Shushan Chai and
Rui Xia and
Zhe Zong},
editor = {Wei Dong and
Jean{-}Pierre Talpin},
title = {{KCL:} {A} Declarative Language for Large-Scale Configuration and
Policy Management},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 8th International Symposium, {SETTA} 2022, Beijing, China, October
27-29, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13649},
pages = {88--105},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21213-0\_6},
doi = {10.1007/978-3-031-21213-0\_6},
timestamp = {Fri, 23 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/DuXZCXZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/GrossJJP22,
author = {Dennis Gross and
Nils Jansen and
Sebastian Junges and
Guillermo A. P{\'{e}}rez},
editor = {Wei Dong and
Jean{-}Pierre Talpin},
title = {{COOL-MC:} {A} Comprehensive Tool for Reinforcement Learning and Model
Checking},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 8th International Symposium, {SETTA} 2022, Beijing, China, October
27-29, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13649},
pages = {41--49},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21213-0\_3},
doi = {10.1007/978-3-031-21213-0\_3},
timestamp = {Sun, 25 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/GrossJJP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/LiWHMJ22,
author = {Siran Li and
Lei Wang and
Keyang Hu and
Ce Mo and
Bo Jiang},
editor = {Wei Dong and
Jean{-}Pierre Talpin},
title = {{VM} Migration and Live-Update for Reliable Embedded Hypervisor},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 8th International Symposium, {SETTA} 2022, Beijing, China, October
27-29, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13649},
pages = {53--69},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21213-0\_4},
doi = {10.1007/978-3-031-21213-0\_4},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/LiWHMJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/LiZB22,
author = {Ran Li and
Huibiao Zhu and
Richard Banach},
editor = {Wei Dong and
Jean{-}Pierre Talpin},
title = {Translating {CPS} with Shared-Variable Concurrency in SpaceEx},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 8th International Symposium, {SETTA} 2022, Beijing, China, October
27-29, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13649},
pages = {127--133},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21213-0\_8},
doi = {10.1007/978-3-031-21213-0\_8},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/LiZB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/LuSSS22,
author = {Yuteng Lu and
Kaicheng Shao and
Weidi Sun and
Meng Sun},
editor = {Wei Dong and
Jean{-}Pierre Talpin},
title = {{MTUL:} Towards Mutation Testing of Unsupervised Learning Systems},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 8th International Symposium, {SETTA} 2022, Beijing, China, October
27-29, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13649},
pages = {22--40},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21213-0\_2},
doi = {10.1007/978-3-031-21213-0\_2},
timestamp = {Fri, 23 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/LuSSS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/ShiC22,
author = {ZhengPu Shi and
Gang Chen},
editor = {Wei Dong and
Jean{-}Pierre Talpin},
title = {Integration of Multiple Formal Matrix Models in Coq},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 8th International Symposium, {SETTA} 2022, Beijing, China, October
27-29, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13649},
pages = {169--186},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21213-0\_11},
doi = {10.1007/978-3-031-21213-0\_11},
timestamp = {Sun, 25 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/ShiC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/SunXLS22,
author = {Weidi Sun and
Xiaoyong Xue and
Yuteng Lu and
Meng Sun},
editor = {Wei Dong and
Jean{-}Pierre Talpin},
title = {HashC: Making DNNs' Coverage Testing Finer and Faster},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 8th International Symposium, {SETTA} 2022, Beijing, China, October
27-29, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13649},
pages = {3--21},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21213-0\_1},
doi = {10.1007/978-3-031-21213-0\_1},
timestamp = {Fri, 23 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/SunXLS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/SunZWL22,
author = {Quan Sun and
Wei Zhang and
Chao Wang and
Zhiming Liu},
editor = {Wei Dong and
Jean{-}Pierre Talpin},
title = {A Contract-Based Semantics and Refinement for Simulink},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 8th International Symposium, {SETTA} 2022, Beijing, China, October
27-29, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13649},
pages = {134--148},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21213-0\_9},
doi = {10.1007/978-3-031-21213-0\_9},
timestamp = {Fri, 11 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/SunZWL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/TaoC22,
author = {Yichen Tao and
Qinxiang Cao},
editor = {Wei Dong and
Jean{-}Pierre Talpin},
title = {{LOGIC:} {A} Coq Library for Logics},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 8th International Symposium, {SETTA} 2022, Beijing, China, October
27-29, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13649},
pages = {205--226},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21213-0\_13},
doi = {10.1007/978-3-031-21213-0\_13},
timestamp = {Fri, 23 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/TaoC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/ValladeNSBG22,
author = {Vincent Vallade and
Saeed Nejati and
Julien Sopena and
Souheib Baarir and
Vijay Ganesh},
editor = {Wei Dong and
Jean{-}Pierre Talpin},
title = {Diversifying a Parallel {SAT} Solver with Bayesian Moment Matching},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 8th International Symposium, {SETTA} 2022, Beijing, China, October
27-29, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13649},
pages = {227--233},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21213-0\_14},
doi = {10.1007/978-3-031-21213-0\_14},
timestamp = {Sun, 25 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/ValladeNSBG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/WangPLLL22,
author = {Chao Wang and
Gustavo Petri and
Yi Lv and
Teng Long and
Zhiming Liu},
editor = {Wei Dong and
Jean{-}Pierre Talpin},
title = {Decidability of Liveness for Concurrent Objects on the {TSO} Memory
Model},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 8th International Symposium, {SETTA} 2022, Beijing, China, October
27-29, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13649},
pages = {149--165},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21213-0\_10},
doi = {10.1007/978-3-031-21213-0\_10},
timestamp = {Fri, 11 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/WangPLLL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/ZhuH22,
author = {Fengmin Zhu and
Fei He},
editor = {Wei Dong and
Jean{-}Pierre Talpin},
title = {EqFix: Fixing LaTeX Equation Errors by Examples},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 8th International Symposium, {SETTA} 2022, Beijing, China, October
27-29, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13649},
pages = {106--124},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21213-0\_7},
doi = {10.1007/978-3-031-21213-0\_7},
timestamp = {Sun, 25 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/ZhuH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/ZhuXFMH22,
author = {Fengmin Zhu and
Xingyu Xie and
Dongyu Feng and
Na Meng and
Fei He},
editor = {Wei Dong and
Jean{-}Pierre Talpin},
title = {Mastery: Shifted-Code-Aware Structured Merging},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 8th International Symposium, {SETTA} 2022, Beijing, China, October
27-29, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13649},
pages = {70--87},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21213-0\_5},
doi = {10.1007/978-3-031-21213-0\_5},
timestamp = {Tue, 10 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/ZhuXFMH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/setta/2022,
editor = {Wei Dong and
Jean{-}Pierre Talpin},
title = {Dependable Software Engineering. Theories, Tools, and Applications
- 8th International Symposium, {SETTA} 2022, Beijing, China, October
27-29, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13649},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21213-0},
doi = {10.1007/978-3-031-21213-0},
isbn = {978-3-031-21212-3},
timestamp = {Fri, 23 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/0001LCWW21,
author = {Jin{-}Fu Chen and
Bo Liu and
Saihua Cai and
Weijia Wang and
Shengran Wang},
editor = {Shengchao Qin and
Jim Woodcock and
Wenhui Zhang},
title = {AIdetectorX: {A} Vulnerability Detector Based on {TCN} and Self-attention
Mechanism},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 7th International Symposium, {SETTA} 2021, Beijing, China, November
25-27, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13071},
pages = {161--177},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91265-9\_9},
doi = {10.1007/978-3-030-91265-9\_9},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/setta/0001LCWW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/0003ZW0G21,
author = {Ximeng Li and
Qianying Zhang and
Guohui Wang and
Zhiping Shi and
Yong Guan},
editor = {Shengchao Qin and
Jim Woodcock and
Wenhui Zhang},
title = {Reasoning About Iteration and Recursion Uniformly Based on Big-Step
Semantics},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 7th International Symposium, {SETTA} 2021, Beijing, China, November
25-27, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13071},
pages = {61--80},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91265-9\_4},
doi = {10.1007/978-3-030-91265-9\_4},
timestamp = {Mon, 29 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/0003ZW0G21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/AhishakiyeJKS21,
author = {Faustin Ahishakiye and
Jos{\'{e}}{-}Ignacio Requeno Jarabo and
Lars Michael Kristensen and
Volker Stolz},
editor = {Shengchao Qin and
Jim Woodcock and
Wenhui Zhang},
title = {{MC/DC} Test Cases Generation Based on BDDs},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 7th International Symposium, {SETTA} 2021, Beijing, China, November
25-27, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13071},
pages = {178--197},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91265-9\_10},
doi = {10.1007/978-3-030-91265-9\_10},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/AhishakiyeJKS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/DingNW21,
author = {Xue{-}er Ding and
Jun Niu and
Jia Wang},
editor = {Shengchao Qin and
Jim Woodcock and
Wenhui Zhang},
title = {{API} Usage Pattern Search Based on Model Checking},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 7th International Symposium, {SETTA} 2021, Beijing, China, November
25-27, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13071},
pages = {299--319},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91265-9\_16},
doi = {10.1007/978-3-030-91265-9\_16},
timestamp = {Mon, 29 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/DingNW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/GuoZXWS21,
author = {Panhua Guo and
Bohua Zhan and
Xiong Xu and
Shuling Wang and
Wenhui Sun},
editor = {Shengchao Qin and
Jim Woodcock and
Wenhui Zhang},
title = {Translating a Large Subset of Stateflow to Hybrid {CSP} with Code
Optimization},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 7th International Symposium, {SETTA} 2021, Beijing, China, November
25-27, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13071},
pages = {3--21},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91265-9\_1},
doi = {10.1007/978-3-030-91265-9\_1},
timestamp = {Mon, 29 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/GuoZXWS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/HuLS21,
author = {Ruiqi Hu and
Meilun Li and
Zhikun She},
editor = {Shengchao Qin and
Jim Woodcock and
Wenhui Zhang},
title = {{\textdollar}{\textbackslash}mathbf\{OURS\} {\textdollar}: Over- and
Under-Approximating Reachable Sets for Analytic Time-Invariant Differential
Equations},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 7th International Symposium, {SETTA} 2021, Beijing, China, November
25-27, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13071},
pages = {261--278},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91265-9\_14},
doi = {10.1007/978-3-030-91265-9\_14},
timestamp = {Mon, 29 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/HuLS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/LongRWW21,
author = {Teng Long and
Xingtao Ren and
Qing Wang and
Chao Wang},
editor = {Shengchao Qin and
Jim Woodcock and
Wenhui Zhang},
title = {Verifying the Correctness of Distributed Systems via Mergeable Parallelism},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 7th International Symposium, {SETTA} 2021, Beijing, China, November
25-27, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13071},
pages = {122--140},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91265-9\_7},
doi = {10.1007/978-3-030-91265-9\_7},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/LongRWW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/LuSS21,
author = {Yuteng Lu and
Weidi Sun and
Meng Sun},
editor = {Shengchao Qin and
Jim Woodcock and
Wenhui Zhang},
title = {Mutation Testing of Reinforcement Learning Systems},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 7th International Symposium, {SETTA} 2021, Beijing, China, November
25-27, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13071},
pages = {143--160},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91265-9\_8},
doi = {10.1007/978-3-030-91265-9\_8},
timestamp = {Thu, 07 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/LuSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/MehmoodSGRDS21,
author = {Usama Mehmood and
Scott D. Stoller and
Radu Grosu and
Shouvik Roy and
Amol Damare and
Scott A. Smolka},
editor = {Shengchao Qin and
Jim Woodcock and
Wenhui Zhang},
title = {A Distributed Simplex Architecture for Multi-agent Systems},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 7th International Symposium, {SETTA} 2021, Beijing, China, November
25-27, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13071},
pages = {239--257},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91265-9\_13},
doi = {10.1007/978-3-030-91265-9\_13},
timestamp = {Mon, 29 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/MehmoodSGRDS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/MendilASMP21,
author = {Isma{\"{\i}}l Mendil and
Yamine A{\"{\i}}t Ameur and
Neeraj Kumar Singh and
Dominique M{\'{e}}ry and
Philippe A. Palanque},
editor = {Shengchao Qin and
Jim Woodcock and
Wenhui Zhang},
title = {Leveraging Event-B Theories for Handling Domain Knowledge in Design
Models},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 7th International Symposium, {SETTA} 2021, Beijing, China, November
25-27, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13071},
pages = {40--58},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91265-9\_3},
doi = {10.1007/978-3-030-91265-9\_3},
timestamp = {Thu, 10 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/MendilASMP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/SunLZ021,
author = {Weidi Sun and
Yuteng Lu and
Xiyue Zhang and
Meng Sun},
editor = {Shengchao Qin and
Jim Woodcock and
Wenhui Zhang},
title = {DeepGlobal: {A} Global Robustness Verifiable {FNN} Framework},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 7th International Symposium, {SETTA} 2021, Beijing, China, November
25-27, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13071},
pages = {22--39},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91265-9\_2},
doi = {10.1007/978-3-030-91265-9\_2},
timestamp = {Mon, 29 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/SunLZ021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/WeiMXZZL21,
author = {Shaozhi Wei and
Ran Mo and
Pu Xiong and
Siyuan Zhang and
Yang Zhao and
Zengyang Li},
editor = {Shengchao Qin and
Jim Woodcock and
Wenhui Zhang},
title = {Predicting and Monitoring Bug-Proneness at the Feature Level},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 7th International Symposium, {SETTA} 2021, Beijing, China, November
25-27, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13071},
pages = {201--218},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91265-9\_11},
doi = {10.1007/978-3-030-91265-9\_11},
timestamp = {Mon, 29 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/WeiMXZZL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/XiaoZ21,
author = {Lili Xiao and
Huibiao Zhu},
editor = {Shengchao Qin and
Jim Woodcock and
Wenhui Zhang},
title = {Trace Semantics and Algebraic Laws for {MCA} ARMv8 Architecture Based
on {UTP}},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 7th International Symposium, {SETTA} 2021, Beijing, China, November
25-27, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13071},
pages = {81--101},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91265-9\_5},
doi = {10.1007/978-3-030-91265-9\_5},
timestamp = {Mon, 29 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/XiaoZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/XuSC21,
author = {Yongjie Xu and
Fu Song and
Taolue Chen},
editor = {Shengchao Qin and
Jim Woodcock and
Wenhui Zhang},
title = {ESampler: Efficient Sampling of Satisfying Assignments for Boolean
Formulas},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 7th International Symposium, {SETTA} 2021, Beijing, China, November
25-27, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13071},
pages = {279--298},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91265-9\_15},
doi = {10.1007/978-3-030-91265-9\_15},
timestamp = {Mon, 29 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/XuSC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/YanJZH21,
author = {Yue Yan and
Shujuan Jiang and
Shenggang Zhang and
Ying Huang},
editor = {Shengchao Qin and
Jim Woodcock and
Wenhui Zhang},
title = {{CSFL:} Fault Localization on Real Software Bugs Based on the Combination
of Context and Spectrum},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 7th International Symposium, {SETTA} 2021, Beijing, China, November
25-27, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13071},
pages = {219--238},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91265-9\_12},
doi = {10.1007/978-3-030-91265-9\_12},
timestamp = {Mon, 29 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/YanJZH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/YangWZZLXXM21,
author = {Tengshun Yang and
Shuling Wang and
Bohua Zhan and
Naijun Zhan and
Jinghui Li and
Shuangqing Xiang and
Zhan Xiang and
Bifei Mao},
editor = {Shengchao Qin and
Jim Woodcock and
Wenhui Zhang},
title = {Formal Analysis of 5G {AKMA}},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 7th International Symposium, {SETTA} 2021, Beijing, China, November
25-27, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13071},
pages = {102--121},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91265-9\_6},
doi = {10.1007/978-3-030-91265-9\_6},
timestamp = {Mon, 29 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/YangWZZLXXM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/setta/2021,
editor = {Shengchao Qin and
Jim Woodcock and
Wenhui Zhang},
title = {Dependable Software Engineering. Theories, Tools, and Applications
- 7th International Symposium, {SETTA} 2021, Beijing, China, November
25-27, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13071},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91265-9},
doi = {10.1007/978-3-030-91265-9},
isbn = {978-3-030-91264-2},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/CaoW20,
author = {Qinxiang Cao and
Zhongye Wang},
editor = {Jun Pang and
Lijun Zhang},
title = {Reentrancy? Yes. Reentrancy Bug? No},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 6th International Symposium, {SETTA} 2020, Guangzhou, China, November
24-27, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12153},
pages = {17--34},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-62822-2\_2},
doi = {10.1007/978-3-030-62822-2\_2},
timestamp = {Thu, 12 Nov 2020 16:23:45 +0100},
biburl = {https://dblp.org/rec/conf/setta/CaoW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/Capra20,
author = {Lorenzo Capra},
editor = {Jun Pang and
Lijun Zhang},
title = {Graph Transformation Systems: {A} Semantics Based on (Stochastic)
Symmetric Nets},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 6th International Symposium, {SETTA} 2020, Guangzhou, China, November
24-27, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12153},
pages = {35--51},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-62822-2\_3},
doi = {10.1007/978-3-030-62822-2\_3},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/Capra20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/FengHTL20,
author = {Weizhi Feng and
Cheng{-}Chao Huang and
Andrea Turrini and
Yong Li},
editor = {Jun Pang and
Lijun Zhang},
title = {Modelling and Implementation of Unmanned Aircraft Collision Avoidance},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 6th International Symposium, {SETTA} 2020, Guangzhou, China, November
24-27, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12153},
pages = {52--69},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-62822-2\_4},
doi = {10.1007/978-3-030-62822-2\_4},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/FengHTL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/GoordenMRVBHMRF20,
author = {Martijn A. Goorden and
Lars Moormann and
Ferdie F. H. Reijnen and
J. J. Verbakel and
D. A. van Beek and
Albert T. Hofkamp and
Joanna M. van de Mortel{-}Fronczak and
Michel A. Reniers and
Wan J. Fokkink and
Jacobus E. Rooda and
L. F. P. Etman},
editor = {Jun Pang and
Lijun Zhang},
title = {The Road Ahead for Supervisor Synthesis},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 6th International Symposium, {SETTA} 2020, Guangzhou, China, November
24-27, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12153},
pages = {1--16},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-62822-2\_1},
doi = {10.1007/978-3-030-62822-2\_1},
timestamp = {Tue, 11 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/GoordenMRVBHMRF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/KivirigaLN20,
author = {Andrej Kiviriga and
Kim Guldstrand Larsen and
Ulrik Nyman},
editor = {Jun Pang and
Lijun Zhang},
title = {Randomized Refinement Checking of Timed {I/O} Automata},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 6th International Symposium, {SETTA} 2020, Guangzhou, China, November
24-27, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12153},
pages = {70--88},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-62822-2\_5},
doi = {10.1007/978-3-030-62822-2\_5},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/KivirigaLN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/LiCWX20,
author = {Xie Li and
Taolue Chen and
Zhilin Wu and
Mingji Xia},
editor = {Jun Pang and
Lijun Zhang},
title = {Computing Linear Arithmetic Representation of Reachability Relation
of One-Counter Automata},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 6th International Symposium, {SETTA} 2020, Guangzhou, China, November
24-27, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12153},
pages = {89--107},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-62822-2\_6},
doi = {10.1007/978-3-030-62822-2\_6},
timestamp = {Thu, 12 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/LiCWX20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/LiuYL20,
author = {Wanwei Liu and
Liangze Yin and
Tun Li},
editor = {Jun Pang and
Lijun Zhang},
title = {Compiling FL\({}^{\mbox{res}}\) on Finite Words},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 6th International Symposium, {SETTA} 2020, Guangzhou, China, November
24-27, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12153},
pages = {108--123},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-62822-2\_7},
doi = {10.1007/978-3-030-62822-2\_7},
timestamp = {Thu, 12 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/LiuYL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/VinkhuijzenL20,
author = {Lieuwe Vinkhuijzen and
Alfons Laarman},
editor = {Jun Pang and
Lijun Zhang},
title = {Symbolic Model Checking with Sentential Decision Diagrams},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 6th International Symposium, {SETTA} 2020, Guangzhou, China, November
24-27, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12153},
pages = {124--142},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-62822-2\_8},
doi = {10.1007/978-3-030-62822-2\_8},
timestamp = {Sat, 14 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/VinkhuijzenL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/XueZ20,
author = {Bai Xue and
Naijun Zhan},
editor = {Jun Pang and
Lijun Zhang},
title = {Probably Approximately Correct Interpolants Generation},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 6th International Symposium, {SETTA} 2020, Guangzhou, China, November
24-27, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12153},
pages = {143--159},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-62822-2\_9},
doi = {10.1007/978-3-030-62822-2\_9},
timestamp = {Thu, 12 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/XueZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/YuCHW20,
author = {Hengbiao Yu and
Zhenbang Chen and
Chun Huang and
Ji Wang},
editor = {Jun Pang and
Lijun Zhang},
title = {Symbolic Verification of {MPI} Programs with Non-deterministic Synchronizations},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 6th International Symposium, {SETTA} 2020, Guangzhou, China, November
24-27, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12153},
pages = {160--176},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-62822-2\_10},
doi = {10.1007/978-3-030-62822-2\_10},
timestamp = {Thu, 12 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/YuCHW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/ZhaoZCLW20,
author = {Hengjun Zhao and
Xia Zeng and
Taolue Chen and
Zhiming Liu and
Jim Woodcock},
editor = {Jun Pang and
Lijun Zhang},
title = {Learning Safe Neural Network Controllers with Barrier Certificates},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 6th International Symposium, {SETTA} 2020, Guangzhou, China, November
24-27, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12153},
pages = {177--185},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-62822-2\_11},
doi = {10.1007/978-3-030-62822-2\_11},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/ZhaoZCLW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/ZhouZC20,
author = {Yangxi Zhou and
Yan Zhu and
Liangyu Chen},
editor = {Jun Pang and
Lijun Zhang},
title = {Software Defect-Proneness Prediction with Package Cohesion and Coupling
Metrics Based on Complex Network Theory},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 6th International Symposium, {SETTA} 2020, Guangzhou, China, November
24-27, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12153},
pages = {186--201},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-62822-2\_12},
doi = {10.1007/978-3-030-62822-2\_12},
timestamp = {Tue, 07 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/ZhouZC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/setta/2020,
editor = {Jun Pang and
Lijun Zhang},
title = {Dependable Software Engineering. Theories, Tools, and Applications
- 6th International Symposium, {SETTA} 2020, Guangzhou, China, November
24-27, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12153},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-62822-2},
doi = {10.1007/978-3-030-62822-2},
isbn = {978-3-030-62821-5},
timestamp = {Thu, 12 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/LinT19,
author = {Yu{-}Yang Lin and
Nikos Tzevelekos},
editor = {Nan Guan and
Joost{-}Pieter Katoen and
Jun Sun},
title = {A Bounded Model Checking Technique for Higher-Order Programs},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 5th International Symposium, {SETTA} 2019, Shanghai, China, November
27-29, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11951},
pages = {1--18},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-35540-1\_1},
doi = {10.1007/978-3-030-35540-1\_1},
timestamp = {Mon, 18 Nov 2019 16:42:22 +0100},
biburl = {https://dblp.org/rec/conf/setta/LinT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/LinardBS19,
author = {Alexis Linard and
Doina Bucur and
Mari{\"{e}}lle Stoelinga},
editor = {Nan Guan and
Joost{-}Pieter Katoen and
Jun Sun},
title = {Fault Trees from Data: Efficient Learning with an Evolutionary Algorithm},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 5th International Symposium, {SETTA} 2019, Shanghai, China, November
27-29, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11951},
pages = {19--37},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-35540-1\_2},
doi = {10.1007/978-3-030-35540-1\_2},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/LinardBS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/LiuMC19,
author = {Chong Liu and
Nuno Macedo and
Alcino Cunha},
editor = {Nan Guan and
Joost{-}Pieter Katoen and
Jun Sun},
title = {Simplifying the Analysis of Software Design Variants with a Colorful
Alloy},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 5th International Symposium, {SETTA} 2019, Shanghai, China, November
27-29, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11951},
pages = {38--55},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-35540-1\_3},
doi = {10.1007/978-3-030-35540-1\_3},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/LiuMC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/PengHD19,
author = {Xuemei Peng and
Meiling Han and
Qingxu Deng},
editor = {Nan Guan and
Joost{-}Pieter Katoen and
Jun Sun},
title = {Response Time Analysis of Typed {DAG} Tasks for {G-FP} Scheduling},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 5th International Symposium, {SETTA} 2019, Shanghai, China, November
27-29, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11951},
pages = {56--71},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-35540-1\_4},
doi = {10.1007/978-3-030-35540-1\_4},
timestamp = {Mon, 18 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/PengHD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/QiaoLYY19,
author = {Lei Qiao and
Shaofeng Li and
Hua Yang and
Mengfei Yang},
editor = {Nan Guan and
Joost{-}Pieter Katoen and
Jun Sun},
title = {A Formal Modeling and Verification Framework for Flash Translation
Layer Algorithms},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 5th International Symposium, {SETTA} 2019, Shanghai, China, November
27-29, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11951},
pages = {72--88},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-35540-1\_5},
doi = {10.1007/978-3-030-35540-1\_5},
timestamp = {Mon, 18 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/QiaoLYY19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/SinghSRBDG19,
author = {Jasdeep Singh and
Luca Santinelli and
Federico Reghenzani and
Konstantinos Bletsas and
David Doose and
Zhishan Guo},
editor = {Nan Guan and
Joost{-}Pieter Katoen and
Jun Sun},
title = {Mixed Criticality Scheduling of Probabilistic Real-Time Systems},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 5th International Symposium, {SETTA} 2019, Shanghai, China, November
27-29, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11951},
pages = {89--105},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-35540-1\_6},
doi = {10.1007/978-3-030-35540-1\_6},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/SinghSRBDG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/TangJG19,
author = {Yue Tang and
Yuming Jiang and
Nan Guan},
editor = {Nan Guan and
Joost{-}Pieter Katoen and
Jun Sun},
title = {Improving the Analysis of {GPC} in Real-Time Calculus},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 5th International Symposium, {SETTA} 2019, Shanghai, China, November
27-29, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11951},
pages = {106--121},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-35540-1\_7},
doi = {10.1007/978-3-030-35540-1\_7},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/TangJG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/ZhangZSQZ19,
author = {Yu Zhang and
Yongwang Zhao and
David San{\'{a}}n and
Lei Qiao and
Jinkun Zhang},
editor = {Nan Guan and
Joost{-}Pieter Katoen and
Jun Sun},
title = {A Verified Specification of {TLSF} Memory Management Allocator Using
State Monads},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 5th International Symposium, {SETTA} 2019, Shanghai, China, November
27-29, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11951},
pages = {122--138},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-35540-1\_8},
doi = {10.1007/978-3-030-35540-1\_8},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/ZhangZSQZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/setta/2019,
editor = {Nan Guan and
Joost{-}Pieter Katoen and
Jun Sun},
title = {Dependable Software Engineering. Theories, Tools, and Applications
- 5th International Symposium, {SETTA} 2019, Shanghai, China, November
27-29, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11951},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-35540-1},
doi = {10.1007/978-3-030-35540-1},
isbn = {978-3-030-35539-5},
timestamp = {Mon, 18 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/0001ZLW18,
author = {Bai Xue and
Naijun Zhan and
Yangjia Li and
Qiuye Wang},
editor = {Xinyu Feng and
Markus M{\"{u}}ller{-}Olm and
Zijiang Yang},
title = {Robust Non-termination Analysis of Numerical Software},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 4th International Symposium, {SETTA} 2018, Beijing, China, September
4-6, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10998},
pages = {69--88},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99933-3\_5},
doi = {10.1007/978-3-319-99933-3\_5},
timestamp = {Fri, 04 Mar 2022 17:17:33 +0100},
biburl = {https://dblp.org/rec/conf/setta/0001ZLW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/AdelsbergerSW18,
author = {Stephan Adelsberger and
Anton Setzer and
Eric Walkingshaw},
editor = {Xinyu Feng and
Markus M{\"{u}}ller{-}Olm and
Zijiang Yang},
title = {Developing {GUI} Applications in a Verified Setting},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 4th International Symposium, {SETTA} 2018, Beijing, China, September
4-6, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10998},
pages = {89--107},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99933-3\_6},
doi = {10.1007/978-3-319-99933-3\_6},
timestamp = {Mon, 27 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/AdelsbergerSW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/AichernigKS18,
author = {Bernhard K. Aichernig and
Severin Kann and
Richard Schumi},
editor = {Xinyu Feng and
Markus M{\"{u}}ller{-}Olm and
Zijiang Yang},
title = {Statistical Model Checking of Response Times for Different System
Deployments},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 4th International Symposium, {SETTA} 2018, Beijing, China, September
4-6, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10998},
pages = {153--169},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99933-3\_11},
doi = {10.1007/978-3-319-99933-3\_11},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/AichernigKS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/ChenZWZ18,
author = {Yang Chen and
Zhenya Zhang and
Peng Wu and
Yu Zhang},
editor = {Xinyu Feng and
Markus M{\"{u}}ller{-}Olm and
Zijiang Yang},
title = {Interleaving-Tree Based Fine-Grained Linearizability Fault Localization},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 4th International Symposium, {SETTA} 2018, Beijing, China, September
4-6, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10998},
pages = {108--126},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99933-3\_7},
doi = {10.1007/978-3-319-99933-3\_7},
timestamp = {Wed, 03 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/ChenZWZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/GuoSY18,
author = {Zhishan Guo and
Luca Santinelli and
Kecheng Yang},
editor = {Xinyu Feng and
Markus M{\"{u}}ller{-}Olm and
Zijiang Yang},
title = {Mixed-Criticality Scheduling with Limited HI-Criticality Behaviors},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 4th International Symposium, {SETTA} 2018, Beijing, China, September
4-6, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10998},
pages = {187--199},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99933-3\_13},
doi = {10.1007/978-3-319-99933-3\_13},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/GuoSY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/KangH18,
author = {Eun{-}Young Kang and
Li Huang},
editor = {Xinyu Feng and
Markus M{\"{u}}ller{-}Olm and
Zijiang Yang},
title = {Probabilistic Analysis of Timing Constraints in Autonomous Automotive
Systems Using Simulink Design Verifier},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 4th International Symposium, {SETTA} 2018, Beijing, China, September
4-6, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10998},
pages = {170--186},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99933-3\_12},
doi = {10.1007/978-3-319-99933-3\_12},
timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/KangH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/LinSYL18,
author = {Chung{-}Ling Lin and
Wuwei Shen and
Tao Yue and
Guangyuan Li},
editor = {Xinyu Feng and
Markus M{\"{u}}ller{-}Olm and
Zijiang Yang},
title = {Automatic Support of the Generation and Maintenance of Assurance Cases},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 4th International Symposium, {SETTA} 2018, Beijing, China, September
4-6, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10998},
pages = {11--28},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99933-3\_2},
doi = {10.1007/978-3-319-99933-3\_2},
timestamp = {Sat, 17 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/LinSYL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/PaulPS18,
author = {Soumya Paul and
Jun Pang and
Cui Su},
editor = {Xinyu Feng and
Markus M{\"{u}}ller{-}Olm and
Zijiang Yang},
title = {Towards the Existential Control of Boolean Networks: {A} Preliminary
Report},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 4th International Symposium, {SETTA} 2018, Beijing, China, September
4-6, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10998},
pages = {142--149},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99933-3\_10},
doi = {10.1007/978-3-319-99933-3\_10},
timestamp = {Sat, 31 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/PaulPS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/QianCCZZ18,
author = {Junyan Qian and
Cong Chen and
Wei Cao and
Zhongyi Zhai and
Lingzhong Zhao},
editor = {Xinyu Feng and
Markus M{\"{u}}ller{-}Olm and
Zijiang Yang},
title = {Improvement in JavaMOP by Simplifying B{\"{u}}chi Automaton},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 4th International Symposium, {SETTA} 2018, Beijing, China, September
4-6, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10998},
pages = {129--134},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99933-3\_8},
doi = {10.1007/978-3-319-99933-3\_8},
timestamp = {Mon, 27 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/QianCCZZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/SnookBH18,
author = {James Snook and
Michael J. Butler and
Thai Son Hoang},
editor = {Xinyu Feng and
Markus M{\"{u}}ller{-}Olm and
Zijiang Yang},
title = {Developing {A} New Language to Construct Algebraic Hierarchies for
Event-B},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 4th International Symposium, {SETTA} 2018, Beijing, China, September
4-6, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10998},
pages = {135--141},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99933-3\_9},
doi = {10.1007/978-3-319-99933-3\_9},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/SnookBH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/TyszberowiczHLL18,
author = {Shmuel S. Tyszberowicz and
Robert Heinrich and
Bo Liu and
Zhiming Liu},
editor = {Xinyu Feng and
Markus M{\"{u}}ller{-}Olm and
Zijiang Yang},
title = {Identifying Microservices Using Functional Decomposition},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 4th International Symposium, {SETTA} 2018, Beijing, China, September
4-6, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10998},
pages = {50--65},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99933-3\_4},
doi = {10.1007/978-3-319-99933-3\_4},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/TyszberowiczHLL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/Xie18,
author = {Tao Xie},
editor = {Xinyu Feng and
Markus M{\"{u}}ller{-}Olm and
Zijiang Yang},
title = {Intelligent Software Engineering: Synergy Between {AI} and Software
Engineering},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 4th International Symposium, {SETTA} 2018, Beijing, China, September
4-6, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10998},
pages = {3--7},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99933-3\_1},
doi = {10.1007/978-3-319-99933-3\_1},
timestamp = {Fri, 05 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/Xie18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/ZhangWGEPLS18,
author = {Teng Zhang and
John Wiegley and
Theophilos Giannakopoulos and
Gregory Eakman and
Cl{\'{e}}ment Pit{-}Claudel and
Insup Lee and
Oleg Sokolsky},
editor = {Xinyu Feng and
Markus M{\"{u}}ller{-}Olm and
Zijiang Yang},
title = {Correct-by-Construction Implementation of Runtime Monitors Using Stepwise
Refinement},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 4th International Symposium, {SETTA} 2018, Beijing, China, September
4-6, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10998},
pages = {31--49},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99933-3\_3},
doi = {10.1007/978-3-319-99933-3\_3},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/ZhangWGEPLS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/setta/2018,
editor = {Xinyu Feng and
Markus M{\"{u}}ller{-}Olm and
Zijiang Yang},
title = {Dependable Software Engineering. Theories, Tools, and Applications
- 4th International Symposium, {SETTA} 2018, Beijing, China, September
4-6, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10998},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99933-3},
doi = {10.1007/978-3-319-99933-3},
isbn = {978-3-319-99932-6},
timestamp = {Fri, 04 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/BuddeDH17,
author = {Carlos E. Budde and
Pedro R. D'Argenio and
Arnd Hartmanns},
editor = {Kim Guldstrand Larsen and
Oleg Sokolsky and
Ji Wang},
title = {Better Automated Importance Splitting for Transient Rare Events},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- Third International Symposium, {SETTA} 2017, Changsha, China, October
23-25, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10606},
pages = {42--58},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-69483-2\_3},
doi = {10.1007/978-3-319-69483-2\_3},
timestamp = {Tue, 13 Apr 2021 10:56:13 +0200},
biburl = {https://dblp.org/rec/conf/setta/BuddeDH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/DeutschbeinFBB17,
author = {Calvin Deutschbein and
Tom Fleming and
Alan Burns and
Sanjoy K. Baruah},
editor = {Kim Guldstrand Larsen and
Oleg Sokolsky and
Ji Wang},
title = {Multi-core Cyclic Executives for Safety-Critical Systems},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- Third International Symposium, {SETTA} 2017, Changsha, China, October
23-25, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10606},
pages = {94--109},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-69483-2\_6},
doi = {10.1007/978-3-319-69483-2\_6},
timestamp = {Thu, 17 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/DeutschbeinFBB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/DiwanD17,
author = {Maithily Diwan and
Meenakshi D'Souza},
editor = {Kim Guldstrand Larsen and
Oleg Sokolsky and
Ji Wang},
title = {A Framework for Modeling and Verifying IoT Communication Protocols},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- Third International Symposium, {SETTA} 2017, Changsha, China, October
23-25, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10606},
pages = {266--280},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-69483-2\_16},
doi = {10.1007/978-3-319-69483-2\_16},
timestamp = {Wed, 18 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/DiwanD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/FuDJ017,
author = {Chen Fu and
Yuxin Deng and
David N. Jansen and
Lijun Zhang},
editor = {Kim Guldstrand Larsen and
Oleg Sokolsky and
Ji Wang},
title = {On Equivalence Checking of Nondeterministic Finite Automata},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- Third International Symposium, {SETTA} 2017, Changsha, China, October
23-25, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10606},
pages = {216--231},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-69483-2\_13},
doi = {10.1007/978-3-319-69483-2\_13},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/FuDJ017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/GuelevWZ17,
author = {Dimitar P. Guelev and
Shuling Wang and
Naijun Zhan},
editor = {Kim Guldstrand Larsen and
Oleg Sokolsky and
Ji Wang},
title = {Compositional Hoare-Style Reasoning About Hybrid {CSP} in the Duration
Calculus},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- Third International Symposium, {SETTA} 2017, Changsha, China, October
23-25, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10606},
pages = {110--127},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-69483-2\_7},
doi = {10.1007/978-3-319-69483-2\_7},
timestamp = {Wed, 18 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/GuelevWZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/HashemiTHHE17,
author = {Vahid Hashemi and
Andrea Turrini and
Ernst Moritz Hahn and
Holger Hermanns and
Khaled M. Elbassioni},
editor = {Kim Guldstrand Larsen and
Oleg Sokolsky and
Ji Wang},
title = {Polynomial-Time Alternating Probabilistic Bisimulation for Interval
MDPs},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- Third International Symposium, {SETTA} 2017, Changsha, China, October
23-25, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10606},
pages = {25--41},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-69483-2\_2},
doi = {10.1007/978-3-319-69483-2\_2},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/HashemiTHHE17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/HelaliTHD17,
author = {Ghassen Helali and
Sofi{\`{e}}ne Tahar and
Osman Hasan and
Tsvetan Dunchev},
editor = {Kim Guldstrand Larsen and
Oleg Sokolsky and
Ji Wang},
title = {Formal Analysis of Information Flow in {HOL}},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- Third International Symposium, {SETTA} 2017, Changsha, China, October
23-25, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10606},
pages = {283--299},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-69483-2\_17},
doi = {10.1007/978-3-319-69483-2\_17},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/HelaliTHD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/HusienSB17,
author = {Idress Husien and
Sven Schewe and
Nicolas Berthier},
editor = {Kim Guldstrand Larsen and
Oleg Sokolsky and
Ji Wang},
title = {PranCS: {A} Protocol and Discrete Controller Synthesis Tool},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- Third International Symposium, {SETTA} 2017, Changsha, China, October
23-25, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10606},
pages = {337--349},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-69483-2\_20},
doi = {10.1007/978-3-319-69483-2\_20},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/HusienSB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/JonesVY17,
author = {Cliff B. Jones and
Andrius Velykis and
Nisansala Yatapanage},
editor = {Kim Guldstrand Larsen and
Oleg Sokolsky and
Ji Wang},
title = {General Lessons from a Rely/Guarantee Development},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- Third International Symposium, {SETTA} 2017, Changsha, China, October
23-25, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10606},
pages = {3--22},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-69483-2\_1},
doi = {10.1007/978-3-319-69483-2\_1},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/JonesVY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/Li17,
author = {Yi Li},
editor = {Kim Guldstrand Larsen and
Oleg Sokolsky and
Ji Wang},
title = {Termination of Semi-algebraic Loop Programs},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- Third International Symposium, {SETTA} 2017, Changsha, China, October
23-25, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10606},
pages = {131--146},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-69483-2\_8},
doi = {10.1007/978-3-319-69483-2\_8},
timestamp = {Wed, 18 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/Li17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/LiuSZ17,
author = {Wanwei Liu and
Fu Song and
Ge Zhou},
editor = {Kim Guldstrand Larsen and
Oleg Sokolsky and
Ji Wang},
title = {Reasoning About Periodicity on Infinite Words},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- Third International Symposium, {SETTA} 2017, Changsha, China, October
23-25, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10606},
pages = {200--215},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-69483-2\_12},
doi = {10.1007/978-3-319-69483-2\_12},
timestamp = {Wed, 18 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/LiuSZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/LiuTBT17,
author = {Tianhai Liu and
Shmuel S. Tyszberowicz and
Bernhard Beckert and
Mana Taghdiri},
editor = {Kim Guldstrand Larsen and
Oleg Sokolsky and
Ji Wang},
title = {Computing Exact Loop Bounds for Bounded Program Verification},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- Third International Symposium, {SETTA} 2017, Changsha, China, October
23-25, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10606},
pages = {147--163},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-69483-2\_9},
doi = {10.1007/978-3-319-69483-2\_9},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/LiuTBT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/MizeraP0Y17,
author = {Andrzej Mizera and
Jun Pang and
Hongyang Qu and
Qixia Yuan},
editor = {Kim Guldstrand Larsen and
Oleg Sokolsky and
Ji Wang},
title = {A New Decomposition Method for Attractor Detection in Large Synchronous
Boolean Networks},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- Third International Symposium, {SETTA} 2017, Changsha, China, October
23-25, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10606},
pages = {232--249},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-69483-2\_14},
doi = {10.1007/978-3-319-69483-2\_14},
timestamp = {Sat, 31 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/MizeraP0Y17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/MoritaIH17,
author = {Daichi Morita and
Fuyuki Ishikawa and
Shinichi Honiden},
editor = {Kim Guldstrand Larsen and
Oleg Sokolsky and
Ji Wang},
title = {Construction of Abstract State Graphs for Understanding Event-B Models},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- Third International Symposium, {SETTA} 2017, Changsha, China, October
23-25, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10606},
pages = {250--265},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-69483-2\_15},
doi = {10.1007/978-3-319-69483-2\_15},
timestamp = {Wed, 18 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/MoritaIH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/SantinelliG17,
author = {Luca Santinelli and
Zhishan Guo},
editor = {Kim Guldstrand Larsen and
Oleg Sokolsky and
Ji Wang},
title = {On the Criticality of Probabilistic Worst-Case Execution Time Models},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- Third International Symposium, {SETTA} 2017, Changsha, China, October
23-25, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10606},
pages = {59--74},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-69483-2\_4},
doi = {10.1007/978-3-319-69483-2\_4},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/SantinelliG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/SchivoYRGKDRS17,
author = {Stefano Schivo and
Bugra M. Yildiz and
Enno Ruijters and
Christopher Gerking and
Rajesh Kumar and
Stefan Dziwok and
Arend Rensink and
Mari{\"{e}}lle Stoelinga},
editor = {Kim Guldstrand Larsen and
Oleg Sokolsky and
Ji Wang},
title = {How to Efficiently Build a Front-End Tool for {UPPAAL:} {A} Model-Driven
Approach},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- Third International Symposium, {SETTA} 2017, Changsha, China, October
23-25, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10606},
pages = {319--336},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-69483-2\_19},
doi = {10.1007/978-3-319-69483-2\_19},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/SchivoYRGKDRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/Wang0Y17,
author = {Yuwei Wang and
Guoqiang Li and
Shoji Yuen},
editor = {Kim Guldstrand Larsen and
Oleg Sokolsky and
Ji Wang},
title = {Nested Timed Automata with Invariants},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- Third International Symposium, {SETTA} 2017, Changsha, China, October
23-25, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10606},
pages = {77--93},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-69483-2\_5},
doi = {10.1007/978-3-319-69483-2\_5},
timestamp = {Wed, 18 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/Wang0Y17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/WangFQF17,
author = {Jiawei Wang and
Ming Fu and
Lei Qiao and
Xinyu Feng},
editor = {Kim Guldstrand Larsen and
Oleg Sokolsky and
Ji Wang},
title = {Formalizing SPARCv8 Instruction Set Architecture in Coq},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- Third International Symposium, {SETTA} 2017, Changsha, China, October
23-25, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10606},
pages = {300--316},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-69483-2\_18},
doi = {10.1007/978-3-319-69483-2\_18},
timestamp = {Mon, 28 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/WangFQF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/XueLF17,
author = {Jianxin Xue and
Huan Long and
Yuxi Fu},
editor = {Kim Guldstrand Larsen and
Oleg Sokolsky and
Ji Wang},
title = {Remark on Some {\textbackslash}pi Variants},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- Third International Symposium, {SETTA} 2017, Changsha, China, October
23-25, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10606},
pages = {183--199},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-69483-2\_11},
doi = {10.1007/978-3-319-69483-2\_11},
timestamp = {Wed, 18 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/XueLF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/ZhangF17,
author = {Zipeng Zhang and
Xinyu Feng},
editor = {Kim Guldstrand Larsen and
Oleg Sokolsky and
Ji Wang},
title = {AndroidLeaker: {A} Hybrid Checker for Collusive Leak in Android Applications},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- Third International Symposium, {SETTA} 2017, Changsha, China, October
23-25, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10606},
pages = {164--180},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-69483-2\_10},
doi = {10.1007/978-3-319-69483-2\_10},
timestamp = {Mon, 28 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/ZhangF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/setta/2017,
editor = {Kim Guldstrand Larsen and
Oleg Sokolsky and
Ji Wang},
title = {Dependable Software Engineering. Theories, Tools, and Applications
- Third International Symposium, {SETTA} 2017, Changsha, China, October
23-25, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10606},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-69483-2},
doi = {10.1007/978-3-319-69483-2},
isbn = {978-3-319-69482-5},
timestamp = {Tue, 13 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/AbeUMM16,
author = {Tatsuya Abe and
Tomoharu Ugawa and
Toshiyuki Maeda and
Kousuke Matsumoto},
editor = {Martin Fr{\"{a}}nzle and
Deepak Kapur and
Naijun Zhan},
title = {Reducing State Explosion for Software Model Checking with Relaxed
Memory Consistency Models},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- Second International Symposium, {SETTA} 2016, Beijing, China, November
9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9984},
pages = {118--135},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47677-3\_8},
doi = {10.1007/978-3-319-47677-3\_8},
timestamp = {Tue, 21 Mar 2023 20:59:17 +0100},
biburl = {https://dblp.org/rec/conf/setta/AbeUMM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/AbrahamCJKM16,
author = {Erika {\'{A}}brah{\'{a}}m and
Florian Corzilius and
Einar Broch Johnsen and
Gereon Kremer and
Jacopo Mauro},
editor = {Martin Fr{\"{a}}nzle and
Deepak Kapur and
Naijun Zhan},
title = {Zephyrus2: On the Fly Deployment Optimization Using {SMT} and {CP}
Technologies},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- Second International Symposium, {SETTA} 2016, Beijing, China, November
9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9984},
pages = {229--245},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47677-3\_15},
doi = {10.1007/978-3-319-47677-3\_15},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/AbrahamCJKM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/AhmedH16,
author = {Waqar Ahmad and
Osman Hasan},
editor = {Martin Fr{\"{a}}nzle and
Deepak Kapur and
Naijun Zhan},
title = {Formalization of Fault Trees in Higher-Order Logic: {A} Deep Embedding
Approach},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- Second International Symposium, {SETTA} 2016, Beijing, China, November
9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9984},
pages = {264--279},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47677-3\_17},
doi = {10.1007/978-3-319-47677-3\_17},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/AhmedH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/DalsgaardELS16,
author = {Andreas Engelbredt Dalsgaard and
S{\o}ren Enevoldsen and
Kim Guldstrand Larsen and
Jir{\'{\i}} Srba},
editor = {Martin Fr{\"{a}}nzle and
Deepak Kapur and
Naijun Zhan},
title = {Distributed Computation of Fixed Points on Dependency Graphs},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- Second International Symposium, {SETTA} 2016, Beijing, China, November
9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9984},
pages = {197--212},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47677-3\_13},
doi = {10.1007/978-3-319-47677-3\_13},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/DalsgaardELS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/DongFV16,
author = {Xiaoju Dong and
Yuxi Fu and
Daniele Varacca},
editor = {Martin Fr{\"{a}}nzle and
Deepak Kapur and
Naijun Zhan},
title = {Place Bisimulation and Liveness for Open Petri Nets},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- Second International Symposium, {SETTA} 2016, Beijing, China, November
9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9984},
pages = {1--17},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47677-3\_1},
doi = {10.1007/978-3-319-47677-3\_1},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/DongFV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/DuDG16,
author = {Wenjie Du and
Yuxin Deng and
Daniel Gebler},
editor = {Martin Fr{\"{a}}nzle and
Deepak Kapur and
Naijun Zhan},
title = {Behavioural Pseudometrics for Nondeterministic Probabilistic Systems},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- Second International Symposium, {SETTA} 2016, Beijing, China, November
9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9984},
pages = {67--84},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47677-3\_5},
doi = {10.1007/978-3-319-47677-3\_5},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/DuDG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/Fang0SC16,
author = {Bingbing Fang and
Guoqiang Li and
Daniel Sun and
Hongming Cai},
editor = {Martin Fr{\"{a}}nzle and
Deepak Kapur and
Naijun Zhan},
title = {Schedulability Analysis of Timed Regular Tasks by Under-Approximation
on {WCET}},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- Second International Symposium, {SETTA} 2016, Beijing, China, November
9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9984},
pages = {147--162},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47677-3\_10},
doi = {10.1007/978-3-319-47677-3\_10},
timestamp = {Tue, 27 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/Fang0SC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/HahnH16,
author = {Ernst Moritz Hahn and
Arnd Hartmanns},
editor = {Martin Fr{\"{a}}nzle and
Deepak Kapur and
Naijun Zhan},
title = {A Comparison of Time- and Reward-Bounded Probabilistic Model Checking
Techniques},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- Second International Symposium, {SETTA} 2016, Beijing, China, November
9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9984},
pages = {85--100},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47677-3\_6},
doi = {10.1007/978-3-319-47677-3\_6},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/HahnH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/HansenLMPX16,
author = {Mikkel Hansen and
Kim Guldstrand Larsen and
Radu Mardare and
Mathias Ruggaard Pedersen and
Bingtian Xue},
editor = {Martin Fr{\"{a}}nzle and
Deepak Kapur and
Naijun Zhan},
title = {A Complete Approximation Theory for Weighted Transition Systems},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- Second International Symposium, {SETTA} 2016, Beijing, China, November
9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9984},
pages = {213--228},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47677-3\_14},
doi = {10.1007/978-3-319-47677-3\_14},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/HansenLMPX16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/JegourelLLMPS16,
author = {Cyrille J{\'{e}}gourel and
Kim G. Larsen and
Axel Legay and
Marius Mikucionis and
Danny B{\o}gsted Poulsen and
Sean Sedwards},
editor = {Martin Fr{\"{a}}nzle and
Deepak Kapur and
Naijun Zhan},
title = {Importance Sampling for Stochastic Timed Automata},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- Second International Symposium, {SETTA} 2016, Beijing, China, November
9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9984},
pages = {163--178},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47677-3\_11},
doi = {10.1007/978-3-319-47677-3\_11},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/JegourelLLMPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/LiLTHZ16,
author = {Yong Li and
Wanwei Liu and
Andrea Turrini and
Ernst Moritz Hahn and
Lijun Zhang},
editor = {Martin Fr{\"{a}}nzle and
Deepak Kapur and
Naijun Zhan},
title = {An Efficient Synthesis Algorithm for Parametric Markov Chains Against
Linear Time Properties},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- Second International Symposium, {SETTA} 2016, Beijing, China, November
9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9984},
pages = {280--296},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47677-3\_18},
doi = {10.1007/978-3-319-47677-3\_18},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/LiLTHZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/LiuTHBGT16,
author = {Tianhai Liu and
Shmuel S. Tyszberowicz and
Mihai Herda and
Bernhard Beckert and
Daniel Grahl and
Mana Taghdiri},
editor = {Martin Fr{\"{a}}nzle and
Deepak Kapur and
Naijun Zhan},
title = {Computing Specification-Sensitive Abstractions for Program Verification},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- Second International Symposium, {SETTA} 2016, Beijing, China, November
9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9984},
pages = {101--117},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47677-3\_7},
doi = {10.1007/978-3-319-47677-3\_7},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/LiuTHBGT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/LoharDDD16,
author = {Debasmita Lohar and
Anudeep Dunaboyina and
Dibyendu Das and
Soumyajit Dey},
editor = {Martin Fr{\"{a}}nzle and
Deepak Kapur and
Naijun Zhan},
title = {Failure Estimation of Behavioral Specifications},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- Second International Symposium, {SETTA} 2016, Beijing, China, November
9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9984},
pages = {315--322},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47677-3\_20},
doi = {10.1007/978-3-319-47677-3\_20},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/LoharDDD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/MizeraPY16,
author = {Andrzej Mizera and
Jun Pang and
Qixia Yuan},
editor = {Martin Fr{\"{a}}nzle and
Deepak Kapur and
Naijun Zhan},
title = {GPU-Accelerated Steady-State Computation of Large Probabilistic Boolean
Networks},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- Second International Symposium, {SETTA} 2016, Beijing, China, November
9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9984},
pages = {50--66},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47677-3\_4},
doi = {10.1007/978-3-319-47677-3\_4},
timestamp = {Sat, 31 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/MizeraPY16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/SahaMB16,
author = {Ratul Saha and
Madhavan Mukund and
R. P. Jagadeesh Chandra Bose},
editor = {Martin Fr{\"{a}}nzle and
Deepak Kapur and
Naijun Zhan},
title = {Time-Bounded Statistical Analysis of Resource-Constrained Business
Processes with Distributed Probabilistic Systems},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- Second International Symposium, {SETTA} 2016, Beijing, China, November
9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9984},
pages = {297--314},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47677-3\_19},
doi = {10.1007/978-3-319-47677-3\_19},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/SahaMB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/Wang16,
author = {Qiang Wang},
editor = {Martin Fr{\"{a}}nzle and
Deepak Kapur and
Naijun Zhan},
title = {Exploiting Symmetry for Efficient Verification of Infinite-State Component-Based
Systems},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- Second International Symposium, {SETTA} 2016, Beijing, China, November
9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9984},
pages = {246--263},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47677-3\_16},
doi = {10.1007/978-3-319-47677-3\_16},
timestamp = {Fri, 12 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/Wang16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/Wu16,
author = {Zhilin Wu},
editor = {Martin Fr{\"{a}}nzle and
Deepak Kapur and
Naijun Zhan},
title = {Semipositivity in Separation Logic with Two Variables},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- Second International Symposium, {SETTA} 2016, Beijing, China, November
9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9984},
pages = {179--196},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47677-3\_12},
doi = {10.1007/978-3-319-47677-3\_12},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/Wu16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/WuYK16,
author = {Hao Wu and
Xiaoxiao Yang and
Joost{-}Pieter Katoen},
editor = {Martin Fr{\"{a}}nzle and
Deepak Kapur and
Naijun Zhan},
title = {Performance Evaluation of Concurrent Data Structures},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- Second International Symposium, {SETTA} 2016, Beijing, China, November
9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9984},
pages = {38--49},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47677-3\_3},
doi = {10.1007/978-3-319-47677-3\_3},
timestamp = {Fri, 03 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/WuYK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/XuSD16,
author = {Qingguo Xu and
Robert de Simone and
Julien DeAntoni},
editor = {Martin Fr{\"{a}}nzle and
Deepak Kapur and
Naijun Zhan},
title = {Divergence Detection for {CCSL} Specification via Clock Causality
Chain},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- Second International Symposium, {SETTA} 2016, Beijing, China, November
9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9984},
pages = {18--37},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47677-3\_2},
doi = {10.1007/978-3-319-47677-3\_2},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/XuSD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/ZhaoLYQ16,
author = {Ruifang Zhao and
Ke Liu and
Hongli Yang and
Zongyan Qiu},
editor = {Martin Fr{\"{a}}nzle and
Deepak Kapur and
Naijun Zhan},
title = {Identifying {XML} Schema Constraints Using Temporal Logic},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- Second International Symposium, {SETTA} 2016, Beijing, China, November
9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9984},
pages = {136--146},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47677-3\_9},
doi = {10.1007/978-3-319-47677-3\_9},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/ZhaoLYQ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/setta/2016,
editor = {Martin Fr{\"{a}}nzle and
Deepak Kapur and
Naijun Zhan},
title = {Dependable Software Engineering: Theories, Tools, and Applications
- Second International Symposium, {SETTA} 2016, Beijing, China, November
9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9984},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47677-3},
doi = {10.1007/978-3-319-47677-3},
isbn = {978-3-319-47676-6},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/BabinANP15,
author = {Guillaume Babin and
Yamine A{\"{\i}}t Ameur and
Shin Nakajima and
Marc Pantel},
editor = {Xuandong Li and
Zhiming Liu and
Wang Yi},
title = {Refinement and Proof Based Development of Systems Characterized by
Continuous Functions},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- First International Symposium, {SETTA} 2015, Nanjing, China, November
4-6, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9409},
pages = {55--70},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25942-0\_4},
doi = {10.1007/978-3-319-25942-0\_4},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/BabinANP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/BochmannHLO15,
author = {Gregor von Bochmann and
Martin Hilscher and
Sven Linker and
Ernst{-}R{\"{u}}diger Olderog},
editor = {Xuandong Li and
Zhiming Liu and
Wang Yi},
title = {Synthesizing Controllers for Multi-lane Traffic Maneuvers},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- First International Symposium, {SETTA} 2015, Nanjing, China, November
4-6, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9409},
pages = {71--86},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25942-0\_5},
doi = {10.1007/978-3-319-25942-0\_5},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/BochmannHLO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/DijkHJLNST015,
author = {Tom van Dijk and
Ernst Moritz Hahn and
David N. Jansen and
Yong Li and
Thomas Neele and
Mari{\"{e}}lle Stoelinga and
Andrea Turrini and
Lijun Zhang},
editor = {Xuandong Li and
Zhiming Liu and
Wang Yi},
title = {A Comparative Study of {BDD} Packages for Probabilistic Symbolic Model
Checking},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- First International Symposium, {SETTA} 2015, Nanjing, China, November
4-6, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9409},
pages = {35--51},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25942-0\_3},
doi = {10.1007/978-3-319-25942-0\_3},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/DijkHJLNST015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/FaitelsonT15,
author = {David Faitelson and
Shmuel S. Tyszberowicz},
editor = {Xuandong Li and
Zhiming Liu and
Wang Yi},
title = {Improving Design Decomposition},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- First International Symposium, {SETTA} 2015, Nanjing, China, November
4-6, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9409},
pages = {185--200},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25942-0\_12},
doi = {10.1007/978-3-319-25942-0\_12},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/FaitelsonT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/GuZZ15,
author = {Yu{-}Lei Gu and
Xueyang Zhu and
Guangquan Zhang},
editor = {Xuandong Li and
Zhiming Liu and
Wang Yi},
title = {Pareto Optimal Scheduling of Synchronous Data Flow Graphs via Parallel
Methods},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- First International Symposium, {SETTA} 2015, Nanjing, China, November
4-6, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9409},
pages = {217--223},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25942-0\_14},
doi = {10.1007/978-3-319-25942-0\_14},
timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/GuZZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/HatefiBWFHB15,
author = {Hassan Hatefi and
Bettina Braitling and
Ralf Wimmer and
Luis Mar{\'{\i}}a Ferrer Fioriti and
Holger Hermanns and
Bernd Becker},
editor = {Xuandong Li and
Zhiming Liu and
Wang Yi},
title = {Cost vs. Time in Stochastic Games and Markov Automata},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- First International Symposium, {SETTA} 2015, Nanjing, China, November
4-6, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9409},
pages = {19--34},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25942-0\_2},
doi = {10.1007/978-3-319-25942-0\_2},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/HatefiBWFHB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/JoloboffMS15,
author = {Vania Joloboff and
Jean{-}Fran{\c{c}}ois Monin and
Xiaomu Shi},
editor = {Xuandong Li and
Zhiming Liu and
Wang Yi},
title = {Towards Verified Faithful Simulation},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- First International Symposium, {SETTA} 2015, Nanjing, China, November
4-6, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9409},
pages = {105--119},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25942-0\_7},
doi = {10.1007/978-3-319-25942-0\_7},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/JoloboffMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/JungesGKRS15,
author = {Sebastian Junges and
Dennis Guck and
Joost{-}Pieter Katoen and
Arend Rensink and
Mari{\"{e}}lle Stoelinga},
editor = {Xuandong Li and
Zhiming Liu and
Wang Yi},
title = {Fault Trees on a Diet - - Automated Reduction by Graph Rewriting -},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- First International Symposium, {SETTA} 2015, Nanjing, China, November
4-6, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9409},
pages = {3--18},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25942-0\_1},
doi = {10.1007/978-3-319-25942-0\_1},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/JungesGKRS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/LaibinisTPIR15,
author = {Linas Laibinis and
Elena Troubitsyna and
Yuliya Prokhorova and
Alexei Iliasov and
Alexander B. Romanovsky},
editor = {Xuandong Li and
Zhiming Liu and
Wang Yi},
title = {From Requirements Engineering to Safety Assurance: Refinement Approach},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- First International Symposium, {SETTA} 2015, Nanjing, China, November
4-6, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9409},
pages = {201--216},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25942-0\_13},
doi = {10.1007/978-3-319-25942-0\_13},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/LaibinisTPIR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/LarmuseauPC15,
author = {Adriaan Larmuseau and
Marco Patrignani and
Dave Clarke},
editor = {Xuandong Li and
Zhiming Liu and
Wang Yi},
title = {A High-Level Model for an Assembly Language Attacker by Means of Reflection},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- First International Symposium, {SETTA} 2015, Nanjing, China, November
4-6, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9409},
pages = {168--182},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25942-0\_11},
doi = {10.1007/978-3-319-25942-0\_11},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/LarmuseauPC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/Lu15,
author = {Tianxiang Lu},
editor = {Xuandong Li and
Zhiming Liu and
Wang Yi},
title = {Formal Verification of the Pastry Protocol Using {\textbackslash}mathrmTLA+},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- First International Symposium, {SETTA} 2015, Nanjing, China, November
4-6, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9409},
pages = {284--299},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25942-0\_19},
doi = {10.1007/978-3-319-25942-0\_19},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/Lu15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/LuoHG15,
author = {Chen Luo and
Fei He and
Carlo Ghezzi},
editor = {Xuandong Li and
Zhiming Liu and
Wang Yi},
title = {Inferring Software Behavioral Models with MapReduce},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- First International Symposium, {SETTA} 2015, Nanjing, China, November
4-6, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9409},
pages = {135--149},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25942-0\_9},
doi = {10.1007/978-3-319-25942-0\_9},
timestamp = {Wed, 21 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/setta/LuoHG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/MoszkowskiG15,
author = {Ben C. Moszkowski and
Dimitar P. Guelev},
editor = {Xuandong Li and
Zhiming Liu and
Wang Yi},
title = {An Application of Temporal Projection to Interleaving Concurrency},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- First International Symposium, {SETTA} 2015, Nanjing, China, November
4-6, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9409},
pages = {153--167},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25942-0\_10},
doi = {10.1007/978-3-319-25942-0\_10},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/MoszkowskiG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/PatilDV15,
author = {Sandeep Patil and
Victor Dubinin and
Valeriy Vyatkin},
editor = {Xuandong Li and
Zhiming Liu and
Wang Yi},
title = {Formal Modelling and Verification of {IEC61499} Function Blocks with
Abstract State Machines and {SMV} - Execution Semantics},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- First International Symposium, {SETTA} 2015, Nanjing, China, November
4-6, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9409},
pages = {300--315},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25942-0\_20},
doi = {10.1007/978-3-319-25942-0\_20},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/PatilDV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/PengWZ015,
author = {Yu Peng and
Shuling Wang and
Naijun Zhan and
Lijun Zhang},
editor = {Xuandong Li and
Zhiming Liu and
Wang Yi},
title = {Extending Hybrid {CSP} with Probability and Stochasticity},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- First International Symposium, {SETTA} 2015, Nanjing, China, November
4-6, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9409},
pages = {87--102},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25942-0\_6},
doi = {10.1007/978-3-319-25942-0\_6},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/PengWZ015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/WangLBM15,
author = {Qiang Wang and
Yan Lei and
Simon Bliudze and
Xiaoguang Mao},
editor = {Xuandong Li and
Zhiming Liu and
Wang Yi},
title = {Automatic Fault Localization for {BIP}},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- First International Symposium, {SETTA} 2015, Nanjing, China, November
4-6, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9409},
pages = {277--283},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25942-0\_18},
doi = {10.1007/978-3-319-25942-0\_18},
timestamp = {Fri, 12 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/WangLBM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/Wasser15,
author = {Nathan Wasser},
editor = {Xuandong Li and
Zhiming Liu and
Wang Yi},
title = {Generating Specifications for Recursive Methods by Abstracting Program
States},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- First International Symposium, {SETTA} 2015, Nanjing, China, November
4-6, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9409},
pages = {243--257},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25942-0\_16},
doi = {10.1007/978-3-319-25942-0\_16},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/Wasser15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/WeitlSAHTYY15,
author = {Franz Weitl and
Nazim Sebih and
Cyrille Artho and
Masami Hagiya and
Yoshinori Tanabe and
Yoriyuki Yamagata and
Mitsuharu Yamamoto},
editor = {Xuandong Li and
Zhiming Liu and
Wang Yi},
title = {Cardinality of {UDP} Transmission Outcomes},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- First International Symposium, {SETTA} 2015, Nanjing, China, November
4-6, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9409},
pages = {120--134},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25942-0\_8},
doi = {10.1007/978-3-319-25942-0\_8},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/WeitlSAHTYY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/ZhaiWZ15,
author = {Juan Zhai and
Hanfei Wang and
Jianhua Zhao},
editor = {Xuandong Li and
Zhiming Liu and
Wang Yi},
title = {Assertion-Directed Precondition Synthesis for Loops over Data Structures},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- First International Symposium, {SETTA} 2015, Nanjing, China, November
4-6, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9409},
pages = {258--274},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25942-0\_17},
doi = {10.1007/978-3-319-25942-0\_17},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/ZhaiWZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/ZhangLZ15,
author = {Junxian Zhang and
Zhoujun Li and
Xianchen Zheng},
editor = {Xuandong Li and
Zhiming Liu and
Wang Yi},
title = {PathWalker: {A} Dynamic Symbolic Execution Tool Based on {LLVM} Byte
Code Instrumentation},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- First International Symposium, {SETTA} 2015, Nanjing, China, November
4-6, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9409},
pages = {227--242},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25942-0\_15},
doi = {10.1007/978-3-319-25942-0\_15},
timestamp = {Fri, 14 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/ZhangLZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/setta/2015,
editor = {Xuandong Li and
Zhiming Liu and
Wang Yi},
title = {Dependable Software Engineering: Theories, Tools, and Applications
- First International Symposium, {SETTA} 2015, Nanjing, China, November
4-6, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9409},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25942-0},
doi = {10.1007/978-3-319-25942-0},
isbn = {978-3-319-25941-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/2015.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-28 19:07 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:
