Runtime Verification, Shaz Qadeer; Serdar Tasiran

Автор: 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.

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

Автор: 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.

Автор: 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.

Автор: 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.

Автор: 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.

Автор: 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.

Автор: 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.