Description

Book Synopsis

.- Invited Paper.
.- Distributed Runtime Verification with Imperfect Monitors: Challenges and Opportunities.
.- Cyber-physical Systems.
.- A Formal Approach for Safe Reinforcement Learning: A Rate-Adaptive Pacemaker Case Study.
.- Stream-based Monitoring under Measurement Noise.
.- Dynamic, Multi-Objective Specification and Falsification of Autonomous CPS.
.- Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption.
.- Sampling-based and Gradient-based Efficient Scenario Generation.
.- HyperPart-X: Probabilistic Guarantees for Parameter Mining of Signal Temporal Logic Formulas in Cyber-Physical Systems.
.- Temporal Logics.
.- faRM-LTL: A Domain-Specific Architecture for Flexible and Accelerated Runtime Monitoring of LTL Properties.
.- Efficient Online Monitoring for Dynamic Metric Temporal Logic.
.- TimelyMon: A Streaming Parallel First-Order Monitor.
.- Specification and Visualization.
.- Adding State to Stream Runtime Verification.
.- The Complexity of Data-Free Nfer.
.- RTLolaMo3Vis - A Mobile and Modular Visualization Framework for Online Monitoring.
.- Deep Neural Networks.
.- Case Study: Runtime Safety Verification of Neural Network Controlled System.
.- Gaussian-Based and Outside-the-Box Runtime Monitoring Join Forces.
.- Box-based Monitor Approach for Out-of-Distribution Detection in YOLO: An Exploratory Study.
.- Distributed Systems.
.- Distributed Monitoring of Timed Properties.
.- Towards Efficient Runtime Veri ed Linearizable Algorithms.
.- Approximate Distributed Monitoring under Partial Synchrony: Balancing Speed and Accuracy.

Runtime Verification

    Product form

    £49.99

    Includes FREE delivery

    Order before 4pm tomorrow for delivery by Sat 1 Aug 2026.

    A Paperback by Erika Ábrahám

      Trusted by thousands of customers. See 2,385+ Customer Reviews

      View other formats and editions of Runtime Verification by Erika Ábrahám

      Publisher: Springer
      Publication Date: Publication Date: 12/10/2024
      ISBN13: 9783031742330, 978-3031742330
      ISBN10:
      Also in:
      Computing Software Engineering

      Description

      Book Synopsis

      .- Invited Paper.
      .- Distributed Runtime Verification with Imperfect Monitors: Challenges and Opportunities.
      .- Cyber-physical Systems.
      .- A Formal Approach for Safe Reinforcement Learning: A Rate-Adaptive Pacemaker Case Study.
      .- Stream-based Monitoring under Measurement Noise.
      .- Dynamic, Multi-Objective Specification and Falsification of Autonomous CPS.
      .- Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption.
      .- Sampling-based and Gradient-based Efficient Scenario Generation.
      .- HyperPart-X: Probabilistic Guarantees for Parameter Mining of Signal Temporal Logic Formulas in Cyber-Physical Systems.
      .- Temporal Logics.
      .- faRM-LTL: A Domain-Specific Architecture for Flexible and Accelerated Runtime Monitoring of LTL Properties.
      .- Efficient Online Monitoring for Dynamic Metric Temporal Logic.
      .- TimelyMon: A Streaming Parallel First-Order Monitor.
      .- Specification and Visualization.
      .- Adding State to Stream Runtime Verification.
      .- The Complexity of Data-Free Nfer.
      .- RTLolaMo3Vis - A Mobile and Modular Visualization Framework for Online Monitoring.
      .- Deep Neural Networks.
      .- Case Study: Runtime Safety Verification of Neural Network Controlled System.
      .- Gaussian-Based and Outside-the-Box Runtime Monitoring Join Forces.
      .- Box-based Monitor Approach for Out-of-Distribution Detection in YOLO: An Exploratory Study.
      .- Distributed Systems.
      .- Distributed Monitoring of Timed Properties.
      .- Towards Efficient Runtime Veri ed Linearizable Algorithms.
      .- Approximate Distributed Monitoring under Partial Synchrony: Balancing Speed and Accuracy.

      Recently viewed products

      © 2026 Book Curl

        • American Express
        • Apple Pay
        • Diners Club
        • Discover
        • Google Pay
        • Maestro
        • Mastercard
        • PayPal
        • Shop Pay
        • Union Pay
        • Visa

        Login

        Forgot your password?

        Don't have an account yet?
        Create account