Coverart for item
The Resource Runtime verification : second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers, Sarfraz Khurshid, Koushik Sen (eds.), (electronic book)

Runtime verification : second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers, Sarfraz Khurshid, Koushik Sen (eds.), (electronic book)

Label
Runtime verification : second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers
Title
Runtime verification
Title remainder
second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers
Statement of responsibility
Sarfraz Khurshid, Koushik Sen (eds.)
Title variation
RV 2011
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
GW5XE
Dewey number
005.1/4
Index
index present
LC call number
QA76.76.V47
LC item number
R8 2011
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2011
http://bibfra.me/vocab/lite/meetingName
RV 2011
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Khurshid, Sarfraz
  • Sen, Koushik
Series statement
  • Lecture notes in computer science,
  • LNCS sublibrary. SL 2, Programming and software engineering
Series volume
7186
http://library.link/vocab/subjectName
  • Computer software
  • Formal methods (Computer science)
  • Computer software
Label
Runtime verification : second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers, Sarfraz Khurshid, Koushik Sen (eds.), (electronic book)
Instantiates
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references and author index
Color
multicolored
Contents
  • Teaching Runtime Verification
  • Martin Leucker
  • Runtime Verification: A Computer Architecture Perspective
  • Sharad Malik
  • Isolating Determinism in Multi-threaded Programs
  • Lukasz Ziarek, Siddharth Tiwary and Suresh Jagannathan
  • Efficiency Optimizations for Implementations of Deadlock Immunity
  • Horatiu Jula, Silviu Andrica and George Candea
  • Permission Regions for Race-Free Parallelism
  • Edwin Westbrook, Jisheng Zhao, Zoran Budimlić and Vivek Sarkar
  • Internal versus External DSLs for Trace Analysis
  • Dynamic Race Detection with LLVM Compiler
  • Compile-Time Instrumentation for ThreadSanitizer
  • Konstantin Serebryany, Alexander Potapenko, Timur Iskhodzhanov and Dmitriy Vyukov
  • NORT: Runtime Anomaly-Based Monitoring of Malicious Behavior for Windows
  • Narcisa Andreea Milea, Siau Cheng Khoo, David Lo and Cristian Pop
  • Runtime Verification of LTL-Based Declarative Process Models
  • Fabrizio Maria Maggi, Michael Westergaard, Marco Montali and Wil M. P. van der Aalst
  • Parametric Identification of Temporal Properties
  • Eugene Asarin, Alexandre Donzé, Oded Maler and Dejan Nickovic
  • (Extended Abstract)
  • Howard Barringer and Klaus Havelund
  • Predicting Concurrency Failures in the Generalized Execution Traces of x86 Executables
  • Chao Wang and Malay Ganai
  • Runtime Monitoring of Time-Sensitive Systems
  • [Tutorial Supplement]
  • Borzoo Bonakdarpour and Sebastian Fischmeister
  • CoMA: Conformance Monitoring of Java Programs by Abstract State Machines
  • Paolo Arcaini, Angelo Gargantini and Elvinia Riccobene
  • Automated Test-Trace Inspection for Microcontroller Binary Code
  • Thomas Reinbacher, Jörg Brauer, Daniel Schachinger, Andreas Steininger and Stefan Kowalewski
  • What Is My Program Doing? Program Dynamics in Programmer's Terms
  • Steven P. Reiss and Alexander Tarvo
  • Algorithms for Monitoring Real-Time Properties
  • David Basin, Felix Klaedtke and Eugen Zălinescu
  • Runtime Monitoring of Stochastic Cyber-Physical Systems with Hybrid State
  • A. Prasad Sistla, Miloš Žefran and Yao Feng
  • Marathon: Detecting Atomic-Set Serializability Violations with Conflict Graphs
  • Combining Time and Frequency Domain Specifications for Periodic Signals
  • Aleksandar Chakarov, Sriram Sankaranarayanan and Georgios Fainekos
  • Runtime Verification for Ultra-Critical Systems
  • Lee Pike, Sebastian Niller and Nis Wegmann
  • William N. Sumner, Christian Hammer and Julian Dolby
  • Coverage Metrics for Saturation-Based and Search-Based Testing of Concurrent Software
  • Bohuslav Křena, Zdeněk Letko and Tomáš Vojnar
  • Runtime Verification with State Estimation
  • Scott D. Stoller, Ezio Bartocci, Justin Seyster, Radu Grosu and Klaus Havelund, et al.
  • Efficient Techniques for Near-Optimal Instrumentation in Time-Triggered Runtime Verification
  • Samaneh Navabpour, Chun Wah Wallace Wu, Borzoo Bonakdarpour and Sebastian Fischmeister
  • David Basin, Matúš Harvan, Felix Klaedtke and Eugen Zălinescu
  • MOPBox: A Library Approach to Runtime Verification (Tool Demonstration)
  • Eric Bodden
  • Elarva: A Monitoring Tool for Erlang
  • Christian Colombo, Adrian Francalanza and Rudolph Gatt
  • DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking
  • Jan Fiedor, Vendula Hrubá, Bohuslav Křena and Tomáš Vojnar
  • Monitoring Finite State Properties: Algorithmic Approaches and Their Relative Strengths
  • Rahul Purandare, Matthew B. Dwyer and Sebastian Elbaum
  • Unbounded Symbolic Execution for Program Verification
  • Runtime Verification of Data-Centric Properties in Service Based Systems
  • Joxan Jaffar, Jorge A. Navas and Andrew E. Santosa
  • Execution Trace Exploration and Analysis Using Ontologies
  • Newres Al Haider, Benoit Gaudin and John Murphy
  • Monitoring Realizability
  • Rüdiger Ehlers and Bernd Finkbeiner
  • Runtime Verification of Traces under Recording Uncertainty
  • Shaohui Wang, Anaheed Ayoub, Oleg Sokolsky and Insup Lee.98
  • Guoquan Wu, Jun Wei, Chunyang Ye, Xiaozhe Shao and Hua Zhong, et al.
  • Cooperative Concurrency for a Multicore World
  • (Extended Abstract)
  • Jaeheon Yi, Caitlin Sadowski, Stephen N. Freund and Cormac Flanagan
  • Monitoring Data Structures Using Hardware Transactional Memory
  • Shakeel Butt, Vinod Ganapathy, Arati Baliga and Mihai Christodorescu
  • MONPOLY: Monitoring Usage-Control Policies
