default search action

combined dblp search
author search
venue search
publication search

ask others

SOFL+MSVL 2014: Luxembourg

> 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/2014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/2014
Shaoying Liu, Zhenhua Duan:
Structured Object-Oriented Formal Language and Method - 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8979, Springer 2015, ISBN 978-3-319-17403-7

Testing and Inspection

- view
  authority control:
- export record
  dblp key:
  - conf/sofl/ChangML14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/ChangML14
Longhui Chang, Huaikou Miao, Gongzheng Lu:
An Implementation Framework for Optimizing Test Case Generation Using Model Checking. 3-16
- view
  authority control:
- export record
  dblp key:
  - conf/sofl/ZhouSS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/ZhouSS14
Yuqin Zhou, Taku Sugihara, Yuji Sato:
Applying GA with Tabu list for Automatically Generating Test Cases Based on Formal Specification. 17-31
- view
  authority control:
- export record
  dblp key:
  - conf/sofl/ZhangL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/ZhangL14
Jinghua Zhang, Shaoying Liu:
Development of a Software Tool to Support Traceability-Based Inspection of SOFL Specifications. 32-46

Model Checking and Animation

- view
  authority control:
- export record
  dblp key:
  - conf/sofl/YuDT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/YuDT14
Bin Yu, Zhenhua Duan, Cong Tian:
Unified Bounded Model Checking for MSVL. 49-61
- view
  authority control:
- export record
  dblp key:
  - conf/sofl/Wen0Y14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/Wen0Y14
Yunqing Wen, Guoqiang Li, Shoji Yuen:
An Over-Approximation Forward Analysis for Nested Timed Automata. 62-80
- view
  authority control:
- export record
  dblp key:
  - conf/sofl/LiL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/LiL14
Mo Li, Shaoying Liu:
Adopting Variable Dependency in Animation for Presenting the Behaviour of Process. 81-93

Education and Verification

- view
  authority control:
- export record
  dblp key:
  - conf/sofl/Nakajima14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/Nakajima14
Shin Nakajima:
Using Alloy in Introductory Courses of Formal Methods. 97-110
- view
  authority control:
- export record
  dblp key:
  - conf/sofl/XieLLLFF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/XieLLLFF14
Xiaofei Xie, Xiaohong Li, Yang Liu, Li Li, Ruitao Feng, Zhiyong Feng:
Automatic Verification for Later-Correspondence of Security Protocols. 111-126
- view
  authority control:
- export record
  dblp key:
  - conf/sofl/Yang14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/Yang14
Xiaoxiao Yang:
Combining Separation Logic and Projection Temporal Logic to Reason About Non-blocking Concurrency. 127-144

Semantics and Analysis

- view
  authority control:
- export record
  dblp key:
  - conf/sofl/YouXHH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/YouXHH14
Zhen You, Jinyun Xue, Qimin Hu, Yi Hong:
Formal Semantics of Orc Based on TLA⁺. 147-163
- view
  authority control:
- export record
  dblp key:
  - conf/sofl/ChenSM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/ChenSM14
Yuting Chen, Qiuwei Shi, Weikai Miao:
Incremental Points-to Analysis for Java via Edit Propagation. 164-178
- view
  authority control:
- export record
  dblp key:
  - conf/sofl/YangDT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/YangDT14
Kai Yang, Zhenhua Duan, Cong Tian:
A Memory Management Mechanism for MSVL. 179-188

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.