Constitutes the refereed proceedings of the Third International Workshop on Software Engineering for Resilient Systems, SERENE 2011, held in Geneva, Switzerl&, in September 2011. This title
Includes:: the papers that address various aspects of formal modeling & verification, architecting resilient systems, & security & intrusion avoidance.