Search dblp for Publications

• > Home > Search

@proceedings{DBLP:conf/setss/2019,
  editor       = {Jonathan P. Bowen and
                  Zhiming Liu and
                  Zili Zhang},
  title        = {Engineering Trustworthy Software Systems - 5th International School,
                  {SETSS} 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {12154},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-55089-9},
  doi          = {10.1007/978-3-030-55089-9},
  isbn         = {978-3-030-55088-2},
  timestamp    = {Mon, 03 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/setss/2019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/setss/0002R19,
  author       = {Xiaohong Chen and
                  Grigore Rosu},
  editor       = {Jonathan P. Bowen and
                  Zhiming Liu and
                  Zili Zhang},
  title        = {{\textdollar}{\textbackslash}mathbb \{K\}{\textdollar} - {A} Semantic
                  Framework for Programming Languages and Formal Analysis},
  booktitle    = {Engineering Trustworthy Software Systems - 5th International School,
                  {SETSS} 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {12154},
  pages        = {122--158},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-55089-9\_4},
  doi          = {10.1007/978-3-030-55089-9\_4},
  timestamp    = {Thu, 06 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/setss/0002R19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/setss/Broy19,
  author       = {Manfred Broy},
  editor       = {Jonathan P. Bowen and
                  Zhiming Liu and
                  Zili Zhang},
  title        = {Seamless Model-Based System Development: Foundations - (Extended Abstract)},
  booktitle    = {Engineering Trustworthy Software Systems - 5th International School,
                  {SETSS} 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {12154},
  pages        = {1--9},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-55089-9\_1},
  doi          = {10.1007/978-3-030-55089-9\_1},
  timestamp    = {Thu, 06 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/setss/Broy19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/setss/BuWWL19,
  author       = {Lei Bu and
                  Jiawan Wang and
                  Yuming Wu and
                  Xuandong Li},
  editor       = {Jonathan P. Bowen and
                  Zhiming Liu and
                  Zili Zhang},
  title        = {From Bounded Reachability Analysis of Linear Hybrid Automata to Verification
                  of Industrial {CPS} and IoT},
  booktitle    = {Engineering Trustworthy Software Systems - 5th International School,
                  {SETSS} 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {12154},
  pages        = {10--43},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-55089-9\_2},
  doi          = {10.1007/978-3-030-55089-9\_2},
  timestamp    = {Thu, 06 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/setss/BuWWL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/setss/LiuBLTZ19,
  author       = {Zhiming Liu and
                  Jonathan P. Bowen and
                  Bo Liu and
                  Shmuel S. Tyszberowicz and
                  Tingting Zhang},
  editor       = {Jonathan P. Bowen and
                  Zhiming Liu and
                  Zili Zhang},
  title        = {Software Abstractions and Human-Cyber-Physical Systems Architecture
                  Modelling},
  booktitle    = {Engineering Trustworthy Software Systems - 5th International School,
                  {SETSS} 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {12154},
  pages        = {159--219},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-55089-9\_5},
  doi          = {10.1007/978-3-030-55089-9\_5},
  timestamp    = {Thu, 23 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/setss/LiuBLTZ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/setss/SzymczakK19,
  author       = {Marcin Szymczak and
                  Joost{-}Pieter Katoen},
  editor       = {Jonathan P. Bowen and
                  Zhiming Liu and
                  Zili Zhang},
  title        = {Weakest Preexpectation Semantics for Bayesian Inference - Conditioning,
                  Continuous Distributions and Divergence},
  booktitle    = {Engineering Trustworthy Software Systems - 5th International School,
                  {SETSS} 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {12154},
  pages        = {44--121},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-55089-9\_3},
  doi          = {10.1007/978-3-030-55089-9\_3},
  timestamp    = {Fri, 27 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/setss/SzymczakK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}