Search dblp for Publications

export results for "toc:db/conf/sofl/sofl2020.bht:"

 download as .bib file

@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    = {Thu, 14 Sep 2023 01:00:00 +0200},
  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    = {Wed, 08 Feb 2023 00:00:00 +0100},
  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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.