↓ Skip to main content
What is this page? Embed badge

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

Overview of attention for book
Cover of 'Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Introduction to Track on Engineering Virtualized Services
  3. Altmetric Badge
    Chapter 2 Erlang-Style Error Recovery for Concurrent Objects with Cooperative Scheduling
  4. Altmetric Badge
    Chapter 3 Fault Model Design Space for Cooperative Concurrency
  5. Altmetric Badge
    Chapter 4 Programming with Actors in Java 8
  6. Altmetric Badge
    Chapter 5 Contracts in CML
  7. Altmetric Badge
    Chapter 6 Distributed Energy Management Case Study: A Formal Approach to Analyzing Utility Functions
  8. Altmetric Badge
    Chapter 7 Towards the Typing of Resource Deployment
  9. Altmetric Badge
    Chapter 8 Static Inference of Transmission Data Sizes in Distributed Systems
  10. Altmetric Badge
    Chapter 9 Fully Abstract Operation Contracts
  11. Altmetric Badge
    Chapter 10 Statistical Model Checking Past, Present, and Future
  12. Altmetric Badge
    Chapter 11 An Effective Heuristic for Adaptive Importance Splitting in Statistical Model Checking
  13. Altmetric Badge
    Chapter 12 A Formalism for Stochastic Adaptive Systems
  14. Altmetric Badge
    Chapter 13 A Review of Statistical Model Checking Pitfalls on Real-Time Stochastic Models
  15. Altmetric Badge
    Chapter 14 Formal Analysis of the Wnt/ β -catenin through Statistical Model Checking
  16. Altmetric Badge
    Chapter 15 Battery-Aware Scheduling of Mixed Criticality Systems
  17. Altmetric Badge
    Chapter 16 Using Statistical Model Checking for Measuring Systems
  18. Altmetric Badge
    Chapter 17 Blocking Advertisements on Android Devices Using Monitoring Techniques
  19. Altmetric Badge
    Chapter 18 Monitoring with Data Automata
  20. Altmetric Badge
    Chapter 19 Risk-Based Testing
  21. Altmetric Badge
    Chapter 20 A Technique for Risk-Based Test Procedure Identification, Prioritization and Selection
  22. Altmetric Badge
    Chapter 21 A Risk Assessment Framework for Software Testing
  23. Altmetric Badge
    Chapter 22 Data Driven Testing of Open Source Software
  24. Altmetric Badge
    Chapter 23 Combining Risk Analysis and Security Testing
  25. Altmetric Badge
    Chapter 24 Risk-Based Vulnerability Testing Using Security Test Patterns
  26. Altmetric Badge
    Chapter 25 Medical Cyber-Physical Systems
  27. Altmetric Badge
    Chapter 26 Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems with Application to Patient-Specific Cardiac Dynamics and Devices
  28. Altmetric Badge
    Chapter 27 On Quantitative Software Quality Assurance Methodologies for Cardiac Pacemakers
  29. Altmetric Badge
    Chapter 28 Model Checking Hybrid Systems
  30. Altmetric Badge
    Chapter 29 Challenges for the Dynamic Interconnection of Medical Devices
  31. Altmetric Badge
    Chapter 30 Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients
  32. Altmetric Badge
    Chapter 31 Track Introduction: Scientific Workflows
  33. Altmetric Badge
    Chapter 32 Meta-analysis of Disjoint Sets of Attributes in Large Cohort Studies
  34. Altmetric Badge
    Chapter 33 Towards a Flexible Assessment of Climate Impacts: The Example of Agile Workflows for the ci:grasp Platform
  35. Altmetric Badge
    Chapter 34 A Visual Programming Approach to Beat-Driven Humanoid Robot Dancing
  36. Altmetric Badge
    Chapter 35 jABCstats: An Extensible Process Library for the Empirical Analysis of jABC Workflows
  37. Altmetric Badge
    Chapter 36 Automatic Annotation of Bioinformatics Workflows with Biomedical Ontologies
  38. Altmetric Badge
    Chapter 37 Evaluation and Reproducibility of Program Analysis (Track Introduction)
  39. Altmetric Badge
    Chapter 38 SWEET – A Tool for WCET Flow Analysis (Extended Abstract)
  40. Altmetric Badge
    Chapter 39 Test-Driving Static Analysis Tools in Search of C Code Vulnerabilities II
  41. Altmetric Badge
    Chapter 40 Construction of Abstract Domains for Heterogeneous Properties (Position Paper)
  42. Altmetric Badge
    Chapter 41 Verification of Polyhedral Optimizations with Constant Loop Bounds in Finite State Space Computations
  43. Altmetric Badge
    Chapter 42 The Guided System Development Framework: Modeling and Verifying Communication Systems
  44. Altmetric Badge
    Chapter 43 Processes and Data Integration in the Networked Healthcare
  45. Altmetric Badge
    Chapter 44 Simple Management of High Assurance Data in Long-Lived Interdisciplinary Healthcare Research: A Proposal
  46. Altmetric Badge
    Chapter 45 Domain-Specific Business Modeling with the Business Model Developer
  47. Altmetric Badge
    Chapter 46 Dr. Watson? Balancing Automation and Human Expertise in Healthcare Delivery
  48. Altmetric Badge
    Chapter 47 Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction
  49. Altmetric Badge
    Chapter 48 Modelling and Verifying an Evolving Distributed Control System Using an Event-Based Approach
  50. Altmetric Badge
    Chapter 49 Requirements Driven Data Warehouse Design: We Can Go Further
  51. Altmetric Badge
    Chapter 50 On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems
Attention for Chapter 6: Distributed Energy Management Case Study: A Formal Approach to Analyzing Utility Functions
Altmetric Badge

Citations

dimensions_citation
12 Dimensions

Readers on

mendeley
3 Mendeley
Summary Dimensions citations
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Distributed Energy Management Case Study: A Formal Approach to Analyzing Utility Functions
Chapter number 6
Book title
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
Published by
Springer, Berlin, Heidelberg, October 2014
DOI 10.1007/978-3-662-45231-8_6
Book ISBNs
978-3-66-245230-1, 978-3-66-245231-8
Authors

Aida Čaušević, Cristina Seceleanu, Paul Pettersson, Čaušević, Aida, Seceleanu, Cristina, Pettersson, Paul

View on publisher site
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 3 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 3 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 2 67%
Researcher 1 33%
Readers by discipline Count As %
Computer Science 3 100%

This page is provided by Altmetric.