Runtime Verification, Christian Colombo; Martin Leucker

Автор: Axel Legay; Saddek Bensalem
Название: Runtime Verification
ISBN: 3642407862 ISBN-13(EAN): 9783642407864
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 4th International Conference on Runtime Verification, RV 2013, held in Rennes, France, in September 2013. The 24 revised full papers presented together with 3 invited papers, 2 tool papers, and 6 tutorials were carefully reviewed and selected from 58 submissions.

Автор: Falcone
Название: Runtime Verification
ISBN: 3319469819 ISBN-13(EAN): 9783319469812
Издательство: Springer
Рейтинг:
Цена: 10342.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The 18 revised full papers presented together with 4 short papers, 3 tool papers, 2 tool demonstration papers, and 5 tutorials, were carefully reviewed and selected from 72 submissions.The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions.

Автор: Shaz Qadeer; Serdar Tasiran
Название: Runtime Verification
ISBN: 3642356311 ISBN-13(EAN): 9783642356315
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Multimedia Forensics and Counter-Forensics.- Blind Median Filtering Detection Using Statistics in Difference Domain.- Robustness of Color Interpolation Identification against Anti-forensic Operations.- Steganalysis.- Steganalysis of LSB Replacement Using Parity-Aware Features.- Statistical Detection of LSB Matching Using Hypothesis Testing Theory.- Textural Features for Steganalysis.- JPEG-Compatibility Steganalysis Using Block-Histogram of Recompression Artifacts.- Data Hiding in Unusual Content Hiding a Second Appearance in a Physical Relief Surface.- Blind Robust Watermarking Mechanism Based on Maxima Curvature of 3D Motion Data.- Steganography A Game-Theoretic Approach to Content-Adaptive Steganography.- Key-Efficient Steganography.- Covert Channels Secret Agent Radio: Covert Communication through Dirty Constellations.- Anonymity and Privacy Lower Bounds for Private Broadcast Encryption.- The Dangers of Composing Anonymous Channels.- Watermarking A New Measure of Watermarking Security Applied on QIM.- Non-Integer Expansion Embedding for Prediction-Based Reversible Watermarking.- Walsh-Hadamard Transform in the Homomorphic Encrypted Domain and Its Application in Image Watermarking.- Fingerprinting Asymptotic Fingerprinting Capacity in the Combined Digit Model.- Bias Equalizer for Binary Probabilistic Fingerprinting Codes.

Название: Lectures on Runtime Verification
ISBN: 3319756311 ISBN-13(EAN): 9783319756318
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

The idea of this volume originated from the need to have a book for students to support their training with several tutorials on different aspects of RV. The volume has been organized into seven chapters and the topics covered include an introduction on runtime verification, dynamic analysis of concurrency errors, monitoring events that carry data, runtime error reaction and prevention, monitoring of cyber-physical systems, runtime verification for decentralized and distributed systems and an industrial application of runtime verification techniques in financial transaction systems.

Автор: Martin Leucker
Название: Runtime Verification
ISBN: 354089246X ISBN-13(EAN): 9783540892465
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Runtime Verification, RV 2008, held in Budapest, Hungary, in March 2008 as satellite event of ETAPS 2008. The subject covers several technical fields such as runtime verification, runtime checking, runtime monitoring, and security and safety matters.

Автор: Ezio Bartocci; Rupak Majumdar
Название: Runtime Verification
ISBN: 3319238191 ISBN-13(EAN): 9783319238197
Издательство: Springer
Рейтинг:
Цена: 7826.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The 15 revised full papers presented together with 4 short papers, 2 tool papers, 4 tutorials, 3 invited talks, and 2 software competition papers were carefully reviewed and selected from 45 submissions. The discussion of the conference centers around two main aspects.

Автор: Klaus Havelund; Manuel N?nez; Grigore Rosu; Burkha
Название: Formal Approaches to Software Testing and Runtime Verification
ISBN: 3540496998 ISBN-13(EAN): 9783540496991
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed post-proceedings of the First Combined International Workshops on Formal Approaches to Software Testing, FATES 2006, and on Runtime Verification, RV 2006, held within the scope of FLoC 2006, the Federated Logic Conference in Seattle, WA, USA in August 2006.

