Software Engineering for Resilient Systems  7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings /  [electronic resource] : 
edited by Alessandro Fantechi, Patrizio Pelliccione. 
 - 1st ed. 2015. 
 - Cham :  Springer International Publishing,  2015. 
 - 1 online resource (IX, 145 p. 47 ill.) 
 - Lecture Notes in Computer Science,  9274  0302-9743 ; .
<br/><br/>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. 
<br/><br/><label>ISBN: </label>9783319231297 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Computer communication systems.<br/>Software engineering.<br/>Programming languages (Electronic computers).<br/>Computer logic.<br/>Management information systems.