دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings
دانلود کتاب تایید زمان اجرا: شانزدهمین کنفرانس بین المللی، RV 2016، مادرید، اسپانیا، 23 تا 30 سپتامبر 2016، مجموعه مقالات
مشخصات کتاب
Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings
ویرایش: 1
نویسندگان: Yliès Falcone. César Sánchez (eds.)
سری: Lecture Notes in Computer Science 10012
ISBN (شابک) : 9783319469829, 9783319469812
ناشر: Springer International Publishing
سال نشر: 2016
تعداد صفحات: 519
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 21 مگابایت
قیمت کتاب (تومان) : 32,000
کلمات کلیدی مربوط به کتاب تایید زمان اجرا: شانزدهمین کنفرانس بین المللی، RV 2016، مادرید، اسپانیا، 23 تا 30 سپتامبر 2016، مجموعه مقالات: است
در صورت تبدیل فایل کتاب Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تایید زمان اجرا: شانزدهمین کنفرانس بین المللی، RV 2016، مادرید، اسپانیا، 23 تا 30 سپتامبر 2016، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تایید زمان اجرا: شانزدهمین کنفرانس بین المللی، RV 2016، مادرید، اسپانیا، 23 تا 30 سپتامبر 2016، مجموعه مقالات
این کتاب مجموعه مقالات داوری شانزدهمین کنفرانس بین المللی تایید زمان اجرا، RV 2016، در مادرید، اسپانیا، در سپتامبر 2016 است. 18 مقاله کامل اصلاح شده همراه با 4 مقاله کوتاه، 3 مقاله ابزار، 2 مقاله نمایش ابزار، و 5 آموزش، با دقت بررسی و از بین 72 مورد ارسالی انتخاب شدند. کنفرانس RV به تمام جنبه های نظارت و تجزیه و تحلیل سخت افزار، نرم افزار و اجرای کلی سیستم مربوط می شود. تکنیک‌های تأیید زمان اجرا، تکنیک‌های سبک وزنی برای ارزیابی صحت، قابلیت اطمینان و استحکام هستند. این تکنیک ها به طور قابل توجهی قدرتمندتر و همه کاره تر از آزمایش های معمولی و کاربردی تر از تأیید رسمی جامع هستند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 16th International Conference on Runtime Verification, RV 2016, held in Madrid, Spain, in September 2016. 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. Runtime verification techniques are lightweight techniques to assess correctness, reliability, and robustness; these techniques are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification.
فهرست مطالب
Front Matter....Pages I-XXI
Front Matter....Pages 1-1
Some Thoughts on Runtime Verification....Pages 3-14
Front Matter....Pages 15-15
First International Summer School on Runtime Verification....Pages 17-20
Third International Competition on Runtime Verification....Pages 21-37
Front Matter....Pages 39-39
Runtime Verification for HyperLTL....Pages 41-45
Runtime Verification at Work: A Tutorial....Pages 46-67
When RV Meets CEP....Pages 68-91
Frama-C, A Collaborative Framework for C Code Verification: Tutorial Synopsis....Pages 92-115
Using Genetic Programming for Software Reliability....Pages 116-131
Front Matter....Pages 133-133
Predicting Space Requirements for a Stream Monitor Specification Language....Pages 135-151
A Stream-Based Specification Language for Network Monitoring....Pages 152-168
On the Complexity of Monitoring Orchids Signatures....Pages 169-184
Input Attribution for Statistical Model Checking Using Logistic Regression....Pages 185-200
Quantitative Monitoring of STL with Edit Distance....Pages 201-218
Extended Code Coverage for AspectJ-Based Runtime Verification Tools....Pages 219-234
Accelerated Runtime Verification of LTL Specifications with Counting Semantics....Pages 235-250
Non-intrusive Runtime Monitoring Through Power Consumption: A Signals and System Analysis Approach to Reconstruct the Trace....Pages 251-267
An Automata-Based Approach to Evolving Privacy Policies for Social Networks....Pages 268-284
TrackOS: A Security-Aware Real-Time Operating System....Pages 285-301
Leveraging DTrace for Runtime Verification....Pages 302-317
Front Matter....Pages 318-332
Finite-Trace Linear Temporal Logic: Coinductive Completeness....Pages 133-133
Wireless Protocol Validation Under Uncertainty....Pages 333-350
Dynamic Determinacy Race Detection for Task Parallelism with Futures....Pages 351-367
Runtime Monitoring for Concurrent Systems....Pages 368-385
Decision-Theoretic Monitoring of Cyber-Physical Systems....Pages 386-403
Precision, Recall, and Sensitivity of Monitoring Partially Synchronous Distributed Systems....Pages 404-419
Front Matter....Pages 420-435
Falsification of Conditional Safety Properties for Cyber-Physical Systems with Gaussian Process Regression....Pages 437-437
Reactive Property Monitoring of Hybrid Systems with Aggregation....Pages 439-446
Integration of Runtime Verification into Metamodeling for Simulation and Code Generation (Position Paper)....Pages 447-453
Applying Runtime Monitoring for Automotive Electronic Development....Pages 454-461
Front Matter....Pages 462-469
A Monitoring Tool for a Branching-Time Logic....Pages 471-471
SMEDL: Combining Synchronous and Asynchronous Monitoring....Pages 473-481
Front Matter....Pages 482-490
Runtime Visualization and Verification in JIVE....Pages 491-491
Runtime Analysis with R2U2: A Tool Exhibition Report....Pages 493-497
Back Matter....Pages 498-503
....Pages 504-509
