2. RV 2011: San Francisco, CA, USA
Sarfraz Khurshid, Koushik Sen (Eds.): Runtime Verification - Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers. Springer 2012 Lecture Notes in Computer Science ISBN 978-3-642-29859-2
Tutorials
- Howard Barringer, Klaus Havelund: Internal versus External DSLs for Trace Analysis - (Extended Abstract). 1-3
- Chao Wang, Malay K. Ganai: Predicting Concurrency Failures in the Generalized Execution Traces of x86 Executables. 4-18
- Borzoo Bonakdarpour, Sebastian Fischmeister: Runtime Monitoring of Time-Sensitive Systems - [Tutorial Supplement]. 19-33
- Martin Leucker: Teaching Runtime Verification. 34-48
Invited
- Sharad Malik: Runtime Verification: A Computer Architecture Perspective. 49-62
- Lukasz Ziarek, Siddharth Tiwary, Suresh Jagannathan: Isolating Determinism in Multi-threaded Programs. 63-77
- Horatiu Jula, Silviu Andrica, George Candea: Efficiency Optimizations for Implementations of Deadlock Immunity. 78-93
- Edwin M. Westbrook, Jisheng Zhao, Zoran Budimlic, Vivek Sarkar: Permission Regions for Race-Free Parallelism. 94-109
- Konstantin Serebryany, Alexander Potapenko, Timur Iskhodzhanov, Dmitriy Vyukov: Dynamic Race Detection with LLVM Compiler - Compile-Time Instrumentation for ThreadSanitizer. 110-114
- Narcisa Andreea Milea, Siau-Cheng Khoo, David Lo, Cristian Pop: NORT: Runtime Anomaly-Based Monitoring of Malicious Behavior for Windows. 115-130
- Fabrizio Maria Maggi, Michael Westergaard, Marco Montali, Wil M. P. van der Aalst: Runtime Verification of LTL-Based Declarative Process Models. 131-146
- Eugene Asarin, Alexandre Donzé, Oded Maler, Dejan Nickovic: Parametric Identification of Temporal Properties. 147-160
- William N. Sumner, Christian Hammer, Julian Dolby: Marathon: Detecting Atomic-Set Serializability Violations with Conflict Graphs. 161-176
- Bohuslav Krena, Zdenek Letko, Tomás Vojnar: Coverage Metrics for Saturation-Based and Search-Based Testing of Concurrent Software. 177-192
- Scott D. Stoller, Ezio Bartocci, Justin Seyster, Radu Grosu, Klaus Havelund, Scott A. Smolka, Erez Zadok: Runtime Verification with State Estimation. 193-207
- Samaneh Navabpour, Chun Wah Wallace Wu, Borzoo Bonakdarpour, Sebastian Fischmeister: Efficient Techniques for Near-Optimal Instrumentation in Time-Triggered Runtime Verification. 208-222
- Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene: CoMA: Conformance Monitoring of Java Programs by Abstract State Machines. 223-238
- Thomas Reinbacher, Jörg Brauer, Daniel Schachinger, Andreas Steininger, Stefan Kowalewski: Automated Test-Trace Inspection for Microcontroller Binary Code. 239-244
- Steven P. Reiss, Alexander Tarvo: What Is My Program Doing? Program Dynamics in Programmer's Terms. 245-259
- David A. Basin, Felix Klaedtke, Eugen Zalinescu: Algorithms for Monitoring Real-Time Properties. 260-275
- A. Prasad Sistla, Milos Zefran, Yao Feng: Runtime Monitoring of Stochastic Cyber-Physical Systems with Hybrid State. 276-293
- Aleksandar Chakarov, Sriram Sankaranarayanan, Georgios E. Fainekos: Combining Time and Frequency Domain Specifications for Periodic Signals. 294-309
- Guoquan Wu, Jun Wei, Chunyang Ye, Xiaozhe Shao, Hua Zhong, Tao Huang: Runtime Verification of Data-Centric Properties in Service Based Systems. 325-341
- Jaeheon Yi, Caitlin Sadowski, Stephen N. Freund, Cormac Flanagan: Cooperative Concurrency for a Multicore World - (Extended Abstract). 342-344
- Shakeel Butt, Vinod Ganapathy, Arati Baliga, Mihai Christodorescu: Monitoring Data Structures Using Hardware Transactional Memory. 345-359
Tools
- David A. Basin, Matús Harvan, Felix Klaedtke, Eugen Zalinescu: MONPOLY: Monitoring Usage-Control Policies. 360-364
- Eric Bodden: MOPBox: A Library Approach to Runtime Verification - (Tool Demonstration). 365-369
- Jan Fiedor, Vendula Hrubá, Bohuslav Krena, Tomás Vojnar: DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking. 375-380
- Rahul Purandare, Matthew B. Dwyer, Sebastian G. Elbaum: Monitoring Finite State Properties: Algorithmic Approaches and Their Relative Strengths. 381-395
- Joxan Jaffar, Jorge A. Navas, Andrew E. Santosa: Unbounded Symbolic Execution for Program Verification. 396-411
- Newres Al Haider, Benoit Gaudin, John Murphy: Execution Trace Exploration and Analysis Using Ontologies. 412-426
- Shaohui Wang, Anaheed Ayoub, Oleg Sokolsky, Insup Lee: Runtime Verification of Traces under Recording Uncertainty. 442-456
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T214307 by the dblp team