Search dblp for Publications

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

 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    = {Thu, 14 Sep 2023 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    = {Thu, 14 Sep 2023 01:00:00 +0200},
  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    = {Fri, 31 Mar 2023 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}
}
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.