Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/setta/AbeUMM16,
  author       = {Tatsuya Abe and
                  Tomoharu Ugawa and
                  Toshiyuki Maeda and
                  Kousuke Matsumoto},
  editor       = {Martin Fr{\"{a}}nzle and
                  Deepak Kapur and
                  Naijun Zhan},
  title        = {Reducing State Explosion for Software Model Checking with Relaxed
                  Memory Consistency Models},
  booktitle    = {Dependable Software Engineering: Theories, Tools, and Applications
                  - Second International Symposium, {SETTA} 2016, Beijing, China, November
                  9-11, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9984},
  pages        = {118--135},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47677-3\_8},
  doi          = {10.1007/978-3-319-47677-3\_8},
  timestamp    = {Tue, 21 Mar 2023 20:59:17 +0100},
  biburl       = {https://dblp.org/rec/conf/setta/AbeUMM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/setta/AbrahamCJKM16,
  author       = {Erika {\'{A}}brah{\'{a}}m and
                  Florian Corzilius and
                  Einar Broch Johnsen and
                  Gereon Kremer and
                  Jacopo Mauro},
  editor       = {Martin Fr{\"{a}}nzle and
                  Deepak Kapur and
                  Naijun Zhan},
  title        = {Zephyrus2: On the Fly Deployment Optimization Using {SMT} and {CP}
                  Technologies},
  booktitle    = {Dependable Software Engineering: Theories, Tools, and Applications
                  - Second International Symposium, {SETTA} 2016, Beijing, China, November
                  9-11, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9984},
  pages        = {229--245},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47677-3\_15},
  doi          = {10.1007/978-3-319-47677-3\_15},
  timestamp    = {Thu, 23 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/setta/AbrahamCJKM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/setta/AhmedH16,
  author       = {Waqar Ahmad and
                  Osman Hasan},
  editor       = {Martin Fr{\"{a}}nzle and
                  Deepak Kapur and
                  Naijun Zhan},
  title        = {Formalization of Fault Trees in Higher-Order Logic: {A} Deep Embedding
                  Approach},
  booktitle    = {Dependable Software Engineering: Theories, Tools, and Applications
                  - Second International Symposium, {SETTA} 2016, Beijing, China, November
                  9-11, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9984},
  pages        = {264--279},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47677-3\_17},
  doi          = {10.1007/978-3-319-47677-3\_17},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/setta/AhmedH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/setta/DalsgaardELS16,
  author       = {Andreas Engelbredt Dalsgaard and
                  S{\o}ren Enevoldsen and
                  Kim Guldstrand Larsen and
                  Jir{\'{\i}} Srba},
  editor       = {Martin Fr{\"{a}}nzle and
                  Deepak Kapur and
                  Naijun Zhan},
  title        = {Distributed Computation of Fixed Points on Dependency Graphs},
  booktitle    = {Dependable Software Engineering: Theories, Tools, and Applications
                  - Second International Symposium, {SETTA} 2016, Beijing, China, November
                  9-11, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9984},
  pages        = {197--212},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47677-3\_13},
  doi          = {10.1007/978-3-319-47677-3\_13},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/setta/DalsgaardELS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/setta/DongFV16,
  author       = {Xiaoju Dong and
                  Yuxi Fu and
                  Daniele Varacca},
  editor       = {Martin Fr{\"{a}}nzle and
                  Deepak Kapur and
                  Naijun Zhan},
  title        = {Place Bisimulation and Liveness for Open Petri Nets},
  booktitle    = {Dependable Software Engineering: Theories, Tools, and Applications
                  - Second International Symposium, {SETTA} 2016, Beijing, China, November
                  9-11, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9984},
  pages        = {1--17},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47677-3\_1},
  doi          = {10.1007/978-3-319-47677-3\_1},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/setta/DongFV16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/setta/DuDG16,
  author       = {Wenjie Du and
                  Yuxin Deng and
                  Daniel Gebler},
  editor       = {Martin Fr{\"{a}}nzle and
                  Deepak Kapur and
                  Naijun Zhan},
  title        = {Behavioural Pseudometrics for Nondeterministic Probabilistic Systems},
  booktitle    = {Dependable Software Engineering: Theories, Tools, and Applications
                  - Second International Symposium, {SETTA} 2016, Beijing, China, November
                  9-11, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9984},
  pages        = {67--84},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47677-3\_5},
  doi          = {10.1007/978-3-319-47677-3\_5},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/setta/DuDG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/setta/Fang0SC16,
  author       = {Bingbing Fang and
                  Guoqiang Li and
                  Daniel Sun and
                  Hongming Cai},
  editor       = {Martin Fr{\"{a}}nzle and
                  Deepak Kapur and
                  Naijun Zhan},
  title        = {Schedulability Analysis of Timed Regular Tasks by Under-Approximation
                  on {WCET}},
  booktitle    = {Dependable Software Engineering: Theories, Tools, and Applications
                  - Second International Symposium, {SETTA} 2016, Beijing, China, November
                  9-11, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9984},
  pages        = {147--162},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47677-3\_10},
  doi          = {10.1007/978-3-319-47677-3\_10},
  timestamp    = {Tue, 27 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/setta/Fang0SC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/setta/HahnH16,
  author       = {Ernst Moritz Hahn and
                  Arnd Hartmanns},
  editor       = {Martin Fr{\"{a}}nzle and
                  Deepak Kapur and
                  Naijun Zhan},
  title        = {A Comparison of Time- and Reward-Bounded Probabilistic Model Checking
                  Techniques},
  booktitle    = {Dependable Software Engineering: Theories, Tools, and Applications
                  - Second International Symposium, {SETTA} 2016, Beijing, China, November
                  9-11, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9984},
  pages        = {85--100},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47677-3\_6},
  doi          = {10.1007/978-3-319-47677-3\_6},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/setta/HahnH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/setta/HansenLMPX16,
  author       = {Mikkel Hansen and
                  Kim Guldstrand Larsen and
                  Radu Mardare and
                  Mathias Ruggaard Pedersen and
                  Bingtian Xue},
  editor       = {Martin Fr{\"{a}}nzle and
                  Deepak Kapur and
                  Naijun Zhan},
  title        = {A Complete Approximation Theory for Weighted Transition Systems},
  booktitle    = {Dependable Software Engineering: Theories, Tools, and Applications
                  - Second International Symposium, {SETTA} 2016, Beijing, China, November
                  9-11, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9984},
  pages        = {213--228},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47677-3\_14},
  doi          = {10.1007/978-3-319-47677-3\_14},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/setta/HansenLMPX16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/setta/JegourelLLMPS16,
  author       = {Cyrille J{\'{e}}gourel and
                  Kim G. Larsen and
                  Axel Legay and
                  Marius Mikucionis and
                  Danny B{\o}gsted Poulsen and
                  Sean Sedwards},
  editor       = {Martin Fr{\"{a}}nzle and
                  Deepak Kapur and
                  Naijun Zhan},
  title        = {Importance Sampling for Stochastic Timed Automata},
  booktitle    = {Dependable Software Engineering: Theories, Tools, and Applications
                  - Second International Symposium, {SETTA} 2016, Beijing, China, November
                  9-11, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9984},
  pages        = {163--178},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47677-3\_11},
  doi          = {10.1007/978-3-319-47677-3\_11},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/setta/JegourelLLMPS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/setta/LiLTHZ16,
  author       = {Yong Li and
                  Wanwei Liu and
                  Andrea Turrini and
                  Ernst Moritz Hahn and
                  Lijun Zhang},
  editor       = {Martin Fr{\"{a}}nzle and
                  Deepak Kapur and
                  Naijun Zhan},
  title        = {An Efficient Synthesis Algorithm for Parametric Markov Chains Against
                  Linear Time Properties},
  booktitle    = {Dependable Software Engineering: Theories, Tools, and Applications
                  - Second International Symposium, {SETTA} 2016, Beijing, China, November
                  9-11, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9984},
  pages        = {280--296},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47677-3\_18},
  doi          = {10.1007/978-3-319-47677-3\_18},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/setta/LiLTHZ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/setta/LiuTHBGT16,
  author       = {Tianhai Liu and
                  Shmuel S. Tyszberowicz and
                  Mihai Herda and
                  Bernhard Beckert and
                  Daniel Grahl and
                  Mana Taghdiri},
  editor       = {Martin Fr{\"{a}}nzle and
                  Deepak Kapur and
                  Naijun Zhan},
  title        = {Computing Specification-Sensitive Abstractions for Program Verification},
  booktitle    = {Dependable Software Engineering: Theories, Tools, and Applications
                  - Second International Symposium, {SETTA} 2016, Beijing, China, November
                  9-11, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9984},
  pages        = {101--117},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47677-3\_7},
  doi          = {10.1007/978-3-319-47677-3\_7},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/setta/LiuTHBGT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/setta/LoharDDD16,
  author       = {Debasmita Lohar and
                  Anudeep Dunaboyina and
                  Dibyendu Das and
                  Soumyajit Dey},
  editor       = {Martin Fr{\"{a}}nzle and
                  Deepak Kapur and
                  Naijun Zhan},
  title        = {Failure Estimation of Behavioral Specifications},
  booktitle    = {Dependable Software Engineering: Theories, Tools, and Applications
                  - Second International Symposium, {SETTA} 2016, Beijing, China, November
                  9-11, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9984},
  pages        = {315--322},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47677-3\_20},
  doi          = {10.1007/978-3-319-47677-3\_20},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/setta/LoharDDD16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/setta/MizeraPY16,
  author       = {Andrzej Mizera and
                  Jun Pang and
                  Qixia Yuan},
  editor       = {Martin Fr{\"{a}}nzle and
                  Deepak Kapur and
                  Naijun Zhan},
  title        = {GPU-Accelerated Steady-State Computation of Large Probabilistic Boolean
                  Networks},
  booktitle    = {Dependable Software Engineering: Theories, Tools, and Applications
                  - Second International Symposium, {SETTA} 2016, Beijing, China, November
                  9-11, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9984},
  pages        = {50--66},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47677-3\_4},
  doi          = {10.1007/978-3-319-47677-3\_4},
  timestamp    = {Sat, 31 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/setta/MizeraPY16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/setta/SahaMB16,
  author       = {Ratul Saha and
                  Madhavan Mukund and
                  R. P. Jagadeesh Chandra Bose},
  editor       = {Martin Fr{\"{a}}nzle and
                  Deepak Kapur and
                  Naijun Zhan},
  title        = {Time-Bounded Statistical Analysis of Resource-Constrained Business
                  Processes with Distributed Probabilistic Systems},
  booktitle    = {Dependable Software Engineering: Theories, Tools, and Applications
                  - Second International Symposium, {SETTA} 2016, Beijing, China, November
                  9-11, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9984},
  pages        = {297--314},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47677-3\_19},
  doi          = {10.1007/978-3-319-47677-3\_19},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/setta/SahaMB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/setta/Wang16,
  author       = {Qiang Wang},
  editor       = {Martin Fr{\"{a}}nzle and
                  Deepak Kapur and
                  Naijun Zhan},
  title        = {Exploiting Symmetry for Efficient Verification of Infinite-State Component-Based
                  Systems},
  booktitle    = {Dependable Software Engineering: Theories, Tools, and Applications
                  - Second International Symposium, {SETTA} 2016, Beijing, China, November
                  9-11, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9984},
  pages        = {246--263},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47677-3\_16},
  doi          = {10.1007/978-3-319-47677-3\_16},
  timestamp    = {Fri, 12 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/setta/Wang16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/setta/Wu16,
  author       = {Zhilin Wu},
  editor       = {Martin Fr{\"{a}}nzle and
                  Deepak Kapur and
                  Naijun Zhan},
  title        = {Semipositivity in Separation Logic with Two Variables},
  booktitle    = {Dependable Software Engineering: Theories, Tools, and Applications
                  - Second International Symposium, {SETTA} 2016, Beijing, China, November
                  9-11, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9984},
  pages        = {179--196},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47677-3\_12},
  doi          = {10.1007/978-3-319-47677-3\_12},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/setta/Wu16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/setta/WuYK16,
  author       = {Hao Wu and
                  Xiaoxiao Yang and
                  Joost{-}Pieter Katoen},
  editor       = {Martin Fr{\"{a}}nzle and
                  Deepak Kapur and
                  Naijun Zhan},
  title        = {Performance Evaluation of Concurrent Data Structures},
  booktitle    = {Dependable Software Engineering: Theories, Tools, and Applications
                  - Second International Symposium, {SETTA} 2016, Beijing, China, November
                  9-11, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9984},
  pages        = {38--49},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47677-3\_3},
  doi          = {10.1007/978-3-319-47677-3\_3},
  timestamp    = {Fri, 03 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/setta/WuYK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/setta/XuSD16,
  author       = {Qingguo Xu and
                  Robert de Simone and
                  Julien DeAntoni},
  editor       = {Martin Fr{\"{a}}nzle and
                  Deepak Kapur and
                  Naijun Zhan},
  title        = {Divergence Detection for {CCSL} Specification via Clock Causality
                  Chain},
  booktitle    = {Dependable Software Engineering: Theories, Tools, and Applications
                  - Second International Symposium, {SETTA} 2016, Beijing, China, November
                  9-11, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9984},
  pages        = {18--37},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47677-3\_2},
  doi          = {10.1007/978-3-319-47677-3\_2},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/setta/XuSD16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/setta/ZhaoLYQ16,
  author       = {Ruifang Zhao and
                  Ke Liu and
                  Hongli Yang and
                  Zongyan Qiu},
  editor       = {Martin Fr{\"{a}}nzle and
                  Deepak Kapur and
                  Naijun Zhan},
  title        = {Identifying {XML} Schema Constraints Using Temporal Logic},
  booktitle    = {Dependable Software Engineering: Theories, Tools, and Applications
                  - Second International Symposium, {SETTA} 2016, Beijing, China, November
                  9-11, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9984},
  pages        = {136--146},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47677-3\_9},
  doi          = {10.1007/978-3-319-47677-3\_9},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/setta/ZhaoLYQ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/setta/2016,
  editor       = {Martin Fr{\"{a}}nzle and
                  Deepak Kapur and
                  Naijun Zhan},
  title        = {Dependable Software Engineering: Theories, Tools, and Applications
                  - Second International Symposium, {SETTA} 2016, Beijing, China, November
                  9-11, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9984},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47677-3},
  doi          = {10.1007/978-3-319-47677-3},
  isbn         = {978-3-319-47676-6},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/setta/2016.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.