- 2023
- 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 [contents] - 2022
- 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. SOFL+MSVL 2022: 106-116 - Jin Cui, Xu Lu, Guangliang Yu, Bin Yu:
Schedulability Analysis of Rate-Monotonic Algorithm on Concurrent Execution of Digraph Real-Time Tasks. SOFL+MSVL 2022: 70-76 - Xueqing Feng, Nan Zhang, Zhenhua Duan:
Implementation of Matlab matfun Toolkit Based on MSVL. SOFL+MSVL 2022: 53-58 - Chunyi Li, Jiajun Chang, Xiaobing Wang, Liang Zhao, Wenjie Mao:
Formalization of Natural Language into PPTL Specification via Neural Machine Translation. SOFL+MSVL 2022: 79-92 - Yang Li, Shaoying Liu:
Testing and Verifying the Security of COVID-19 CT Images Deep Learning System with Adversarial Attack. SOFL+MSVL 2022: 119-125 - Haiyi Liu, Shaoying Liu, Ai Liu, Dingbang Fang, Guangquan Xu:
Verifying and Improving Neural Networks Using Testing-Based Formal Verification. SOFL+MSVL 2022: 126-141 - Jin Liu, Yeqiu Xiao, Haiyang Wang, Wensheng Wang:
Extending Visibly Pushdown Automata over Multi-matching Nested Relations. SOFL+MSVL 2022: 59-69 - Ruixuan Miao, Xu Lu, Jin Cui:
An Approach of Transforming Non-Markovian Reward to Markovian Reward. SOFL+MSVL 2022: 12-29 - Lei Rao, Shaoying Liu, Ai Liu:
Testing Program Segments to Detect Runtime Exceptions in Java. SOFL+MSVL 2022: 93-105 - Xinfeng Shu, YanLin Li, Weiran Gao:
A JPSL Based Model Checking Approach for Java Programs. SOFL+MSVL 2022: 30-49 - Haiyang Wang, Jin Liu, Jing Liu:
Alternating Projection Temporal Epistemic Logic. SOFL+MSVL 2022: 142-149 - Zhen You, Xinwu Yi, Jinyun Xue, Hongwen Hu, Jiewen Huang, Zhuo Cheng:
Formal Derivation and Verification of Critical Path Algorithm for Directed Acyclic Graph. SOFL+MSVL 2022: 3-11 - 2021
- Jinyun Xue, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan:
Structured Object-Oriented Formal Language and Method - 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers. Lecture Notes in Computer Science 12723, Springer 2021, ISBN 978-3-030-77473-8 [contents] - 2020
- Jin Cui, Lianxiang Zhu:
Model Checking Multi-interruption Concurrent Programs with TMSVL. SOFL+MSVL 2020: 79-87 - Busalire Onesmus Emeka, Soichiro Hidaka, Shaoying Liu:
A Formal Approach to Secure Design of RESTful Web APIs Using SOFL. SOFL+MSVL 2020: 105-125 - Jiewen Huang, Jinyun Xue, Zhen You, Zhehong Zhou:
Design and Implementation of Virtual Reality Geometric Modeling in Apla+VR. SOFL+MSVL 2020: 54-65 - Xu Lu, Bin Yu:
Pointer Program Synthesis as Non-deterministic Planning. SOFL+MSVL 2020: 126-141 - Fumiko Nagoya:
A Case Study on Combining Agile Requirements Development and SOFL. SOFL+MSVL 2020: 23-33 - Shin Nakajima:
Software Testing with Statistical Partial Oracles - Application to Neural Networks Software -. SOFL+MSVL 2020: 175-192 - Xinfeng Shu, Zhenyu Wang, Weiran Gao, Xiaobing Wang, Liang Zhao:
An MSVL Based Model Checking Method for Multi-threaded C Programs. SOFL+MSVL 2020: 88-101 - Haiyang Wang:
An Unified Model Checking Approach of APTL. SOFL+MSVL 2020: 69-78 - Meng Wang, Shushan Li:
Formalizing Spark Applications with MSVL. SOFL+MSVL 2020: 193-204 - Xiaobing Wang, Ge Li, Chunyi Li, Liang Zhao, Xinfeng Shu:
Automatic Generation of Specification from Natural Language Based on Temporal Logic. SOFL+MSVL 2020: 154-171 - Jingzi Wang, Hongyan Mao, Ningkang Jiang:
Formal Modeling and Verification of Microservice-Based Cyber-Physical System. SOFL+MSVL 2020: 34-53 - Bin Yu, Xu Lu, Hao Chen, Ming Lei, Xiaobing Wang:
Runtime Verification of Ethereum Smart Contracts Based on MSVL. SOFL+MSVL 2020: 142-153 - Liang Zhao, Zhe Feng, Xiaobing Wang, Xinfeng Shu:
An MSVL-Based Modeling Framework for Back Propagation Neural Networks. SOFL+MSVL 2020: 3-22 - Huaikou Miao, Cong Tian, Shaoying Liu, Zhenhua Duan:
Structured Object-Oriented Formal Language and Method - 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers. Lecture Notes in Computer Science 12028, Springer 2020, ISBN 978-3-030-41417-7 [contents] - 2019
- Shahbaz Ali, Hailong Sun, Yongwang Zhao:
Combining Model Learning and Model Checking to Analyze Java Libraries. SOFL+MSVL 2019: 259-278 - Yuntianyi Chen, Yongfeng Gu, Lulu He, Jifeng Xuan:
Regression Models for Performance Ranking of Configurable Systems: A Comparative Study. SOFL+MSVL 2019: 243-258
