國立虎尾科技大學 |

Runtime Verification = 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Runtime Verification/ edited by Ezio Bartocci, Rupak Majumdar.
其他題名:	6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings /
其他作者:	Bartocci, Ezio.
面頁冊數:	XIX, 432 p. 133 illus.online resource. :
Contained By:	Springer Nature eBook
標題:	Software engineering. -
電子資源:	https://doi.org/10.1007/978-3-319-23820-3
ISBN:	9783319238203

Runtime Verification = 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings /
Runtime Verification6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings /[electronic resource] :edited by Ezio Bartocci, Rupak Majumdar. - 1st ed. 2015. - XIX, 432 p. 133 illus.online resource. - Programming and Software Engineering ;9333. - Programming and Software Engineering ;8987.

Invited Papers -- Towards a Verified Artificial Pancreas: Challenges and Solutions for Runtime Verification -- Twenty Years of Dynamic Software Model Checking -- Explaining Heisenbugs -- Regular Papers -- Qualitative and Quantitative Monitoring of Spatio-Temporal Properties -- Runtime Adaptation for Actor Systems -- Robust Online Monitoring of Signal Temporal Logic -- On Verifying The Hennessy-Milner Logic with Recursion at Runtime -- Assuring the Guardians -- A Case Study on Runtime Monitoring of an Autonomous Research Vehicle (ARV) System -- Monitoring Electronic Exams -- Monitoring Real Android Malware -- Time-triggered Runtime Verification of Component-Based Multi-core Systems -- Monitoring for a decidable fragment of MTL-R Runtime Verification Through Forward Chaining -- Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information about the Environment -- From First-Order Temporal Logic to Parametric Trace Slicing -- R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems -- A Hybrid Approach to Causality Analysis -- Short Papers -- Statistical Model Checking of Distributed Adaptive Real-Time Software -- Probabilistic Model Checking at Runtime for the Provisioning of Cloud Resources -- Runtime Verification for Hybrid Analysis Tools -- Suggesting Edits to Explain Failing Traces -- Tool Papers -- StaRVOOrS - A Tool for Combined Static and Runtime Verification of Java -- TIPEX: a tool chain for Timed Property Enforcement during eXecution -- Tutorial Papers -- Machine Learning Methods in Statistical Model Checking and System Design – Tutorial -- RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial -- LearnLib Tutorial - An Open Source Java Library for Active Automata Learning -- Monitoring and Measuring Hybrid Behaviors - A Tutorial -- Software Competitions -- Second International Competition on Runtime Verification CRV 2015 -- Rigorous Examination of Reactive Systems: The RERS challenge 2015.

This book constitutes the refereed proceedings of the 6th International Conference on Runtime Verification, RV 2015, held in Vienna, Austria in September 2015. 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. The first is to understand whether the runtime verification techniques can practically complement the traditional methods proving programs correct before their execution, such as model checking and theorem proving. The second concerns with formal methods and how their application can improve traditional ad-hoc monitoring techniques used in performance monitoring, hardware design emulation and simulation, etc.

ISBN: 9783319238203

Standard No.: 10.1007/978-3-319-23820-3doiSubjects--Topical Terms:

562952
Software engineering.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1

Runtime Verification = 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings /
LDR:04285nam a22004095i 4500 001 969319
003 DE-He213
005 20200703011808.0
007 cr nn 008mamaa
008 201211s2015 gw | s |||| 0|eng d
020 $a 9783319238203 $9 978-3-319-23820-3
024 7 $a 10.1007/978-3-319-23820-3 $2 doi
035 $a 978-3-319-23820-3
050 4 $a QA76.758
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
072 7 $a UMZ $2 thema
082 0 4 $a 005.1 $2 23
245 1 0 $a Runtime Verification $h [electronic resource] : $b 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings / $c edited by Ezio Bartocci, Rupak Majumdar.
250 $a 1st ed. 2015.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2015.
300 $a XIX, 432 p. 133 illus. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Programming and Software Engineering ; $v 9333
505 0 $a Invited Papers -- Towards a Verified Artificial Pancreas: Challenges and Solutions for Runtime Verification -- Twenty Years of Dynamic Software Model Checking -- Explaining Heisenbugs -- Regular Papers -- Qualitative and Quantitative Monitoring of Spatio-Temporal Properties -- Runtime Adaptation for Actor Systems -- Robust Online Monitoring of Signal Temporal Logic -- On Verifying The Hennessy-Milner Logic with Recursion at Runtime -- Assuring the Guardians -- A Case Study on Runtime Monitoring of an Autonomous Research Vehicle (ARV) System -- Monitoring Electronic Exams -- Monitoring Real Android Malware -- Time-triggered Runtime Verification of Component-Based Multi-core Systems -- Monitoring for a decidable fragment of MTL-R Runtime Verification Through Forward Chaining -- Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information about the Environment -- From First-Order Temporal Logic to Parametric Trace Slicing -- R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems -- A Hybrid Approach to Causality Analysis -- Short Papers -- Statistical Model Checking of Distributed Adaptive Real-Time Software -- Probabilistic Model Checking at Runtime for the Provisioning of Cloud Resources -- Runtime Verification for Hybrid Analysis Tools -- Suggesting Edits to Explain Failing Traces -- Tool Papers -- StaRVOOrS - A Tool for Combined Static and Runtime Verification of Java -- TIPEX: a tool chain for Timed Property Enforcement during eXecution -- Tutorial Papers -- Machine Learning Methods in Statistical Model Checking and System Design – Tutorial -- RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial -- LearnLib Tutorial - An Open Source Java Library for Active Automata Learning -- Monitoring and Measuring Hybrid Behaviors - A Tutorial -- Software Competitions -- Second International Competition on Runtime Verification CRV 2015 -- Rigorous Examination of Reactive Systems: The RERS challenge 2015.
520 $a This book constitutes the refereed proceedings of the 6th International Conference on Runtime Verification, RV 2015, held in Vienna, Austria in September 2015. 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. The first is to understand whether the runtime verification techniques can practically complement the traditional methods proving programs correct before their execution, such as model checking and theorem proving. The second concerns with formal methods and how their application can improve traditional ad-hoc monitoring techniques used in performance monitoring, hardware design emulation and simulation, etc.
650 0 $a Software engineering. $3 562952
650 0 $a Algorithms. $3 527865
650 0 $a Computer logic. $3 786340
650 0 $a Computer programming. $3 527822
650 0 $a Programming languages (Electronic computers). $3 1127615
650 0 $a Mathematical logic. $2 bicssc $3 810627
650 1 4 $a Software Engineering. $3 669632
650 2 4 $a Algorithm Analysis and Problem Complexity. $3 593923
650 2 4 $a Logics and Meanings of Programs. $3 670058
650 2 4 $a Programming Techniques. $3 669781
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 669782
650 2 4 $a Mathematical Logic and Formal Languages. $3 670059
700 1 $a Bartocci, Ezio. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1069319
700 1 $a Majumdar, Rupak. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 682021
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783319238197
776 0 8 $i Printed edition: $z 9783319238210
830 0 $a Programming and Software Engineering ; $v 8987 $3 1253476
856 4 0 $u https://doi.org/10.1007/978-3-319-23820-3
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-LNC
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)