MARC details
| 000 -LEADER |
|---|
| fixed length control field |
09452cam a2201093 a 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocn793912617 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250703161610.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 |
120518s2012 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 |
UKMGB |
| -- |
ZMC |
| -- |
COO |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
E7B |
| -- |
REB |
| -- |
OCLCF |
| -- |
BEDGE |
| -- |
OCLCO |
| -- |
YDXCP |
| -- |
OCL |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
EBLCP |
| -- |
OCLCQ |
| -- |
VT2 |
| -- |
ESU |
| -- |
OCLCQ |
| -- |
IOG |
| -- |
NJR |
| -- |
BUF |
| -- |
OCLCQ |
| -- |
CEF |
| -- |
U3W |
| -- |
WYU |
| -- |
YOU |
| -- |
TKN |
| -- |
LEAUB |
| -- |
OCLCQ |
| -- |
WURST |
| -- |
AJS |
| -- |
OCLCQ |
| -- |
UKAHL |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| 016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER |
|---|
| Record control number |
016092537 |
| Source |
Uk |
| 019 ## - |
|---|
| -- |
964893482 |
| -- |
1005804118 |
| -- |
1026456994 |
| -- |
1066480464 |
| -- |
1066597039 |
| -- |
1081209222 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783642298608 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3642298605 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3642298591 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783642298592 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9783642298592 |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/978-3-642-29860-8 |
| Source of number or code |
doi |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000049659167 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
14537429 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)793912617 |
| Canceled/invalid control number |
(OCoLC)964893482 |
| -- |
(OCoLC)1005804118 |
| -- |
(OCoLC)1026456994 |
| -- |
(OCoLC)1066480464 |
| -- |
(OCoLC)1066597039 |
| -- |
(OCoLC)1081209222 |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.76.V47 |
| Item number |
R8 2011 |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
QA |
| Source |
lcco |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UMZ |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
COM051230 |
| Source |
bisacsh |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
005.1/4 |
| Edition number |
23 |
| 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 |
(2nd : |
| Date of meeting |
2011 : |
| Location of meeting |
San Francisco, Calif.) |
| 9 (RLIN) |
45402 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Runtime verification : |
| Remainder of title |
second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers / |
| Statement of responsibility, etc. |
Sarfraz Khurshid, Koushik Sen (eds.). |
| 246 3# - VARYING FORM OF TITLE |
|---|
| Title proper/short title |
RV 2011 |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc. |
Berlin ; |
| -- |
New York : |
| Name of publisher, distributor, etc. |
Springer, |
| Date of publication, distribution, etc. |
©2012. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (xii, 458 pages) |
| 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 |
| 347 ## - DIGITAL FILE CHARACTERISTICS |
|---|
| File type |
text file |
| 347 ## - DIGITAL FILE CHARACTERISTICS |
|---|
| Encoding format |
PDF |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture notes in computer science, |
| International Standard Serial Number |
0302-9743 ; |
| Volume/sequential designation |
7186 |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
LNCS sublibrary. SL 2, Programming and software engineering |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references and author index. |
| 505 00 - FORMATTED CONTENTS NOTE |
|---|
| Title |
Internal versus External DSLs for Trace Analysis / |
| Statement of responsibility |
(Extended Abstract) / |
| -- |
Howard Barringer and Klaus Havelund -- |
| Title |
Predicting Concurrency Failures in the Generalized Execution Traces of x86 Executables / |
| Statement of responsibility |
Chao Wang and Malay Ganai -- |
| Title |
Runtime Monitoring of Time-Sensitive Systems / |
| Statement of responsibility |
[Tutorial Supplement] / |
| -- |
Borzoo Bonakdarpour and Sebastian Fischmeister -- |
| Title |
Teaching Runtime Verification / |
| Statement of responsibility |
Martin Leucker -- |
| Title |
Runtime Verification: A Computer Architecture Perspective / |
| Statement of responsibility |
Sharad Malik -- |
| Title |
Isolating Determinism in Multi-threaded Programs / |
| Statement of responsibility |
Lukasz Ziarek, Siddharth Tiwary and Suresh Jagannathan -- |
| Title |
Efficiency Optimizations for Implementations of Deadlock Immunity / |
| Statement of responsibility |
Horatiu Jula, Silviu Andrica and George Candea -- |
| Title |
Permission Regions for Race-Free Parallelism / |
| Statement of responsibility |
Edwin Westbrook, Jisheng Zhao, Zoran Budimlić and Vivek Sarkar -- |
| Title |
Dynamic Race Detection with LLVM Compiler / |
| Statement of responsibility |
Compile-Time Instrumentation for ThreadSanitizer / |
| -- |
Konstantin Serebryany, Alexander Potapenko, Timur Iskhodzhanov and Dmitriy Vyukov -- |
| Title |
NORT: Runtime Anomaly-Based Monitoring of Malicious Behavior for Windows / |
| Statement of responsibility |
Narcisa Andreea Milea, Siau Cheng Khoo, David Lo and Cristian Pop -- |
| Title |
Runtime Verification of LTL-Based Declarative Process Models / |
| Statement of responsibility |
Fabrizio Maria Maggi, Michael Westergaard, Marco Montali and Wil M.P. van der Aalst -- |
| Title |
Parametric Identification of Temporal Properties / |
| Statement of responsibility |
Eugene Asarin, Alexandre Donzé, Oded Maler and Dejan Nickovic. |
| 505 00 - FORMATTED CONTENTS NOTE |
|---|
| Title |
Marathon: Detecting Atomic-Set Serializability Violations with Conflict Graphs / |
| Statement of responsibility |
William N. Sumner, Christian Hammer and Julian Dolby -- |
| Title |
Coverage Metrics for Saturation-Based and Search-Based Testing of Concurrent Software / |
| Statement of responsibility |
Bohuslav Křena, Zdeněk Letko and Tomáš Vojnar -- |
| Title |
Runtime Verification with State Estimation / |
| Statement of responsibility |
Scott D. Stoller, Ezio Bartocci, Justin Seyster, Radu Grosu and Klaus Havelund, et al. -- |
| Title |
Efficient Techniques for Near-Optimal Instrumentation in Time-Triggered Runtime Verification / |
| Statement of responsibility |
Samaneh Navabpour, Chun Wah Wallace Wu, Borzoo Bonakdarpour and Sebastian Fischmeister -- |
| Title |
CoMA: Conformance Monitoring of Java Programs by Abstract State Machines / |
| Statement of responsibility |
Paolo Arcaini, Angelo Gargantini and Elvinia Riccobene -- |
| Title |
Automated Test-Trace Inspection for Microcontroller Binary Code / |
| Statement of responsibility |
Thomas Reinbacher, Jörg Brauer, Daniel Schachinger, Andreas Steininger and Stefan Kowalewski -- |
| Title |
What Is My Program Doing? Program Dynamics in Programmer's Terms / |
| Statement of responsibility |
Steven P. Reiss and Alexander Tarvo -- |
| Title |
Algorithms for Monitoring Real-Time Properties / |
| Statement of responsibility |
David Basin, Felix Klaedtke and Eugen Zălinescu -- |
| Title |
Runtime Monitoring of Stochastic Cyber-Physical Systems with Hybrid State / |
| Statement of responsibility |
A. Prasad Sistla, Miloš Žefran and Yao Feng -- |
| Title |
Combining Time and Frequency Domain Specifications for Periodic Signals / |
| Statement of responsibility |
Aleksandar Chakarov, Sriram Sankaranarayanan and Georgios Fainekos -- |
| Title |
Runtime Verification for Ultra-Critical Systems / |
| Statement of responsibility |
Lee Pike, Sebastian Niller and Nis Wegmann. |
| 505 00 - FORMATTED CONTENTS NOTE |
|---|
| Title |
Runtime Verification of Data-Centric Properties in Service Based Systems / |
| Statement of responsibility |
Guoquan Wu, Jun Wei, Chunyang Ye, Xiaozhe Shao and Hua Zhong, et al. -- |
| Title |
Cooperative Concurrency for a Multicore World / |
| Statement of responsibility |
(Extended Abstract) / |
| -- |
Jaeheon Yi, Caitlin Sadowski, Stephen N. Freund and Cormac Flanagan -- |
| Title |
Monitoring Data Structures Using Hardware Transactional Memory / |
| Statement of responsibility |
Shakeel Butt, Vinod Ganapathy, Arati Baliga and Mihai Christodorescu -- |
| Title |
MONPOLY: Monitoring Usage-Control Policies / |
| Statement of responsibility |
David Basin, Matúš Harvan, Felix Klaedtke and Eugen Zălinescu -- |
| Title |
MOPBox: A Library Approach to Runtime Verification (Tool Demonstration) / |
| Statement of responsibility |
Eric Bodden -- |
| Title |
Elarva: A Monitoring Tool for Erlang / |
| Statement of responsibility |
Christian Colombo, Adrian Francalanza and Rudolph Gatt -- |
| Title |
DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking / |
| Statement of responsibility |
Jan Fiedor, Vendula Hrubá, Bohuslav Křena and Tomáš Vojnar -- |
| Title |
Monitoring Finite State Properties: Algorithmic Approaches and Their Relative Strengths / |
| Statement of responsibility |
Rahul Purandare, Matthew B. Dwyer and Sebastian Elbaum -- |
| Title |
Unbounded Symbolic Execution for Program Verification / |
| Statement of responsibility |
Joxan Jaffar, Jorge A. Navas and Andrew E. Santosa -- |
| Title |
Execution Trace Exploration and Analysis Using Ontologies / |
| Statement of responsibility |
Newres Al Haider, Benoit Gaudin and John Murphy -- |
| Title |
Monitoring Realizability / |
| Statement of responsibility |
Rüdiger Ehlers and Bernd Finkbeiner -- |
| Title |
Runtime Verification of Traces under Recording Uncertainty / |
| Statement of responsibility |
Shaohui Wang, Anaheed Ayoub, Oleg Sokolsky and Insup Lee.₉ |
| 520 8# - SUMMARY, ETC. |
|---|
| Summary, etc. |
Annotation |
| Expansion of summary note |
This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Runtime Verification, RV 2011, held in San Francisco, USA, in September 2011. The 24 revised full papers presented together with 3 invited papers, 4 tutorials and 4 tool demonstrations were carefully reviewed and selected from 71 submissions. The papers are organized in topical sections on parallelism and deadlocks, malware detection, temporal constraints and concurrency bugs, sampling and specification conformance, real-time, software and hardware systems, memory transactions, tools; foundational techniques and multi-valued approaches. |
| 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 #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 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Informatique. |
| Source of heading or term |
eclas |
| 9 (RLIN) |
14930 |
| 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 |
Logic design. |
| 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 Techniques. |
| 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 |
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 |
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 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
computerwetenschappen |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
computer sciences |
| 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 10 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Information and Communication Technology (General) |
| 653 10 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Informatie- en communicatietechnologie (algemeen) |
| 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 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Khurshid, Sarfraz. |
| 9 (RLIN) |
45404 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Sen, Koushik. |
| 9 (RLIN) |
45405 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Print version: |
| Main entry heading |
RV (Conference) (2nd : 2011 : San Francisco, Calif.). |
| Title |
Runtime verification. |
| Place, publisher, and date of publication |
Berlin ; New York : Springer, ©2012 |
| Record control number |
(DLC) 2012937468 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
7186. |
| 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-29860-8">https://link.springer.com/10.1007/978-3-642-29860-8</a> |
| 938 ## - |
|---|
| -- |
Askews and Holts Library Services |
| -- |
ASKH |
| -- |
AH29631004 |
| 938 ## - |
|---|
| -- |
ProQuest Ebook Central |
| -- |
EBLB |
| -- |
EBL3070579 |
| 938 ## - |
|---|
| -- |
ebrary |
| -- |
EBRY |
| -- |
ebr10653459 |
| 938 ## - |
|---|
| -- |
YBP Library Services |
| -- |
YANK |
| -- |
9242254 |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |