Upload File

The top documents of sereneworkshop

Towards SERENE 2015 (
Towards SERENE 2015 (
252 views
SERENE 2014 School: System management overview
SERENE 2014 School: System management overview
533 views
SERENE 2014 Workshop: Paper "Modelling Resilience of Data Processing Capabilities of CPS"
SERENE 2014 Workshop: Paper "Modelling Resilience of Data Processing Capabilities of CPS"
126 views
SERENE 2014 Workshop: Paper "Using Instrumentation for Quality Assessment of Resilient Software in Embedded Systems"
SERENE 2014 Workshop: Paper "Using Instrumentation for Quality Assessment of Resilient Software in Embedded Systems"
90 views
SERENE 2014 Workshop: Paper "Combined Error Propagation Analysis and Runtime Event Detection in Process-driven Systems"
SERENE 2014 Workshop: Paper "Combined Error Propagation Analysis and Runtime Event Detection in Process-driven Systems"
124 views
SERENE 2014 School: System-Level Concurrent Error Detection
SERENE 2014 School: System-Level Concurrent Error Detection
164 views
SERENE 2014 School: Resilience in Cyber-Physical Systems: Challenges and Opportunities
SERENE 2014 School: Resilience in Cyber-Physical Systems: Challenges and Opportunities
840 views
SERENE 2014 Workshop: Paper "Formal Fault Tolerance Analysis of Algorithms for Redundant Systems in Early Design Stages"
SERENE 2014 Workshop: Paper "Formal Fault Tolerance Analysis of Algorithms for Redundant Systems in Early Design Stages"
125 views
SERENE 2014 School: Challenges in Cyber-Physical Systems
SERENE 2014 School: Challenges in Cyber-Physical Systems
393 views
SERENE 2014 Workshop: Panel on "Views on Runtime Resilience Assessment of Dynamic Software Systems"
SERENE 2014 Workshop: Panel on "Views on Runtime Resilience Assessment of Dynamic Software Systems"
175 views
SERENE 2014 Workshop: Paper "On Applying FMEA to SOAs: A Proposal and Open Challenges"
SERENE 2014 Workshop: Paper "On Applying FMEA to SOAs: A Proposal and Open Challenges"
178 views
SERENE 2014 Workshop: Paper "Enhancing Architecture Design Decisions Evolution with Group Decision Making Principles"
SERENE 2014 Workshop: Paper "Enhancing Architecture Design Decisions Evolution with Group Decision Making Principles"
157 views
SERENE 2014 Workshop: Paper "Automatic Generation of Description Files for Highly Available Systems"
SERENE 2014 Workshop: Paper "Automatic Generation of Description Files for Highly Available Systems"
114 views
SERENE 2014 School: Incremental Model Queries over the Cloud
SERENE 2014 School: Incremental Model Queries over the Cloud
191 views
SERENE 2014 Workshop: Paper "Simulation Testing and Model Checking: A Case Study Comparing these Approaches"
SERENE 2014 Workshop: Paper "Simulation Testing and Model Checking: A Case Study Comparing these Approaches"
93 views
SERENE 2014 Workshop: Paper "The Role of Parts in the System Behaviour"
SERENE 2014 Workshop: Paper "The Role of Parts in the System Behaviour"
115 views
SERENE 2014 School: Measurement-Driven Resilience Design of Cloud-Based Cyber-Physical Systems
SERENE 2014 School: Measurement-Driven Resilience Design of Cloud-Based Cyber-Physical Systems
152 views
SERENE 2014 Workshop: Paper "Verification and Validation of a Pressure Control Unit for Hydraulic Systems"
SERENE 2014 Workshop: Paper "Verification and Validation of a Pressure Control Unit for Hydraulic Systems"
139 views
SERENE 2014 Workshop: Paper "Adaptive Domain-Specific Service Monitoring"
SERENE 2014 Workshop: Paper "Adaptive Domain-Specific Service Monitoring"
99 views
SERENE 2014 Workshop: Paper "Advanced Modelling, Simulation and Verification for Future Traffic Regulation Optimisation"
SERENE 2014 Workshop: Paper "Advanced Modelling, Simulation and Verification for Future Traffic Regulation Optimisation"
182 views