![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
2nd 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 - 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
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.