SERENEWorkshop
25 SlideShares 13 Followers
Tags
resilience serene resilient software engineering school cyber physical systems cps serene 2015 ansaldo railway disaster recovery availability group decision making behaviour quadrotors design decisions architecture quality self* model driven engineering dependability qos
See more
  • Documents
  • Infographics
Latest Most Popular

Hot Stand-By Disaster Recovery Solutions for Ensuring the Resilience of Railway Control Systems

8 years ago • 888 Views

Considering Execution Environment Resilience: A White-Box Approach

8 years ago • 362 Views

Towards Robust and Safe Autonomous Drones

8 years ago • 1822 Views

Engineering Cross-Layer Fault Tolerance in Many-Core Systems

8 years ago • 578 Views

Risk Assessment Based Cloudification

8 years ago • 557 Views

Biological Immunity and Software Resilience: Two Faces of the Same Coin?

8 years ago • 474 Views

SERENE 2014 School: System management overview

9 years ago • 1983 Views

SERENE 2014 School: System-Level Concurrent Error Detection

9 years ago • 719 Views

SERENE 2014 School: Measurement-Driven Resilience Design of Cloud-Based Cyber-Physical Systems

9 years ago • 622 Views

SERENE 2014 School: Incremental Model Queries over the Cloud

9 years ago • 725 Views

SERENE 2014 School: Challenges in Cyber-Physical Systems

9 years ago • 1350 Views

SERENE 2014 School: Resilience in Cyber-Physical Systems: Challenges and Opportunities

9 years ago • 2390 Views

SERENE 2014 Workshop: Panel on "Views on Runtime Resilience Assessment of Dynamic Software Systems"

9 years ago • 552 Views

SERENE 2014 Workshop: Paper "Combined Error Propagation Analysis and Runtime Event Detection in Process-driven Systems"

9 years ago • 490 Views

SERENE 2014 Workshop: Paper "Simulation Testing and Model Checking: A Case Study Comparing these Approaches"

9 years ago • 489 Views

SERENE 2014 Workshop: Paper "Adaptive Domain-Specific Service Monitoring"

9 years ago • 427 Views

SERENE 2014 Workshop: Paper "Verification and Validation of a Pressure Control Unit for Hydraulic Systems"

9 years ago • 561 Views

SERENE 2014 Workshop: Paper "Using Instrumentation for Quality Assessment of Resilient Software in Embedded Systems"

9 years ago • 527 Views

SERENE 2014 Workshop: Paper "Advanced Modelling, Simulation and Verification for Future Traffic Regulation Optimisation"

9 years ago • 625 Views

SERENE 2014 Workshop: Paper "Formal Fault Tolerance Analysis of Algorithms for Redundant Systems in Early Design Stages"

9 years ago • 693 Views