default search action

combined dblp search
author search
venue search
publication search

ask others

8th SOFL+MSVL 2018: Gold Coast, QLD, Australia

> 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/2018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/2018
Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya:
Structured Object-Oriented Formal Language and Method - 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers. Lecture Notes in Computer Science 11392, Springer 2019, ISBN 978-3-030-13650-5

Programming and Testing

- view
  authority control:
- export record
  dblp key:
  - conf/sofl/Liu18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/Liu18
Shaoying Liu:
Software Construction Monitoring and Predicting for Human-Machine Pair Programming. 3-20
- view
  authority control:
- export record
  dblp key:
  - conf/sofl/Nakajima18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/Nakajima18
Shin Nakajima:
Dataset Diversity for Metamorphic Testing of Machine Learning Software. 21-38
- view
  authority control:
- export record
  dblp key:
  - conf/sofl/DuM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/DuM18
Zhoujie Du, Huaikou Miao:
Research Review on Web Service Composition Testing. 39-51

Verification and Validation

- view
  authority control:
- export record
  dblp key:
  - conf/sofl/WangGZS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/WangGZS18
Xiaobing Wang, Wenxuan Guo, Liang Zhao, Xinfeng Shu:
Runtime Verification Method for Social Network Security Based on Source Code Instrumentation. 55-70
- view
  authority control:
- export record
  dblp key:
  - conf/sofl/YinLC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/YinLC18
Yufei Yin, Shaoying Liu, Yixiang Chen:
Verification of SysML Activity Diagrams Using Hoare Logic and SOFL. 71-88
- view
  authority control:
- export record
  dblp key:
  - conf/sofl/ShuLWWZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/ShuLWWZ18
Xinfeng Shu, Na Luo, Bo Wang, Xiaobing Wang, Liang Zhao:
Model Checking Java Programs with MSVL. 89-107
- view
  authority control:
- export record
  dblp key:
  - conf/sofl/YouCXHX18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/YouCXHX18
Zhen You, Zhuo Cheng, Jinyun Xue, Qimin Hu, Wuping Xie:
Formal Specification and Verification for Real-Time Scheduling Based on PAR. 108-122

Semantics

- view
  authority control:
- export record
  dblp key:
  - conf/sofl/BergG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/BergG18
Johan van der Berg, Stefan Gruner:
Formal Semantics and Tool Support for a Syntactically Restricted Dialect of SOFL. 125-145
- view
  authority control:
- export record
  dblp key:
  - conf/sofl/LiuWLS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/LiuWLS18
Ai Liu, Shun Wang, Yi Li, Meng Sun:
On Semantics for Mediator: A Coalgebraic Perspective. 146-165

Blockchain

- view
  authority control:
- export record
  dblp key:
  - conf/sofl/TuDT0W18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/TuDT0W18
Jingyao Tu, Zhenhua Duan, Cong Tian, Nan Zhang, Ying Wu:
A Blockchain Implementation of an Attendance Management System. 169-182
- view
  authority control:
- export record
  dblp key:
  - conf/sofl/Bai18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/Bai18
Chong Bai:
State-of-the-Art and Future Trends of Blockchain Based on DAG Structure. 183-196

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.