default search action

combined dblp search
author search
venue search
publication search

ask others

10th SOFL+MSVL 2020: Singapore

> Home > Conferences and Workshops > SOFL

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/sofl/2020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/2020
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

Modeling and Specification

- view
  authority control:
- export record
  dblp key:
  - conf/sofl/ZhaoFWS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/ZhaoFWS20
Liang Zhao, Zhe Feng, Xiaobing Wang, Xinfeng Shu:
An MSVL-Based Modeling Framework for Back Propagation Neural Networks. 3-22
- view
  authority control:
- export record
  dblp key:
  - conf/sofl/Nagoya20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/Nagoya20
Fumiko Nagoya:
A Case Study on Combining Agile Requirements Development and SOFL. 23-33
- view
  authority control:
- export record
  dblp key:
  - conf/sofl/WangMJ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/WangMJ20
Jingzi Wang, Hongyan Mao, Ningkang Jiang:
Formal Modeling and Verification of Microservice-Based Cyber-Physical System. 34-53
- view
  authority control:
- export record
  dblp key:
  - conf/sofl/HuangXYZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/HuangXYZ20
Jiewen Huang, Jinyun Xue, Zhen You, Zhehong Zhou:
Design and Implementation of Virtual Reality Geometric Modeling in Apla^+VR. 54-65

Model Checking

- view
  authority control:
- export record
  dblp key:
  - conf/sofl/Wang20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/Wang20
Haiyang Wang:
An Unified Model Checking Approach of APTL. 69-78
- view
  authority control:
- export record
  dblp key:
  - conf/sofl/CuiZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/CuiZ20
Jin Cui, Lianxiang Zhu:
Model Checking Multi-interruption Concurrent Programs with TMSVL. 79-87
- view
  authority control:
- export record
  dblp key:
  - conf/sofl/ShuWGWZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/ShuWGWZ20
Xinfeng Shu, Zhenyu Wang, Weiran Gao, Xiaobing Wang, Liang Zhao:
An MSVL Based Model Checking Method for Multi-threaded C Programs. 88-101

Specification and Verification

- view
  authority control:
- export record
  dblp key:
  - conf/sofl/EmekaHL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/EmekaHL20
Busalire Onesmus Emeka, Soichiro Hidaka, Shaoying Liu:
A Formal Approach to Secure Design of RESTful Web APIs Using SOFL. 105-125
- view
  authority control:
- export record
  dblp key:
  - conf/sofl/LuY20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/LuY20
Xu Lu, Bin Yu:
Pointer Program Synthesis as Non-deterministic Planning. 126-141
- view
  authority control:
- export record
  dblp key:
  - conf/sofl/YuLCLW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/YuLCLW20
Bin Yu, Xu Lu, Hao Chen, Ming Lei, Xiaobing Wang:
Runtime Verification of Ethereum Smart Contracts Based on MSVL. 142-153
- view
  authority control:
- export record
  dblp key:
  - conf/sofl/WangLLZS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/WangLLZS20
Xiaobing Wang, Ge Li, Chunyi Li, Liang Zhao, Xinfeng Shu:
Automatic Generation of Specification from Natural Language Based on Temporal Logic. 154-171

Testing and Formal Verification

- view
  authority control:
- export record
  dblp key:
  - conf/sofl/Nakajima20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/Nakajima20
Shin Nakajima:
Software Testing with Statistical Partial Oracles - Application to Neural Networks Software -. 175-192
- view
  authority control:
- export record
  dblp key:
  - conf/sofl/WangL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/WangL20
Meng Wang, Shushan Li:
Formalizing Spark Applications with MSVL. 193-204

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.