• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 145 matches

• 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

skipping 115 more matches