default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID11th SOFL+MSVL 2022: Madrid, Spain
- Shaoying Liu, Zhenhua Duan, Ai Liu
:
Structured Object-Oriented Formal Language and Method - 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers. Lecture Notes in Computer Science 13854, Springer 2023, ISBN 978-3-031-29475-4
Model Checking and Markov Decision Process
- Zhen You, Xinwu Yi, Jinyun Xue, Hongwen Hu, Jiewen Huang, Zhuo Cheng:
Formal Derivation and Verification of Critical Path Algorithm for Directed Acyclic Graph. 3-11 - Ruixuan Miao, Xu Lu, Jin Cui:
An Approach of Transforming Non-Markovian Reward to Markovian Reward. 12-29 - Xinfeng Shu, Yanlin Li, Weiran Gao:
A JPSL Based Model Checking Approach for Java Programs. 30-49
Model Analysis and Tool Implementation
- Xueqing Feng, Nan Zhang, Zhenhua Duan:
Implementation of Matlab matfun Toolkit Based on MSVL. 53-58 - Jin Liu, Yeqiu Xiao, Haiyang Wang, Wensheng Wang:
Extending Visibly Pushdown Automata over Multi-matching Nested Relations. 59-69 - Jin Cui, Xu Lu, Guangliang Yu, Bin Yu:
Schedulability Analysis of Rate-Monotonic Algorithm on Concurrent Execution of Digraph Real-Time Tasks. 70-76
Formal Specification and Testing
- Chunyi Li, Jiajun Chang, Xiaobing Wang, Liang Zhao, Wenjie Mao:
Formalization of Natural Language into PPTL Specification via Neural Machine Translation. 79-92 - Lei Rao, Shaoying Liu, Ai Liu:
Testing Program Segments to Detect Runtime Exceptions in Java. 93-105 - Chu Chen, Xuan Wang, Pinghong Ren, Zhenhua Duan, Cong Tian, Xu Lu, Bin Yu:
Inferring Exact Domains to Efficiently Generate Valid Test Cases via Testing. 106-116
Algorithms and Verification
- Yang Li, Shaoying Liu:
Testing and Verifying the Security of COVID-19 CT Images Deep Learning System with Adversarial Attack. 119-125 - Haiyi Liu, Shaoying Liu, Ai Liu, Dingbang Fang, Guangquan Xu:
Verifying and Improving Neural Networks Using Testing-Based Formal Verification. 126-141 - Haiyang Wang, Jin Liu, Jing Liu:
Alternating Projection Temporal Epistemic Logic. 142-149
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-02 23:27 CET 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:
