Abstract is missing.
- Preliminary Interdependency Analysis (PIA): Method and Tool SupportPeter Popov. 1-8 [doi]
- Use Case Scenarios as Verification Conditions: Event-B/Flow ApproachAlexei Iliasov. 9-23 [doi]
- Quantitative Verification of System Safety in Event-BAnton Tarasyuk, Elena Troubitsyna, Linas Laibinis. 24-39 [doi]
- Experience-Based Model RefinementDidier Buchs, Steve Hostettler, Alexis Marechal. 40-47 [doi]
- Architecting Resilient Computing Systems: Overall Approach and Open IssuesMiruna Stoicescu, Jean-Charles Fabre, Matthieu Roy. 48-62 [doi]
- Supporting Architectural Design Decisions Evolution through Model Driven EngineeringIvano Malavolta, Henry Muccini, V. Smrithi Rekha. 63-77 [doi]
- On Enabling Dependability Assurance in Heterogeneous Networks through Automated Model-Based AnalysisPaolo Masci, Nicola Nostro, Felicita Di Giandomenico. 78-92 [doi]
- Supporting Cross-Language Exception Handling When Extending Applications with Embedded LanguagesAnthony Savidis. 93-99 [doi]
- Guaranteeing Correct Evolution of Software Product Lines: Setting Up the ProblemMaurice H. ter Beek, Henry Muccini, Patrizio Pelliccione. 100-105 [doi]
- Idealized Fault-Tolerant Components in Requirements EngineeringSadaf Mustafiz, Jörg Kienzle. 106-112 [doi]
- Predictability and Evolution in Resilient SystemsIvica Crnkovic. 113-114 [doi]
- Self-organising Pervasive Ecosystems: A Crowd Evacuation ExampleSara Montagna, Mirko Viroli, Matteo Risoldi, Danilo Pianini, Giovanna Di Marzo Serugendo. 115-129 [doi]
- Towards a Model-Driven Infrastructure for Runtime MonitoringAntonia Bertolino, Antonello Calabrò, Francesca Lonetti, Antinisca Di Marco, Antonino Sabetta. 130-144 [doi]
- Using Diversity in Cloud-Based Deployment Environment to Avoid IntrusionsAnatoliy Gorbenko, Vyacheslav S. Kharchenko, Olga Tarasyuk, Alexander Romanovsky. 145-155 [doi]
- 'Known Secure Sensor Measurements' for Critical Infrastructure Systems: Detecting Falsification of System StateMiles McQueen, Annarita Giani. 156-163 [doi]