Runtime verification : third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised selected papers /
Saved in:
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 |
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 |