Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5. SOFL+MSVL 2015: Paris, France
- Shaoying Liu, Zhenhua Duan:
Structured Object-Oriented Formal Language and Method - 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers. Lecture Notes in Computer Science 9559, Springer 2016, ISBN 978-3-319-31219-4
Modeling and Specification
- Jinyun Xue:
Genericity in PAR Platform. 3-14 - Jin Cui, Zhenhua Duan, Cong Tian, Nan Zhang:
Modeling and Verification of an Interrupt System in \mu μ C/OS-III with TMSVL. 15-28 - Mao Huang, Yihai Chen, Ridha Khédri, Huaikou Miao:
The Interchange Format of Tabular Expressions Using XML. 29-43 - Shaoying Liu:
A GUI-Aided Approach to Formal Specification Construction. 44-56
Testing and Debugging
- Yuji Sato
, Taku Sugihara:
Automatic Generation of Specification-Based Test Cases by Applying Genetic Algorithms in Reinforcement Learning. 59-71 - Shin Nakajima, Si-Mohamed Lamraoui:
Fault Localization of Timed Automata Using Maximum Satisfiability. 72-85 - Aishan Liu, Li Li, Jie Luo:
Automated Program Debugging for Multiple Bugs Based on Semantic Analysis. 86-100
Model Checking and Verification
- Xinfeng Shu, Zhenhua Duan:
Model Checking Process Scheduling over Multi-core Computer System with MSVL. 103-117 - Xiaobing Wang, Tao Sun:
A Method Based on MSVL for Verification of the Social Network Privacy Policy. 118-131 - Zhuo Cheng, Haitao Zhang, Yasuo Tan, Yuto Lim:
A Case Study: SOFL + Model Checking for OSEK/VDX Application. 132-146 - Yunqing Wen, Guoqiang Li, Shoji Yuen:
On Reachability Analysis of Updatable Timed Automata with One Updatable Clock. 147-161
Algorithm and Transformation
- Qimin Hu, Jinyun Xue, Zhen You:
Research on Formal Development of Non-recursive Algorithms of Graph Search. 165-178 - Cong Tian, Jun Song, Zhenhua Duan, Zhao Duan:
LtlNfBa: Making LTL Translation More Practical. 179-194 - Xiaoming Zhang, Zhenhua Duan, Cong Tian:
PPTL_SPIN: A SPIN Based Model Checker for Propositional Projection Temporal Logic. 195-205 - Xiongwen Luo, Shaoying Liu:
Automatic Transformation from SOFL Module Specifications to Program Structures. 206-218
a service of 
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.
last updated on 2024-07-23 00:55 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
