TY - BOOK AU - Fantechi,Alessandro AU - Pelliccione,Patrizio TI - Software Engineering for Resilient Systems: 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings SN - 9783319231297 PY - 2015/// CY - Cham PB - Springer International Publishing KW - Computer science KW - Computer communication systems KW - Software engineering KW - Programming languages (Electronic computers) KW - Computer logic KW - Management information systems N1 - Biological Immunity and Software Resilience: two faces of the same coin? -- Towards Dynamic Software Diversity for Resilient Redundant Embedded Systems: A decomposition method for the verification of a real-time safety-critical protocol -- Considering execution environment resilience: A white-box approach: Engineering Cross-Layer Fault Tolerance in Many-Core Systems -- Risk assessment based cloudification -- Stochastic Model-Based Analysis of Energy Consumption in a Rail Road Switch Heating System -- Bidirectional Crosslinking of System and Software Modeling in the Automotive Domain -- Tejo: a supervised anomaly detection scheme for NewSQL databases -- Resiliency Variance in Workows with Choice UR - http://dx.doi.org/10.1007/978-3-319-23129-7 ER -