![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
3rd RV@CAV 2003: Boulder, CO, USA
- Oleg Sokolsky, Mahesh Viswanathan:
Third Workshop on Run-time Verification, RV@CAV 2003, Boulder, Colorado, USA, July 14, 2003. Electronic Notes in Theoretical Computer Science 89(2), Elsevier 2003 - Aloysius K. Mok:
Event-Based Real-Time Monitoring. 1 - Michelle L. Crane, Jürgen Dingel:
Runtime Conformance Checking of Objects Using Alloy. 2-21 - Alper Sen, Vijay K. Garg:
Partial Order Trace Analyzer (POTA) for Distributed Programs. 22-43 - Nicholas Nethercote, Julian Seward:
Valgrind: A Program Supervision Framework. 44-66 - Oscar Mondragon, Ann Q. Gates, Steve Roach:
Prospec: Support for Elicitation and Formal Specification of Software Properties. 67-88 - Clark W. Barrett
, Benjamin Goldberg, Lenore D. Zuck:
Run-Time Validation of Speculative Optimizations using CVC. 89-107 - Feng Chen, Grigore Rosu:
Towards Monitoring-Oriented Programming: A Paradigm Combining Specification and Implementation. 108-127 - Li Tan, Jesung Kim, Insup Lee:
Testing and Monitoring Model-based Generated Program. 128-148 - Nicholas Nethercote, Alan Mycroft
:
Redux: A Dynamic Dataflow Tracer. 149-170 - Usa Sammapun
, Raman Sharykin, Margaret DeLap, Myong Kim, Steve Zdancewic:
Formalizing Java-MaC. 171-190 - Liqiang Wang, Scott D. Stoller:
Run-Time Analysis for Atomicity. 191-209 - Kåre J. Kristoffersen, Christian Pedersen, Henrik Reif Andersen:
Runtime Verification of Timed LTL using Disjunctive Normalized Equation Systems. 210-225 - Koushik Sen, Grigore Rosu:
Generating Optimal Monitors for Extended Regular Expressions. 226-245 - Oleg Sokolsky, Mahesh Viswanathan:
Preface. 246-247
![](https://dblp1.uni-trier.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.