Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3. SERENE 2011: Geneva, Switzerland
- Elena Troubitsyna:
Software Engineering for Resilient Systems - Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings. Lecture Notes in Computer Science 6968, Springer 2011, ISBN 978-3-642-24123-9
Invited Talk
- Peter T. Popov
:
Preliminary Interdependency Analysis (PIA): Method and Tool Support. 1-8
Formal Modelling and Verification
- Alexei Iliasov:
Use Case Scenarios as Verification Conditions: Event-B/Flow Approach. 9-23 - Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis:
Quantitative Verification of System Safety in Event-B. 24-39 - Didier Buchs, Steve Hostettler, Alexis Marechal:
Experience-Based Model Refinement. 40-47
Architecting Resilient Systems
- Miruna Stoicescu, Jean-Charles Fabre, Matthieu Roy:
Architecting Resilient Computing Systems: Overall Approach and Open Issues. 48-62 - Ivano Malavolta, Henry Muccini, V. Smrithi Rekha:
Supporting Architectural Design Decisions Evolution through Model Driven Engineering. 63-77
Fault Tolerance
- Paolo Masci, Nicola Nostro, Felicita Di Giandomenico:
On Enabling Dependability Assurance in Heterogeneous Networks through Automated Model-Based Analysis. 78-92 - Anthony Savidis:
Supporting Cross-Language Exception Handling When Extending Applications with Embedded Languages. 93-99
Requirements Engineering and Product Lines
- Maurice H. ter Beek, Henry Muccini, Patrizio Pelliccione:
Guaranteeing Correct Evolution of Software Product Lines: Setting Up the Problem. 100-105 - Sadaf Mustafiz, Jörg Kienzle:
Idealized Fault-Tolerant Components in Requirements Engineering. 106-112
Invited Talk
- Ivica Crnkovic:
Predictability and Evolution in Resilient Systems. 113-114
Monitoring and Self-adaptation
- Sara Montagna, Mirko Viroli, Matteo Risoldi, Danilo Pianini, Giovanna Di Marzo Serugendo:
Self-organising Pervasive Ecosystems: A Crowd Evacuation Example. 115-129 - Antonia Bertolino, Antonello Calabrò, Francesca Lonetti, Antinisca Di Marco, Antonino Sabetta:
Towards a Model-Driven Infrastructure for Runtime Monitoring. 130-144
Security and Intrusion Avoidance
- Anatoliy Gorbenko, Vyacheslav S. Kharchenko, Olga Tarasyuk, Alexander B. Romanovsky:
Using Diversity in Cloud-Based Deployment Environment to Avoid Intrusions. 145-155 - Miles McQueen, Annarita Giani:
'Known Secure Sensor Measurements' for Critical Infrastructure Systems: Detecting Falsification of System State. 156-163
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:27 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
