Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/setta/LinT19,
  author       = {Yu{-}Yang Lin and
                  Nikos Tzevelekos},
  editor       = {Nan Guan and
                  Joost{-}Pieter Katoen and
                  Jun Sun},
  title        = {A Bounded Model Checking Technique for Higher-Order Programs},
  booktitle    = {Dependable Software Engineering. Theories, Tools, and Applications
                  - 5th International Symposium, {SETTA} 2019, Shanghai, China, November
                  27-29, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11951},
  pages        = {1--18},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-35540-1\_1},
  doi          = {10.1007/978-3-030-35540-1\_1},
  timestamp    = {Mon, 18 Nov 2019 16:42:22 +0100},
  biburl       = {https://dblp.org/rec/conf/setta/LinT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/setta/LinardBS19,
  author       = {Alexis Linard and
                  Doina Bucur and
                  Mari{\"{e}}lle Stoelinga},
  editor       = {Nan Guan and
                  Joost{-}Pieter Katoen and
                  Jun Sun},
  title        = {Fault Trees from Data: Efficient Learning with an Evolutionary Algorithm},
  booktitle    = {Dependable Software Engineering. Theories, Tools, and Applications
                  - 5th International Symposium, {SETTA} 2019, Shanghai, China, November
                  27-29, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11951},
  pages        = {19--37},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-35540-1\_2},
  doi          = {10.1007/978-3-030-35540-1\_2},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/setta/LinardBS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/setta/LiuMC19,
  author       = {Chong Liu and
                  Nuno Macedo and
                  Alcino Cunha},
  editor       = {Nan Guan and
                  Joost{-}Pieter Katoen and
                  Jun Sun},
  title        = {Simplifying the Analysis of Software Design Variants with a Colorful
                  Alloy},
  booktitle    = {Dependable Software Engineering. Theories, Tools, and Applications
                  - 5th International Symposium, {SETTA} 2019, Shanghai, China, November
                  27-29, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11951},
  pages        = {38--55},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-35540-1\_3},
  doi          = {10.1007/978-3-030-35540-1\_3},
  timestamp    = {Tue, 25 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/setta/LiuMC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/setta/PengHD19,
  author       = {Xuemei Peng and
                  Meiling Han and
                  Qingxu Deng},
  editor       = {Nan Guan and
                  Joost{-}Pieter Katoen and
                  Jun Sun},
  title        = {Response Time Analysis of Typed {DAG} Tasks for {G-FP} Scheduling},
  booktitle    = {Dependable Software Engineering. Theories, Tools, and Applications
                  - 5th International Symposium, {SETTA} 2019, Shanghai, China, November
                  27-29, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11951},
  pages        = {56--71},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-35540-1\_4},
  doi          = {10.1007/978-3-030-35540-1\_4},
  timestamp    = {Mon, 18 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/setta/PengHD19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/setta/QiaoLYY19,
  author       = {Lei Qiao and
                  Shaofeng Li and
                  Hua Yang and
                  Mengfei Yang},
  editor       = {Nan Guan and
                  Joost{-}Pieter Katoen and
                  Jun Sun},
  title        = {A Formal Modeling and Verification Framework for Flash Translation
                  Layer Algorithms},
  booktitle    = {Dependable Software Engineering. Theories, Tools, and Applications
                  - 5th International Symposium, {SETTA} 2019, Shanghai, China, November
                  27-29, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11951},
  pages        = {72--88},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-35540-1\_5},
  doi          = {10.1007/978-3-030-35540-1\_5},
  timestamp    = {Mon, 18 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/setta/QiaoLYY19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/setta/SinghSRBDG19,
  author       = {Jasdeep Singh and
                  Luca Santinelli and
                  Federico Reghenzani and
                  Konstantinos Bletsas and
                  David Doose and
                  Zhishan Guo},
  editor       = {Nan Guan and
                  Joost{-}Pieter Katoen and
                  Jun Sun},
  title        = {Mixed Criticality Scheduling of Probabilistic Real-Time Systems},
  booktitle    = {Dependable Software Engineering. Theories, Tools, and Applications
                  - 5th International Symposium, {SETTA} 2019, Shanghai, China, November
                  27-29, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11951},
  pages        = {89--105},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-35540-1\_6},
  doi          = {10.1007/978-3-030-35540-1\_6},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/setta/SinghSRBDG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/setta/TangJG19,
  author       = {Yue Tang and
                  Yuming Jiang and
                  Nan Guan},
  editor       = {Nan Guan and
                  Joost{-}Pieter Katoen and
                  Jun Sun},
  title        = {Improving the Analysis of {GPC} in Real-Time Calculus},
  booktitle    = {Dependable Software Engineering. Theories, Tools, and Applications
                  - 5th International Symposium, {SETTA} 2019, Shanghai, China, November
                  27-29, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11951},
  pages        = {106--121},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-35540-1\_7},
  doi          = {10.1007/978-3-030-35540-1\_7},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/setta/TangJG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/setta/ZhangZSQZ19,
  author       = {Yu Zhang and
                  Yongwang Zhao and
                  David San{\'{a}}n and
                  Lei Qiao and
                  Jinkun Zhang},
  editor       = {Nan Guan and
                  Joost{-}Pieter Katoen and
                  Jun Sun},
  title        = {A Verified Specification of {TLSF} Memory Management Allocator Using
                  State Monads},
  booktitle    = {Dependable Software Engineering. Theories, Tools, and Applications
                  - 5th International Symposium, {SETTA} 2019, Shanghai, China, November
                  27-29, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11951},
  pages        = {122--138},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-35540-1\_8},
  doi          = {10.1007/978-3-030-35540-1\_8},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/setta/ZhangZSQZ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/setta/2019,
  editor       = {Nan Guan and
                  Joost{-}Pieter Katoen and
                  Jun Sun},
  title        = {Dependable Software Engineering. Theories, Tools, and Applications
                  - 5th International Symposium, {SETTA} 2019, Shanghai, China, November
                  27-29, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11951},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-35540-1},
  doi          = {10.1007/978-3-030-35540-1},
  isbn         = {978-3-030-35539-5},
  timestamp    = {Mon, 18 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/setta/2019.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.