default search action

combined dblp search
author search
venue search
publication search

ask others

6. SOFL+MSVL 2016: Tokyo, Japan

> 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/2016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/2016
Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya:
Structured Object-Oriented Formal Language and Method - 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers. Lecture Notes in Computer Science 10189, 2017, ISBN 978-3-319-57707-4

Modeling and Specification

- view
  authority control:
- export record
  dblp key:
  - conf/sofl/YouX16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/YouX16
Zhen You, Jinyun Xue:
Orchestration Combinators in Apla+ Language. 3-14
- view
  authority control:
- export record
  dblp key:
  - conf/sofl/WangT016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/WangT016
Yuwei Wang, Xiuting Tao, Guoqiang Li:
On Termination and Boundedness of Nested Updatable Timed Automata. 15-31
- view
  authority control:
- export record
  dblp key:
  - conf/sofl/XuMSD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/XuMSD16
Qingguo Xu, Huaikou Miao, Robert de Simone, Julien DeAntoni:
Instant-Based and State-Based Analysis of Infinite Logical Clock. 32-51

Animation and Prototyping

- view
  authority control:
- export record
  dblp key:
  - conf/sofl/WangMM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/WangMM16
Xi Wang, Huaikou Miao, Weikai Miao:
Automated Safety Analysis on Scenario-Based Requirements for Train Control System. 55-73
- view
  authority control:
- export record
  dblp key:
  - conf/sofl/NagoyaL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/NagoyaL16
Fumiko Nagoya, Shaoying Liu:
A Case Study of a GUI-Aided Approach to Constructing Formal Specifications. 74-84
- view
  authority control:
- export record
  dblp key:
  - conf/sofl/HuXY16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/HuXY16
Qimin Hu, Jinyun Xue, Zhen You:
Formal Development of Linear Structure Reusable Components in PAR Platform. 85-97

Verification and Validation

- view
  authority control:
- export record
  dblp key:
  - conf/sofl/ZhaoLXFH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/ZhaoLXFH16
Ren Zhao, Xiaohong Li, Guangquan Xu, Zhiyong Feng, Jianye Hao:
E-SSL: An SSL Security-Enhanced Method for Bypassing MITM Attacks in Mobile Internet. 101-120
- view
  authority control:
- export record
  dblp key:
  - conf/sofl/QianDZT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/QianDZT16
Lin Qian, Zhenhua Duan, Nan Zhang, Cong Tian:
A Proof System for MSVL Programs in Coq. 121-143
- view
  authority control:
- export record
  dblp key:
  - conf/sofl/WangLZX16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/WangLZX16
Xiaobing Wang, Dongmiao Liu, Liang Zhao, Yina Xue:
Runtime Verification Monitor Construction for Three-valued PPTL. 144-159
- view
  authority control:
- export record
  dblp key:
  - conf/sofl/LuoLWZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/LuoLWZ16
Juan Luo, Shaoying Liu, Yanqin Wang, Tingliang Zhou:
Applying SOFL to a Railway Interlocking System in Industry. 160-177

Model Checking

- view
  authority control:
- export record
  dblp key:
  - conf/sofl/ZhangL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/ZhangL16
Haitao Zhang, Yonggang Lu:
SMT-based Bounded Model Checking for Cooperative Software with a Deterministic Scheduler. 181-200
- view
  authority control:
- export record
  dblp key:
  - conf/sofl/DoanBO16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/DoanBO16
Ha Thi Thu Doan, François Bonnet, Kazuhiro Ogata:
Model Checking of a Mobile Robots Perpetual Exploration Algorithm. 201-219
- view
  authority control:
- export record
  dblp key:
  - conf/sofl/ShuLL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/ShuLL16
Xinfeng Shu, Chao Li, Chang Liu:
A Visual Modeling Language for MSVL. 220-237

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.