|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 156 publication records. Showing 156 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Holger Hermanns, Jun Sun 0001, Lei Bu (eds.) |
Dependable Software Engineering. Theories, Tools, and Applications - 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![Springer, 978-981-99-8663-7 The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Zhangyue He, Yanni Tang, Kaiqi Zhao 0001, Jiamou Liu, Wu Chen |
Graph-Based Log Anomaly Detection via Adversarial Training. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings, pp. 55-71, 2023, Springer, 978-981-99-8663-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Weihao Su, Haiming Chen, Rongchen Li, Zixuan Chen |
Modeling Regex Operators for Solving Regex Crossword Puzzles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings, pp. 206-225, 2023, Springer, 978-981-99-8663-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Zekun Ji, Shuling Wang, Xiong Xu |
Session Types with Multiple Senders Single Receiver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings, pp. 112-131, 2023, Springer, 978-981-99-8663-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Yixiao Yang, Chen Gao, Zhiqi Li, Yifan Wang, Rui Wang |
Binary Level Concolic Execution on Windows with Rich Instrumentation Based Taint Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings, pp. 351-367, 2023, Springer, 978-981-99-8663-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Xinpeng Ni, Yulun Wu, Bican Xia |
Solving SMT over Non-linear Real Arithmetic via Numerical Sampling and Symbolic Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings, pp. 171-188, 2023, Springer, 978-981-99-8663-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jia Geng, Ruiqi Hu, Kairong Liu, Zhihui Li, Zhikun She |
Reachability Based Uniform Controllability to Target Set with Evolution Function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings, pp. 21-37, 2023, Springer, 978-981-99-8663-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Shenghao Yuan, Benjamin Lion, Frédéric Besson, Jean-Pierre Talpin |
Making an eBPF Virtual Machine Faster on Microcontrollers: Verified Optimization and Proof Simplification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings, pp. 385-401, 2023, Springer, 978-981-99-8663-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jintao Huang, Gaosheng Wang, Zhiqiang Shi, Fei Lv 0010, Weidong Zhang, Shichao Lv |
SeHBPL: Behavioral Semantics-Based Patch Presence Test for Binaries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings, pp. 92-111, 2023, Springer, 978-981-99-8663-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Hao Sun, Zhe Bu, Yang Xiao, Chengsheng Zhou, Zhiyu Hao, Hongsong Zhu |
Software Vulnerability Detection Using an Enhanced Generalization Strategy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings, pp. 226-242, 2023, Springer, 978-981-99-8663-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Qian Yao, Xinli Xiong, Yongjie Wang |
Cheat-FlipIt: An Approach to Modeling and Perception of a Deceptive Opponent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings, pp. 368-384, 2023, Springer, 978-981-99-8663-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Zhiming Liu 0001, Jiadong Teng, Bo Liu 0033 |
Multi-dimensional Abstraction and Decomposition for Separation of Concerns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings, pp. 152-170, 2023, Springer, 978-981-99-8663-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Chunxi Zhang, Shuyan Zhang, Ting Chen, Rong Zhang 0002, Kai Liu |
An Optimized Solution for Highly Contended Transactional Workloads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings, pp. 402-418, 2023, Springer, 978-981-99-8663-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Denghang Hu, Zhilin Wu |
String Constraints with Regex-Counting and String-Length Solved More Efficiently. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings, pp. 1-20, 2023, Springer, 978-981-99-8663-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Lingzhi Ouyang, Yu Huang 0002, Binyu Huang, Xiaoxing Ma |
Leveraging TLA+ Specifications to Improve the Reliability of the ZooKeeperCoordination Service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings, pp. 189-205, 2023, Springer, 978-981-99-8663-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Weiwei Wang, Zidong Li, Feng You, Ruilian Zhao |
Vulnerability Report Analysis and Vulnerability Reproduction for Web Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings, pp. 279-297, 2023, Springer, 978-981-99-8663-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Yingmin Xiao, Zhibin Yang, Yong Zhou, Zhiqiu Huang |
Run-Time Assured Reinforcement Learning for Safe Spacecraft Rendezvous with Obstacle Avoidance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings, pp. 298-313, 2023, Springer, 978-981-99-8663-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Han Xu, Liqian Chen, Guangsheng Fan, Banghu Yin, Ji Wang 0001 |
An Abstract Domain of Linear Templates with Disjunctive Right-Hand-Side Intervals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings, pp. 314-330, 2023, Springer, 978-981-99-8663-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Xinyi Wan, Qinxiang Cao |
Formalization of Lambda Calculus with Explicit Names as a Nominal Reasoning Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings, pp. 262-278, 2023, Springer, 978-981-99-8663-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Shaocong Han, Yi Zhang 0029 |
Enhancing Branch and Bound for Robustness Verification of Neural Networks via an Effective Branching Strategy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings, pp. 38-54, 2023, Springer, 978-981-99-8663-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Weidi Sun, Yuteng Lu, Xiaokun Luan, Meng Sun 0002 |
HeatC: A Variable-Grained Coverage Criterion for Deep Learning Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings, pp. 243-261, 2023, Springer, 978-981-99-8663-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Yixuan Yan, Weihao Su, Lixiao Zheng, Mengxi Wang, Haiming Chen, Chengyao Peng, Rongchen Li, Zixuan Chen |
Deducing Matching Strings for Real-World Regular Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings, pp. 331-350, 2023, Springer, 978-981-99-8663-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jin Zhu, Chuanqi Tao, Hongjing Guo, Yue Ju |
DeepTD: Diversity-Guided Deep Neural Network Test Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings, pp. 419-433, 2023, Springer, 978-981-99-8663-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Huiyu Liu, Qichao Kong, Jue Wang, Ting Su, Haiying Sun |
Understanding the Reproducibility Issues of Monkey for GUI Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings, pp. 132-151, 2023, Springer, 978-981-99-8663-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Weijiang Hong, Zhenbang Chen, Minglong Li, Yuhan Li, Peishan Huang, Ji Wang 0001 |
Formal Verification Based Synthesis for Behavior Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings, pp. 72-91, 2023, Springer, 978-981-99-8663-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Chao Wang, Gustavo Petri, Yi Lv, Teng Long, Zhiming Liu 0001 |
Decidability of Liveness for Concurrent Objects on the TSO Memory Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings, pp. 149-165, 2022, Springer, 978-3-031-21212-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Fengmin Zhu, Fei He 0001 |
EqFix: Fixing LaTeX Equation Errors by Examples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings, pp. 106-124, 2022, Springer, 978-3-031-21212-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Vallade, Saeed Nejati, Julien Sopena, Souheib Baarir, Vijay Ganesh |
Diversifying a Parallel SAT Solver with Bayesian Moment Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings, pp. 227-233, 2022, Springer, 978-3-031-21212-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Fengmin Zhu, Xingyu Xie, Dongyu Feng, Na Meng 0001, Fei He 0001 |
Mastery: Shifted-Code-Aware Structured Merging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings, pp. 70-87, 2022, Springer, 978-3-031-21212-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Weidi Sun, Xiaoyong Xue, Yuteng Lu, Meng Sun 0002 |
HashC: Making DNNs' Coverage Testing Finer and Faster. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings, pp. 3-21, 2022, Springer, 978-3-031-21212-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Yichen Tao, Qinxiang Cao |
LOGIC: A Coq Library for Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings, pp. 205-226, 2022, Springer, 978-3-031-21212-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ran Li, Huibiao Zhu, Richard Banach |
Translating CPS with Shared-Variable Concurrency in SpaceEx. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings, pp. 127-133, 2022, Springer, 978-3-031-21212-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | M. H. Bandukara, Nikos Tzevelekos |
On-The-Fly Bisimilarity Checking for Fresh-Register Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings, pp. 187-204, 2022, Springer, 978-3-031-21212-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Dennis Gross, Nils Jansen 0001, Sebastian Junges, Guillermo A. Pérez 0001 |
COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings, pp. 41-49, 2022, Springer, 978-3-031-21212-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Xiaodong Du, Pengfei Xu, Zheng Zhang, Shushan Chai, Rui Xia, Zhe Zong |
KCL: A Declarative Language for Large-Scale Configuration and Policy Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings, pp. 88-105, 2022, Springer, 978-3-031-21212-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Quan Sun, Wei Zhang, Chao Wang, Zhiming Liu 0001 |
A Contract-Based Semantics and Refinement for Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings, pp. 134-148, 2022, Springer, 978-3-031-21212-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Wei Dong 0006, Jean-Pierre Talpin (eds.) |
Dependable Software Engineering. Theories, Tools, and Applications - 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![Springer, 978-3-031-21212-3 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Siran Li, Lei Wang 0126, Keyang Hu, Ce Mo, Bo Jiang 0001 |
VM Migration and Live-Update for Reliable Embedded Hypervisor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings, pp. 53-69, 2022, Springer, 978-3-031-21212-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Yuteng Lu, Kaicheng Shao, Weidi Sun, Meng Sun 0002 |
MTUL: Towards Mutation Testing of Unsupervised Learning Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings, pp. 22-40, 2022, Springer, 978-3-031-21212-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | ZhengPu Shi, Gang Chen |
Integration of Multiple Formal Matrix Models in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings, pp. 169-186, 2022, Springer, 978-3-031-21212-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ruiqi Hu, Meilun Li, Zhikun She |
$\mathbf{OURS} $: Over- and Under-Approximating Reachable Sets for Analytic Time-Invariant Differential Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings, pp. 261-278, 2021, Springer, 978-3-030-91264-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Faustin Ahishakiye, José-Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz |
MC/DC Test Cases Generation Based on BDDs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings, pp. 178-197, 2021, Springer, 978-3-030-91264-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Tengshun Yang, Shuling Wang, Bohua Zhan, Naijun Zhan, Jinghui Li, Shuangqing Xiang, Zhan Xiang, Bifei Mao |
Formal Analysis of 5G AKMA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings, pp. 102-121, 2021, Springer, 978-3-030-91264-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ismaïl Mendil, Yamine Aït Ameur, Neeraj Kumar Singh 0001, Dominique Méry, Philippe A. Palanque |
Leveraging Event-B Theories for Handling Domain Knowledge in Design Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings, pp. 40-58, 2021, Springer, 978-3-030-91264-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Shaozhi Wei, Ran Mo, Pu Xiong, Siyuan Zhang, Yang Zhao, Zengyang Li |
Predicting and Monitoring Bug-Proneness at the Feature Level. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings, pp. 201-218, 2021, Springer, 978-3-030-91264-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Xue-er Ding, Jun Niu, Jia Wang |
API Usage Pattern Search Based on Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings, pp. 299-319, 2021, Springer, 978-3-030-91264-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Shengchao Qin, Jim Woodcock 0001, Wenhui Zhang (eds.) |
Dependable Software Engineering. Theories, Tools, and Applications - 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![Springer, 978-3-030-91264-2 The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Weidi Sun, Yuteng Lu, Xiyue Zhang, Meng Sun 0002 |
DeepGlobal: A Global Robustness Verifiable FNN Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings, pp. 22-39, 2021, Springer, 978-3-030-91264-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Panhua Guo, Bohua Zhan, Xiong Xu, Shuling Wang, Wenhui Sun |
Translating a Large Subset of Stateflow to Hybrid CSP with Code Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings, pp. 3-21, 2021, Springer, 978-3-030-91264-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Usama Mehmood, Scott D. Stoller, Radu Grosu, Shouvik Roy, Amol Damare, Scott A. Smolka |
A Distributed Simplex Architecture for Multi-agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings, pp. 239-257, 2021, Springer, 978-3-030-91264-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Yue Yan, Shujuan Jiang, Shenggang Zhang, Ying Huang |
CSFL: Fault Localization on Real Software Bugs Based on the Combination of Context and Spectrum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings, pp. 219-238, 2021, Springer, 978-3-030-91264-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ximeng Li 0003, Qianying Zhang, Guohui Wang, Zhiping Shi 0002, Yong Guan |
Reasoning About Iteration and Recursion Uniformly Based on Big-Step Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings, pp. 61-80, 2021, Springer, 978-3-030-91264-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jin-Fu Chen 0001, Bo Liu 0048, Saihua Cai, Weijia Wang, Shengran Wang |
AIdetectorX: A Vulnerability Detector Based on TCN and Self-attention Mechanism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings, pp. 161-177, 2021, Springer, 978-3-030-91264-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Yuteng Lu, Weidi Sun, Meng Sun 0002 |
Mutation Testing of Reinforcement Learning Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings, pp. 143-160, 2021, Springer, 978-3-030-91264-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Teng Long, Xingtao Ren, Qing Wang, Chao Wang |
Verifying the Correctness of Distributed Systems via Mergeable Parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings, pp. 122-140, 2021, Springer, 978-3-030-91264-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Yongjie Xu, Fu Song, Taolue Chen |
ESampler: Efficient Sampling of Satisfying Assignments for Boolean Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings, pp. 279-298, 2021, Springer, 978-3-030-91264-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Lili Xiao, Huibiao Zhu |
Trace Semantics and Algebraic Laws for MCA ARMv8 Architecture Based on UTP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings, pp. 81-101, 2021, Springer, 978-3-030-91264-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Yangxi Zhou, Yan Zhu, Liangyu Chen 0001 |
Software Defect-Proneness Prediction with Package Cohesion and Coupling Metrics Based on Complex Network Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 6th International Symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020, Proceedings, pp. 186-201, 2020, Springer, 978-3-030-62821-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Hengbiao Yu, Zhenbang Chen, Chun Huang, Ji Wang 0001 |
Symbolic Verification of MPI Programs with Non-deterministic Synchronizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 6th International Symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020, Proceedings, pp. 160-176, 2020, Springer, 978-3-030-62821-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Qinxiang Cao, Zhongye Wang |
Reentrancy? Yes. Reentrancy Bug? No. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 6th International Symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020, Proceedings, pp. 17-34, 2020, Springer, 978-3-030-62821-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Wanwei Liu, Liangze Yin, Tun Li |
Compiling FLres on Finite Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 6th International Symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020, Proceedings, pp. 108-123, 2020, Springer, 978-3-030-62821-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Lieuwe Vinkhuijzen, Alfons Laarman |
Symbolic Model Checking with Sentential Decision Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 6th International Symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020, Proceedings, pp. 124-142, 2020, Springer, 978-3-030-62821-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Andrej Kiviriga, Kim Guldstrand Larsen, Ulrik Nyman |
Randomized Refinement Checking of Timed I/O Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 6th International Symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020, Proceedings, pp. 70-88, 2020, Springer, 978-3-030-62821-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jun Pang 0001, Lijun Zhang 0001 (eds.) |
Dependable Software Engineering. Theories, Tools, and Applications - 6th International Symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![Springer, 978-3-030-62821-5 The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Bai Xue 0001, Naijun Zhan |
Probably Approximately Correct Interpolants Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 6th International Symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020, Proceedings, pp. 143-159, 2020, Springer, 978-3-030-62821-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu 0001, Jim Woodcock 0001 |
Learning Safe Neural Network Controllers with Barrier Certificates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 6th International Symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020, Proceedings, pp. 177-185, 2020, Springer, 978-3-030-62821-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Lorenzo Capra |
Graph Transformation Systems: A Semantics Based on (Stochastic) Symmetric Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 6th International Symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020, Proceedings, pp. 35-51, 2020, Springer, 978-3-030-62821-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Xie Li, Taolue Chen, Zhilin Wu, Mingji Xia |
Computing Linear Arithmetic Representation of Reachability Relation of One-Counter Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 6th International Symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020, Proceedings, pp. 89-107, 2020, Springer, 978-3-030-62821-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Martijn A. Goorden, Lars Moormann, Ferdie F. H. Reijnen, J. J. Verbakel, D. A. van Beek, Albert T. Hofkamp, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan J. Fokkink, Jacobus E. Rooda, L. F. P. Etman |
The Road Ahead for Supervisor Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 6th International Symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020, Proceedings, pp. 1-16, 2020, Springer, 978-3-030-62821-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Weizhi Feng, Cheng-Chao Huang, Andrea Turrini, Yong Li 0031 |
Modelling and Implementation of Unmanned Aircraft Collision Avoidance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 6th International Symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020, Proceedings, pp. 52-69, 2020, Springer, 978-3-030-62821-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Chong Liu, Nuno Macedo, Alcino Cunha |
Simplifying the Analysis of Software Design Variants with a Colorful Alloy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings, pp. 38-55, 2019, Springer, 978-3-030-35539-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nan Guan, Joost-Pieter Katoen, Jun Sun 0001 (eds.) |
Dependable Software Engineering. Theories, Tools, and Applications - 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![Springer, 978-3-030-35539-5 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yu-Yang Lin, Nikos Tzevelekos |
A Bounded Model Checking Technique for Higher-Order Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings, pp. 1-18, 2019, Springer, 978-3-030-35539-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jasdeep Singh, Luca Santinelli, Federico Reghenzani, Konstantinos Bletsas, David Doose, Zhishan Guo |
Mixed Criticality Scheduling of Probabilistic Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings, pp. 89-105, 2019, Springer, 978-3-030-35539-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yue Tang 0001, Yuming Jiang 0001, Nan Guan |
Improving the Analysis of GPC in Real-Time Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings, pp. 106-121, 2019, Springer, 978-3-030-35539-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Alexis Linard, Doina Bucur, Mariëlle Stoelinga |
Fault Trees from Data: Efficient Learning with an Evolutionary Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings, pp. 19-37, 2019, Springer, 978-3-030-35539-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Xuemei Peng, Meiling Han, Qingxu Deng |
Response Time Analysis of Typed DAG Tasks for G-FP Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings, pp. 56-71, 2019, Springer, 978-3-030-35539-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yu Zhang, Yongwang Zhao, David Sanán, Lei Qiao, Jinkun Zhang |
A Verified Specification of TLSF Memory Management Allocator Using State Monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings, pp. 122-138, 2019, Springer, 978-3-030-35539-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Lei Qiao, Shaofeng Li, Hua Yang, Mengfei Yang |
A Formal Modeling and Verification Framework for Flash Translation Layer Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings, pp. 72-88, 2019, Springer, 978-3-030-35539-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Adelsberger, Anton Setzer, Eric Walkingshaw |
Developing GUI Applications in a Verified Setting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings, pp. 89-107, 2018, Springer, 978-3-319-99932-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Yang Chen, Zhenya Zhang, Peng Wu 0002, Yu Zhang |
Interleaving-Tree Based Fine-Grained Linearizability Fault Localization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings, pp. 108-126, 2018, Springer, 978-3-319-99932-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Chung-Ling Lin, Wuwei Shen, Tao Yue 0002, Guangyuan Li |
Automatic Support of the Generation and Maintenance of Assurance Cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings, pp. 11-28, 2018, Springer, 978-3-319-99932-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Junyan Qian, Cong Chen, Wei Cao, Zhongyi Zhai, Lingzhong Zhao |
Improvement in JavaMOP by Simplifying Büchi Automaton. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings, pp. 129-134, 2018, Springer, 978-3-319-99932-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Teng Zhang, John Wiegley, Theophilos Giannakopoulos, Gregory Eakman, Clément Pit-Claudel, Insup Lee 0001, Oleg Sokolsky |
Correct-by-Construction Implementation of Runtime Monitors Using Stepwise Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings, pp. 31-49, 2018, Springer, 978-3-319-99932-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | James Snook, Michael J. Butler, Thai Son Hoang |
Developing A New Language to Construct Algebraic Hierarchies for Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings, pp. 135-141, 2018, Springer, 978-3-319-99932-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard K. Aichernig, Severin Kann, Richard Schumi |
Statistical Model Checking of Response Times for Different System Deployments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings, pp. 153-169, 2018, Springer, 978-3-319-99932-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Bai Xue 0001, Naijun Zhan, Yangjia Li, Qiuye Wang |
Robust Non-termination Analysis of Numerical Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings, pp. 69-88, 2018, Springer, 978-3-319-99932-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Shmuel S. Tyszberowicz, Robert Heinrich, Bo Liu 0033, Zhiming Liu 0001 |
Identifying Microservices Using Functional Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings, pp. 50-65, 2018, Springer, 978-3-319-99932-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Tao Xie 0001 |
Intelligent Software Engineering: Synergy Between AI and Software Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings, pp. 3-7, 2018, Springer, 978-3-319-99932-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Xinyu Feng 0001, Markus Müller-Olm, Zijiang Yang (eds.) |
Dependable Software Engineering. Theories, Tools, and Applications - 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![Springer, 978-3-319-99932-6 The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Soumya Paul, Jun Pang 0001, Cui Su |
Towards the Existential Control of Boolean Networks: A Preliminary Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings, pp. 142-149, 2018, Springer, 978-3-319-99932-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Eun-Young Kang 0001, Li Huang 0001 |
Probabilistic Analysis of Timing Constraints in Autonomous Automotive Systems Using Simulink Design Verifier. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings, pp. 170-186, 2018, Springer, 978-3-319-99932-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Zhishan Guo, Luca Santinelli, Kecheng Yang 0001 |
Mixed-Criticality Scheduling with Limited HI-Criticality Behaviors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings, pp. 187-199, 2018, Springer, 978-3-319-99932-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Chen Fu, Yuxin Deng, David N. Jansen, Lijun Zhang 0001 |
On Equivalence Checking of Nondeterministic Finite Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings, pp. 216-231, 2017, Springer, 978-3-319-69482-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Dimitar P. Guelev, Shuling Wang, Naijun Zhan |
Compositional Hoare-Style Reasoning About Hybrid CSP in the Duration Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings, pp. 110-127, 2017, Springer, 978-3-319-69482-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jiawei Wang, Ming Fu, Lei Qiao, Xinyu Feng 0001 |
Formalizing SPARCv8 Instruction Set Architecture in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings, pp. 300-316, 2017, Springer, 978-3-319-69482-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Luca Santinelli, Zhishan Guo |
On the Criticality of Probabilistic Worst-Case Execution Time Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings, pp. 59-74, 2017, Springer, 978-3-319-69482-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Calvin Deutschbein, Tom Fleming, Alan Burns 0001, Sanjoy K. Baruah |
Multi-core Cyclic Executives for Safety-Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings, pp. 94-109, 2017, Springer, 978-3-319-69482-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Zipeng Zhang, Xinyu Feng 0001 |
AndroidLeaker: A Hybrid Checker for Collusive Leak in Android Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings, pp. 164-180, 2017, Springer, 978-3-319-69482-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ghassen Helali, Sofiène Tahar, Osman Hasan, Tsvetan Dunchev |
Formal Analysis of Information Flow in HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings, pp. 283-299, 2017, Springer, 978-3-319-69482-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 156 (100 per page; Change: ) Pages: [ 1][ 2][ >>] |
|