default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2nd RV 2011: San Francisco, CA, USA
- Sarfraz Khurshid, Koushik Sen:
Runtime Verification - Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7186, Springer 2012, 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 Fainekos:
Combining Time and Frequency Domain Specifications for Periodic Signals. 294-309 - Lee Pike, Sebastian Niller, Nis Wegmann:
Runtime Verification for Ultra-Critical Systems. 310-324 - 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 - Christian Colombo, Adrian Francalanza, Rudolph Gatt:
Elarva: A Monitoring Tool for Erlang. 370-374 - 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 - Rüdiger Ehlers, Bernd Finkbeiner:
Monitoring Realizability. 427-441 - Shaohui Wang, Anaheed Ayoub, Oleg Sokolsky, Insup Lee:
Runtime Verification of Traces under Recording Uncertainty. 442-456
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-10-29 01:36 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
