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. Springer 2010 Lecture Notes in Computer Science 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
Regular and Short Papers
- 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
- Brian Demsky, Jin Zhou, William Montaz: Recovery Tasks: An Automated Approach to Failure Recovery. 229-244
- 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
- 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
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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T201401 by the dblp team