default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/sofl:"
download as .bib file
@proceedings{DBLP:conf/sofl/2022,
editor = {Shaoying Liu and
Zhenhua Duan and
Ai Liu},
title = {Structured Object-Oriented Formal Language and Method - 11th International
Workshop, {SOFL+MSVL} 2022, Madrid, Spain, October 24, 2022, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13854},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-29476-1},
doi = {10.1007/978-3-031-29476-1},
isbn = {978-3-031-29475-4},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/ChenWRDTLY22,
author = {Chu Chen and
Xuan Wang and
Pinghong Ren and
Zhenhua Duan and
Cong Tian and
Xu Lu and
Bin Yu},
editor = {Shaoying Liu and
Zhenhua Duan and
Ai Liu},
title = {Inferring Exact Domains to Efficiently Generate Valid Test Cases via
Testing},
booktitle = {Structured Object-Oriented Formal Language and Method - 11th International
Workshop, {SOFL+MSVL} 2022, Madrid, Spain, October 24, 2022, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13854},
pages = {106--116},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-29476-1\_9},
doi = {10.1007/978-3-031-29476-1\_9},
timestamp = {Tue, 09 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/ChenWRDTLY22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/CuiLYY22,
author = {Jin Cui and
Xu Lu and
Guangliang Yu and
Bin Yu},
editor = {Shaoying Liu and
Zhenhua Duan and
Ai Liu},
title = {Schedulability Analysis of Rate-Monotonic Algorithm on Concurrent
Execution of Digraph Real-Time Tasks},
booktitle = {Structured Object-Oriented Formal Language and Method - 11th International
Workshop, {SOFL+MSVL} 2022, Madrid, Spain, October 24, 2022, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13854},
pages = {70--76},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-29476-1\_6},
doi = {10.1007/978-3-031-29476-1\_6},
timestamp = {Sun, 08 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofl/CuiLYY22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/FengZD22,
author = {Xueqing Feng and
Nan Zhang and
Zhenhua Duan},
editor = {Shaoying Liu and
Zhenhua Duan and
Ai Liu},
title = {Implementation of Matlab matfun Toolkit Based on {MSVL}},
booktitle = {Structured Object-Oriented Formal Language and Method - 11th International
Workshop, {SOFL+MSVL} 2022, Madrid, Spain, October 24, 2022, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13854},
pages = {53--58},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-29476-1\_4},
doi = {10.1007/978-3-031-29476-1\_4},
timestamp = {Fri, 31 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/FengZD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/LiCWZM22,
author = {Chunyi Li and
Jiajun Chang and
Xiaobing Wang and
Liang Zhao and
Wenjie Mao},
editor = {Shaoying Liu and
Zhenhua Duan and
Ai Liu},
title = {Formalization of Natural Language into {PPTL} Specification via Neural
Machine Translation},
booktitle = {Structured Object-Oriented Formal Language and Method - 11th International
Workshop, {SOFL+MSVL} 2022, Madrid, Spain, October 24, 2022, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13854},
pages = {79--92},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-29476-1\_7},
doi = {10.1007/978-3-031-29476-1\_7},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/LiCWZM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/LiL22,
author = {Yang Li and
Shaoying Liu},
editor = {Shaoying Liu and
Zhenhua Duan and
Ai Liu},
title = {Testing and Verifying the Security of {COVID-19} {CT} Images Deep
Learning System with Adversarial Attack},
booktitle = {Structured Object-Oriented Formal Language and Method - 11th International
Workshop, {SOFL+MSVL} 2022, Madrid, Spain, October 24, 2022, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13854},
pages = {119--125},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-29476-1\_10},
doi = {10.1007/978-3-031-29476-1\_10},
timestamp = {Fri, 31 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/LiL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/LiuLLFX22,
author = {Haiyi Liu and
Shaoying Liu and
Ai Liu and
Dingbang Fang and
Guangquan Xu},
editor = {Shaoying Liu and
Zhenhua Duan and
Ai Liu},
title = {Verifying and Improving Neural Networks Using Testing-Based Formal
Verification},
booktitle = {Structured Object-Oriented Formal Language and Method - 11th International
Workshop, {SOFL+MSVL} 2022, Madrid, Spain, October 24, 2022, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13854},
pages = {126--141},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-29476-1\_11},
doi = {10.1007/978-3-031-29476-1\_11},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/LiuLLFX22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/LiuXWW22,
author = {Jin Liu and
Yeqiu Xiao and
Haiyang Wang and
Wensheng Wang},
editor = {Shaoying Liu and
Zhenhua Duan and
Ai Liu},
title = {Extending Visibly Pushdown Automata over Multi-matching Nested Relations},
booktitle = {Structured Object-Oriented Formal Language and Method - 11th International
Workshop, {SOFL+MSVL} 2022, Madrid, Spain, October 24, 2022, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13854},
pages = {59--69},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-29476-1\_5},
doi = {10.1007/978-3-031-29476-1\_5},
timestamp = {Fri, 31 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/LiuXWW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/MiaoLC22,
author = {Ruixuan Miao and
Xu Lu and
Jin Cui},
editor = {Shaoying Liu and
Zhenhua Duan and
Ai Liu},
title = {An Approach of Transforming Non-Markovian Reward to Markovian Reward},
booktitle = {Structured Object-Oriented Formal Language and Method - 11th International
Workshop, {SOFL+MSVL} 2022, Madrid, Spain, October 24, 2022, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13854},
pages = {12--29},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-29476-1\_2},
doi = {10.1007/978-3-031-29476-1\_2},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/MiaoLC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/RaoLL22,
author = {Lei Rao and
Shaoying Liu and
Ai Liu},
editor = {Shaoying Liu and
Zhenhua Duan and
Ai Liu},
title = {Testing Program Segments to Detect Runtime Exceptions in Java},
booktitle = {Structured Object-Oriented Formal Language and Method - 11th International
Workshop, {SOFL+MSVL} 2022, Madrid, Spain, October 24, 2022, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13854},
pages = {93--105},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-29476-1\_8},
doi = {10.1007/978-3-031-29476-1\_8},
timestamp = {Sun, 16 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/RaoLL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/ShuLG22,
author = {Xinfeng Shu and
YanLin Li and
Weiran Gao},
editor = {Shaoying Liu and
Zhenhua Duan and
Ai Liu},
title = {A {JPSL} Based Model Checking Approach for Java Programs},
booktitle = {Structured Object-Oriented Formal Language and Method - 11th International
Workshop, {SOFL+MSVL} 2022, Madrid, Spain, October 24, 2022, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13854},
pages = {30--49},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-29476-1\_3},
doi = {10.1007/978-3-031-29476-1\_3},
timestamp = {Fri, 31 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/ShuLG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/WangLL22,
author = {Haiyang Wang and
Jin Liu and
Jing Liu},
editor = {Shaoying Liu and
Zhenhua Duan and
Ai Liu},
title = {Alternating Projection Temporal Epistemic Logic},
booktitle = {Structured Object-Oriented Formal Language and Method - 11th International
Workshop, {SOFL+MSVL} 2022, Madrid, Spain, October 24, 2022, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13854},
pages = {142--149},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-29476-1\_12},
doi = {10.1007/978-3-031-29476-1\_12},
timestamp = {Fri, 31 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/WangLL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/YouYXHHC22,
author = {Zhen You and
Xinwu Yi and
Jinyun Xue and
Hongwen Hu and
Jiewen Huang and
Zhuo Cheng},
editor = {Shaoying Liu and
Zhenhua Duan and
Ai Liu},
title = {Formal Derivation and Verification of Critical Path Algorithm for
Directed Acyclic Graph},
booktitle = {Structured Object-Oriented Formal Language and Method - 11th International
Workshop, {SOFL+MSVL} 2022, Madrid, Spain, October 24, 2022, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13854},
pages = {3--11},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-29476-1\_1},
doi = {10.1007/978-3-031-29476-1\_1},
timestamp = {Fri, 31 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/YouYXHHC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sofl/2020,
editor = {Jinyun Xue and
Fumiko Nagoya and
Shaoying Liu and
Zhenhua Duan},
title = {Structured Object-Oriented Formal Language and Method - 10th International
Workshop, {SOFL+MSVL} 2020, Singapore, March 1, 2021, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {12723},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-77474-5},
doi = {10.1007/978-3-030-77474-5},
isbn = {978-3-030-77473-8},
timestamp = {Mon, 14 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/CuiZ20,
author = {Jin Cui and
Lianxiang Zhu},
editor = {Jinyun Xue and
Fumiko Nagoya and
Shaoying Liu and
Zhenhua Duan},
title = {Model Checking Multi-interruption Concurrent Programs with {TMSVL}},
booktitle = {Structured Object-Oriented Formal Language and Method - 10th International
Workshop, {SOFL+MSVL} 2020, Singapore, March 1, 2021, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {12723},
pages = {79--87},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-77474-5\_6},
doi = {10.1007/978-3-030-77474-5\_6},
timestamp = {Mon, 14 Jun 2021 09:29:38 +0200},
biburl = {https://dblp.org/rec/conf/sofl/CuiZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/EmekaHL20,
author = {Busalire Onesmus Emeka and
Soichiro Hidaka and
Shaoying Liu},
editor = {Jinyun Xue and
Fumiko Nagoya and
Shaoying Liu and
Zhenhua Duan},
title = {A Formal Approach to Secure Design of RESTful Web APIs Using {SOFL}},
booktitle = {Structured Object-Oriented Formal Language and Method - 10th International
Workshop, {SOFL+MSVL} 2020, Singapore, March 1, 2021, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {12723},
pages = {105--125},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-77474-5\_8},
doi = {10.1007/978-3-030-77474-5\_8},
timestamp = {Mon, 14 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/EmekaHL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/HuangXYZ20,
author = {Jiewen Huang and
Jinyun Xue and
Zhen You and
Zhehong Zhou},
editor = {Jinyun Xue and
Fumiko Nagoya and
Shaoying Liu and
Zhenhua Duan},
title = {Design and Implementation of Virtual Reality Geometric Modeling in
Apla\({}^{\mbox{+VR}}\)},
booktitle = {Structured Object-Oriented Formal Language and Method - 10th International
Workshop, {SOFL+MSVL} 2020, Singapore, March 1, 2021, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {12723},
pages = {54--65},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-77474-5\_4},
doi = {10.1007/978-3-030-77474-5\_4},
timestamp = {Mon, 14 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/HuangXYZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/LuY20,
author = {Xu Lu and
Bin Yu},
editor = {Jinyun Xue and
Fumiko Nagoya and
Shaoying Liu and
Zhenhua Duan},
title = {Pointer Program Synthesis as Non-deterministic Planning},
booktitle = {Structured Object-Oriented Formal Language and Method - 10th International
Workshop, {SOFL+MSVL} 2020, Singapore, March 1, 2021, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {12723},
pages = {126--141},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-77474-5\_9},
doi = {10.1007/978-3-030-77474-5\_9},
timestamp = {Sun, 08 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofl/LuY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/Nagoya20,
author = {Fumiko Nagoya},
editor = {Jinyun Xue and
Fumiko Nagoya and
Shaoying Liu and
Zhenhua Duan},
title = {A Case Study on Combining Agile Requirements Development and {SOFL}},
booktitle = {Structured Object-Oriented Formal Language and Method - 10th International
Workshop, {SOFL+MSVL} 2020, Singapore, March 1, 2021, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {12723},
pages = {23--33},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-77474-5\_2},
doi = {10.1007/978-3-030-77474-5\_2},
timestamp = {Mon, 14 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/Nagoya20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/Nakajima20,
author = {Shin Nakajima},
editor = {Jinyun Xue and
Fumiko Nagoya and
Shaoying Liu and
Zhenhua Duan},
title = {Software Testing with Statistical Partial Oracles - Application to
Neural Networks Software -},
booktitle = {Structured Object-Oriented Formal Language and Method - 10th International
Workshop, {SOFL+MSVL} 2020, Singapore, March 1, 2021, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {12723},
pages = {175--192},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-77474-5\_12},
doi = {10.1007/978-3-030-77474-5\_12},
timestamp = {Fri, 18 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/Nakajima20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/ShuWGWZ20,
author = {Xinfeng Shu and
Zhenyu Wang and
Weiran Gao and
Xiaobing Wang and
Liang Zhao},
editor = {Jinyun Xue and
Fumiko Nagoya and
Shaoying Liu and
Zhenhua Duan},
title = {An {MSVL} Based Model Checking Method for Multi-threaded {C} Programs},
booktitle = {Structured Object-Oriented Formal Language and Method - 10th International
Workshop, {SOFL+MSVL} 2020, Singapore, March 1, 2021, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {12723},
pages = {88--101},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-77474-5\_7},
doi = {10.1007/978-3-030-77474-5\_7},
timestamp = {Wed, 08 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofl/ShuWGWZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/Wang20,
author = {Haiyang Wang},
editor = {Jinyun Xue and
Fumiko Nagoya and
Shaoying Liu and
Zhenhua Duan},
title = {An Unified Model Checking Approach of {APTL}},
booktitle = {Structured Object-Oriented Formal Language and Method - 10th International
Workshop, {SOFL+MSVL} 2020, Singapore, March 1, 2021, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {12723},
pages = {69--78},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-77474-5\_5},
doi = {10.1007/978-3-030-77474-5\_5},
timestamp = {Mon, 14 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/Wang20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/WangL20,
author = {Meng Wang and
Shushan Li},
editor = {Jinyun Xue and
Fumiko Nagoya and
Shaoying Liu and
Zhenhua Duan},
title = {Formalizing Spark Applications with {MSVL}},
booktitle = {Structured Object-Oriented Formal Language and Method - 10th International
Workshop, {SOFL+MSVL} 2020, Singapore, March 1, 2021, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {12723},
pages = {193--204},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-77474-5\_13},
doi = {10.1007/978-3-030-77474-5\_13},
timestamp = {Mon, 14 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/WangL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/WangLLZS20,
author = {Xiaobing Wang and
Ge Li and
Chunyi Li and
Liang Zhao and
Xinfeng Shu},
editor = {Jinyun Xue and
Fumiko Nagoya and
Shaoying Liu and
Zhenhua Duan},
title = {Automatic Generation of Specification from Natural Language Based
on Temporal Logic},
booktitle = {Structured Object-Oriented Formal Language and Method - 10th International
Workshop, {SOFL+MSVL} 2020, Singapore, March 1, 2021, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {12723},
pages = {154--171},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-77474-5\_11},
doi = {10.1007/978-3-030-77474-5\_11},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/WangLLZS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/WangMJ20,
author = {Jingzi Wang and
Hongyan Mao and
Ningkang Jiang},
editor = {Jinyun Xue and
Fumiko Nagoya and
Shaoying Liu and
Zhenhua Duan},
title = {Formal Modeling and Verification of Microservice-Based Cyber-Physical
System},
booktitle = {Structured Object-Oriented Formal Language and Method - 10th International
Workshop, {SOFL+MSVL} 2020, Singapore, March 1, 2021, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {12723},
pages = {34--53},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-77474-5\_3},
doi = {10.1007/978-3-030-77474-5\_3},
timestamp = {Mon, 14 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/WangMJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/YuLCLW20,
author = {Bin Yu and
Xu Lu and
Hao Chen and
Ming Lei and
Xiaobing Wang},
editor = {Jinyun Xue and
Fumiko Nagoya and
Shaoying Liu and
Zhenhua Duan},
title = {Runtime Verification of Ethereum Smart Contracts Based on {MSVL}},
booktitle = {Structured Object-Oriented Formal Language and Method - 10th International
Workshop, {SOFL+MSVL} 2020, Singapore, March 1, 2021, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {12723},
pages = {142--153},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-77474-5\_10},
doi = {10.1007/978-3-030-77474-5\_10},
timestamp = {Mon, 18 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/YuLCLW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/ZhaoFWS20,
author = {Liang Zhao and
Zhe Feng and
Xiaobing Wang and
Xinfeng Shu},
editor = {Jinyun Xue and
Fumiko Nagoya and
Shaoying Liu and
Zhenhua Duan},
title = {An MSVL-Based Modeling Framework for Back Propagation Neural Networks},
booktitle = {Structured Object-Oriented Formal Language and Method - 10th International
Workshop, {SOFL+MSVL} 2020, Singapore, March 1, 2021, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {12723},
pages = {3--22},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-77474-5\_1},
doi = {10.1007/978-3-030-77474-5\_1},
timestamp = {Wed, 08 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofl/ZhaoFWS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sofl/2019,
editor = {Huaikou Miao and
Cong Tian and
Shaoying Liu and
Zhenhua Duan},
title = {Structured Object-Oriented Formal Language and Method - 9th International
Workshop, {SOFL+MSVL} 2019, Shenzhen, China, November 5, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12028},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-41418-4},
doi = {10.1007/978-3-030-41418-4},
isbn = {978-3-030-41417-7},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofl/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/AliSZ19,
author = {Shahbaz Ali and
Hailong Sun and
Yongwang Zhao},
editor = {Huaikou Miao and
Cong Tian and
Shaoying Liu and
Zhenhua Duan},
title = {Combining Model Learning and Model Checking to Analyze Java Libraries},
booktitle = {Structured Object-Oriented Formal Language and Method - 9th International
Workshop, {SOFL+MSVL} 2019, Shenzhen, China, November 5, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12028},
pages = {259--278},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-41418-4\_18},
doi = {10.1007/978-3-030-41418-4\_18},
timestamp = {Fri, 21 Feb 2020 09:24:56 +0100},
biburl = {https://dblp.org/rec/conf/sofl/AliSZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/ChenGHX19,
author = {Yuntianyi Chen and
Yongfeng Gu and
Lulu He and
Jifeng Xuan},
editor = {Huaikou Miao and
Cong Tian and
Shaoying Liu and
Zhenhua Duan},
title = {Regression Models for Performance Ranking of Configurable Systems:
{A} Comparative Study},
booktitle = {Structured Object-Oriented Formal Language and Method - 9th International
Workshop, {SOFL+MSVL} 2019, Shenzhen, China, November 5, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12028},
pages = {243--258},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-41418-4\_17},
doi = {10.1007/978-3-030-41418-4\_17},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/ChenGHX19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/CuiLL19,
author = {Jin Cui and
Xu Lu and
Buwen Liang},
editor = {Huaikou Miao and
Cong Tian and
Shaoying Liu and
Zhenhua Duan},
title = {An Approach to Modeling and Verifying Multi-level Interrupt Systems
with {TMSVL}},
booktitle = {Structured Object-Oriented Formal Language and Method - 9th International
Workshop, {SOFL+MSVL} 2019, Shenzhen, China, November 5, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12028},
pages = {61--72},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-41418-4\_5},
doi = {10.1007/978-3-030-41418-4\_5},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/CuiLL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/DoO19,
author = {Canh Minh Do and
Kazuhiro Ogata},
editor = {Huaikou Miao and
Cong Tian and
Shaoying Liu and
Zhenhua Duan},
title = {A Divide {\&} Conquer Approach to Testing Concurrent Java Programs
with {JPF} and Maude},
booktitle = {Structured Object-Oriented Formal Language and Method - 9th International
Workshop, {SOFL+MSVL} 2019, Shenzhen, China, November 5, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12028},
pages = {42--58},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-41418-4\_4},
doi = {10.1007/978-3-030-41418-4\_4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/DoO19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/DuJDHS19,
author = {Keke Du and
Mingyue Jiang and
Zuohua Ding and
Hongyun Huang and
Ting Shu},
editor = {Huaikou Miao and
Cong Tian and
Shaoying Liu and
Zhenhua Duan},
title = {Metamorphic Testing in Fault Localization of Model Transformations},
booktitle = {Structured Object-Oriented Formal Language and Method - 9th International
Workshop, {SOFL+MSVL} 2019, Shenzhen, China, November 5, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12028},
pages = {299--314},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-41418-4\_20},
doi = {10.1007/978-3-030-41418-4\_20},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofl/DuJDHS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/EmekaL19,
author = {Busalire Onesmus Emeka and
Shaoying Liu},
editor = {Huaikou Miao and
Cong Tian and
Shaoying Liu and
Zhenhua Duan},
title = {A Formal Technique for Concurrent Generation of Software's Functional
and Security Requirements in {SOFL} Specifications},
booktitle = {Structured Object-Oriented Formal Language and Method - 9th International
Workshop, {SOFL+MSVL} 2019, Shenzhen, China, November 5, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12028},
pages = {13--28},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-41418-4\_2},
doi = {10.1007/978-3-030-41418-4\_2},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofl/EmekaL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/HuXYCZ19,
author = {Qimin Hu and
Jinyun Xue and
Zhen You and
Zhuo Cheng and
Zhengkang Zuo},
editor = {Huaikou Miao and
Cong Tian and
Shaoying Liu and
Zhenhua Duan},
title = {Formal Development and Verification of Reusable Component in {PAR}
Platform},
booktitle = {Structured Object-Oriented Formal Language and Method - 9th International
Workshop, {SOFL+MSVL} 2019, Shenzhen, China, November 5, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12028},
pages = {155--166},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-41418-4\_12},
doi = {10.1007/978-3-030-41418-4\_12},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofl/HuXYCZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/KhanWSL19,
author = {Muhammad Jahanzeb Khan and
Ruoyu Wang and
Daniel Sun and
Guoqiang Li},
editor = {Huaikou Miao and
Cong Tian and
Shaoying Liu and
Zhenhua Duan},
title = {Data Provenance Based System for Classification and Linear Regression
in Distributed Machine Learning},
booktitle = {Structured Object-Oriented Formal Language and Method - 9th International
Workshop, {SOFL+MSVL} 2019, Shenzhen, China, November 5, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12028},
pages = {279--295},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-41418-4\_19},
doi = {10.1007/978-3-030-41418-4\_19},
timestamp = {Tue, 27 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/KhanWSL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/LuCDWMLF19,
author = {Xu Lu and
Jin Cui and
Yansong Dong and
Wensheng Wang and
Runzhe Ma and
Yifeng Li and
Qing Feng},
editor = {Huaikou Miao and
Cong Tian and
Shaoying Liu and
Zhenhua Duan},
title = {A Forward Chaining Heuristic Search with Spatio-Temporal Control Knowledge},
booktitle = {Structured Object-Oriented Formal Language and Method - 9th International
Workshop, {SOFL+MSVL} 2019, Shenzhen, China, November 5, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12028},
pages = {141--154},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-41418-4\_11},
doi = {10.1007/978-3-030-41418-4\_11},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/LuCDWMLF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/MaoQCC19,
author = {Chengying Mao and
Mengting Quan and
Zhilei Chen and
Tsong Yueh Chen},
editor = {Huaikou Miao and
Cong Tian and
Shaoying Liu and
Zhenhua Duan},
title = {Adaptive Random Testing by Bisection and Comprehensive Distance},
booktitle = {Structured Object-Oriented Formal Language and Method - 9th International
Workshop, {SOFL+MSVL} 2019, Shenzhen, China, November 5, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12028},
pages = {328--344},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-41418-4\_22},
doi = {10.1007/978-3-030-41418-4\_22},
timestamp = {Tue, 03 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofl/MaoQCC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/MuramotoOS19,
author = {Eiichi Muramoto and
Kazuhiro Ogata and
Yoichi Shinoda},
editor = {Huaikou Miao and
Cong Tian and
Shaoying Liu and
Zhenhua Duan},
title = {Formal Specification and Model Checking of a Ride-sharing System in
Maude},
booktitle = {Structured Object-Oriented Formal Language and Method - 9th International
Workshop, {SOFL+MSVL} 2019, Shenzhen, China, November 5, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12028},
pages = {187--204},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-41418-4\_14},
doi = {10.1007/978-3-030-41418-4\_14},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofl/MuramotoOS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/Nakajima19,
author = {Shin Nakajima},
editor = {Huaikou Miao and
Cong Tian and
Shaoying Liu and
Zhenhua Duan},
title = {Distortion and Faults in Machine Learning Software},
booktitle = {Structured Object-Oriented Formal Language and Method - 9th International
Workshop, {SOFL+MSVL} 2019, Shenzhen, China, November 5, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12028},
pages = {29--41},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-41418-4\_3},
doi = {10.1007/978-3-030-41418-4\_3},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofl/Nakajima19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/PanLO19,
author = {Guoteng Pan and
Mengjun Li and
Guodong Ou},
editor = {Huaikou Miao and
Cong Tian and
Shaoying Liu and
Zhenhua Duan},
title = {Solving Constraint Optimization Problems Based on Mathematica and
Abstraction},
booktitle = {Structured Object-Oriented Formal Language and Method - 9th International
Workshop, {SOFL+MSVL} 2019, Shenzhen, China, November 5, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12028},
pages = {123--140},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-41418-4\_10},
doi = {10.1007/978-3-030-41418-4\_10},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofl/PanLO19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/PanSXDJ19,
author = {Baoyi Pan and
Ting Shu and
Jinsong Xia and
Zuohua Ding and
Mingyue Jiang},
editor = {Huaikou Miao and
Cong Tian and
Shaoying Liu and
Zhenhua Duan},
title = {A Fault Localization Method Based on Dynamic Failed Execution Blocks},
booktitle = {Structured Object-Oriented Formal Language and Method - 9th International
Workshop, {SOFL+MSVL} 2019, Shenzhen, China, November 5, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12028},
pages = {315--327},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-41418-4\_21},
doi = {10.1007/978-3-030-41418-4\_21},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofl/PanSXDJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/QinLT19,
author = {Xu Qin and
Shaoying Liu and
Tao Zhang},
editor = {Huaikou Miao and
Cong Tian and
Shaoying Liu and
Zhenhua Duan},
title = {A New Mutant Generation Algorithm Based on Basic Path Coverage for
Mutant Reduction},
booktitle = {Structured Object-Oriented Formal Language and Method - 9th International
Workshop, {SOFL+MSVL} 2019, Shenzhen, China, November 5, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12028},
pages = {167--186},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-41418-4\_13},
doi = {10.1007/978-3-030-41418-4\_13},
timestamp = {Sun, 23 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/QinLT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/ShuGGZWZ19,
author = {Xinfeng Shu and
Fengyun Gao and
Weiran Gao and
Lili Zhang and
Xiaobing Wang and
Liang Zhao},
editor = {Huaikou Miao and
Cong Tian and
Shaoying Liu and
Zhenhua Duan},
title = {Model Checking Python Programs with {MSVL}},
booktitle = {Structured Object-Oriented Formal Language and Method - 9th International
Workshop, {SOFL+MSVL} 2019, Shenzhen, China, November 5, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12028},
pages = {205--224},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-41418-4\_15},
doi = {10.1007/978-3-030-41418-4\_15},
timestamp = {Wed, 08 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofl/ShuGGZWZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/WangCL19,
author = {Lei Wang and
Guoxiong Chen and
Liang Li},
editor = {Huaikou Miao and
Cong Tian and
Shaoying Liu and
Zhenhua Duan},
title = {Prediction of Function Removal Propagation in Linux Evolution},
booktitle = {Structured Object-Oriented Formal Language and Method - 9th International
Workshop, {SOFL+MSVL} 2019, Shenzhen, China, November 5, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12028},
pages = {227--242},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-41418-4\_16},
doi = {10.1007/978-3-030-41418-4\_16},
timestamp = {Wed, 29 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/WangCL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/WangL19,
author = {Haiyang Wang and
Yao Liu},
editor = {Huaikou Miao and
Cong Tian and
Shaoying Liu and
Zhenhua Duan},
title = {A Planning Approach Based on {APTL}},
booktitle = {Structured Object-Oriented Formal Language and Method - 9th International
Workshop, {SOFL+MSVL} 2019, Shenzhen, China, November 5, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12028},
pages = {113--122},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-41418-4\_9},
doi = {10.1007/978-3-030-41418-4\_9},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofl/WangL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/WangTZ19,
author = {Meng Wang and
Junfeng Tian and
Hong Zhang},
editor = {Huaikou Miao and
Cong Tian and
Shaoying Liu and
Zhenhua Duan},
title = {{UMC4M:} {A} Verification Tool via Program Execution},
booktitle = {Structured Object-Oriented Formal Language and Method - 9th International
Workshop, {SOFL+MSVL} 2019, Shenzhen, China, November 5, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12028},
pages = {88--98},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-41418-4\_7},
doi = {10.1007/978-3-030-41418-4\_7},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofl/WangTZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/WangYWZS19,
author = {Xiaobing Wang and
Kun Yang and
Yanmei Wang and
Liang Zhao and
Xinfeng Shu},
editor = {Huaikou Miao and
Cong Tian and
Shaoying Liu and
Zhenhua Duan},
title = {Towards Formal Verification of Neural Networks: {A} Temporal Logic
Based Framework},
booktitle = {Structured Object-Oriented Formal Language and Method - 9th International
Workshop, {SOFL+MSVL} 2019, Shenzhen, China, November 5, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12028},
pages = {73--87},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-41418-4\_6},
doi = {10.1007/978-3-030-41418-4\_6},
timestamp = {Wed, 08 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofl/WangYWZS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/WenW19,
author = {Yanjun Wen and
Ji Wang},
editor = {Huaikou Miao and
Cong Tian and
Shaoying Liu and
Zhenhua Duan},
title = {Analysis and Remodeling of the DirtyCOW Vulnerability by Debugging
and Abstraction},
booktitle = {Structured Object-Oriented Formal Language and Method - 9th International
Workshop, {SOFL+MSVL} 2019, Shenzhen, China, November 5, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12028},
pages = {3--12},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-41418-4\_1},
doi = {10.1007/978-3-030-41418-4\_1},
timestamp = {Mon, 13 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/WenW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/YuLLYC19,
author = {Bin Yu and
Jinhui Liu and
Ming Lei and
Yong Yu and
Hao Chen},
editor = {Huaikou Miao and
Cong Tian and
Shaoying Liu and
Zhenhua Duan},
title = {Parallel Runtime Verification Approach for Alternate Execution of
Multiple Threads},
booktitle = {Structured Object-Oriented Formal Language and Method - 9th International
Workshop, {SOFL+MSVL} 2019, Shenzhen, China, November 5, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12028},
pages = {99--109},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-41418-4\_8},
doi = {10.1007/978-3-030-41418-4\_8},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/YuLLYC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/ZhaoDCW19,
author = {Jing Zhao and
Tianran Dong and
Yang Cheng and
Yanbin Wang},
editor = {Huaikou Miao and
Cong Tian and
Shaoying Liu and
Zhenhua Duan},
title = {{CMM:} {A} Combination-Based Mutation Method for {SQL} Injection},
booktitle = {Structured Object-Oriented Formal Language and Method - 9th International
Workshop, {SOFL+MSVL} 2019, Shenzhen, China, November 5, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12028},
pages = {345--361},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-41418-4\_23},
doi = {10.1007/978-3-030-41418-4\_23},
timestamp = {Wed, 12 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/ZhaoDCW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sofl/2018,
editor = {Zhenhua Duan and
Shaoying Liu and
Cong Tian and
Fumiko Nagoya},
title = {Structured Object-Oriented Formal Language and Method - 8th International
Workshop, {SOFL+MSVL} 2018, Gold Coast, QLD, Australia, November 16,
2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11392},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-13651-2},
doi = {10.1007/978-3-030-13651-2},
isbn = {978-3-030-13650-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/Bai18,
author = {Chong Bai},
editor = {Zhenhua Duan and
Shaoying Liu and
Cong Tian and
Fumiko Nagoya},
title = {State-of-the-Art and Future Trends of Blockchain Based on {DAG} Structure},
booktitle = {Structured Object-Oriented Formal Language and Method - 8th International
Workshop, {SOFL+MSVL} 2018, Gold Coast, QLD, Australia, November 16,
2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11392},
pages = {183--196},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-13651-2\_11},
doi = {10.1007/978-3-030-13651-2\_11},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/sofl/Bai18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/BergG18,
author = {Johan van der Berg and
Stefan Gruner},
editor = {Zhenhua Duan and
Shaoying Liu and
Cong Tian and
Fumiko Nagoya},
title = {Formal Semantics and Tool Support for a Syntactically Restricted Dialect
of {SOFL}},
booktitle = {Structured Object-Oriented Formal Language and Method - 8th International
Workshop, {SOFL+MSVL} 2018, Gold Coast, QLD, Australia, November 16,
2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11392},
pages = {125--145},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-13651-2\_8},
doi = {10.1007/978-3-030-13651-2\_8},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/BergG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/DuM18,
author = {Zhoujie Du and
Huaikou Miao},
editor = {Zhenhua Duan and
Shaoying Liu and
Cong Tian and
Fumiko Nagoya},
title = {Research Review on Web Service Composition Testing},
booktitle = {Structured Object-Oriented Formal Language and Method - 8th International
Workshop, {SOFL+MSVL} 2018, Gold Coast, QLD, Australia, November 16,
2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11392},
pages = {39--51},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-13651-2\_3},
doi = {10.1007/978-3-030-13651-2\_3},
timestamp = {Mon, 11 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofl/DuM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/Liu18,
author = {Shaoying Liu},
editor = {Zhenhua Duan and
Shaoying Liu and
Cong Tian and
Fumiko Nagoya},
title = {Software Construction Monitoring and Predicting for Human-Machine
Pair Programming},
booktitle = {Structured Object-Oriented Formal Language and Method - 8th International
Workshop, {SOFL+MSVL} 2018, Gold Coast, QLD, Australia, November 16,
2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11392},
pages = {3--20},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-13651-2\_1},
doi = {10.1007/978-3-030-13651-2\_1},
timestamp = {Mon, 11 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofl/Liu18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/LiuWLS18,
author = {Ai Liu and
Shun Wang and
Yi Li and
Meng Sun},
editor = {Zhenhua Duan and
Shaoying Liu and
Cong Tian and
Fumiko Nagoya},
title = {On Semantics for Mediator: {A} Coalgebraic Perspective},
booktitle = {Structured Object-Oriented Formal Language and Method - 8th International
Workshop, {SOFL+MSVL} 2018, Gold Coast, QLD, Australia, November 16,
2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11392},
pages = {146--165},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-13651-2\_9},
doi = {10.1007/978-3-030-13651-2\_9},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/LiuWLS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/Nakajima18,
author = {Shin Nakajima},
editor = {Zhenhua Duan and
Shaoying Liu and
Cong Tian and
Fumiko Nagoya},
title = {Dataset Diversity for Metamorphic Testing of Machine Learning Software},
booktitle = {Structured Object-Oriented Formal Language and Method - 8th International
Workshop, {SOFL+MSVL} 2018, Gold Coast, QLD, Australia, November 16,
2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11392},
pages = {21--38},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-13651-2\_2},
doi = {10.1007/978-3-030-13651-2\_2},
timestamp = {Mon, 01 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/Nakajima18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/ShuLWWZ18,
author = {Xinfeng Shu and
Na Luo and
Bo Wang and
Xiaobing Wang and
Liang Zhao},
editor = {Zhenhua Duan and
Shaoying Liu and
Cong Tian and
Fumiko Nagoya},
title = {Model Checking Java Programs with {MSVL}},
booktitle = {Structured Object-Oriented Formal Language and Method - 8th International
Workshop, {SOFL+MSVL} 2018, Gold Coast, QLD, Australia, November 16,
2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11392},
pages = {89--107},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-13651-2\_6},
doi = {10.1007/978-3-030-13651-2\_6},
timestamp = {Wed, 08 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofl/ShuLWWZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/TuDT0W18,
author = {Jingyao Tu and
Zhenhua Duan and
Cong Tian and
Nan Zhang and
Ying Wu},
editor = {Zhenhua Duan and
Shaoying Liu and
Cong Tian and
Fumiko Nagoya},
title = {A Blockchain Implementation of an Attendance Management System},
booktitle = {Structured Object-Oriented Formal Language and Method - 8th International
Workshop, {SOFL+MSVL} 2018, Gold Coast, QLD, Australia, November 16,
2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11392},
pages = {169--182},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-13651-2\_10},
doi = {10.1007/978-3-030-13651-2\_10},
timestamp = {Mon, 11 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofl/TuDT0W18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/WangGZS18,
author = {Xiaobing Wang and
Wenxuan Guo and
Liang Zhao and
Xinfeng Shu},
editor = {Zhenhua Duan and
Shaoying Liu and
Cong Tian and
Fumiko Nagoya},
title = {Runtime Verification Method for Social Network Security Based on Source
Code Instrumentation},
booktitle = {Structured Object-Oriented Formal Language and Method - 8th International
Workshop, {SOFL+MSVL} 2018, Gold Coast, QLD, Australia, November 16,
2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11392},
pages = {55--70},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-13651-2\_4},
doi = {10.1007/978-3-030-13651-2\_4},
timestamp = {Wed, 08 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofl/WangGZS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/YinLC18,
author = {Yufei Yin and
Shaoying Liu and
Yixiang Chen},
editor = {Zhenhua Duan and
Shaoying Liu and
Cong Tian and
Fumiko Nagoya},
title = {Verification of SysML Activity Diagrams Using Hoare Logic and {SOFL}},
booktitle = {Structured Object-Oriented Formal Language and Method - 8th International
Workshop, {SOFL+MSVL} 2018, Gold Coast, QLD, Australia, November 16,
2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11392},
pages = {71--88},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-13651-2\_5},
doi = {10.1007/978-3-030-13651-2\_5},
timestamp = {Mon, 11 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofl/YinLC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/YouCXHX18,
author = {Zhen You and
Zhuo Cheng and
Jinyun Xue and
Qimin Hu and
Wuping Xie},
editor = {Zhenhua Duan and
Shaoying Liu and
Cong Tian and
Fumiko Nagoya},
title = {Formal Specification and Verification for Real-Time Scheduling Based
on {PAR}},
booktitle = {Structured Object-Oriented Formal Language and Method - 8th International
Workshop, {SOFL+MSVL} 2018, Gold Coast, QLD, Australia, November 16,
2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11392},
pages = {108--122},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-13651-2\_7},
doi = {10.1007/978-3-030-13651-2\_7},
timestamp = {Mon, 11 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofl/YouCXHX18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sofl/2017,
editor = {Cong Tian and
Fumiko Nagoya and
Shaoying Liu and
Zhenhua Duan},
title = {Structured Object-Oriented Formal Language and Method - 7th International
Workshop, {SOFL+MSVL} 2017, Xi'an, China, November 16, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10795},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-90104-6},
doi = {10.1007/978-3-319-90104-6},
isbn = {978-3-319-90103-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/DaudierBO17,
author = {Dorian Daudier and
Trinh Ngoc Quoc Bao and
Kazuhiro Ogata},
editor = {Cong Tian and
Fumiko Nagoya and
Shaoying Liu and
Zhenhua Duan},
title = {A Proof Score Approach to Formal Verification of an Imperative Programming
Language Compiler},
booktitle = {Structured Object-Oriented Formal Language and Method - 7th International
Workshop, {SOFL+MSVL} 2017, Xi'an, China, November 16, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10795},
pages = {200--217},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-90104-6\_13},
doi = {10.1007/978-3-319-90104-6\_13},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/sofl/DaudierBO17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/JiangLT17,
author = {Zhouxian Jiang and
Honghui Li and
Xuetao Tian},
editor = {Cong Tian and
Fumiko Nagoya and
Shaoying Liu and
Zhenhua Duan},
title = {An Improved Reliability Testing Model Based on {SOFL}},
booktitle = {Structured Object-Oriented Formal Language and Method - 7th International
Workshop, {SOFL+MSVL} 2017, Xi'an, China, November 16, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10795},
pages = {123--132},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-90104-6\_8},
doi = {10.1007/978-3-319-90104-6\_8},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/JiangLT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/LiL17,
author = {Siyuan Li and
Shaoying Liu},
editor = {Cong Tian and
Fumiko Nagoya and
Shaoying Liu and
Zhenhua Duan},
title = {A Software Tool to Support Scenario-Based Formal Specification for
Error Prevention},
booktitle = {Structured Object-Oriented Formal Language and Method - 7th International
Workshop, {SOFL+MSVL} 2017, Xi'an, China, November 16, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10795},
pages = {187--199},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-90104-6\_12},
doi = {10.1007/978-3-319-90104-6\_12},
timestamp = {Mon, 23 Apr 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/LiL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/LinNP17,
author = {Chin{-}Fu Lin and
Ondrej Navr{\'{a}}til and
Sheng{-}Lung Peng},
editor = {Cong Tian and
Fumiko Nagoya and
Shaoying Liu and
Zhenhua Duan},
title = {On the Cooperative Graph Searching Problem},
booktitle = {Structured Object-Oriented Formal Language and Method - 7th International
Workshop, {SOFL+MSVL} 2017, Xi'an, China, November 16, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10795},
pages = {39--47},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-90104-6\_3},
doi = {10.1007/978-3-319-90104-6\_3},
timestamp = {Mon, 23 Apr 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/LinNP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/NagoyaL17,
author = {Fumiko Nagoya and
Shaoying Liu},
editor = {Cong Tian and
Fumiko Nagoya and
Shaoying Liu and
Zhenhua Duan},
title = {An Investigation of Integrating a GUI-Aided Approach and a Specification-Based
Testing},
booktitle = {Structured Object-Oriented Formal Language and Method - 7th International
Workshop, {SOFL+MSVL} 2017, Xi'an, China, November 16, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10795},
pages = {24--35},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-90104-6\_2},
doi = {10.1007/978-3-319-90104-6\_2},
timestamp = {Mon, 23 Apr 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/NagoyaL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/Nguyen017,
author = {Tam Thi Thanh Nguyen and
Kazuhiro Ogata},
editor = {Cong Tian and
Fumiko Nagoya and
Shaoying Liu and
Zhenhua Duan},
title = {Graphically Perceiving Characteristics of the {MCS} Lock and Model
Checking Them},
booktitle = {Structured Object-Oriented Formal Language and Method - 7th International
Workshop, {SOFL+MSVL} 2017, Xi'an, China, November 16, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10795},
pages = {3--23},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-90104-6\_1},
doi = {10.1007/978-3-319-90104-6\_1},
timestamp = {Sat, 05 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/Nguyen017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/ShenLLL17,
author = {Wuwei Shen and
Guangyuan Li and
Chung{-}Ling Lin and
Hongliang Liang},
editor = {Cong Tian and
Fumiko Nagoya and
Shaoying Liu and
Zhenhua Duan},
title = {Foundation of a Framework to Support Compliance Checking in Construction
Industry},
booktitle = {Structured Object-Oriented Formal Language and Method - 7th International
Workshop, {SOFL+MSVL} 2017, Xi'an, China, November 16, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10795},
pages = {111--122},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-90104-6\_7},
doi = {10.1007/978-3-319-90104-6\_7},
timestamp = {Mon, 23 Apr 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/ShenLLL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/ShuWW17,
author = {Xinfeng Shu and
Mengnan Wang and
Xiaobing Wang},
editor = {Cong Tian and
Fumiko Nagoya and
Shaoying Liu and
Zhenhua Duan},
title = {Extending {UML} for Model Checking},
booktitle = {Structured Object-Oriented Formal Language and Method - 7th International
Workshop, {SOFL+MSVL} 2017, Xi'an, China, November 16, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10795},
pages = {88--107},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-90104-6\_6},
doi = {10.1007/978-3-319-90104-6\_6},
timestamp = {Mon, 23 Apr 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/ShuWW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/Tao017,
author = {Xiuting Tao and
Guoqiang Li},
editor = {Cong Tian and
Fumiko Nagoya and
Shaoying Liu and
Zhenhua Duan},
title = {The Complexity of Linear-Time Temporal Logic Model Repair},
booktitle = {Structured Object-Oriented Formal Language and Method - 7th International
Workshop, {SOFL+MSVL} 2017, Xi'an, China, November 16, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10795},
pages = {69--87},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-90104-6\_5},
doi = {10.1007/978-3-319-90104-6\_5},
timestamp = {Mon, 23 Apr 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/Tao017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/WangRZS17,
author = {Xiaobing Wang and
Liyuan Ren and
Liang Zhao and
Xinfeng Shu},
editor = {Cong Tian and
Fumiko Nagoya and
Shaoying Liu and
Zhenhua Duan},
title = {A Framework Based on {MSVL} for Verifying Probabilistic Properties
in Social Networks},
booktitle = {Structured Object-Oriented Formal Language and Method - 7th International
Workshop, {SOFL+MSVL} 2017, Xi'an, China, November 16, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10795},
pages = {133--147},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-90104-6\_9},
doi = {10.1007/978-3-319-90104-6\_9},
timestamp = {Wed, 08 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofl/WangRZS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/ZhangCXL17,
author = {Haitao Zhang and
Zhuo Cheng and
Jianxin Xue and
Yonggang Lu},
editor = {Cong Tian and
Fumiko Nagoya and
Shaoying Liu and
Zhenhua Duan},
title = {Boosting Uppaal for {OSEK/VDX} Applications with a Sequentialization
Approach},
booktitle = {Structured Object-Oriented Formal Language and Method - 7th International
Workshop, {SOFL+MSVL} 2017, Xi'an, China, November 16, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10795},
pages = {51--68},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-90104-6\_4},
doi = {10.1007/978-3-319-90104-6\_4},
timestamp = {Mon, 23 Apr 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/ZhangCXL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/ZhangWDTC17,
author = {Nan Zhang and
Meng Wang and
Zhenhua Duan and
Cong Tian and
Jin Cui},
editor = {Cong Tian and
Fumiko Nagoya and
Shaoying Liu and
Zhenhua Duan},
title = {Implementing MapReduce with {MSVL}},
booktitle = {Structured Object-Oriented Formal Language and Method - 7th International
Workshop, {SOFL+MSVL} 2017, Xi'an, China, November 16, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10795},
pages = {148--167},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-90104-6\_10},
doi = {10.1007/978-3-319-90104-6\_10},
timestamp = {Thu, 27 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/ZhangWDTC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/ZhaoL17,
author = {Pan Zhao and
Shaoying Liu},
editor = {Cong Tian and
Fumiko Nagoya and
Shaoying Liu and
Zhenhua Duan},
title = {A Software Tool to Support the "Vibration" Method},
booktitle = {Structured Object-Oriented Formal Language and Method - 7th International
Workshop, {SOFL+MSVL} 2017, Xi'an, China, November 16, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10795},
pages = {171--186},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-90104-6\_11},
doi = {10.1007/978-3-319-90104-6\_11},
timestamp = {Mon, 23 Apr 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/ZhaoL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sofl/2016,
editor = {Shaoying Liu and
Zhenhua Duan and
Cong Tian and
Fumiko Nagoya},
title = {Structured Object-Oriented Formal Language and Method - 6th International
Workshop, {SOFL+MSVL} 2016, Tokyo, Japan, November 15, 2016, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10189},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-57708-1},
doi = {10.1007/978-3-319-57708-1},
isbn = {978-3-319-57707-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/DoanBO16,
author = {Ha Thi Thu Doan and
Fran{\c{c}}ois Bonnet and
Kazuhiro Ogata},
editor = {Shaoying Liu and
Zhenhua Duan and
Cong Tian and
Fumiko Nagoya},
title = {Model Checking of a Mobile Robots Perpetual Exploration Algorithm},
booktitle = {Structured Object-Oriented Formal Language and Method - 6th International
Workshop, {SOFL+MSVL} 2016, Tokyo, Japan, November 15, 2016, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10189},
pages = {201--219},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-57708-1\_12},
doi = {10.1007/978-3-319-57708-1\_12},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/sofl/DoanBO16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/HuXY16,
author = {Qimin Hu and
Jinyun Xue and
Zhen You},
editor = {Shaoying Liu and
Zhenhua Duan and
Cong Tian and
Fumiko Nagoya},
title = {Formal Development of Linear Structure Reusable Components in {PAR}
Platform},
booktitle = {Structured Object-Oriented Formal Language and Method - 6th International
Workshop, {SOFL+MSVL} 2016, Tokyo, Japan, November 15, 2016, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10189},
pages = {85--97},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-57708-1\_6},
doi = {10.1007/978-3-319-57708-1\_6},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/HuXY16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/LuoLWZ16,
author = {Juan Luo and
Shaoying Liu and
Yanqin Wang and
Tingliang Zhou},
editor = {Shaoying Liu and
Zhenhua Duan and
Cong Tian and
Fumiko Nagoya},
title = {Applying {SOFL} to a Railway Interlocking System in Industry},
booktitle = {Structured Object-Oriented Formal Language and Method - 6th International
Workshop, {SOFL+MSVL} 2016, Tokyo, Japan, November 15, 2016, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10189},
pages = {160--177},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-57708-1\_10},
doi = {10.1007/978-3-319-57708-1\_10},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/LuoLWZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/NagoyaL16,
author = {Fumiko Nagoya and
Shaoying Liu},
editor = {Shaoying Liu and
Zhenhua Duan and
Cong Tian and
Fumiko Nagoya},
title = {A Case Study of a GUI-Aided Approach to Constructing Formal Specifications},
booktitle = {Structured Object-Oriented Formal Language and Method - 6th International
Workshop, {SOFL+MSVL} 2016, Tokyo, Japan, November 15, 2016, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10189},
pages = {74--84},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-57708-1\_5},
doi = {10.1007/978-3-319-57708-1\_5},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/NagoyaL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/QianDZT16,
author = {Lin Qian and
Zhenhua Duan and
Nan Zhang and
Cong Tian},
editor = {Shaoying Liu and
Zhenhua Duan and
Cong Tian and
Fumiko Nagoya},
title = {A Proof System for {MSVL} Programs in Coq},
booktitle = {Structured Object-Oriented Formal Language and Method - 6th International
Workshop, {SOFL+MSVL} 2016, Tokyo, Japan, November 15, 2016, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10189},
pages = {121--143},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-57708-1\_8},
doi = {10.1007/978-3-319-57708-1\_8},
timestamp = {Tue, 29 Aug 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/QianDZT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/ShuLL16,
author = {Xinfeng Shu and
Chao Li and
Chang Liu},
editor = {Shaoying Liu and
Zhenhua Duan and
Cong Tian and
Fumiko Nagoya},
title = {A Visual Modeling Language for {MSVL}},
booktitle = {Structured Object-Oriented Formal Language and Method - 6th International
Workshop, {SOFL+MSVL} 2016, Tokyo, Japan, November 15, 2016, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10189},
pages = {220--237},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-57708-1\_13},
doi = {10.1007/978-3-319-57708-1\_13},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/ShuLL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/WangLZX16,
author = {Xiaobing Wang and
Dongmiao Liu and
Liang Zhao and
Yina Xue},
editor = {Shaoying Liu and
Zhenhua Duan and
Cong Tian and
Fumiko Nagoya},
title = {Runtime Verification Monitor Construction for Three-valued {PPTL}},
booktitle = {Structured Object-Oriented Formal Language and Method - 6th International
Workshop, {SOFL+MSVL} 2016, Tokyo, Japan, November 15, 2016, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10189},
pages = {144--159},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-57708-1\_9},
doi = {10.1007/978-3-319-57708-1\_9},
timestamp = {Wed, 08 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofl/WangLZX16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/WangMM16,
author = {Xi Wang and
Huaikou Miao and
Weikai Miao},
editor = {Shaoying Liu and
Zhenhua Duan and
Cong Tian and
Fumiko Nagoya},
title = {Automated Safety Analysis on Scenario-Based Requirements for Train
Control System},
booktitle = {Structured Object-Oriented Formal Language and Method - 6th International
Workshop, {SOFL+MSVL} 2016, Tokyo, Japan, November 15, 2016, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10189},
pages = {55--73},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-57708-1\_4},
doi = {10.1007/978-3-319-57708-1\_4},
timestamp = {Thu, 17 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofl/WangMM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/WangT016,
author = {Yuwei Wang and
Xiuting Tao and
Guoqiang Li},
editor = {Shaoying Liu and
Zhenhua Duan and
Cong Tian and
Fumiko Nagoya},
title = {On Termination and Boundedness of Nested Updatable Timed Automata},
booktitle = {Structured Object-Oriented Formal Language and Method - 6th International
Workshop, {SOFL+MSVL} 2016, Tokyo, Japan, November 15, 2016, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10189},
pages = {15--31},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-57708-1\_2},
doi = {10.1007/978-3-319-57708-1\_2},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/WangT016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/XuMSD16,
author = {Qingguo Xu and
Huaikou Miao and
Robert de Simone and
Julien DeAntoni},
editor = {Shaoying Liu and
Zhenhua Duan and
Cong Tian and
Fumiko Nagoya},
title = {Instant-Based and State-Based Analysis of Infinite Logical Clock},
booktitle = {Structured Object-Oriented Formal Language and Method - 6th International
Workshop, {SOFL+MSVL} 2016, Tokyo, Japan, November 15, 2016, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10189},
pages = {32--51},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-57708-1\_3},
doi = {10.1007/978-3-319-57708-1\_3},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/XuMSD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/YouX16,
author = {Zhen You and
Jinyun Xue},
editor = {Shaoying Liu and
Zhenhua Duan and
Cong Tian and
Fumiko Nagoya},
title = {Orchestration Combinators in Apla+ Language},
booktitle = {Structured Object-Oriented Formal Language and Method - 6th International
Workshop, {SOFL+MSVL} 2016, Tokyo, Japan, November 15, 2016, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10189},
pages = {3--14},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-57708-1\_1},
doi = {10.1007/978-3-319-57708-1\_1},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/YouX16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/ZhangL16,
author = {Haitao Zhang and
Yonggang Lu},
editor = {Shaoying Liu and
Zhenhua Duan and
Cong Tian and
Fumiko Nagoya},
title = {SMT-based Bounded Model Checking for Cooperative Software with a Deterministic
Scheduler},
booktitle = {Structured Object-Oriented Formal Language and Method - 6th International
Workshop, {SOFL+MSVL} 2016, Tokyo, Japan, November 15, 2016, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10189},
pages = {181--200},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-57708-1\_11},
doi = {10.1007/978-3-319-57708-1\_11},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofl/ZhangL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/ZhaoLXFH16,
author = {Ren Zhao and
Xiaohong Li and
Guangquan Xu and
Zhiyong Feng and
Jianye Hao},
editor = {Shaoying Liu and
Zhenhua Duan and
Cong Tian and
Fumiko Nagoya},
title = {{E-SSL:} An {SSL} Security-Enhanced Method for Bypassing {MITM} Attacks
in Mobile Internet},
booktitle = {Structured Object-Oriented Formal Language and Method - 6th International
Workshop, {SOFL+MSVL} 2016, Tokyo, Japan, November 15, 2016, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10189},
pages = {101--120},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-57708-1\_7},
doi = {10.1007/978-3-319-57708-1\_7},
timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofl/ZhaoLXFH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sofl/2015,
editor = {Shaoying Liu and
Zhenhua Duan},
title = {Structured Object-Oriented Formal Language and Method - 5th International
Workshop, {SOFL+MSVL} 2015, Paris, France, November 6, 2015. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9559},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-31220-0},
doi = {10.1007/978-3-319-31220-0},
isbn = {978-3-319-31219-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/ChengZTL15,
author = {Zhuo Cheng and
Haitao Zhang and
Yasuo Tan and
Yuto Lim},
editor = {Shaoying Liu and
Zhenhua Duan},
title = {A Case Study: {SOFL} + Model Checking for {OSEK/VDX} Application},
booktitle = {Structured Object-Oriented Formal Language and Method - 5th International
Workshop, {SOFL+MSVL} 2015, Paris, France, November 6, 2015. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9559},
pages = {132--146},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-31220-0\_10},
doi = {10.1007/978-3-319-31220-0\_10},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/ChengZTL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/CuiDTZ15,
author = {Jin Cui and
Zhenhua Duan and
Cong Tian and
Nan Zhang},
editor = {Shaoying Liu and
Zhenhua Duan},
title = {Modeling and Verification of an Interrupt System in {\textbackslash}mu
{\(\mu\)} {C/OS-III} with {TMSVL}},
booktitle = {Structured Object-Oriented Formal Language and Method - 5th International
Workshop, {SOFL+MSVL} 2015, Paris, France, November 6, 2015. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9559},
pages = {15--28},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-31220-0\_2},
doi = {10.1007/978-3-319-31220-0\_2},
timestamp = {Tue, 29 Aug 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/CuiDTZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/HuXY15,
author = {Qimin Hu and
Jinyun Xue and
Zhen You},
editor = {Shaoying Liu and
Zhenhua Duan},
title = {Research on Formal Development of Non-recursive Algorithms of Graph
Search},
booktitle = {Structured Object-Oriented Formal Language and Method - 5th International
Workshop, {SOFL+MSVL} 2015, Paris, France, November 6, 2015. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9559},
pages = {165--178},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-31220-0\_12},
doi = {10.1007/978-3-319-31220-0\_12},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/HuXY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/HuangCKM15,
author = {Mao Huang and
Yihai Chen and
Ridha Kh{\'{e}}dri and
Huaikou Miao},
editor = {Shaoying Liu and
Zhenhua Duan},
title = {The Interchange Format of Tabular Expressions Using {XML}},
booktitle = {Structured Object-Oriented Formal Language and Method - 5th International
Workshop, {SOFL+MSVL} 2015, Paris, France, November 6, 2015. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9559},
pages = {29--43},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-31220-0\_3},
doi = {10.1007/978-3-319-31220-0\_3},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/HuangCKM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/Liu15,
author = {Shaoying Liu},
editor = {Shaoying Liu and
Zhenhua Duan},
title = {A GUI-Aided Approach to Formal Specification Construction},
booktitle = {Structured Object-Oriented Formal Language and Method - 5th International
Workshop, {SOFL+MSVL} 2015, Paris, France, November 6, 2015. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9559},
pages = {44--56},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-31220-0\_4},
doi = {10.1007/978-3-319-31220-0\_4},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/Liu15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/LiuLL15,
author = {Aishan Liu and
Li Li and
Jie Luo},
editor = {Shaoying Liu and
Zhenhua Duan},
title = {Automated Program Debugging for Multiple Bugs Based on Semantic Analysis},
booktitle = {Structured Object-Oriented Formal Language and Method - 5th International
Workshop, {SOFL+MSVL} 2015, Paris, France, November 6, 2015. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9559},
pages = {86--100},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-31220-0\_7},
doi = {10.1007/978-3-319-31220-0\_7},
timestamp = {Fri, 28 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/LiuLL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/LuoL15,
author = {Xiongwen Luo and
Shaoying Liu},
editor = {Shaoying Liu and
Zhenhua Duan},
title = {Automatic Transformation from {SOFL} Module Specifications to Program
Structures},
booktitle = {Structured Object-Oriented Formal Language and Method - 5th International
Workshop, {SOFL+MSVL} 2015, Paris, France, November 6, 2015. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9559},
pages = {206--218},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-31220-0\_15},
doi = {10.1007/978-3-319-31220-0\_15},
timestamp = {Fri, 08 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofl/LuoL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/NakajimaL15,
author = {Shin Nakajima and
Si{-}Mohamed Lamraoui},
editor = {Shaoying Liu and
Zhenhua Duan},
title = {Fault Localization of Timed Automata Using Maximum Satisfiability},
booktitle = {Structured Object-Oriented Formal Language and Method - 5th International
Workshop, {SOFL+MSVL} 2015, Paris, France, November 6, 2015. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9559},
pages = {72--85},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-31220-0\_6},
doi = {10.1007/978-3-319-31220-0\_6},
timestamp = {Mon, 25 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofl/NakajimaL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/SatoS15,
author = {Yuji Sato and
Taku Sugihara},
editor = {Shaoying Liu and
Zhenhua Duan},
title = {Automatic Generation of Specification-Based Test Cases by Applying
Genetic Algorithms in Reinforcement Learning},
booktitle = {Structured Object-Oriented Formal Language and Method - 5th International
Workshop, {SOFL+MSVL} 2015, Paris, France, November 6, 2015. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9559},
pages = {59--71},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-31220-0\_5},
doi = {10.1007/978-3-319-31220-0\_5},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofl/SatoS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/ShuD15,
author = {Xinfeng Shu and
Zhenhua Duan},
editor = {Shaoying Liu and
Zhenhua Duan},
title = {Model Checking Process Scheduling over Multi-core Computer System
with {MSVL}},
booktitle = {Structured Object-Oriented Formal Language and Method - 5th International
Workshop, {SOFL+MSVL} 2015, Paris, France, November 6, 2015. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9559},
pages = {103--117},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-31220-0\_8},
doi = {10.1007/978-3-319-31220-0\_8},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/ShuD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/TianSDD15,
author = {Cong Tian and
Jun Song and
Zhenhua Duan and
Zhao Duan},
editor = {Shaoying Liu and
Zhenhua Duan},
title = {LtlNfBa: Making {LTL} Translation More Practical},
booktitle = {Structured Object-Oriented Formal Language and Method - 5th International
Workshop, {SOFL+MSVL} 2015, Paris, France, November 6, 2015. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9559},
pages = {179--194},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-31220-0\_13},
doi = {10.1007/978-3-319-31220-0\_13},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/TianSDD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/WangS15,
author = {Xiaobing Wang and
Tao Sun},
editor = {Shaoying Liu and
Zhenhua Duan},
title = {A Method Based on {MSVL} for Verification of the Social Network Privacy
Policy},
booktitle = {Structured Object-Oriented Formal Language and Method - 5th International
Workshop, {SOFL+MSVL} 2015, Paris, France, November 6, 2015. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9559},
pages = {118--131},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-31220-0\_9},
doi = {10.1007/978-3-319-31220-0\_9},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/WangS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/Wen0Y15,
author = {Yunqing Wen and
Guoqiang Li and
Shoji Yuen},
editor = {Shaoying Liu and
Zhenhua Duan},
title = {On Reachability Analysis of Updatable Timed Automata with One Updatable
Clock},
booktitle = {Structured Object-Oriented Formal Language and Method - 5th International
Workshop, {SOFL+MSVL} 2015, Paris, France, November 6, 2015. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9559},
pages = {147--161},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-31220-0\_11},
doi = {10.1007/978-3-319-31220-0\_11},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/Wen0Y15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/Xue15,
author = {Jinyun Xue},
editor = {Shaoying Liu and
Zhenhua Duan},
title = {Genericity in {PAR} Platform},
booktitle = {Structured Object-Oriented Formal Language and Method - 5th International
Workshop, {SOFL+MSVL} 2015, Paris, France, November 6, 2015. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9559},
pages = {3--14},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-31220-0\_1},
doi = {10.1007/978-3-319-31220-0\_1},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/Xue15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/ZhangDT15,
author = {Xiaoming Zhang and
Zhenhua Duan and
Cong Tian},
editor = {Shaoying Liu and
Zhenhua Duan},
title = {PPTL{\_}SPIN: {A} {SPIN} Based Model Checker for Propositional Projection
Temporal Logic},
booktitle = {Structured Object-Oriented Formal Language and Method - 5th International
Workshop, {SOFL+MSVL} 2015, Paris, France, November 6, 2015. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9559},
pages = {195--205},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-31220-0\_14},
doi = {10.1007/978-3-319-31220-0\_14},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/ZhangDT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sofl/2014,
editor = {Shaoying Liu and
Zhenhua Duan},
title = {Structured Object-Oriented Formal Language and Method - 4th International
Workshop, {SOFL+MSVL} 2014, Luxembourg, Luxembourg, November 6, 2014,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8979},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-17404-4},
doi = {10.1007/978-3-319-17404-4},
isbn = {978-3-319-17403-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/ChangML14,
author = {Longhui Chang and
Huaikou Miao and
Gongzheng Lu},
editor = {Shaoying Liu and
Zhenhua Duan},
title = {An Implementation Framework for Optimizing Test Case Generation Using
Model Checking},
booktitle = {Structured Object-Oriented Formal Language and Method - 4th International
Workshop, {SOFL+MSVL} 2014, Luxembourg, Luxembourg, November 6, 2014,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8979},
pages = {3--16},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-17404-4\_1},
doi = {10.1007/978-3-319-17404-4\_1},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/sofl/ChangML14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/ChenSM14,
author = {Yuting Chen and
Qiuwei Shi and
Weikai Miao},
editor = {Shaoying Liu and
Zhenhua Duan},
title = {Incremental Points-to Analysis for Java via Edit Propagation},
booktitle = {Structured Object-Oriented Formal Language and Method - 4th International
Workshop, {SOFL+MSVL} 2014, Luxembourg, Luxembourg, November 6, 2014,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8979},
pages = {164--178},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-17404-4\_11},
doi = {10.1007/978-3-319-17404-4\_11},
timestamp = {Thu, 24 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/ChenSM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/LiL14,
author = {Mo Li and
Shaoying Liu},
editor = {Shaoying Liu and
Zhenhua Duan},
title = {Adopting Variable Dependency in Animation for Presenting the Behaviour
of Process},
booktitle = {Structured Object-Oriented Formal Language and Method - 4th International
Workshop, {SOFL+MSVL} 2014, Luxembourg, Luxembourg, November 6, 2014,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8979},
pages = {81--93},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-17404-4\_6},
doi = {10.1007/978-3-319-17404-4\_6},
timestamp = {Wed, 23 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/LiL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/Nakajima14,
author = {Shin Nakajima},
editor = {Shaoying Liu and
Zhenhua Duan},
title = {Using Alloy in Introductory Courses of Formal Methods},
booktitle = {Structured Object-Oriented Formal Language and Method - 4th International
Workshop, {SOFL+MSVL} 2014, Luxembourg, Luxembourg, November 6, 2014,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8979},
pages = {97--110},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-17404-4\_7},
doi = {10.1007/978-3-319-17404-4\_7},
timestamp = {Mon, 25 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofl/Nakajima14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/Wen0Y14,
author = {Yunqing Wen and
Guoqiang Li and
Shoji Yuen},
editor = {Shaoying Liu and
Zhenhua Duan},
title = {An Over-Approximation Forward Analysis for Nested Timed Automata},
booktitle = {Structured Object-Oriented Formal Language and Method - 4th International
Workshop, {SOFL+MSVL} 2014, Luxembourg, Luxembourg, November 6, 2014,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8979},
pages = {62--80},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-17404-4\_5},
doi = {10.1007/978-3-319-17404-4\_5},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/Wen0Y14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/XieLLLFF14,
author = {Xiaofei Xie and
Xiaohong Li and
Yang Liu and
Li Li and
Ruitao Feng and
Zhiyong Feng},
editor = {Shaoying Liu and
Zhenhua Duan},
title = {Automatic Verification for Later-Correspondence of Security Protocols},
booktitle = {Structured Object-Oriented Formal Language and Method - 4th International
Workshop, {SOFL+MSVL} 2014, Luxembourg, Luxembourg, November 6, 2014,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8979},
pages = {111--126},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-17404-4\_8},
doi = {10.1007/978-3-319-17404-4\_8},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/XieLLLFF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/Yang14,
author = {Xiaoxiao Yang},
editor = {Shaoying Liu and
Zhenhua Duan},
title = {Combining Separation Logic and Projection Temporal Logic to Reason
About Non-blocking Concurrency},
booktitle = {Structured Object-Oriented Formal Language and Method - 4th International
Workshop, {SOFL+MSVL} 2014, Luxembourg, Luxembourg, November 6, 2014,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8979},
pages = {127--144},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-17404-4\_9},
doi = {10.1007/978-3-319-17404-4\_9},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/Yang14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/YangDT14,
author = {Kai Yang and
Zhenhua Duan and
Cong Tian},
editor = {Shaoying Liu and
Zhenhua Duan},
title = {A Memory Management Mechanism for {MSVL}},
booktitle = {Structured Object-Oriented Formal Language and Method - 4th International
Workshop, {SOFL+MSVL} 2014, Luxembourg, Luxembourg, November 6, 2014,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8979},
pages = {179--188},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-17404-4\_12},
doi = {10.1007/978-3-319-17404-4\_12},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/YangDT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/YouXHH14,
author = {Zhen You and
Jinyun Xue and
Qimin Hu and
Yi Hong},
editor = {Shaoying Liu and
Zhenhua Duan},
title = {Formal Semantics of Orc Based on TLA\({}^{\mbox{+}}\)},
booktitle = {Structured Object-Oriented Formal Language and Method - 4th International
Workshop, {SOFL+MSVL} 2014, Luxembourg, Luxembourg, November 6, 2014,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8979},
pages = {147--163},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-17404-4\_10},
doi = {10.1007/978-3-319-17404-4\_10},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/YouXHH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/YuDT14,
author = {Bin Yu and
Zhenhua Duan and
Cong Tian},
editor = {Shaoying Liu and
Zhenhua Duan},
title = {Unified Bounded Model Checking for {MSVL}},
booktitle = {Structured Object-Oriented Formal Language and Method - 4th International
Workshop, {SOFL+MSVL} 2014, Luxembourg, Luxembourg, November 6, 2014,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8979},
pages = {49--61},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-17404-4\_4},
doi = {10.1007/978-3-319-17404-4\_4},
timestamp = {Tue, 09 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/YuDT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/ZhangL14,
author = {Jinghua Zhang and
Shaoying Liu},
editor = {Shaoying Liu and
Zhenhua Duan},
title = {Development of a Software Tool to Support Traceability-Based Inspection
of {SOFL} Specifications},
booktitle = {Structured Object-Oriented Formal Language and Method - 4th International
Workshop, {SOFL+MSVL} 2014, Luxembourg, Luxembourg, November 6, 2014,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8979},
pages = {32--46},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-17404-4\_3},
doi = {10.1007/978-3-319-17404-4\_3},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/ZhangL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/ZhouSS14,
author = {Yuqin Zhou and
Taku Sugihara and
Yuji Sato},
editor = {Shaoying Liu and
Zhenhua Duan},
title = {Applying {GA} with Tabu list for Automatically Generating Test Cases
Based on Formal Specification},
booktitle = {Structured Object-Oriented Formal Language and Method - 4th International
Workshop, {SOFL+MSVL} 2014, Luxembourg, Luxembourg, November 6, 2014,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8979},
pages = {17--31},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-17404-4\_2},
doi = {10.1007/978-3-319-17404-4\_2},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofl/ZhouSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sofl/2013,
editor = {Shaoying Liu and
Zhenhua Duan},
title = {Structured Object-Oriented Formal Language and Method - Third International
Workshop, {SOFL+MSVL} 2013, Queenstown, New Zealand, October 29, 2013,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8332},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-04915-1},
doi = {10.1007/978-3-319-04915-1},
isbn = {978-3-319-04914-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/Chen13,
author = {Yuting Chen},
editor = {Shaoying Liu and
Zhenhua Duan},
title = {Checking Internal Consistency of {SOFL} Specification: {A} Hybrid
Approach},
booktitle = {Structured Object-Oriented Formal Language and Method - Third International
Workshop, {SOFL+MSVL} 2013, Queenstown, New Zealand, October 29, 2013,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8332},
pages = {175--191},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-04915-1\_13},
doi = {10.1007/978-3-319-04915-1\_13},
timestamp = {Thu, 24 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/Chen13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/LiL13,
author = {Mo Li and
Shaoying Liu},
editor = {Shaoying Liu and
Zhenhua Duan},
title = {{SOFL} Specification Animation with Tool Support},
booktitle = {Structured Object-Oriented Formal Language and Method - Third International
Workshop, {SOFL+MSVL} 2013, Queenstown, New Zealand, October 29, 2013,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8332},
pages = {118--131},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-04915-1\_9},
doi = {10.1007/978-3-319-04915-1\_9},
timestamp = {Wed, 23 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/LiL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/LiuDTL13,
author = {Yao Liu and
Zhenhua Duan and
Cong Tian and
Bo Liu},
editor = {Shaoying Liu and
Zhenhua Duan},
title = {Present-Future Form of Linear Time {\textdollar}{\textdollar}{\textbackslash}mu
{\textdollar}{\textdollar} -Calculus},
booktitle = {Structured Object-Oriented Formal Language and Method - Third International
Workshop, {SOFL+MSVL} 2013, Queenstown, New Zealand, October 29, 2013,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8332},
pages = {76--85},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-04915-1\_6},
doi = {10.1007/978-3-319-04915-1\_6},
timestamp = {Sun, 15 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofl/LiuDTL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/LiuM13,
author = {Pan Liu and
Huaikou Miao},
editor = {Shaoying Liu and
Zhenhua Duan},
title = {Theory of Test Modeling Based on Regular Expressions},
booktitle = {Structured Object-Oriented Formal Language and Method - Third International
Workshop, {SOFL+MSVL} 2013, Queenstown, New Zealand, October 29, 2013,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8332},
pages = {17--31},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-04915-1\_2},
doi = {10.1007/978-3-319-04915-1\_2},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/LiuM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/LiuN13,
author = {Shaoying Liu and
Shin Nakajima},
editor = {Shaoying Liu and
Zhenhua Duan},
title = {Combining Specification-Based Testing, Correctness Proof, and Inspection
for Program Verification in Practice},
booktitle = {Structured Object-Oriented Formal Language and Method - Third International
Workshop, {SOFL+MSVL} 2013, Queenstown, New Zealand, October 29, 2013,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8332},
pages = {3--16},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-04915-1\_1},
doi = {10.1007/978-3-319-04915-1\_1},
timestamp = {Mon, 25 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofl/LiuN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/LuDTL13,
author = {Xu Lu and
Zhenhua Duan and
Cong Tian and
Hongjin Liu},
editor = {Shaoying Liu and
Zhenhua Duan},
title = {Integrating Separation Logic with {PPTL}},
booktitle = {Structured Object-Oriented Formal Language and Method - Third International
Workshop, {SOFL+MSVL} 2013, Queenstown, New Zealand, October 29, 2013,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8332},
pages = {35--47},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-04915-1\_3},
doi = {10.1007/978-3-319-04915-1\_3},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/LuDTL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/MiaoL13,
author = {Weikai Miao and
Shaoying Liu},
editor = {Shaoying Liu and
Zhenhua Duan},
title = {Prototype Tool for Supporting a Formal Engineering Approach to Service-Based
Software Modeling},
booktitle = {Structured Object-Oriented Formal Language and Method - Third International
Workshop, {SOFL+MSVL} 2013, Queenstown, New Zealand, October 29, 2013,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8332},
pages = {89--103},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-04915-1\_7},
doi = {10.1007/978-3-319-04915-1\_7},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/MiaoL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/ShiDTY13,
author = {Ya Shi and
Zhenhua Duan and
Cong Tian and
Hua Yang},
editor = {Shaoying Liu and
Zhenhua Duan},
title = {Improved Net Reductions for {LTL} {\textdollar}{\textdollar}{\textbackslash}setminus
{\textdollar}{\textdollar} {\textbackslash} {X} Model Checking},
booktitle = {Structured Object-Oriented Formal Language and Method - Third International
Workshop, {SOFL+MSVL} 2013, Queenstown, New Zealand, October 29, 2013,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8332},
pages = {48--61},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-04915-1\_4},
doi = {10.1007/978-3-319-04915-1\_4},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/ShiDTY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/SulistionoL13,
author = {Wahyu Eko Sulistiono and
Shaoying Liu},
editor = {Shaoying Liu and
Zhenhua Duan},
title = {Applying {SOFL} to Constructing a Smart Traffic Light Specification},
booktitle = {Structured Object-Oriented Formal Language and Method - Third International
Workshop, {SOFL+MSVL} 2013, Queenstown, New Zealand, October 29, 2013,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8332},
pages = {166--174},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-04915-1\_12},
doi = {10.1007/978-3-319-04915-1\_12},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/SulistionoL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/WangDZ13,
author = {Xiaobing Wang and
Zhenhua Duan and
Liang Zhao},
editor = {Shaoying Liu and
Zhenhua Duan},
title = {Formalizing and Implementing Types in {MSVL}},
booktitle = {Structured Object-Oriented Formal Language and Method - Third International
Workshop, {SOFL+MSVL} 2013, Queenstown, New Zealand, October 29, 2013,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8332},
pages = {62--75},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-04915-1\_5},
doi = {10.1007/978-3-319-04915-1\_5},
timestamp = {Wed, 08 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofl/WangDZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/WangL13,
author = {Xi Wang and
Shaoying Liu},
editor = {Shaoying Liu and
Zhenhua Duan},
title = {An Approach to Declaring Data Types for Formal Specifications},
booktitle = {Structured Object-Oriented Formal Language and Method - Third International
Workshop, {SOFL+MSVL} 2013, Queenstown, New Zealand, October 29, 2013,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8332},
pages = {135--153},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-04915-1\_10},
doi = {10.1007/978-3-319-04915-1\_10},
timestamp = {Thu, 17 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofl/WangL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/YanLFFH13,
author = {Lu Yan and
Xiaohong Li and
Ruitao Feng and
Zhiyong Feng and
Jing Hu},
editor = {Shaoying Liu and
Zhenhua Duan},
title = {Detection Method of the Second-Order {SQL} Injection in Web Applications},
booktitle = {Structured Object-Oriented Formal Language and Method - Third International
Workshop, {SOFL+MSVL} 2013, Queenstown, New Zealand, October 29, 2013,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8332},
pages = {154--165},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-04915-1\_11},
doi = {10.1007/978-3-319-04915-1\_11},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/YanLFFH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/ZhuL13,
author = {Shenghua Zhu and
Shaoying Liu},
editor = {Shaoying Liu and
Zhenhua Duan},
title = {A Supporting Tool for Syntactic Analysis of {SOFL} Formal Specifications
and Automatic Generation of Functional Scenarios},
booktitle = {Structured Object-Oriented Formal Language and Method - Third International
Workshop, {SOFL+MSVL} 2013, Queenstown, New Zealand, October 29, 2013,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8332},
pages = {104--117},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-04915-1\_8},
doi = {10.1007/978-3-319-04915-1\_8},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/ZhuL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sofl/2012,
editor = {Shaoying Liu},
title = {Structured Object-Oriented Formal Language and Method - Second International
Workshop, {SOFL} 2012, Kyoto, Japan, November 13, 2012. Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7787},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39277-1},
doi = {10.1007/978-3-642-39277-1},
isbn = {978-3-642-39276-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/LiL12,
author = {Mo Li and
Shaoying Liu},
editor = {Shaoying Liu},
title = {Design and Implementation of a Tool for Specifying Specification in
{SOFL}},
booktitle = {Structured Object-Oriented Formal Language and Method - Second International
Workshop, {SOFL} 2012, Kyoto, Japan, November 13, 2012. Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7787},
pages = {44--55},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-39277-1\_4},
doi = {10.1007/978-3-642-39277-1\_4},
timestamp = {Wed, 23 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/LiL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/LiLLN12,
author = {Cencen Li and
Mo Li and
Shaoying Liu and
Shin Nakajima},
editor = {Shaoying Liu},
title = {Applying "Functional Scenario-Based" Test Case Generation Method in
Unit Testing and Integration Testing},
booktitle = {Structured Object-Oriented Formal Language and Method - Second International
Workshop, {SOFL} 2012, Kyoto, Japan, November 13, 2012. Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7787},
pages = {1--11},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-39277-1\_1},
doi = {10.1007/978-3-642-39277-1\_1},
timestamp = {Wed, 23 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/LiLLN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/LingSK12,
author = {Chung{-}Ling Ling and
Wuwei Shen and
Dionysios Kountanis},
editor = {Shaoying Liu},
title = {Applying {SOFL} to a Generic Insulin Pump Software Design},
booktitle = {Structured Object-Oriented Formal Language and Method - Second International
Workshop, {SOFL} 2012, Kyoto, Japan, November 13, 2012. Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7787},
pages = {116--132},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-39277-1\_9},
doi = {10.1007/978-3-642-39277-1\_9},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/LingSK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/MiaoL12,
author = {Weikai Miao and
Shaoying Liu},
editor = {Shaoying Liu},
title = {A Formal Specification-Based Integration Testing Approach},
booktitle = {Structured Object-Oriented Formal Language and Method - Second International
Workshop, {SOFL} 2012, Kyoto, Japan, November 13, 2012. Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7787},
pages = {26--43},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-39277-1\_3},
doi = {10.1007/978-3-642-39277-1\_3},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/MiaoL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/NagoyaK12,
author = {Fumiko Nagoya and
Tetsuo Kitagawa},
editor = {Shaoying Liu},
title = {An Application of {SOFL} for Rapid Prototyping},
booktitle = {Structured Object-Oriented Formal Language and Method - Second International
Workshop, {SOFL} 2012, Kyoto, Japan, November 13, 2012. Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7787},
pages = {104--115},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-39277-1\_8},
doi = {10.1007/978-3-642-39277-1\_8},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/NagoyaK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/TianLD12,
author = {Cong Tian and
Shaoying Liu and
Zhenhua Duan},
editor = {Shaoying Liu},
title = {Abstract Model Checking with {SOFL} Hierarchy},
booktitle = {Structured Object-Oriented Formal Language and Method - Second International
Workshop, {SOFL} 2012, Kyoto, Japan, November 13, 2012. Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7787},
pages = {71--86},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-39277-1\_6},
doi = {10.1007/978-3-642-39277-1\_6},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/TianLD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/WangC12,
author = {Yisheng Wang and
Haopeng Chen},
editor = {Shaoying Liu},
title = {Extension on Transactional Remote Services in {SOFL}},
booktitle = {Structured Object-Oriented Formal Language and Method - Second International
Workshop, {SOFL} 2012, Kyoto, Japan, November 13, 2012. Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7787},
pages = {133--147},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-39277-1\_10},
doi = {10.1007/978-3-642-39277-1\_10},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/WangC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/WangL12,
author = {Xi Wang and
Shaoying Liu},
editor = {Shaoying Liu},
title = {Development of a Supporting Tool for Formalizing Software Requirements},
booktitle = {Structured Object-Oriented Formal Language and Method - Second International
Workshop, {SOFL} 2012, Kyoto, Japan, November 13, 2012. Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7787},
pages = {56--70},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-39277-1\_5},
doi = {10.1007/978-3-642-39277-1\_5},
timestamp = {Thu, 17 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sofl/WangL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/YuDTY12,
author = {Yan Yu and
Zhenhua Duan and
Cong Tian and
Mengfei Yang},
editor = {Shaoying Liu},
title = {Model Checking {C} Programs with {MSVL}},
booktitle = {Structured Object-Oriented Formal Language and Method - Second International
Workshop, {SOFL} 2012, Kyoto, Japan, November 13, 2012. Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7787},
pages = {87--103},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-39277-1\_7},
doi = {10.1007/978-3-642-39277-1\_7},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/YuDTY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/ZhangL12,
author = {Weihang Zhang and
Shaoying Liu},
editor = {Shaoying Liu},
title = {Supporting Tool for Automatic Specification-Based Test Case Generation},
booktitle = {Structured Object-Oriented Formal Language and Method - Second International
Workshop, {SOFL} 2012, Kyoto, Japan, November 13, 2012. Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7787},
pages = {12--25},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-39277-1\_2},
doi = {10.1007/978-3-642-39277-1\_2},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/ZhangL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2025-01-06 02:34 CET from data curated 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:
