Abstract is missing.
- Internal versus External DSLs for Trace Analysis - (Extended Abstract)Howard Barringer, Klaus Havelund. 1-3 [doi]
- Predicting Concurrency Failures in the Generalized Execution Traces of x86 ExecutablesChao Wang, Malay K. Ganai. 4-18 [doi]
- Runtime Monitoring of Time-Sensitive Systems - [Tutorial Supplement]Borzoo Bonakdarpour, Sebastian Fischmeister. 19-33 [doi]
- Teaching Runtime VerificationMartin Leucker. 34-48 [doi]
- Runtime Verification: A Computer Architecture PerspectiveSharad Malik. 49-62 [doi]
- Isolating Determinism in Multi-threaded ProgramsLukasz Ziarek, Siddharth Tiwary, Suresh Jagannathan. 63-77 [doi]
- Efficiency Optimizations for Implementations of Deadlock ImmunityHoratiu Jula, Silviu Andrica, George Candea. 78-93 [doi]
- Permission Regions for Race-Free ParallelismEdwin M. Westbrook, Jisheng Zhao, Zoran Budimlic, Vivek Sarkar. 94-109 [doi]
- Dynamic Race Detection with LLVM Compiler - Compile-Time Instrumentation for ThreadSanitizerKonstantin Serebryany, Alexander Potapenko, Timur Iskhodzhanov, Dmitriy Vyukov. 110-114 [doi]
- NORT: Runtime Anomaly-Based Monitoring of Malicious Behavior for WindowsNarcisa Andreea Milea, Siau-Cheng Khoo, David Lo, Cristian Pop. 115-130 [doi]
- Runtime Verification of LTL-Based Declarative Process ModelsFabrizio Maria Maggi, Michael Westergaard, Marco Montali, Wil M. P. van der Aalst. 131-146 [doi]
- Parametric Identification of Temporal PropertiesEugene Asarin, Alexandre Donzé, Oded Maler, Dejan Nickovic. 147-160 [doi]
- Marathon: Detecting Atomic-Set Serializability Violations with Conflict GraphsWilliam N. Sumner, Christian Hammer, Julian Dolby. 161-176 [doi]
- Coverage Metrics for Saturation-Based and Search-Based Testing of Concurrent SoftwareBohuslav Krena, Zdenek Letko, Tomás Vojnar. 177-192 [doi]
- Runtime Verification with State EstimationScott D. Stoller, Ezio Bartocci, Justin Seyster, Radu Grosu, Klaus Havelund, Scott A. Smolka, Erez Zadok. 193-207 [doi]
- Efficient Techniques for Near-Optimal Instrumentation in Time-Triggered Runtime VerificationSamaneh Navabpour, Chun Wah Wallace Wu, Borzoo Bonakdarpour, Sebastian Fischmeister. 208-222 [doi]
- CoMA: Conformance Monitoring of Java Programs by Abstract State MachinesPaolo Arcaini, Angelo Gargantini, Elvinia Riccobene. 223-238 [doi]
- Automated Test-Trace Inspection for Microcontroller Binary CodeThomas Reinbacher, Jörg Brauer, Daniel Schachinger, Andreas Steininger, Stefan Kowalewski. 239-244 [doi]
- What Is My Program Doing? Program Dynamics in Programmer's TermsSteven P. Reiss, Alexander Tarvo. 245-259 [doi]
- Algorithms for Monitoring Real-Time PropertiesDavid A. Basin, Felix Klaedtke, Eugen Zalinescu. 260-275 [doi]
- Runtime Monitoring of Stochastic Cyber-Physical Systems with Hybrid StateA. Prasad Sistla, Milos Zefran, Yao Feng. 276-293 [doi]
- Combining Time and Frequency Domain Specifications for Periodic SignalsAleksandar Chakarov, Sriram Sankaranarayanan, Georgios E. Fainekos. 294-309 [doi]
- Runtime Verification for Ultra-Critical SystemsLee Pike, Sebastian Niller, Nis Wegmann. 310-324 [doi]
- Runtime Verification of Data-Centric Properties in Service Based SystemsGuoquan Wu, Jun Wei, Chunyang Ye, Xiaozhe Shao, Hua Zhong, Tao Huang. 325-341 [doi]
- Cooperative Concurrency for a Multicore World - (Extended Abstract)Jaeheon Yi, Caitlin Sadowski, Stephen N. Freund, Cormac Flanagan. 342-344 [doi]
- Monitoring Data Structures Using Hardware Transactional MemoryShakeel Butt, Vinod Ganapathy, Arati Baliga, Mihai Christodorescu. 345-359 [doi]
- MONPOLY: Monitoring Usage-Control PoliciesDavid A. Basin, Matús Harvan, Felix Klaedtke, Eugen Zalinescu. 360-364 [doi]
- MOPBox: A Library Approach to Runtime Verification - (Tool Demonstration)Eric Bodden. 365-369 [doi]
- Elarva: A Monitoring Tool for ErlangChristian Colombo, Adrian Francalanza, Rudolph Gatt. 370-374 [doi]
- DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model CheckingJan Fiedor, Vendula Hrubá, Bohuslav Krena, Tomás Vojnar. 375-380 [doi]
- Monitoring Finite State Properties: Algorithmic Approaches and Their Relative StrengthsRahul Purandare, Matthew B. Dwyer, Sebastian G. Elbaum. 381-395 [doi]
- Unbounded Symbolic Execution for Program VerificationJoxan Jaffar, Jorge A. Navas, Andrew E. Santosa. 396-411 [doi]
- Execution Trace Exploration and Analysis Using OntologiesNewres Al Haider, Benoit Gaudin, John Murphy. 412-426 [doi]
- Monitoring RealizabilityRüdiger Ehlers, Bernd Finkbeiner. 427-441 [doi]
- Runtime Verification of Traces under Recording UncertaintyShaohui Wang, Anaheed Ayoub, Oleg Sokolsky, Insup Lee. 442-456 [doi]