SOFL+MSVL

Keyphrases

Publications

volume 13854, 2023

Structured Object-Oriented Formal Language and Method - 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers SOFL+MSVL 13854 (2023)

2022

Chunyi Li, Jiajun Chang, Xiaobing Wang, Liang Zhao, Wenjie Mao
Formalization of Natural Language into PPTL Specification via Neural Machine Translation. SOFL+MSVL (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)
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)
Yang Li, Shaoying Liu
Testing and Verifying the Security of COVID-19 CT Images Deep Learning System with Adversarial Attack. SOFL+MSVL (2022)
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)
Haiyi Liu, Shaoying Liu, Ai Liu, Dingbang Fang, Guangquan Xu
Verifying and Improving Neural Networks Using Testing-Based Formal Verification. SOFL+MSVL (2022)
Jin Liu, Yeqiu Xiao, Haiyang Wang, Wensheng Wang
Extending Visibly Pushdown Automata over Multi-matching Nested Relations. SOFL+MSVL (2022)
Lei Rao, Shaoying Liu, Ai Liu
Testing Program Segments to Detect Runtime Exceptions in Java. SOFL+MSVL (2022)
Ruixuan Miao, Xu Lu, Jin Cui
An Approach of Transforming Non-Markovian Reward to Markovian Reward. SOFL+MSVL (2022)
Xueqing Feng, Nan Zhang, Zhenhua Duan
Implementation of Matlab matfun Toolkit Based on MSVL. SOFL+MSVL (2022)
Xinfeng Shu, YanLin Li, Weiran Gao
A JPSL Based Model Checking Approach for Java Programs. SOFL+MSVL (2022)
Haiyang Wang, Jin Liu, Jing Liu
Alternating Projection Temporal Epistemic Logic. SOFL+MSVL (2022)

volume 12723, 2021

Structured Object-Oriented Formal Language and Method - 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers SOFL+MSVL 12723 (2021)

2020

volume 12028, 2020

Structured Object-Oriented Formal Language and Method - 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers SOFL+MSVL 12028 (2020)

2019

volume 11392, 2019

Structured Object-Oriented Formal Language and Method - 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers SOFL+MSVL 11392 (2019)