Abstract is missing.
- Dynamic Analyses for Data-Race DetectionJohn Erickson, Stephen N. Freund, Madanlal Musuvathi. 1 [doi]
- Symbolic ExecutionCristian Cadar, Koushik Sen. 2 [doi]
- Dynamic Livelock Analysis of Multi-threaded ProgramsMalay K. Ganai. 3-18 [doi]
- Scalable Dynamic Partial Order ReductionJirí Simsa, Randy Bryant, Garth A. Gibson, Jason Hickey. 19-34 [doi]
- ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary LevelJan Fiedor, Tomás Vojnar. 35-41 [doi]
- PaRV: Parallelizing Runtime Detection and Prevention of Concurrency ErrorsIsmail Kuru, Hassan Salehe Matar, Adrián Cristal, Gokcen Kestor, Osman S. Unsal. 42-47 [doi]
- It's the End of the World as We Know It (And I Feel Fine)Jim R. Larus. 48 [doi]
- Detecting Unread Memory Using Dynamic Binary TranslationJon Eyolfson, Patrick Lam. 49-63 [doi]
- Sparse Coding for Specification Mining and Error LocalizationWenchao Li, Sanjit A. Seshia. 64-81 [doi]
- Sliding between Model Checking and Runtime VerificationMartin Leucker. 82-87 [doi]
- Runtime Verification and Enforcement for Android Applications with RV-DroidYliès Falcone, Sebastian Currea, Mohamad Jaber. 88-95 [doi]
- Temporal Monitors for TinyOSDoina Bucur. 96-109 [doi]
- Real-Time Runtime Verification on ChipThomas Reinbacher, Matthias Függer, Jörg Brauer. 110-125 [doi]
- BabelTrace: A Collection of Transducers for Trace ValidationAouatef Mrad, Samatar Ahmed, Sylvain Hallé, Éric Beaudet. 126-130 [doi]
- Quantitative Trace Analysis Using Extended Timing DiagramsAndreas Richter, Klaus Kabitzsch. 131-135 [doi]
- Maximal Causal Models for Sequentially Consistent SystemsTraian-Florin Serbanuta, Feng Chen, Grigore Rosu. 136-150 [doi]
- Monitoring Compliance Policies over Incomplete and Disagreeing LogsDavid A. Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zalinescu. 151-167 [doi]
- Adaptive Runtime VerificationEzio Bartocci, Radu Grosu, Atul Karmarkar, Scott A. Smolka, Scott D. Stoller, Erez Zadok, Justin Seyster. 168-182 [doi]
- Malware Riding Badware: Challenges in Analyzing (Malicious/Benign) Web ApplicationsGiovanni Vigna. 183 [doi]
- MapReduce for Parallel Trace Validation of LTL PropertiesBenjamin Barre, Mathieu Klein, Maxime Soucy-Boivin, Pierre-Antoine Ollivier, Sylvain Hallé. 184-198 [doi]
- Path-Aware Time-Triggered Runtime VerificationSamaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister. 199-213 [doi]
- Fast-Forward Runtime Monitoring - An Industrial Case StudyChristian Colombo, Gordon J. Pace. 214-228 [doi]
- Runtime Enforcement of Timed PropertiesSrinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, Omer Landry Nguena-Timo. 229-244 [doi]
- Monitoring Dense-Time, Continuous-Semantics, Metric Temporal LogicKevin Baldor, Jianwei Niu. 245-259 [doi]
- Rewrite-Based Statistical Model Checking of WMTLPeter E. Bulychev, Alexandre David, Kim G. Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen. 260-275 [doi]
- From Runtime Verification to Runtime Intervention and AdaptationMartin Rinard. 276 [doi]
- Certifying Solutions for Numerical ConstraintsEva Darulova, Viktor Kuncak. 277-291 [doi]
- Profiling Field Initialisation in JavaStephen Nelson, David J. Pearce, James Noble. 292-307 [doi]
- Defense against Stack-Based Attacks Using Speculative Stack Layout TransformationBenjamin D. Rodes, Anh Nguyen-Tuong, Jason Hiser, John C. Knight, Michele Co, Jack W. Davidson. 308-313 [doi]
- Incremental Runtime Verification of Probabilistic SystemsVojtech Forejt, Marta Z. Kwiatkowska, David Parker, Hongyang Qu, Mateusz Ujma. 314-319 [doi]