Runtime verification : third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised selected papers /

Saved in:
Bibliographic Details
Meeting name:RV (Conference) (3rd : 2012 : Istanbul, Turkey)
Imprint:Berlin ; New York : Springer, ©2013.
Description:1 online resource.
Language:English
Series:Lecture notes in computer science, 0302-9743 ; 7687
LNCS sublibrary. SL 2, Programming and software engineering
Lecture notes in computer science ; 7687.
LNCS sublibrary. SL 2, Programming and software engineering.
Subject:
Format: E-Resource Book
URL for this record:http://pi.lib.uchicago.edu/1001/cat/bib/11078066
Hidden Bibliographic Details
Varying Form of Title:RV 2012
Other authors / contributors:Qadeer, Shaz.
Tasiran, Serdar.
ISBN:9783642356322
364235632X
3642356311
9783642356315
9783642356315
Notes:Includes bibliographical references and index.
Summary: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.

MARC

LEADER 00000cam a2200000Ia 4500
001 11078066
005 20170630044749.2
006 m o d
007 cr cnu---unuuu
008 130206s2013 gw ob 101 0 eng d
003 ICU
040 |a GW5XE  |b eng  |e pn  |c GW5XE  |d YDXCP  |d E7B  |d COO  |d ZMC  |d SNK  |d NLGGC  |d OCLCO  |d OCLCQ  |d OHS  |d OCLCF  |d OCLCO  |d OCL  |d OCLCO  |d OCLCQ  |d OCLCO  |d OCLCQ  |d OCLCO  |d OCLCQ  |d EBLCP  |d VT2  |d DGU 
019 |a 826681356  |a 964894504  |a 985059745 
020 |a 9783642356322  |q (electronic bk.) 
020 |a 364235632X  |q (electronic bk.) 
020 |a 3642356311  |q (print) 
020 |a 9783642356315  |q (print) 
020 |z 9783642356315 
035 |a (OCoLC)826861208  |z (OCoLC)826681356  |z (OCoLC)964894504  |z (OCoLC)985059745 
050 4 |a QA76.76.V47  |b R8 2012 
060 4 |a QA 76.76.V47 
084 |a 54.52  |2 bcl 
049 |a MAIN 
111 2 |a RV (Conference)  |n (3rd :  |d 2012 :  |c Istanbul, Turkey)  |0 http://id.loc.gov/authorities/names/nb2013008049  |1 http://viaf.org/viaf/296586716 
245 1 0 |a Runtime verification :  |b third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised selected papers /  |c Shaz Qadeer, Serdar Tasiran (eds.). 
246 3 |a RV 2012 
260 |a Berlin ;  |a New York :  |b Springer,  |c ©2013. 
300 |a 1 online resource. 
336 |a text  |b txt  |2 rdacontent  |0 http://id.loc.gov/vocabulary/contentTypes/txt 
337 |a computer  |b c  |2 rdamedia  |0 http://id.loc.gov/vocabulary/mediaTypes/c 
338 |a online resource  |b cr  |2 rdacarrier  |0 http://id.loc.gov/vocabulary/carriers/cr 
490 1 |a Lecture notes in computer science,  |x 0302-9743 ;  |v 7687 
490 1 |a LNCS sublibrary. SL 2, Programming and software engineering 
505 0 0 |t Dynamic Analyses for Data-Race Detection /  |r John Erickson, Stephen Freund, Madanlal Musuvathi --  |t Symbolic Execution /  |r Cristian Cadar, Koushik Sen --  |t Dynamic Livelock Analysis of Multi-threaded Programs /  |r Malay K. Ganai --  |t Scalable Dynamic Partial Order Reduction /  |r Jiri Simsa, Randy Bryant, Garth Gibson, Jason Hickey --  |t ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level /  |r Jan Fiedor, Tomáš Vojnar --  |t PaRV: Parallelizing Runtime Detection and Prevention of Concurrency Errors /  |r Ismail Kuru, Hassan Salehe Matar, Adrián Cristal, Gokcen Kestor --  |t It's the End of the World as We Know It (And I Feel Fine) /  |r Jim R. Larus --  |t Detecting Unread Memory Using Dynamic Binary Translation /  |r Jon Eyolfson, Patrick Lam --  |t Sparse Coding for Specification Mining and Error Localization /  |r Wenchao Li, Sanjit A. Seshia --  |t Sliding between Model Checking and Runtime Verification /  |r Martin Leucker. 
505 8 0 |t Runtime Verification and Enforcement for Android Applications with RV-Droid /  |r Yliès Falcone, Sebastian Currea, Mohamad Jaber --  |t Temporal Monitors for TinyOS /  |r Doina Bucur --  |t Real-Time Runtime Verification on Chip /  |r Thomas Reinbacher, Matthias Függer, Jörg Brauer --  |t BabelTrace: A Collection of Transducers for Trace Validation /  |r Aouatef Mrad, Samatar Ahmed, Sylvain Hallé, Éric Beaudet --  |t Quantitative Trace Analysis Using Extended Timing Diagrams /  |r Andreas Richter, Klaus Kabitzsch --  |t Maximal Causal Models for Sequentially Consistent Systems /  |r Traian Florin Şerbănuţă, Feng Chen, Grigore Roşu --  |t Monitoring Compliance Policies over Incomplete and Disagreeing Logs /  |r David Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zălinescu --  |t Adaptive Runtime Verification /  |r Ezio Bartocci, Radu Grosu, Atul Karmarkar, Scott A. Smolka --  |t Malware Riding Badware: Challenges in Analyzing (Malicious/Benign) Web Applications /  |r Giovanni Vigna --  |t MapReduce for Parallel Trace Validation of LTL Properties /  |r Benjamin Barre, Mathieu Klein, Maxime Soucy-Boivin. 
505 8 0 |t Path-Aware Time-Triggered Runtime Verification /  |r Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister --  |t Fast-Forward Runtime Monitoring -- An Industrial Case Study /  |r Christian Colombo, Gordon J. Pace --  |t Runtime Enforcement of Timed Properties /  |r Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand --  |t Monitoring Dense-Time, Continuous-Semantics, Metric Temporal Logic /  |r Kevin Baldor, Jianwei Niu --  |t Rewrite-Based Statistical Model Checking of WMTL /  |r Peter Bulychev, Alexandre David, Kim G. Larsen, Axel Legay --  |t From Runtime Verification to Runtime Intervention and Adaptation /  |r Martin Rinard --  |t Certifying Solutions for Numerical Constraints /  |r Eva Darulova, Viktor Kuncak --  |t Profiling Field Initialisation in Java /  |r Stephen Nelson, David J. Pearce, James Noble --  |t Defense against Stack-Based Attacks Using Speculative Stack Layout Transformation /  |r Benjamin D. Rodes, Anh Nguyen-Tuong, Jason D. Hiser, John C. Knight --  |t Incremental Runtime Verification of Probabilistic Systems /  |r Vojtěch Forejt, Marta Kwiatkowska, David Parker, Hongyang Qu. 
520 |a 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. 
504 |a Includes bibliographical references and index. 
650 0 |a Computer software  |x Verification  |v Congresses.  |0 http://id.loc.gov/authorities/subjects/sh2009121254 
650 0 |a Formal methods (Computer science)  |v Congresses.  |0 http://id.loc.gov/authorities/subjects/sh2008104061 
650 0 |a Computer software  |x Testing  |v Congresses.  |0 http://id.loc.gov/authorities/subjects/sh2009121253 
650 7 |a Computer software  |x Testing.  |2 fast  |0 (OCoLC)fst00872601 
650 7 |a Computer software  |x Verification.  |2 fast  |0 (OCoLC)fst00872604 
650 7 |a Formal methods (Computer science)  |2 fast  |0 (OCoLC)fst00932926 
650 2 |a Software. 
653 4 |a Computer science. 
653 4 |a Software engineering. 
653 4 |a Computer software. 
653 4 |a Algorithm Analysis and Problem Complexity. 
653 4 |a Logics and Meanings of Programs. 
653 4 |a Programming Languages, Compilers, Interpreters. 
653 4 |a Mathematical Logic and Formal Languages. 
655 4 |a Electronic books. 
655 7 |a Conference papers and proceedings.  |2 fast  |0 (OCoLC)fst01423772 
655 2 |a Congresses. 
700 1 |a Qadeer, Shaz.  |0 http://id.loc.gov/authorities/names/nb2011019424  |1 http://viaf.org/viaf/173720071 
700 1 |a Tasiran, Serdar.  |0 http://id.loc.gov/authorities/names/nb2008000469  |1 http://viaf.org/viaf/306104508 
830 0 |a Lecture notes in computer science ;  |v 7687. 
830 0 |a LNCS sublibrary.  |n SL 2,  |p Programming and software engineering. 
856 4 0 |u http://link.springer.com/10.1007/978-3-642-35632-2  |y SpringerLink 
903 |a HeVa 
929 |a eresource 
999 f f |i e58a4d96-cef8-5496-b2f5-056a47790e54  |s edea974a-e4c3-5fed-90dc-09bb79fba787 
928 |t Library of Congress classification  |a QA76.76.V47 R8 2012  |l Online  |c UC-FullText  |u http://link.springer.com/10.1007/978-3-642-35632-2  |z SpringerLink  |g ebooks  |i 9888260