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    = {Thu, 12 Nov 2020 00:00:00 +0100},
  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    = {Fri, 17 Feb 2023 00:00:00 +0100},
  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}
}
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.