Автор: Borzoo Bonakdarpour; Scott A. Smolka
Название: Runtime Verification
ISBN: 3319111639 ISBN-13(EAN): 9783319111636
Издательство: Springer
Рейтинг:
Цена: 7826.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 5th International Conference on Runtime Verification, RV 2014, held in Toronto, ON, Canada in September 2014.

Автор: Saddek Bensalem; Doron A. Peled
Название: Runtime Verification
ISBN: 3642046932 ISBN-13(EAN): 9783642046933
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Bernd Finkbeiner; Leonardo Mariani
Название: Runtime Verification
ISBN: 3030320782 ISBN-13(EAN): 9783030320782
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

A Retrospective Look at the Monitoring and Checking (MaC) Framework.- Introspective Environment Modeling.- Robustness of Specifications and its applications to Falsification, Parameter Mining, and Runtime Monitoring with S-TaLiRo.- On the Runtime Enforcement of Timed Properties.- Algorithms for Monitoring Hyperproperties.- Stream-based Monitors for Real-time Properties.- Accelerated Learning of Predictive Runtime Monitors for Rare Failure.- Neural Predictive Monitoring.- Comparing Controlled System Synthesis and Suppression Enforcement.- Assumption-Based Runtime Verification with Partial Observability and Resets.- Decentralized Stream Runtime Verification.- Explaining Violations of Properties in Control-Flow Temporal Logic.- FastCFI: Real-Time Control Flow Integrity using FPGA without Code Instrumentation.- An Extension of LTL with Rules and its Application to Runtime Verification.- Monitorability Over Unreliable Channels.- Runtime Verification For Timed Event Streams With Partial Information.- Shape Expressions for Specifying and Extracting Signal Features.- A Formally Verified Monitor for Metric First-Order Temporal Logic.- Efficient Detection and Quantification of Timing Leaks with Neural Networks.- Predictive Runtime Monitoring for Linear Stochastic Systems and Applications to Geofence Enforcement for UAVs.- Reactive Control Meets Runtime Verification: A Case Study of Navigation.- Overhead-aware deployment of runtime monitors.- NuRV: a nuXmv Extension for Runtime Verification.- AllenRV: an extensible monitor for multiple complex specifications with high reactivity.- Timescales: A Benchmark Generator for Metric Temporal Logic.

Автор: Oleg Sokolsky; Serdar Tasiran
Название: Runtime Verification
ISBN: 3540773940 ISBN-13(EAN): 9783540773948
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed post-proceedings of the 7th International Workshop on Runtime Verification, RV 2007, held in Vancouver, Canada, in August 2007 as satellite workshop of AoSD 2007, the International Conference on Aspect-Oriented Software Development. This book presents 16 revised full papers together with 1 invited paper.

Автор: Shuvendu Lahiri; Giles Reger
Название: Runtime Verification
ISBN: 3319675303 ISBN-13(EAN): 9783319675305
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Stream Runtime Monitoring on UAS.- Probabilistic Black-Box Reachability Checking.- Combining Symbolic Runtime Enforcers for Cyber-Physical Systems.- Almost Event-Rate Independent Monitoring of Metric Dynamic Logic.- Annotation Guided Collection of Context-Sensitive Parallel Execution Profiles.- Signal Clustering using Temporal Logics.- Space Efficient Breadth-First and Level Traversals of Consistent Global States of Parallel Programs.- Witnessing Network Transformations.- Combining Model Checking and Runtime Verification for Safe Robotics.- Monitoring Hyperproperties.- TeLEx: Passive STL Learning Using Only Positive Examples.- From Model Checking to Runtime Verification and Back Verifying Policy Enforcers.- Hierarchical Non-Intrusive In-Situ Requirements Monitoring for Embedded Systems.- Monitoring Partially Synchronous Distributed Systems using SMT Solvers.- Runtime Detection of Temporal Memory Errors.- Control Dependencies in Interpretive Systems.- Monitoring Time Intervals.