دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Runtime Verification: 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings
دانلود کتاب تایید زمان اجرا: هجدهمین کنفرانس بین المللی، RV 2018، لیماسول، قبرس، 10 تا 13 نوامبر 2018، مجموعه مقالات
مشخصات کتاب
Runtime Verification: 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings
ویرایش: 1st ed.
نویسندگان: Christian Colombo. Martin Leucker
سری: Lecture Notes in Computer Science 11237
ISBN (شابک) : 9783030037680, 9783030037697
ناشر: Springer International Publishing
سال نشر: 2018
تعداد صفحات: 474
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 21 مگابایت
قیمت کتاب (تومان) : 31,000
کلمات کلیدی مربوط به کتاب تایید زمان اجرا: هجدهمین کنفرانس بین المللی، RV 2018، لیماسول، قبرس، 10 تا 13 نوامبر 2018، مجموعه مقالات: علوم کامپیوتر، مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، عملکرد و ارزیابی سیستم، منطق و معانی برنامه ها، حرفه محاسبات، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Runtime Verification: 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تایید زمان اجرا: هجدهمین کنفرانس بین المللی، RV 2018، لیماسول، قبرس، 10 تا 13 نوامبر 2018، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تایید زمان اجرا: هجدهمین کنفرانس بین المللی، RV 2018، لیماسول، قبرس، 10 تا 13 نوامبر 2018، مجموعه مقالات
این کتاب مجموعه مقالات داوری هجدهمین کنفرانس بین‌المللی تأیید زمان اجرا، RV 2018، برگزار شده در لیماسول، قبرس، در نوامبر 2018 است.
21 مقاله کامل همراه با 3 مقاله کوتاه ارائه شده است. مقالات و 3 مقاله ابزار به دقت بررسی و از بین 49 مورد ارسالی انتخاب شدند.
کنفرانس RV به تمام جنبه های نظارت و تجزیه و تحلیل سخت افزار، نرم افزار و اجرای کلی سیستم مربوط می شود. تکنیک‌های تأیید زمان اجرا، تکنیک‌های سبک وزنی برای ارزیابی صحت، قابلیت اطمینان و استحکام هستند. این تکنیک‌ها به‌طور قابل‌توجهی قدرتمندتر و همه‌کاره‌تر از آزمایش‌های معمولی هستند، و عملی‌تر از تأیید رسمی کامل هستند.
فصل «تأیید زمان اجرا مبتنی بر سخت‌افزار با واحدهای ردیابی جاسازی‌شده و پردازش جریان» تحت یک Creative Commons Attribution 4.0 International در دسترس است. مجوز از طریق link.springer.com.توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 18th International Conference on Runtime Verification, RV 2018, held in Limassol, Cyprus, in November 2018.
The 21 full papers presented together with 3 short papers and 3 tool papers were carefully reviewed and selected from 49 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.
Chapter “Hardware-based Runtime Verification with Embedded Tracing Units and Stream Processing” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.فهرست مطالب
Front Matter ....Pages I-XI
Front Matter ....Pages 1-1
Runtime Verification - 17 Years Later (Klaus Havelund, Grigore Roşu)....Pages 3-17
COST Action IC1402 Runtime Verification Beyond Monitoring (Christian Colombo, Yliès Falcone, Martin Leucker, Giles Reger, Cesar Sanchez, Gerardo Schneider et al.)....Pages 18-26
Second School on Runtime Verification, as Part of the ArVi COST Action 1402 (Yliès Falcone)....Pages 27-32
Front Matter ....Pages 33-33
Monitoring, Learning and Control of Cyber-Physical Systems with STL (Tutorial) (Ezio Bartocci)....Pages 35-42
Hardware-Based Runtime Verification with Embedded Tracing Units and Stream Processing (Lukas Convent, Sebastian Hungerecker, Torben Scheffel, Malte Schmitz, Daniel Thoma, Alexander Weiss)....Pages 43-63
Can We Monitor All Multithreaded Programs? (Antoine El-Hokayem, Yliès Falcone)....Pages 64-89
Runtime Verification: From Propositional to First-Order Temporal Logic (Klaus Havelund, Doron Peled)....Pages 90-112
Monitoring Smart Contracts: ContractLarva and Open Challenges Beyond (Shaun Azzopardi, Joshua Ellul, Gordon J. Pace)....Pages 113-137
Online and Offline Stream Runtime Verification of Synchronous Systems (César Sánchez)....Pages 138-163
Front Matter ....Pages 165-165
METIS: Resource and Context-Aware Monitoring of Finite State Properties (Garvita Allabadi, Aritra Dhar, Ambreen Bashir, Rahul Purandare)....Pages 167-186
Predictive Run-Time Verification of Discrete-Time Reachability Properties in Black-Box Systems Using Trace-Level Abstraction and Statistical Learning (Reza Babaee, Arie Gurfinkel, Sebastian Fischmeister)....Pages 187-204
Efficient Timed Diagnosis Using Automata with Timed Domains (Patricia Bouyer, Samy Jaziri, Nicolas Markey)....Pages 205-221
Bringing Runtime Verification Home (Antoine El-Hokayem, Yliès Falcone)....Pages 222-240
A Taxonomy for Classifying Runtime Verification Tools (Yliès Falcone, Srđan Krstić, Giles Reger, Dmitriy Traytel)....Pages 241-262
Verifying and Validating Autonomous Systems: Towards an Integrated Approach (Angelo Ferrando, Louise A. Dennis, Davide Ancona, Michael Fisher, Viviana Mascardi)....Pages 263-281
Striver: Stream Runtime Verification for Real-Time Event-Streams (Felipe Gorostiaga, César Sánchez)....Pages 282-298
Efficient Monitoring of Real Driving Emissions (Maximilian A. Köhl, Holger Hermanns, Sebastian Biewer)....Pages 299-315
Property-Driven Runtime Resolution of Feature Interactions (Santhana Gopalan Raghavan, Kosuke Watanabe, Eunsuk Kang, Chung-Wei Lin, Zhihao Jiang, Shinichi Shiraishi)....Pages 316-333
From Parametric Trace Slicing to Rule Systems (Giles Reger, David Rydeheard)....Pages 334-352
Scalable Online First-Order Monitoring (Joshua Schneider, David Basin, Frederik Brix, Srđan Krstić, Dmitriy Traytel)....Pages 353-371
Practical Information Flow Control for Web Applications (Angel Luis Scull Pupo, Laurent Christophe, Jens Nicolay, Coen de Roover, Elisa Gonzalez Boix)....Pages 372-388
Time-Series Learning Using Monotonic Logical Properties (Marcell Vazquez-Chanlatte, Shromona Ghosh, Jyotirmoy V. Deshmukh, Alberto Sangiovanni-Vincentelli, Sanjit A. Seshia)....Pages 389-405
Front Matter ....Pages 407-407
Evaluating Perception Systems for Autonomous Vehicles Using Quality Temporal Logic (Adel Dokhanchi, Heni Ben Amor, Jyotirmoy V. Deshmukh, Georgios Fainekos)....Pages 409-416
Tracing Distributed Component-Based Systems, a Brief Overview (Yliès Falcone, Hosein Nazarpour, Mohamad Jaber, Marius Bozga, Saddek Bensalem)....Pages 417-425
MLTL Benchmark Generation via Formula Progression (Jianwen Li, Kristin Y. Rozier)....Pages 426-433
Front Matter ....Pages 435-435
An Environment for the ParTraP Trace Property Language (Tool Demonstration) (Ansem Ben Cheikh, Yoann Blein, Salim Chehida, German Vega, Yves Ledru, Lydie du Bousquet)....Pages 437-446
Writing Domain-Specific Languages for BeepBeep (Sylvain Hallé, Raphaël Khoury)....Pages 447-457
A Framework for Non-intrusive Trace-driven Simulation of Manycore Architectures with Dynamic Tracing Configuration (Jasmin Jahic, Matthias Jung, Thomas Kuhn, Claus Kestel, Norbert Wehn)....Pages 458-468
Back Matter ....Pages 469-470
نظرات کاربران
کتاب های تصادفی
دانلود کتاب For SEX EDUCATION, See Librarian: A Guide to Issues and Resources
دانلود کتاب Go Programming Blueprints
دانلود کتاب Clomid: A Medical Dictionary, Bibliography, and Annotated Research Guide to Internet References
دانلود کتاب Cellular and Molecular Neurophysiology
