By András Pataricza, Imre Kocsis, Ágnes Salánki, László Gönczy (auth.), Anatoliy Gorbenko, Alexander Romanovsky, Vyacheslav Kharchenko (eds.)
This ebook constitutes the refereed complaints of the fifth foreign Workshop on software program Engineering for Resilient platforms, SERENE 2013, held in Kiev, Ukraine, in October 2013. The thirteen revised complete papers have been rigorously reviewed and chosen from 21 submissions. The papers are equipped in topical sections on resilient software program and layout, rigorous reasoning, purposes, innovations, and analysis.