1. 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 (Eds.): 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 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

Last update Fri May 25 08:34:47 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page