Li, Xuandong (ed.); Liu, Zhiming (ed.); Yi, Wang (ed.) Dependable software engineering: theories, tools, and applications. First international symposium, SETTA 2015, Nanjing, China, November 4–6, 2015. Proceedings. (English) Zbl 1347.68010 Lecture Notes in Computer Science 9409. Cham: Springer (ISBN 978-3-319-25941-3/pbk; 978-3-319-25942-0/ebook). xix, 317 p. (2015). Show indexed articles as search result. The articles of mathematical interest will be reviewed individually.Indexed articles:Junges, Sebastian; Guck, Dennis; Katoen, Joost-Pieter; Rensink, Arend; Stoelinga, Mariëlle, Fault trees on a diet – automated reduction by graph rewriting, 3-18 [Zbl 1369.68172]Hatefi, Hassan; Braitling, Bettina; Wimmer, Ralf; Ferrer Fioriti, Luis María; Hermanns, Holger; Becker, Bernd, Cost vs. time in stochastic games and Markov automata, 19-34 [Zbl 1369.68253]Peng, Yu; Wang, Shuling; Zhan, Naijun; Zhang, Lijun, Extending hybrid CSP with probability and stochasticity, 87-102 [Zbl 1369.68264]Luo, Chen; He, Fei; Ghezzi, Carlo, Inferring software behavioral models with MapReduce, 135-149 [Zbl 1369.68164]Moszkowski, Ben; Guelev, Dimitar P., An application of temporal projection to interleaving concurrency, 153-167 [Zbl 1369.68263]Wasser, Nathan, Generating specifications for recursive methods by abstracting program states, 243-257 [Zbl 1369.68161] Cited in 1 Review MSC: 68-06 Proceedings, conferences, collections, etc. pertaining to computer science 68Nxx Theory of software 00B25 Proceedings of conferences of miscellaneous specific interest PDF BibTeX XML Cite \textit{X. Li} (ed.) et al., Dependable software engineering: theories, tools, and applications. First international symposium, SETTA 2015, Nanjing, China, November 4--6, 2015. Proceedings. Cham: Springer (2015; Zbl 1347.68010) Full Text: DOI