SERENEWorkshop

13 Followers

25 SlideShares 13 Followers

25 SlideShares 13 Followers

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

Aktivität
Info

SERENE 2014 Workshop: Paper "The Role of Parts in the System Behaviour"

Vor 9 Jahren • 384 Aufrufe

SERENE 2014 Workshop: Paper "On Applying FMEA to SOAs: A Proposal and Open Challenges"

Vor 9 Jahren • 631 Aufrufe

SERENE 2014 Workshop: Paper "Enhancing Architecture Design Decisions Evolution with Group Decision Making Principles"

Vor 9 Jahren • 600 Aufrufe

SERENE 2014 Workshop: Paper "Automatic Generation of Description Files for Highly Available Systems"

Vor 9 Jahren • 419 Aufrufe

SERENE 2014 Workshop: Paper "Modelling Resilience of Data Processing Capabilities of CPS"

Vor 9 Jahren • 457 Aufrufe

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

Vor 9 Jahren • 693 Aufrufe

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

Vor 9 Jahren • 624 Aufrufe

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

Vor 9 Jahren • 526 Aufrufe

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

Vor 9 Jahren • 561 Aufrufe

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

Vor 9 Jahren • 426 Aufrufe

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

Vor 9 Jahren • 489 Aufrufe

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

Vor 9 Jahren • 490 Aufrufe

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

Vor 9 Jahren • 551 Aufrufe

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

Vor 9 Jahren • 2380 Aufrufe

SERENE 2014 School: Challenges in Cyber-Physical Systems

Vor 9 Jahren • 1349 Aufrufe

SERENE 2014 School: Incremental Model Queries over the Cloud

Vor 9 Jahren • 725 Aufrufe

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

Vor 9 Jahren • 622 Aufrufe

SERENE 2014 School: System-Level Concurrent Error Detection

Vor 9 Jahren • 719 Aufrufe

SERENE 2014 School: System management overview

Vor 9 Jahren • 1981 Aufrufe

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

Vor 8 Jahren • 470 Aufrufe

Risk Assessment Based Cloudification

Vor 8 Jahren • 557 Aufrufe

Engineering Cross-Layer Fault Tolerance in Many-Core Systems

Vor 8 Jahren • 578 Aufrufe

Towards Robust and Safe Autonomous Drones

Vor 8 Jahren • 1818 Aufrufe

Considering Execution Environment Resilience: A White-Box Approach

Vor 8 Jahren • 362 Aufrufe

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

Vor 8 Jahren • 883 Aufrufe

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