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: Foundational Techniques
    sub title: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I
  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: 2016
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: XXIII, 974 p. 256 illus. online resource.
  abstract: The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, held in Imperial, Corfu, Greece, in October 2016. The papers presented in this volume were carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each section, the papers are organized in topical sections named: statistical model checking; evaluation and reproducibility of program analysis and verification; ModSyn-PP: modular synthesis of programs and processes; semantic heterogeneity in the formal development of complex systems; static and runtime verification: competitors or friends?; rigorous engineering of collective adaptive systems; correctness-by-construction and post-hoc verification: friends or foes?; privacy and security issues in information systems; towards a unified view of modeling and programming; formal methods and safety certification: challenges in the railways domain; RVE: runtime verification and enforcement, the (industrial) application perspective; variability modeling for scalable software evolution; detecting and understanding software doping; learning systems: machine-learning in software products and learning-based analysis of software systems; testing the internet of things; doctoral symposium; industrial track; RERS challenge; and STRESS.
  table of contents: Statistical Model Checking: Past, Present and Future -- Hypothesis testing for rare-event simulation: limitations and possibilities -- Survey of Statistical Verification of Linear Unbounded Properties: Model Checking and Distances -- Feedback Control for Statistical Model Checking of Cyber-Physical Systems -- Probabilistic Model Checking of Incomplete Models -- Plasma Lab: A Modular Statistical Model Checking Platform -- Synthesizing Energy-Optimal Controllers for Multiprocessor Dataflow Applications with UPPAAL STRATEGO -- Statistical Model Checking for Product Lines -- Towards Adaptive Scheduling of Maintenance for Cyber-Physical Systems -- Better railway engineering through statistical model checking -- On Creation and Analysis of Reliability Models by Means of Stochastic Timed Automata and Statistical Model Checking: Principle -- Automatic Synthesis of Code using Genetic Programming -- Evaluation and Reproducibility of Program Analysis and Verification (Track Introduction) -- Symbolic Execution with CEGAR -- Multi-Core Model Checking of Large-Scale Reactive Systems Using Different State Representations -- Sparse Analysis of Variable Path Predicates Based Upon SSA-Form -- A Model Interpreter for Timed Automata -- ModSyn-PP: Modular Synthesis of Programs and Processes: Track Introduction -- Combinatory Process Synthesis -- Synthesis from a Practical Perspective -- A Long and Winding Road Towards Modular Synthesis -- Semantic heterogeneity in the formal development of complex systems: an introduction -- On the Use of Domain and System Knowledge Modeling in Goal-Based Event-B Specifications -- Strengthening MDE and Formal Design Models by references to Domain Ontologies. A Model Annotation Based Approach -- Towards Functional Requirements Analytics -- Heterogeneous Semantics and Unifying Theories -- Static and Runtime Verification: Competitors or Friends? -- StaRVOOrS - Episode II, Strengthen and Distribute the Force -- A Model-Based Approach to Combining Static and…
  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: Logics and Meanings of Programs
  subject:
    topic: Programming Languages, Compilers, Interpreters
  subject:
    topic: Computation by Abstract Devices
  subject:
    topic: Mathematical Logic and Formal Languages
  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, 9952
  identifier: 9783319471662
  identifier: http://dx.doi.org/10.1007/978-3-319-47166-2
  record info:
    record creation date: 161005
    record change date: 20161005021424.0
    record identifier: 978-3-319-47166-2