MARC details
| 000 -LEADER |
|---|
| fixed length control field |
08709cam a2201189 a 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocn826861208 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250703162103.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS |
|---|
| fixed length control field |
m o d |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr cnu---unuuu |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
130206s2013 gw ob 101 0 eng d |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
GW5XE |
| Language of cataloging |
eng |
| Description conventions |
pn |
| Transcribing agency |
GW5XE |
| Modifying agency |
YDXCP |
| -- |
E7B |
| -- |
COO |
| -- |
ZMC |
| -- |
SNK |
| -- |
NLGGC |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OHS |
| -- |
OCLCF |
| -- |
OCLCO |
| -- |
OCL |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
EBLCP |
| -- |
VT2 |
| -- |
DGU |
| -- |
IOG |
| -- |
NJR |
| -- |
OCLCO |
| -- |
OCLCA |
| -- |
BUF |
| -- |
OCLCO |
| -- |
MERER |
| -- |
OCLCO |
| -- |
KIJ |
| -- |
REB |
| -- |
OCLCO |
| -- |
CEF |
| -- |
U3W |
| -- |
WYU |
| -- |
YOU |
| -- |
TKN |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
WURST |
| -- |
OCLCA |
| -- |
LUN |
| -- |
AJS |
| -- |
OCLCQ |
| -- |
UKAHL |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCL |
| -- |
OCLCO |
| -- |
OCLCL |
| -- |
OCLCQ |
| 019 ## - |
|---|
| -- |
826681356 |
| -- |
964894504 |
| -- |
985059745 |
| -- |
1005745418 |
| -- |
1026450638 |
| -- |
1027355705 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783642356322 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
364235632X |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3642356311 |
| Qualifying information |
(print) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783642356315 |
| Qualifying information |
(print) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9783642356315 |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/978-3-642-35632-2 |
| Source of number or code |
doi |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000050590981 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000052938296 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000060390340 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NLGGC |
| System control number |
354886606 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
14811058 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)826861208 |
| Canceled/invalid control number |
(OCoLC)826681356 |
| -- |
(OCoLC)964894504 |
| -- |
(OCoLC)985059745 |
| -- |
(OCoLC)1005745418 |
| -- |
(OCoLC)1026450638 |
| -- |
(OCoLC)1027355705 |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.76.V47 |
| Item number |
R8 2012 |
| 060 #4 - NATIONAL LIBRARY OF MEDICINE CALL NUMBER |
|---|
| Classification number |
QA 76.76.V47 |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
005.1/4 |
| Edition number |
23 |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
54.52 |
| Number source |
bcl |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 111 2# - MAIN ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
RV (Conference) |
| Number of part/section/meeting |
(3rd : |
| Date of meeting |
2012 : |
| Location of meeting |
Istanbul, Turkey) |
| 9 (RLIN) |
47462 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Runtime verification : |
| Remainder of title |
third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised selected papers / |
| Statement of responsibility, etc. |
Shaz Qadeer, Serdar Tasiran (eds.). |
| 246 3# - VARYING FORM OF TITLE |
|---|
| Title proper/short title |
RV 2012 |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc. |
Berlin ; |
| -- |
New York : |
| Name of publisher, distributor, etc. |
Springer, |
| Date of publication, distribution, etc. |
©2013. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource |
| 336 ## - CONTENT TYPE |
|---|
| Content type term |
text |
| Content type code |
txt |
| Source |
rdacontent |
| 337 ## - MEDIA TYPE |
|---|
| Media type term |
computer |
| Media type code |
c |
| Source |
rdamedia |
| 338 ## - CARRIER TYPE |
|---|
| Carrier type term |
online resource |
| Carrier type code |
cr |
| Source |
rdacarrier |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture notes in computer science, |
| International Standard Serial Number |
0302-9743 ; |
| Volume/sequential designation |
7687 |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
LNCS sublibrary. SL 2, Programming and software engineering |
| 505 00 - FORMATTED CONTENTS NOTE |
|---|
| Title |
Dynamic Analyses for Data-Race Detection / |
| Statement of responsibility |
John Erickson, Stephen Freund, Madanlal Musuvathi -- |
| Title |
Symbolic Execution / |
| Statement of responsibility |
Cristian Cadar, Koushik Sen -- |
| Title |
Dynamic Livelock Analysis of Multi-threaded Programs / |
| Statement of responsibility |
Malay K. Ganai -- |
| Title |
Scalable Dynamic Partial Order Reduction / |
| Statement of responsibility |
Jiri Simsa, Randy Bryant, Garth Gibson, Jason Hickey -- |
| Title |
ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level / |
| Statement of responsibility |
Jan Fiedor, Tomáš Vojnar -- |
| Title |
PaRV: Parallelizing Runtime Detection and Prevention of Concurrency Errors / |
| Statement of responsibility |
Ismail Kuru, Hassan Salehe Matar, Adrián Cristal, Gokcen Kestor -- |
| Title |
It's the End of the World as We Know It (And I Feel Fine) / |
| Statement of responsibility |
Jim R. Larus -- |
| Title |
Detecting Unread Memory Using Dynamic Binary Translation / |
| Statement of responsibility |
Jon Eyolfson, Patrick Lam -- |
| Title |
Sparse Coding for Specification Mining and Error Localization / |
| Statement of responsibility |
Wenchao Li, Sanjit A. Seshia -- |
| Title |
Sliding between Model Checking and Runtime Verification / |
| Statement of responsibility |
Martin Leucker. |
| 505 80 - FORMATTED CONTENTS NOTE |
|---|
| Title |
Runtime Verification and Enforcement for Android Applications with RV-Droid / |
| Statement of responsibility |
Yliès Falcone, Sebastian Currea, Mohamad Jaber -- |
| Title |
Temporal Monitors for TinyOS / |
| Statement of responsibility |
Doina Bucur -- |
| Title |
Real-Time Runtime Verification on Chip / |
| Statement of responsibility |
Thomas Reinbacher, Matthias Függer, Jörg Brauer -- |
| Title |
BabelTrace: A Collection of Transducers for Trace Validation / |
| Statement of responsibility |
Aouatef Mrad, Samatar Ahmed, Sylvain Hallé, Éric Beaudet -- |
| Title |
Quantitative Trace Analysis Using Extended Timing Diagrams / |
| Statement of responsibility |
Andreas Richter, Klaus Kabitzsch -- |
| Title |
Maximal Causal Models for Sequentially Consistent Systems / |
| Statement of responsibility |
Traian Florin Şerbănuţă, Feng Chen, Grigore Roşu -- |
| Title |
Monitoring Compliance Policies over Incomplete and Disagreeing Logs / |
| Statement of responsibility |
David Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zălinescu -- |
| Title |
Adaptive Runtime Verification / |
| Statement of responsibility |
Ezio Bartocci, Radu Grosu, Atul Karmarkar, Scott A. Smolka -- |
| Title |
Malware Riding Badware: Challenges in Analyzing (Malicious/Benign) Web Applications / |
| Statement of responsibility |
Giovanni Vigna -- |
| Title |
MapReduce for Parallel Trace Validation of LTL Properties / |
| Statement of responsibility |
Benjamin Barre, Mathieu Klein, Maxime Soucy-Boivin. |
| 505 80 - FORMATTED CONTENTS NOTE |
|---|
| Title |
Path-Aware Time-Triggered Runtime Verification / |
| Statement of responsibility |
Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister -- |
| Title |
Fast-Forward Runtime Monitoring -- An Industrial Case Study / |
| Statement of responsibility |
Christian Colombo, Gordon J. Pace -- |
| Title |
Runtime Enforcement of Timed Properties / |
| Statement of responsibility |
Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand -- |
| Title |
Monitoring Dense-Time, Continuous-Semantics, Metric Temporal Logic / |
| Statement of responsibility |
Kevin Baldor, Jianwei Niu -- |
| Title |
Rewrite-Based Statistical Model Checking of WMTL / |
| Statement of responsibility |
Peter Bulychev, Alexandre David, Kim G. Larsen, Axel Legay -- |
| Title |
From Runtime Verification to Runtime Intervention and Adaptation / |
| Statement of responsibility |
Martin Rinard -- |
| Title |
Certifying Solutions for Numerical Constraints / |
| Statement of responsibility |
Eva Darulova, Viktor Kuncak -- |
| Title |
Profiling Field Initialisation in Java / |
| Statement of responsibility |
Stephen Nelson, David J. Pearce, James Noble -- |
| Title |
Defense against Stack-Based Attacks Using Speculative Stack Layout Transformation / |
| Statement of responsibility |
Benjamin D. Rodes, Anh Nguyen-Tuong, Jason D. Hiser, John C. Knight -- |
| Title |
Incremental Runtime Verification of Probabilistic Systems / |
| Statement of responsibility |
Vojtěch Forejt, Marta Kwiatkowska, David Parker, Hongyang Qu. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
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 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references and index. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer software |
| General subdivision |
Verification |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
15105 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Formal methods (Computer science) |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
15679 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer software |
| General subdivision |
Testing |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
18837 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer programs. |
| 9 (RLIN) |
15747 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer software. |
| 9 (RLIN) |
15271 |
| 650 #2 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Software |
| 9 (RLIN) |
16724 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logiciels |
| General subdivision |
Vérification |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
18708 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Méthodes formelles (Informatique) |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
18838 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logiciels. |
| 9 (RLIN) |
26065 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
software. |
| Source of heading or term |
aat |
| 9 (RLIN) |
16724 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer software |
| Source of heading or term |
fast |
| 9 (RLIN) |
15271 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer programs |
| Source of heading or term |
fast |
| 9 (RLIN) |
15747 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer software |
| General subdivision |
Testing |
| Source of heading or term |
fast |
| 9 (RLIN) |
4794 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer software |
| General subdivision |
Verification |
| Source of heading or term |
fast |
| 9 (RLIN) |
1930 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Formal methods (Computer science) |
| Source of heading or term |
fast |
| 9 (RLIN) |
15635 |
| 653 #4 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Computer science. |
| 653 #4 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Software engineering. |
| 653 #4 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Computer software. |
| 653 #4 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Algorithm Analysis and Problem Complexity. |
| 653 #4 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Logics and Meanings of Programs. |
| 653 #4 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Programming Languages, Compilers, Interpreters. |
| 653 #4 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Mathematical Logic and Formal Languages. |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
computerwetenschappen |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
computer sciences |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
algoritmen |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
algorithms |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
computeranalyse |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
computer analysis |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
programmeertalen |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
programming languages |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
programmeren |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
programming |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
wiskunde |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
mathematics |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
logica |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
logic |
| 653 10 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Information and Communication Technology (General) |
| 653 10 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Informatie- en communicatietechnologie (algemeen) |
| 655 #2 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Congress |
| 9 (RLIN) |
11670 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
proceedings (reports) |
| Source of term |
aat |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Conference papers and proceedings |
| Source of term |
fast |
| 9 (RLIN) |
6065 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Software. |
| Source of term |
lcgft |
| 9 (RLIN) |
98343 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Conference papers and proceedings. |
| Source of term |
lcgft |
| 9 (RLIN) |
6065 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Actes de congrès. |
| Source of term |
rvmgf |
| 9 (RLIN) |
609890 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Qadeer, Shaz. |
| 9 (RLIN) |
42208 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Tasiran, Serdar. |
| 9 (RLIN) |
25107 |
| 758 ## - |
|---|
| -- |
has work: |
| -- |
Runtime verification (Text) |
| -- |
https://id.oclc.org/worldcat/entity/E39PCH6kY7D4QWFfQPrR8Q3Rcd |
| -- |
https://id.oclc.org/worldcat/ontology/hasWork |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Printed edition: |
| International Standard Book Number |
9783642356315 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
7687. |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
LNCS sublibrary. |
| Number of part/section of a work |
SL 2, |
| Name of part/section of a work |
Programming and software engineering. |
| 9 (RLIN) |
20654 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://link.springer.com/10.1007/978-3-642-35632-2">https://link.springer.com/10.1007/978-3-642-35632-2</a> |
| 938 ## - |
|---|
| -- |
Askews and Holts Library Services |
| -- |
ASKH |
| -- |
AH28331010 |
| 938 ## - |
|---|
| -- |
ProQuest Ebook Central |
| -- |
EBLB |
| -- |
EBL3069562 |
| 938 ## - |
|---|
| -- |
ebrary |
| -- |
EBRY |
| -- |
ebr10649493 |
| 938 ## - |
|---|
| -- |
YBP Library Services |
| -- |
YANK |
| -- |
10006336 |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |