Runtime Verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings /

Detalles Bibliográficos
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Lahiri, Shuvendu. (Editor ), Reger, Giles. (Editor )
Formato:	eBook
Lenguaje:	English
Publicado:	Cham : Springer International Publishing : Imprint: Springer, 2017.
Edición:	1st ed. 2017.
Colección:	Programming and Software Engineering ; 10548
Materias:	Software engineering. Programming languages (Electronic computers). Computer programming. Computer security. Computer system failures. Software Engineering. Programming Languages, Compilers, Interpreters. Programming Techniques. Systems and Data Security. System Performance and Evaluation.

Tabla de Contenidos:

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.

Ejemplares similares