Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/setta/CaoW20,
  author       = {Qinxiang Cao and
                  Zhongye Wang},
  editor       = {Jun Pang and
                  Lijun Zhang},
  title        = {Reentrancy? Yes. Reentrancy Bug? No},
  booktitle    = {Dependable Software Engineering. Theories, Tools, and Applications
                  - 6th International Symposium, {SETTA} 2020, Guangzhou, China, November
                  24-27, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12153},
  pages        = {17--34},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-62822-2\_2},
  doi          = {10.1007/978-3-030-62822-2\_2},
  timestamp    = {Thu, 12 Nov 2020 16:23:45 +0100},
  biburl       = {https://dblp.org/rec/conf/setta/CaoW20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/setta/Capra20,
  author       = {Lorenzo Capra},
  editor       = {Jun Pang and
                  Lijun Zhang},
  title        = {Graph Transformation Systems: {A} Semantics Based on (Stochastic)
                  Symmetric Nets},
  booktitle    = {Dependable Software Engineering. Theories, Tools, and Applications
                  - 6th International Symposium, {SETTA} 2020, Guangzhou, China, November
                  24-27, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12153},
  pages        = {35--51},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-62822-2\_3},
  doi          = {10.1007/978-3-030-62822-2\_3},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/setta/Capra20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/setta/FengHTL20,
  author       = {Weizhi Feng and
                  Cheng{-}Chao Huang and
                  Andrea Turrini and
                  Yong Li},
  editor       = {Jun Pang and
                  Lijun Zhang},
  title        = {Modelling and Implementation of Unmanned Aircraft Collision Avoidance},
  booktitle    = {Dependable Software Engineering. Theories, Tools, and Applications
                  - 6th International Symposium, {SETTA} 2020, Guangzhou, China, November
                  24-27, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12153},
  pages        = {52--69},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-62822-2\_4},
  doi          = {10.1007/978-3-030-62822-2\_4},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/setta/FengHTL20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/setta/GoordenMRVBHMRF20,
  author       = {Martijn A. Goorden and
                  Lars Moormann and
                  Ferdie F. H. Reijnen and
                  J. J. Verbakel and
                  D. A. van Beek and
                  Albert T. Hofkamp and
                  Joanna M. van de Mortel{-}Fronczak and
                  Michel A. Reniers and
                  Wan J. Fokkink and
                  Jacobus E. Rooda and
                  L. F. P. Etman},
  editor       = {Jun Pang and
                  Lijun Zhang},
  title        = {The Road Ahead for Supervisor Synthesis},
  booktitle    = {Dependable Software Engineering. Theories, Tools, and Applications
                  - 6th International Symposium, {SETTA} 2020, Guangzhou, China, November
                  24-27, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12153},
  pages        = {1--16},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-62822-2\_1},
  doi          = {10.1007/978-3-030-62822-2\_1},
  timestamp    = {Tue, 11 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/setta/GoordenMRVBHMRF20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/setta/KivirigaLN20,
  author       = {Andrej Kiviriga and
                  Kim Guldstrand Larsen and
                  Ulrik Nyman},
  editor       = {Jun Pang and
                  Lijun Zhang},
  title        = {Randomized Refinement Checking of Timed {I/O} Automata},
  booktitle    = {Dependable Software Engineering. Theories, Tools, and Applications
                  - 6th International Symposium, {SETTA} 2020, Guangzhou, China, November
                  24-27, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12153},
  pages        = {70--88},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-62822-2\_5},
  doi          = {10.1007/978-3-030-62822-2\_5},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/setta/KivirigaLN20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/setta/LiCWX20,
  author       = {Xie Li and
                  Taolue Chen and
                  Zhilin Wu and
                  Mingji Xia},
  editor       = {Jun Pang and
                  Lijun Zhang},
  title        = {Computing Linear Arithmetic Representation of Reachability Relation
                  of One-Counter Automata},
  booktitle    = {Dependable Software Engineering. Theories, Tools, and Applications
                  - 6th International Symposium, {SETTA} 2020, Guangzhou, China, November
                  24-27, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12153},
  pages        = {89--107},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-62822-2\_6},
  doi          = {10.1007/978-3-030-62822-2\_6},
  timestamp    = {Mon, 02 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/setta/LiCWX20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/setta/LiuYL20,
  author       = {Wanwei Liu and
                  Liangze Yin and
                  Tun Li},
  editor       = {Jun Pang and
                  Lijun Zhang},
  title        = {Compiling FL\({}^{\mbox{res}}\) on Finite Words},
  booktitle    = {Dependable Software Engineering. Theories, Tools, and Applications
                  - 6th International Symposium, {SETTA} 2020, Guangzhou, China, November
                  24-27, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12153},
  pages        = {108--123},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-62822-2\_7},
  doi          = {10.1007/978-3-030-62822-2\_7},
  timestamp    = {Thu, 12 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/setta/LiuYL20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/setta/VinkhuijzenL20,
  author       = {Lieuwe Vinkhuijzen and
                  Alfons Laarman},
  editor       = {Jun Pang and
                  Lijun Zhang},
  title        = {Symbolic Model Checking with Sentential Decision Diagrams},
  booktitle    = {Dependable Software Engineering. Theories, Tools, and Applications
                  - 6th International Symposium, {SETTA} 2020, Guangzhou, China, November
                  24-27, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12153},
  pages        = {124--142},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-62822-2\_8},
  doi          = {10.1007/978-3-030-62822-2\_8},
  timestamp    = {Sat, 14 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/setta/VinkhuijzenL20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/setta/XueZ20,
  author       = {Bai Xue and
                  Naijun Zhan},
  editor       = {Jun Pang and
                  Lijun Zhang},
  title        = {Probably Approximately Correct Interpolants Generation},
  booktitle    = {Dependable Software Engineering. Theories, Tools, and Applications
                  - 6th International Symposium, {SETTA} 2020, Guangzhou, China, November
                  24-27, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12153},
  pages        = {143--159},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-62822-2\_9},
  doi          = {10.1007/978-3-030-62822-2\_9},
  timestamp    = {Thu, 12 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/setta/XueZ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/setta/YuCHW20,
  author       = {Hengbiao Yu and
                  Zhenbang Chen and
                  Chun Huang and
                  Ji Wang},
  editor       = {Jun Pang and
                  Lijun Zhang},
  title        = {Symbolic Verification of {MPI} Programs with Non-deterministic Synchronizations},
  booktitle    = {Dependable Software Engineering. Theories, Tools, and Applications
                  - 6th International Symposium, {SETTA} 2020, Guangzhou, China, November
                  24-27, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12153},
  pages        = {160--176},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-62822-2\_10},
  doi          = {10.1007/978-3-030-62822-2\_10},
  timestamp    = {Thu, 12 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/setta/YuCHW20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/setta/ZhaoZCLW20,
  author       = {Hengjun Zhao and
                  Xia Zeng and
                  Taolue Chen and
                  Zhiming Liu and
                  Jim Woodcock},
  editor       = {Jun Pang and
                  Lijun Zhang},
  title        = {Learning Safe Neural Network Controllers with Barrier Certificates},
  booktitle    = {Dependable Software Engineering. Theories, Tools, and Applications
                  - 6th International Symposium, {SETTA} 2020, Guangzhou, China, November
                  24-27, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12153},
  pages        = {177--185},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-62822-2\_11},
  doi          = {10.1007/978-3-030-62822-2\_11},
  timestamp    = {Mon, 02 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/setta/ZhaoZCLW20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/setta/ZhouZC20,
  author       = {Yangxi Zhou and
                  Yan Zhu and
                  Liangyu Chen},
  editor       = {Jun Pang and
                  Lijun Zhang},
  title        = {Software Defect-Proneness Prediction with Package Cohesion and Coupling
                  Metrics Based on Complex Network Theory},
  booktitle    = {Dependable Software Engineering. Theories, Tools, and Applications
                  - 6th International Symposium, {SETTA} 2020, Guangzhou, China, November
                  24-27, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12153},
  pages        = {186--201},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-62822-2\_12},
  doi          = {10.1007/978-3-030-62822-2\_12},
  timestamp    = {Tue, 07 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/setta/ZhouZC20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/setta/2020,
  editor       = {Jun Pang and
                  Lijun Zhang},
  title        = {Dependable Software Engineering. Theories, Tools, and Applications
                  - 6th International Symposium, {SETTA} 2020, Guangzhou, China, November
                  24-27, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12153},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-62822-2},
  doi          = {10.1007/978-3-030-62822-2},
  isbn         = {978-3-030-62821-5},
  timestamp    = {Thu, 12 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/setta/2020.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.