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}
}
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.