Search dblp for Publications

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

 download as .bib file

@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}
}

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.