rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
    sub title: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II
  name:
    name part: Margaria, Tiziana.
    role:
      role term: editor.
  name:
    name part: Steffen, Bernhard.
    role:
      role term: editor.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 2014
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: XVIII, 644 p. 187 illus. online resource.
  abstract: The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, held in Imperial, Corfu, Greece, in October 2014. The total of 67 full papers was carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each section, the papers are organized in topical sections named: evolving critical systems; rigorous engineering of autonomic ensembles; automata learning; formal methods and analysis in software product line engineering; model-based code generators and compilers; engineering virtualized systems; statistical model checking; risk-based testing; medical cyber-physical systems; scientific workflows; evaluation and reproducibility of program analysis; processes and data integration in the networked healthcare; semantic heterogeneity in the formal development of complex systems. In addition, part I contains a tutorial on automata learning in practice; as well as the preliminary manifesto to the LNCS Transactions on the Foundations for Mastering Change with several position papers. Part II contains information on the industrial track and the doctoral symposium and poster session.
  table of contents: Introduction to Track on Engineering Virtualized Services -- Erlang-Style Error Recovery for Concurrent Objects with Cooperative Scheduling -- Fault Model Design Space for Cooperative Concurrency -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal Approach to Analyzing Utility Functions -- Towards the Typing of Resource Deployment -- Static Inference of Transmission Data Sizes in Distributed Systems -- Fully Abstract Operation Contracts -- Statistical Model Checking Statistical Model Checking Past, Present, and Future -- An Effective Heuristic for Adaptive Importance Splitting in Statistical Model Checking -- A Formalism for Stochastic Adaptive Systems -- A Review of Statistical Model Checking Pitfalls on Real-Time Stochastic Models -- Formal Analysis of the Wnt/β-catenin Pathway through Statistical Model Checking -- Battery-Aware Scheduling of Mixed Criticality Systems -- Using Statistical Model Checking for Measuring Systems -- Blocking Advertisements on Android Devices Using Monitoring Techniques -- Monitoring with Data Automata -- Risk-Based Testing (Track Introduction) -- A Technique for Risk-Based Test Procedure Identification, Prioritization and Selection -- A Risk Assessment Framework for Software Testing -- Data Driven Testing of Open Source Software -- Combining Risk Analysis and Security Testing -- Risk-Based Vulnerability Testing Using Security Test Patterns -- Medical Cyber-Physical Systems (Track Introduction) -- Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems with Application to Patient-Specific Cardiac Dynamics and Devices -- On Quantitative Software Quality Assurance Methodologies for Cardiac Pacemakers -- Model Checking Hybrid Systems (Invited Talk) -- Challenges for the Dynamic Interconnection of Medical Devices -- Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients -- Track Introduction: Scientific Workflows -- Meta-…
  note: edited by Tiziana Margaria, Bernhard Steffen.
  subject:
    topic: Computer science
  subject:
    topic: Software engineering
  subject:
    topic: Programming languages (Electronic computers)
  subject:
    topic: Computers
  subject:
    topic: Computer logic
  subject:
    topic: Mathematical logic
  subject:
    topic: Artificial intelligence
  subject:
    topic: Computer Science
  subject:
    topic: Software Engineering
  subject:
    topic: Programming Languages, Compilers, Interpreters
  subject:
    topic: Computation by Abstract Devices
  subject:
    topic: Mathematical Logic and Formal Languages
  subject:
    topic: Logics and Meanings of Programs
  subject:
    topic: Artificial Intelligence (incl. Robotics)
  classification: QA76.758
  classification: 005.1
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: Lecture Notes in Computer Science, 8803
  identifier: 9783662452318
  identifier: http://dx.doi.org/10.1007/978-3-662-45231-8
  record info:
    record creation date: 140926
    record change date: 20151204141921.0
    record identifier: 978-3-662-45231-8