![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
1st RV 2010: St. Julians, Malta
- Howard Barringer, Yliès Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace
, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann:
Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings. Lecture Notes in Computer Science 6418, Springer 2010, ISBN 978-3-642-16611-2
Invited Papers
- Christopher Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles P. Shelton, Elizabeth Latronico:
Automatic Requirement Extraction from Test Cases. 1-15 - Mike Barnett:
Code Contracts for .NET: Runtime Verification and So Much More. 16-17 - Wim De Pauw, Mihai Letia, Bugra Gedik, Henrique Andrade, Andy Frenkiel, Michael Pfeifer, Daby M. Sow:
Visual Debugging for Stream Processing Applications. 18-35 - Matthew B. Dwyer
, Rahul Purandare, Suzette Person:
Runtime Verification in Context: Can Optimizing Error Detection Improve Fault Diagnosis? 36-50 - Martin Odersky:
Contracts for Scala. 51-57 - R. Sekar:
Runtime Analysis and Instrumentation for Securing Software. 58
Tutorials
- Cyrille Valentin Artho:
Run-Time Verification of Networked Software. 59-73 - Eric Bodden
, Patrick Lam:
Clara: Partially Evaluating Runtime Monitors at Compile Time - Tutorial Supplement. 74-88 - Yliès Falcone:
You Should Better Enforce Than Verify. 89-105 - Sylvain Hallé
, Roger Villemaire:
Runtime Verification for the Web - A Tutorial Introduction to Interface Contracts in Web Applications. 106-121 - Axel Legay, Benoît Delahaye
, Saddek Bensalem:
Statistical Model Checking: An Overview. 122-135 - Patrick O'Neil Meredith, Grigore Rosu:
Runtime Verification with the RV System. 136-152
Regular and Short Papers
- Michael Achenbach, Klaus Ostermann:
A Meta-Aspect Protocol for Developing Dynamic Analyses. 153-167 - Philippe Beaucamps, Isabelle Gnaedig, Jean-Yves Marion:
Behavior Abstraction in Malware Analysis. 168-182 - Eric Bodden
, Patrick Lam, Laurie J. Hendren:
Clara: A Framework for Partially Evaluating Finite-State Runtime Monitors Ahead of Time. 183-197 - Selim Ciraci, Somayeh Malakuti, Shmuel Katz, Mehmet Aksit:
Checking the Correspondence between UML Models and Implementation. 198-213 - Christian Colombo
, Gordon J. Pace, Patrick Abela:
Compensation-Aware Runtime Monitoring. 214-228 - Brian Demsky, Jin Zhou, William Montaz:
Recovery Tasks: An Automated Approach to Failure Recovery. 229-244 - Boris Feigin, Alan Mycroft
:
Formally Efficient Program Instrumentation. 245-252 - Malay K. Ganai, Chao Wang:
Interval Analysis for Concurrent Trace Programs Using Transaction Sequence Graphs. 253-269 - Gregor Gößler, Daniel Le Métayer, Jean-Baptiste Raclet:
Causality Analysis in Contract Violation. 270-284 - Chang Hwan Peter Kim, Eric Bodden
, Don S. Batory, Sarfraz Khurshid:
Reducing Configurations to Monitor in a Software Product Line. 285-299 - Etienne Kneuss, Philippe Suter, Viktor Kuncak:
Runtime Instrumentation for Precise Flow-Sensitive Type Analysis. 300-314 - Johan Kraft, Anders Wall, Holger M. Kienle:
Trace Recording for Embedded Systems: Lessons Learned from Five Industrial Projects. 315-329 - Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay, Emmanuel Sifakis:
Verification of an AFDX Infrastructure Using Simulations and Probabilities. 330-344 - Lee Pike, Alwyn Goodloe, Robin Morisset, Sebastian Niller:
Copilot: A Hard Real-Time Runtime Monitor. 345-359 - Musfiq Rahman, Bruce R. Childers, Sangyeun Cho:
StealthWorks: Emulating Memory Errors. 360-367 - Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin T. Vechev, Eran Yahav:
Efficient Data Race Detection for Async-Finish Parallelism. 368-383 - Ali Sezgin, Serdar Tasiran, Kivanç Muslu, Shaz Qadeer:
Run-Time Verification of Optimistic Concurrency. 384-398 - Johann Schumann, Ashok N. Srivastava, Ole J. Mengshoel:
Who Guards the Guardians? - Toward V&V of Health Management Software - (Short Paper). 399-404 - Justin Seyster, Ketan Dixit, Xiaowan Huang, Radu Grosu, Klaus Havelund, Scott A. Smolka, Scott D. Stoller, Erez Zadok:
Aspect-Oriented Instrumentation with GCC. 405-420 - Vasu Singh:
Runtime Verification for Software Transactional Memories. 421-435 - Deian Tabakov, Moshe Y. Vardi:
Optimized temporal monitors for SystemC. 436-451 - Cristina M. Wilcox, Brian C. Williams:
Runtime Verification of Stochastic, Faulty Systems. 452-459 - Cristian Zamfir, George Candea:
Low-Overhead Bug Fingerprinting for Fast Debugging. 460-468
Tool Demonstrations
- Djihed Afifi, David E. Rydeheard, Howard Barringer:
ESAT: A Tool for Animating Logic-Based Specifications of Evolvable Component Systems. 469-474 - Gianluca Amato
, Maurizio Parton
, Francesca Scozzari
:
A Tool Which Mines Partial Execution Traces to Improve Static Analysis. 475-479 - Christian Colombo
, Andrew Gauci, Gordon J. Pace:
LarvaStat: Monitoring of Statistical Properties. 480-484 - Pengcheng Zhang, Zhiyong Su, Yuelong Zhu, Wenrui Li, Bixin Li:
WS-PSC Monitor: A Tool Chain for Monitoring Temporal and Timing Properties in Composite Service Based on Property Sequence Chart. 485-489
![](https://dblp.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.