Control code
SPR793912617
Dimensions
unknown
Extent
1 online resource (xii, 458 p.)
File format
unknown
Form of item
online
Isbn
9783642298608
Level of compression
unknown
Quality assurance targets
not applicable
Reformatting quality
unknown
Reproduction note
Electronic resource.
Sound
unknown sound
Specific material designation
remote
Label
Runtime verification : second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers, Sarfraz Khurshid, Koushik Sen (eds.), (electronic book)
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references and author index
Color
multicolored
Contents
  • Teaching Runtime Verification
  • Martin Leucker
  • Runtime Verification: A Computer Architecture Perspective
  • Sharad Malik
  • Isolating Determinism in Multi-threaded Programs
  • Lukasz Ziarek, Siddharth Tiwary and Suresh Jagannathan
  • Efficiency Optimizations for Implementations of Deadlock Immunity
  • Horatiu Jula, Silviu Andrica and George Candea
  • Permission Regions for Race-Free Parallelism
  • Edwin Westbrook, Jisheng Zhao, Zoran Budimlić and Vivek Sarkar
  • Internal versus External DSLs for Trace Analysis
  • Dynamic Race Detection with LLVM Compiler
  • Compile-Time Instrumentation for ThreadSanitizer
  • Konstantin Serebryany, Alexander Potapenko, Timur Iskhodzhanov and Dmitriy Vyukov
  • NORT: Runtime Anomaly-Based Monitoring of Malicious Behavior for Windows
  • Narcisa Andreea Milea, Siau Cheng Khoo, David Lo and Cristian Pop
  • Runtime Verification of LTL-Based Declarative Process Models
  • Fabrizio Maria Maggi, Michael Westergaard, Marco Montali and Wil M. P. van der Aalst
  • Parametric Identification of Temporal Properties
  • Eugene Asarin, Alexandre Donzé, Oded Maler and Dejan Nickovic
  • (Extended Abstract)
  • Howard Barringer and Klaus Havelund
  • Predicting Concurrency Failures in the Generalized Execution Traces of x86 Executables
  • Chao Wang and Malay Ganai
  • Runtime Monitoring of Time-Sensitive Systems
  • [Tutorial Supplement]
  • Borzoo Bonakdarpour and Sebastian Fischmeister
  • CoMA: Conformance Monitoring of Java Programs by Abstract State Machines
  • Paolo Arcaini, Angelo Gargantini and Elvinia Riccobene
  • Automated Test-Trace Inspection for Microcontroller Binary Code
  • Thomas Reinbacher, Jörg Brauer, Daniel Schachinger, Andreas Steininger and Stefan Kowalewski
  • What Is My Program Doing? Program Dynamics in Programmer's Terms
  • Steven P. Reiss and Alexander Tarvo
  • Algorithms for Monitoring Real-Time Properties
  • David Basin, Felix Klaedtke and Eugen Zălinescu
  • Runtime Monitoring of Stochastic Cyber-Physical Systems with Hybrid State
  • A. Prasad Sistla, Miloš Žefran and Yao Feng
  • Marathon: Detecting Atomic-Set Serializability Violations with Conflict Graphs
  • Combining Time and Frequency Domain Specifications for Periodic Signals
  • Aleksandar Chakarov, Sriram Sankaranarayanan and Georgios Fainekos
  • Runtime Verification for Ultra-Critical Systems
  • Lee Pike, Sebastian Niller and Nis Wegmann
  • William N. Sumner, Christian Hammer and Julian Dolby
  • Coverage Metrics for Saturation-Based and Search-Based Testing of Concurrent Software
  • Bohuslav Křena, Zdeněk Letko and Tomáš Vojnar
  • Runtime Verification with State Estimation
  • Scott D. Stoller, Ezio Bartocci, Justin Seyster, Radu Grosu and Klaus Havelund, et al.
  • Efficient Techniques for Near-Optimal Instrumentation in Time-Triggered Runtime Verification
  • Samaneh Navabpour, Chun Wah Wallace Wu, Borzoo Bonakdarpour and Sebastian Fischmeister
  • David Basin, Matúš Harvan, Felix Klaedtke and Eugen Zălinescu
  • MOPBox: A Library Approach to Runtime Verification (Tool Demonstration)
  • Eric Bodden
  • Elarva: A Monitoring Tool for Erlang
  • Christian Colombo, Adrian Francalanza and Rudolph Gatt
  • DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking
  • Jan Fiedor, Vendula Hrubá, Bohuslav Křena and Tomáš Vojnar
  • Monitoring Finite State Properties: Algorithmic Approaches and Their Relative Strengths
  • Rahul Purandare, Matthew B. Dwyer and Sebastian Elbaum
  • Unbounded Symbolic Execution for Program Verification
  • Runtime Verification of Data-Centric Properties in Service Based Systems
  • Joxan Jaffar, Jorge A. Navas and Andrew E. Santosa
  • Execution Trace Exploration and Analysis Using Ontologies
  • Newres Al Haider, Benoit Gaudin and John Murphy
  • Monitoring Realizability
  • Rüdiger Ehlers and Bernd Finkbeiner
  • Runtime Verification of Traces under Recording Uncertainty
  • Shaohui Wang, Anaheed Ayoub, Oleg Sokolsky and Insup Lee.98
  • Guoquan Wu, Jun Wei, Chunyang Ye, Xiaozhe Shao and Hua Zhong, et al.
  • Cooperative Concurrency for a Multicore World
  • (Extended Abstract)
  • Jaeheon Yi, Caitlin Sadowski, Stephen N. Freund and Cormac Flanagan
  • Monitoring Data Structures Using Hardware Transactional Memory
  • Shakeel Butt, Vinod Ganapathy, Arati Baliga and Mihai Christodorescu
  • MONPOLY: Monitoring Usage-Control Policies
Control code
SPR793912617
Dimensions
unknown
Extent
1 online resource (xii, 458 p.)
File format
unknown
Form of item
online
Isbn
9783642298608
Level of compression
unknown
Quality assurance targets
not applicable
Reformatting quality
unknown
Reproduction note
Electronic resource.
Sound
unknown sound
Specific material designation
remote

Library Locations

Processing Feedback ...