Runtime verification : 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings /: 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings. (2016)

• Record Type: Book
• Other Titles: RV 2016
• Further Information: Note: Yliès Falcone, César Sánchez (eds.).
• Editors: Falcone, Yliès; Sánchez, César
• Other Names: RV (Conference), 16th
• Contents: Building Dependable Concurrent Systems through Probabilistic Inference, Predictive Monitoring and Self-Adaptation -- Some Thoughts on Runtime Verification -- Why Tags Could be It -- First International Summer School on Runtime Verifications- Third International Competition on Runtime Verification -- Runtime Verification for HyperLTL -- Runtime Verification at Work: A Startup Perspective -- When RV Meets CEP -- Frama-C, a Collaborative Framework for C Code Verification -- Using Genetic Programming for Software Reliability -- Predicting Space Requirements for a Stream Monitor Specification Language -- A Stream-based Specification Language for Network Monitoring -- On the Complexity of Monitoring Orchids Signatures -- Input Attribution for Statistical Model Checking using Logistic Regression -- Quantitative Monitoring of STL with Edit Distance -- Extended Code Coverage for AspectJ-based Runtime Verification Tools -- Nfer -- A Logic and Infrastructure for Inferring Event Stream Properties -- Accelerated Runtime Verification of LTL Specifications with Counting Semantics -- Non-Intrusive Runtime Monitoring Through Power Consumption: A Signals and System Analysis Approach to Reconstruct the Trace -- An Automata-based Approach to Evolving Privacy Policies for Social Networks -- TrackOS: A Security-Aware Real-Time Operating System: Leveraging DTrace for Runtime Verification -- Finite-Trace Linear Temporal Logic: Coinductive Completeness -- Wireless Protocol Validation Under Uncertainty -- Dynamic Determinacy Race Detection for Task Parallelism with Futures -- Runtime monitoring for concurrent systems -- Decision-Theoretic Monitoring of Cyber-Physical Systems -- Precision, Recall, and Sensitivity of Monitoring Partially Synchronous Distributed Systems -- Falsification of Conditional Safety Properties for Cyber-Physical Systems with Gaussian Process Regression -- Reactive Property Monitoring of Hybrid Systems with Aggregation -- Integration of Runtime Verification into Metamodeling for Simulation and Code Generation -- Applying Runtime Monitoring for Automotive Electronic Development -- A Monitoring Tool for a Branching-Time Logic -- SMEDL: Combining Synchronous and Asynchronous Monitoring -- Runtime Visualization and Verification in JIVE -- An Overview of MarQ -- Runtime Analysis with R2U2: A Tool Exhibition Report.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2016
• Extent: 1 online resource (xxi, 512 pages), illustrations
• Subjects: 005.1/4; Computer science; Computer software -- Verification -- Congresses; Formal methods (Computer science) -- Congresses; Computer software -- Testing -- Congresses; Computer software -- Testing; Computer software -- Verification; Formal methods (Computer science); Computers -- Programming -- Algorithms; Computers -- Programming -- General; Computers -- Programming Languages -- General; Computers -- Hardware -- Handheld Devices; Algorithms & data structures; Computer programming / software development; Programming & scripting languages: general; Systems analysis & design; Software engineering; Computer software; Logic design; Computer system performance; Computers -- Software Development & Engineering -- General; Software Engineering; Electronic books; Conference papers and proceedings; Electronic books
• Languages: English
• ISBNs: 9783319469829; 3319469827; 3319469819; 9783319469812
• Related ISBNs: 9783319469812
• Notes: Note: Includes bibliographical references and author index.; Note: Online resource; title from PDF title page (SpringerLink, viewed October 5, 2016).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.