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
- Title:
- 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)
- Main Title:
- Runtime verification : 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings
- 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 UnderBuilding 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. … (more)
- 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.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.356951
- Ingest File:
- 01_318.xml