Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

Front Matter....Pages -
Introduction to Track on Engineering Virtualized Services....Pages 1-4
Erlang-Style Error Recovery for Concurrent Objects with Cooperative Scheduling....Pages 5-21
Fault Model Design Space for Cooperative Concurrency....Pages 22-36
Programming with Actors in Java 8....Pages 37-53
Contracts in CML....Pages 54-73
Distributed Energy Management Case Study: A Formal Approach to Analyzing Utility Functions....Pages 74-87
Towards the Typing of Resource Deployment....Pages 88-103
Static Inference of Transmission Data Sizes in Distributed Systems....Pages 104-119
Fully Abstract Operation Contracts....Pages 120-134
Statistical Model Checking Past, Present, and Future....Pages 135-142
An Effective Heuristic for Adaptive Importance Splitting in Statistical Model Checking....Pages 143-159
A Formalism for Stochastic Adaptive Systems....Pages 160-176
A Review of Statistical Model Checking Pitfalls on Real-Time Stochastic Models....Pages 177-192
Formal Analysis of the Wnt/ β -catenin through Statistical Model Checking....Pages 193-207
Battery-Aware Scheduling of Mixed Criticality Systems....Pages 208-222
Using Statistical Model Checking for Measuring Systems....Pages 223-238
Blocking Advertisements on Android Devices Using Monitoring Techniques....Pages 239-253
Monitoring with Data Automata....Pages 254-273
Risk-Based Testing....Pages 274-276
A Technique for Risk-Based Test Procedure Identification, Prioritization and Selection....Pages 277-291
A Risk Assessment Framework for Software Testing....Pages 292-308
Data Driven Testing of Open Source Software....Pages 309-321
Combining Risk Analysis and Security Testing....Pages 322-336
Risk-Based Vulnerability Testing Using Security Test Patterns....Pages 337-352
Medical Cyber-Physical Systems....Pages 353-355
Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems with Application to Patient-Specific Cardiac Dynamics and Devices....Pages 356-364
On Quantitative Software Quality Assurance Methodologies for Cardiac Pacemakers....Pages 365-384
Model Checking Hybrid Systems....Pages 385-386
Challenges for the Dynamic Interconnection of Medical Devices....Pages 387-390
Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients....Pages 391-403
Track Introduction: Scientific Workflows....Pages 404-406
Meta-analysis of Disjoint Sets of Attributes in Large Cohort Studies....Pages 407-419
Towards a Flexible Assessment of Climate Impacts: The Example of Agile Workflows for the ci:grasp Platform....Pages 420-435
A Visual Programming Approach to Beat-Driven Humanoid Robot Dancing....Pages 436-448
jABCstats: An Extensible Process Library for the Empirical Analysis of jABC Workflows....Pages 449-463
Automatic Annotation of Bioinformatics Workflows with Biomedical Ontologies....Pages 464-478
Evaluation and Reproducibility of Program Analysis (Track Introduction)....Pages 479-481
SWEET – A Tool for WCET Flow Analysis (Extended Abstract)....Pages 482-485
Test-Driving Static Analysis Tools in Search of C Code Vulnerabilities II....Pages 486-488
Construction of Abstract Domains for Heterogeneous Properties (Position Paper)....Pages 489-492
Verification of Polyhedral Optimizations with Constant Loop Bounds in Finite State Space Computations....Pages 493-508
The Guided System Development Framework: Modeling and Verifying Communication Systems....Pages 509-523
Processes and Data Integration in the Networked Healthcare....Pages 524-525
Simple Management of High Assurance Data in Long-Lived Interdisciplinary Healthcare Research: A Proposal....Pages 526-544
Domain-Specific Business Modeling with the Business Model Developer....Pages 545-560
Dr. Watson? Balancing Automation and Human Expertise in Healthcare Delivery....Pages 561-569
Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction....Pages 570-572
Modelling and Verifying an Evolving Distributed Control System Using an Event-Based Approach....Pages 573-587
Requirements Driven Data Warehouse Design: We Can Go Further....Pages 588-603
On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems....Pages 604-618
Back Matter....Pages -