Loading…
Runtime verification third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised selected papers /
This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Runtime Verification, RV 2012, held in Istanbul, Turkey, in September 2012. The 25 revised full papers presented together with 3 invited papers and 2 tutorials were carefully reviewed a...
Saved in:
| Corporate Authors: | , |
|---|---|
| Other Authors: | , |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
©2013.
Berlin ; New York : [2013] |
| Series: | Lecture notes in computer science ;
7687. LNCS sublibrary. Programming and software engineering. |
| Physical Description: |
1 online resource. |
| Subjects: | |
| Online Access: | SpringerLink - Click here for access |
Contents:
- Dynamic Analyses for Data-Race Detection / John Erickson, Stephen Freund, Madanlal Musuvathi
- Symbolic Execution / Cristian Cadar, Koushik Sen
- Dynamic Livelock Analysis of Multi-threaded Programs / Malay K. Ganai
- Scalable Dynamic Partial Order Reduction / Jiri Simsa, Randy Bryant, Garth Gibson, Jason Hickey
- ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level / Jan Fiedor, Tomáš Vojnar
- PaRV: Parallelizing Runtime Detection and Prevention of Concurrency Errors / Ismail Kuru, Hassan Salehe Matar, Adrián Cristal, Gokcen Kestor
- It's the End of the World as We Know It (And I Feel Fine) / Jim R. Larus
- Detecting Unread Memory Using Dynamic Binary Translation / Jon Eyolfson, Patrick Lam
- Sparse Coding for Specification Mining and Error Localization / Wenchao Li, Sanjit A. Seshia
- Sliding between Model Checking and Runtime Verification / Martin Leucker.
- Runtime Verification and Enforcement for Android Applications with RV-Droid / Yliès Falcone, Sebastian Currea, Mohamad Jaber
- Temporal Monitors for TinyOS / Doina Bucur
- Real-Time Runtime Verification on Chip / Thomas Reinbacher, Matthias Függer, Jörg Brauer
- BabelTrace: A Collection of Transducers for Trace Validation / Aouatef Mrad, Samatar Ahmed, Sylvain Hallé, Éric Beaudet
- Quantitative Trace Analysis Using Extended Timing Diagrams / Andreas Richter, Klaus Kabitzsch
- Maximal Causal Models for Sequentially Consistent Systems / Traian Florin Şerbănuţă, Feng Chen, Grigore Roşu
- Monitoring Compliance Policies over Incomplete and Disagreeing Logs / David Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zălinescu
- Adaptive Runtime Verification / Ezio Bartocci, Radu Grosu, Atul Karmarkar, Scott A. Smolka
- Malware Riding Badware: Challenges in Analyzing (Malicious/Benign) Web Applications / Giovanni Vigna
- MapReduce for Parallel Trace Validation of LTL Properties / Benjamin Barre, Mathieu Klein, Maxime Soucy-Boivin.
- Path-Aware Time-Triggered Runtime Verification / Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister
- Fast-Forward Runtime Monitoring
- An Industrial Case Study / Christian Colombo, Gordon J. Pace
- Runtime Enforcement of Timed Properties / Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand
- Monitoring Dense-Time, Continuous-Semantics, Metric Temporal Logic / Kevin Baldor, Jianwei Niu
- Rewrite-Based Statistical Model Checking of WMTL / Peter Bulychev, Alexandre David, Kim G. Larsen, Axel Legay
- From Runtime Verification to Runtime Intervention and Adaptation / Martin Rinard
- Certifying Solutions for Numerical Constraints / Eva Darulova, Viktor Kuncak
- Profiling Field Initialisation in Java / Stephen Nelson, David J. Pearce, James Noble
- Defense against Stack-Based Attacks Using Speculative Stack Layout Transformation / Benjamin D. Rodes, Anh Nguyen-Tuong, Jason D. Hiser, John C. Knight
- Incremental Runtime Verification of Probabilistic Systems / Vojtěch Forejt, Marta Kwiatkowska, David Parker, Hongyang Qu.