Search dblp for Publications

export results for "toc:db/conf/setta/setta2022.bht:"

 download as .bib file

@inproceedings{DBLP:conf/setta/BandukaraT22,
  author       = {M. H. Bandukara and
                  Nikos Tzevelekos},
  editor       = {Wei Dong and
                  Jean{-}Pierre Talpin},
  title        = {On-The-Fly Bisimilarity Checking for Fresh-Register Automata},
  booktitle    = {Dependable Software Engineering. Theories, Tools, and Applications
                  - 8th International Symposium, {SETTA} 2022, Beijing, China, October
                  27-29, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13649},
  pages        = {187--204},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-21213-0\_12},
  doi          = {10.1007/978-3-031-21213-0\_12},
  timestamp    = {Fri, 23 Dec 2022 17:47:37 +0100},
  biburl       = {https://dblp.org/rec/conf/setta/BandukaraT22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/setta/DuXZCXZ22,
  author       = {Xiaodong Du and
                  Pengfei Xu and
                  Zheng Zhang and
                  Shushan Chai and
                  Rui Xia and
                  Zhe Zong},
  editor       = {Wei Dong and
                  Jean{-}Pierre Talpin},
  title        = {{KCL:} {A} Declarative Language for Large-Scale Configuration and
                  Policy Management},
  booktitle    = {Dependable Software Engineering. Theories, Tools, and Applications
                  - 8th International Symposium, {SETTA} 2022, Beijing, China, October
                  27-29, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13649},
  pages        = {88--105},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-21213-0\_6},
  doi          = {10.1007/978-3-031-21213-0\_6},
  timestamp    = {Fri, 23 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/setta/DuXZCXZ22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/setta/GrossJJP22,
  author       = {Dennis Gross and
                  Nils Jansen and
                  Sebastian Junges and
                  Guillermo A. P{\'{e}}rez},
  editor       = {Wei Dong and
                  Jean{-}Pierre Talpin},
  title        = {{COOL-MC:} {A} Comprehensive Tool for Reinforcement Learning and Model
                  Checking},
  booktitle    = {Dependable Software Engineering. Theories, Tools, and Applications
                  - 8th International Symposium, {SETTA} 2022, Beijing, China, October
                  27-29, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13649},
  pages        = {41--49},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-21213-0\_3},
  doi          = {10.1007/978-3-031-21213-0\_3},
  timestamp    = {Sun, 25 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/setta/GrossJJP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/setta/LiWHMJ22,
  author       = {Siran Li and
                  Lei Wang and
                  Keyang Hu and
                  Ce Mo and
                  Bo Jiang},
  editor       = {Wei Dong and
                  Jean{-}Pierre Talpin},
  title        = {{VM} Migration and Live-Update for Reliable Embedded Hypervisor},
  booktitle    = {Dependable Software Engineering. Theories, Tools, and Applications
                  - 8th International Symposium, {SETTA} 2022, Beijing, China, October
                  27-29, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13649},
  pages        = {53--69},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-21213-0\_4},
  doi          = {10.1007/978-3-031-21213-0\_4},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/setta/LiWHMJ22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/setta/LiZB22,
  author       = {Ran Li and
                  Huibiao Zhu and
                  Richard Banach},
  editor       = {Wei Dong and
                  Jean{-}Pierre Talpin},
  title        = {Translating {CPS} with Shared-Variable Concurrency in SpaceEx},
  booktitle    = {Dependable Software Engineering. Theories, Tools, and Applications
                  - 8th International Symposium, {SETTA} 2022, Beijing, China, October
                  27-29, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13649},
  pages        = {127--133},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-21213-0\_8},
  doi          = {10.1007/978-3-031-21213-0\_8},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/setta/LiZB22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/setta/LuSSS22,
  author       = {Yuteng Lu and
                  Kaicheng Shao and
                  Weidi Sun and
                  Meng Sun},
  editor       = {Wei Dong and
                  Jean{-}Pierre Talpin},
  title        = {{MTUL:} Towards Mutation Testing of Unsupervised Learning Systems},
  booktitle    = {Dependable Software Engineering. Theories, Tools, and Applications
                  - 8th International Symposium, {SETTA} 2022, Beijing, China, October
                  27-29, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13649},
  pages        = {22--40},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-21213-0\_2},
  doi          = {10.1007/978-3-031-21213-0\_2},
  timestamp    = {Fri, 23 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/setta/LuSSS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/setta/ShiC22,
  author       = {ZhengPu Shi and
                  Gang Chen},
  editor       = {Wei Dong and
                  Jean{-}Pierre Talpin},
  title        = {Integration of Multiple Formal Matrix Models in Coq},
  booktitle    = {Dependable Software Engineering. Theories, Tools, and Applications
                  - 8th International Symposium, {SETTA} 2022, Beijing, China, October
                  27-29, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13649},
  pages        = {169--186},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-21213-0\_11},
  doi          = {10.1007/978-3-031-21213-0\_11},
  timestamp    = {Sun, 25 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/setta/ShiC22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/setta/SunXLS22,
  author       = {Weidi Sun and
                  Xiaoyong Xue and
                  Yuteng Lu and
                  Meng Sun},
  editor       = {Wei Dong and
                  Jean{-}Pierre Talpin},
  title        = {HashC: Making DNNs' Coverage Testing Finer and Faster},
  booktitle    = {Dependable Software Engineering. Theories, Tools, and Applications
                  - 8th International Symposium, {SETTA} 2022, Beijing, China, October
                  27-29, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13649},
  pages        = {3--21},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-21213-0\_1},
  doi          = {10.1007/978-3-031-21213-0\_1},
  timestamp    = {Fri, 23 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/setta/SunXLS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/setta/SunZWL22,
  author       = {Quan Sun and
                  Wei Zhang and
                  Chao Wang and
                  Zhiming Liu},
  editor       = {Wei Dong and
                  Jean{-}Pierre Talpin},
  title        = {A Contract-Based Semantics and Refinement for Simulink},
  booktitle    = {Dependable Software Engineering. Theories, Tools, and Applications
                  - 8th International Symposium, {SETTA} 2022, Beijing, China, October
                  27-29, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13649},
  pages        = {134--148},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-21213-0\_9},
  doi          = {10.1007/978-3-031-21213-0\_9},
  timestamp    = {Tue, 13 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/setta/SunZWL22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/setta/TaoC22,
  author       = {Yichen Tao and
                  Qinxiang Cao},
  editor       = {Wei Dong and
                  Jean{-}Pierre Talpin},
  title        = {{LOGIC:} {A} Coq Library for Logics},
  booktitle    = {Dependable Software Engineering. Theories, Tools, and Applications
                  - 8th International Symposium, {SETTA} 2022, Beijing, China, October
                  27-29, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13649},
  pages        = {205--226},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-21213-0\_13},
  doi          = {10.1007/978-3-031-21213-0\_13},
  timestamp    = {Fri, 23 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/setta/TaoC22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/setta/ValladeNSBG22,
  author       = {Vincent Vallade and
                  Saeed Nejati and
                  Julien Sopena and
                  Souheib Baarir and
                  Vijay Ganesh},
  editor       = {Wei Dong and
                  Jean{-}Pierre Talpin},
  title        = {Diversifying a Parallel {SAT} Solver with Bayesian Moment Matching},
  booktitle    = {Dependable Software Engineering. Theories, Tools, and Applications
                  - 8th International Symposium, {SETTA} 2022, Beijing, China, October
                  27-29, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13649},
  pages        = {227--233},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-21213-0\_14},
  doi          = {10.1007/978-3-031-21213-0\_14},
  timestamp    = {Thu, 27 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/setta/ValladeNSBG22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/setta/WangPLLL22,
  author       = {Chao Wang and
                  Gustavo Petri and
                  Yi Lv and
                  Teng Long and
                  Zhiming Liu},
  editor       = {Wei Dong and
                  Jean{-}Pierre Talpin},
  title        = {Decidability of Liveness for Concurrent Objects on the {TSO} Memory
                  Model},
  booktitle    = {Dependable Software Engineering. Theories, Tools, and Applications
                  - 8th International Symposium, {SETTA} 2022, Beijing, China, October
                  27-29, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13649},
  pages        = {149--165},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-21213-0\_10},
  doi          = {10.1007/978-3-031-21213-0\_10},
  timestamp    = {Tue, 13 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/setta/WangPLLL22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/setta/ZhuH22,
  author       = {Fengmin Zhu and
                  Fei He},
  editor       = {Wei Dong and
                  Jean{-}Pierre Talpin},
  title        = {EqFix: Fixing LaTeX Equation Errors by Examples},
  booktitle    = {Dependable Software Engineering. Theories, Tools, and Applications
                  - 8th International Symposium, {SETTA} 2022, Beijing, China, October
                  27-29, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13649},
  pages        = {106--124},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-21213-0\_7},
  doi          = {10.1007/978-3-031-21213-0\_7},
  timestamp    = {Sun, 25 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/setta/ZhuH22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/setta/ZhuXFMH22,
  author       = {Fengmin Zhu and
                  Xingyu Xie and
                  Dongyu Feng and
                  Na Meng and
                  Fei He},
  editor       = {Wei Dong and
                  Jean{-}Pierre Talpin},
  title        = {Mastery: Shifted-Code-Aware Structured Merging},
  booktitle    = {Dependable Software Engineering. Theories, Tools, and Applications
                  - 8th International Symposium, {SETTA} 2022, Beijing, China, October
                  27-29, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13649},
  pages        = {70--87},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-21213-0\_5},
  doi          = {10.1007/978-3-031-21213-0\_5},
  timestamp    = {Tue, 10 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/setta/ZhuXFMH22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/setta/2022,
  editor       = {Wei Dong and
                  Jean{-}Pierre Talpin},
  title        = {Dependable Software Engineering. Theories, Tools, and Applications
                  - 8th International Symposium, {SETTA} 2022, Beijing, China, October
                  27-29, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13649},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-21213-0},
  doi          = {10.1007/978-3-031-21213-0},
  isbn         = {978-3-031-21212-3},
  timestamp    = {Fri, 23 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/setta/2022.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.