Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers

Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Runtime Verification, RV 2012, held in Istanbul, Turkey, in September 2012.The 25 revised full papers presented together with 3 invited papers and 2 tutorials were carefully reviewed an...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Qadeer, Shaz, Tasiran, Serdar
Format: Buch
Sprache:eng
Schlagworte:
Computer programming, programs, data
Computer software
Congresses
Verification
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page
container_issue
container_start_page
container_title
container_volume 7687
creator Qadeer, Shaz
Tasiran, Serdar
description This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Runtime Verification, RV 2012, held in Istanbul, Turkey, in September 2012.The 25 revised full papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 50 submissions. The papers address a wide range of specification languages and formalisms for traces, specification mining, program instrumentation, monitor construction techniques, logging, recording, and replay, fault detection, localization, recovery and repair, program steering and adaptation, metrics and statistical information gathering, combination of static and dynamic analyses and program execution visualization.
format Book
fullrecord <record><control><sourceid>proquest_askew</sourceid><recordid>TN_cdi_askewsholts_vlebooks_9783642356322</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>EBC3069562</sourcerecordid><originalsourceid>FETCH-LOGICAL-a3640x-74dd2d7fdbac9be3415d24d7ed22e45efda2499b5fa4df14e3d14eaa9067ed5b3</originalsourceid><addsrcrecordid>eNpdz01LxDAQBuCIKC5rb_4A8SIeCmm-mhy1rB-wIIjsNUybiRu326xNV_35VutF5zDDCw8vzAHJTKm5EoxLxRk7_JePyUwzpVXBqD4hWUqvdBytKVViRs6e9t0Qtni-wj740MAQYndKjjy0CbPfOyer28VzdZ8vH-8equtlDmM9_cxL4RxzpXc1NKZGLgrpmHAlOsZQSPQOmDCmlh6E84VA7sYFYKgajaz5nFxNxZA2-JHWsR2SfW-xjnGT7J83Rns52V0f3_aYBvvDGuyGHlq7uKk4VUaqb3kxyQYStKELdhu7-NLDbp2sFAVn3PAvhIlWuw</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>book</recordtype><pqid>EBC3069562</pqid></control><display><type>book</type><title>Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers</title><source>Springer Books</source><creator>Qadeer, Shaz ; Tasiran, Serdar</creator><contributor>Qadeer, Shaz ; Tasiran, Serdar</contributor><creatorcontrib>Qadeer, Shaz ; Tasiran, Serdar ; Qadeer, Shaz ; Tasiran, Serdar</creatorcontrib><description>This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Runtime Verification, RV 2012, held in Istanbul, Turkey, in September 2012.The 25 revised full papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 50 submissions. The papers address a wide range of specification languages and formalisms for traces, specification mining, program instrumentation, monitor construction techniques, logging, recording, and replay, fault detection, localization, recovery and repair, program steering and adaptation, metrics and statistical information gathering, combination of static and dynamic analyses and program execution visualization.</description><edition>2013</edition><identifier>ISBN: 9783642356322</identifier><identifier>ISBN: 364235632X</identifier><identifier>ISBN: 3642356311</identifier><identifier>ISBN: 9783642356315</identifier><identifier>EISBN: 9783642356322</identifier><identifier>EISBN: 364235632X</identifier><identifier>OCLC: 826861208</identifier><language>eng</language><publisher>Netherlands: Springer Nature</publisher><subject>Computer programming, programs, data ; Computer software ; Congresses ; Verification</subject><creationdate>2013</creationdate><tpages>330</tpages><format>330</format><woscitedreferencessubscribed>false</woscitedreferencessubscribed><relation>LNCS sublibrary. SL 2, Programming and software engineering</relation></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>306,780,784,786,24779</link.rule.ids></links><search><contributor>Qadeer, Shaz</contributor><contributor>Tasiran, Serdar</contributor><creatorcontrib>Qadeer, Shaz</creatorcontrib><creatorcontrib>Tasiran, Serdar</creatorcontrib><title>Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers</title><description>This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Runtime Verification, RV 2012, held in Istanbul, Turkey, in September 2012.The 25 revised full papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 50 submissions. The papers address a wide range of specification languages and formalisms for traces, specification mining, program instrumentation, monitor construction techniques, logging, recording, and replay, fault detection, localization, recovery and repair, program steering and adaptation, metrics and statistical information gathering, combination of static and dynamic analyses and program execution visualization.</description><subject>Computer programming, programs, data</subject><subject>Computer software</subject><subject>Congresses</subject><subject>Verification</subject><isbn>9783642356322</isbn><isbn>364235632X</isbn><isbn>3642356311</isbn><isbn>9783642356315</isbn><isbn>9783642356322</isbn><isbn>364235632X</isbn><fulltext>true</fulltext><rsrctype>book</rsrctype><creationdate>2013</creationdate><recordtype>book</recordtype><sourceid>I4C</sourceid><recordid>eNpdz01LxDAQBuCIKC5rb_4A8SIeCmm-mhy1rB-wIIjsNUybiRu326xNV_35VutF5zDDCw8vzAHJTKm5EoxLxRk7_JePyUwzpVXBqD4hWUqvdBytKVViRs6e9t0Qtni-wj740MAQYndKjjy0CbPfOyer28VzdZ8vH-8equtlDmM9_cxL4RxzpXc1NKZGLgrpmHAlOsZQSPQOmDCmlh6E84VA7sYFYKgajaz5nFxNxZA2-JHWsR2SfW-xjnGT7J83Rns52V0f3_aYBvvDGuyGHlq7uKk4VUaqb3kxyQYStKELdhu7-NLDbp2sFAVn3PAvhIlWuw</recordid><startdate>2013</startdate><enddate>2013</enddate><creator>Qadeer, Shaz</creator><creator>Tasiran, Serdar</creator><general>Springer Nature</general><general>Springer Berlin / Heidelberg</general><general>Springer</general><scope>I4C</scope></search><sort><creationdate>2013</creationdate><title>Runtime Verification</title><author>Qadeer, Shaz ; Tasiran, Serdar</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-a3640x-74dd2d7fdbac9be3415d24d7ed22e45efda2499b5fa4df14e3d14eaa9067ed5b3</frbrgroupid><rsrctype>books</rsrctype><prefilter>books</prefilter><language>eng</language><creationdate>2013</creationdate><topic>Computer programming, programs, data</topic><topic>Computer software</topic><topic>Congresses</topic><topic>Verification</topic><toplevel>online_resources</toplevel><creatorcontrib>Qadeer, Shaz</creatorcontrib><creatorcontrib>Tasiran, Serdar</creatorcontrib><collection>Casalini Torrossa eBook Single Purchase</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Qadeer, Shaz</au><au>Tasiran, Serdar</au><au>Qadeer, Shaz</au><au>Tasiran, Serdar</au><format>book</format><genre>book</genre><ristype>BOOK</ristype><btitle>Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers</btitle><seriestitle>LNCS sublibrary. SL 2, Programming and software engineering</seriestitle><date>2013</date><risdate>2013</risdate><volume>7687</volume><isbn>9783642356322</isbn><isbn>364235632X</isbn><isbn>3642356311</isbn><isbn>9783642356315</isbn><eisbn>9783642356322</eisbn><eisbn>364235632X</eisbn><abstract>This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Runtime Verification, RV 2012, held in Istanbul, Turkey, in September 2012.The 25 revised full papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 50 submissions. The papers address a wide range of specification languages and formalisms for traces, specification mining, program instrumentation, monitor construction techniques, logging, recording, and replay, fault detection, localization, recovery and repair, program steering and adaptation, metrics and statistical information gathering, combination of static and dynamic analyses and program execution visualization.</abstract><cop>Netherlands</cop><pub>Springer Nature</pub><oclcid>826861208</oclcid><tpages>330</tpages><edition>2013</edition></addata></record>
fulltext fulltext
identifier ISBN: 9783642356322
ispartof
issn
language eng
recordid cdi_askewsholts_vlebooks_9783642356322
source Springer Books
subjects Computer programming, programs, data
Computer software
Congresses
Verification
title Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-09T01%3A13%3A20IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_askew&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=book&rft.btitle=Runtime%20Verification:%20Third%20International%20Conference,%20RV%202012,%20Istanbul,%20Turkey,%20September%2025-28,%202012,%20Revised%20Selected%20Papers&rft.au=Qadeer,%20Shaz&rft.date=2013&rft.volume=7687&rft.isbn=9783642356322&rft.isbn_list=364235632X&rft.isbn_list=3642356311&rft.isbn_list=9783642356315&rft_id=info:doi/&rft_dat=%3Cproquest_askew%3EEBC3069562%3C/proquest_askew%3E%3Curl%3E%3C/url%3E&rft.eisbn=9783642356322&rft.eisbn_list=364235632X&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=EBC3069562&rft_id=info:pmid/&rfr_iscdi=true