✦ LIBER ✦

[Lecture Notes in Computer Science] Runtime Verification Volume 7186 || Dynamic Race Detection with LLVM Compiler

✍ Scribed by Khurshid, Sarfraz; Sen, Koushik

Book ID: 120070064
Publisher: Springer Berlin Heidelberg
Year: 2012
Tongue: English
Weight: 124 KB
Edition: 1
Category: Article
ISBN: 3642298605
DOI: 10.1007/978-3-642-29860-8_9

No coin nor oath required. For personal study only.

✦ Synopsis

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Runtime Verification, RV 2011, held in San Francisco, USA, in September 2011. The 24 revised full papers presented together with 3 invited papers, 4 tutorials and 4 tool demonstrations were carefully reviewed and selected from 71 submissions. The papers are organized in topical sections on parallelism and deadlocks, malware detection, temporal constraints and concurrency bugs, sampling and specification conformance, real-time, software and hardware systems, memory transactions, tools; foundational techniques and multi-valued approaches.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Runt

[Lecture Notes in Computer Science] Runtime Verification Volume 7186 || Runtime Verification: A Computer Architecture Perspective

✍ Khurshid, Sarfraz; Sen, Koushik 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 164 KB

[Lecture Notes in Computer Science] Runt

[Lecture Notes in Computer Science] Runtime Verification Volume 7186 || Efficient Techniques for Near-Optimal Instrumentation in Time-Triggered Runtime Verification

✍ Khurshid, Sarfraz; Sen, Koushik 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 369 KB

[Lecture Notes in Computer Science] Auto

[Lecture Notes in Computer Science] Automated Technology for Verification and Analysis Volume 3707 || Introducing Dynamic Properties with Past Temporal Operators in the B Refinement

✍ Peled, Doron A.; Tsay, Yih-Kuen 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg ⚖ 302 KB

[Lecture Notes in Computer Science] Dete

[Lecture Notes in Computer Science] Detection of Intrusions and Malware, and Vulnerability Assessment Volume 8550 || I Sensed It Was You: Authenticating Mobile Users with Sensor-Enhanced Keystroke Dynamics

✍ Dietrich, Sven 📂 Article 📅 2014 🏛 Springer International Publishing 🌐 English ⚖ 525 KB

This book constitutes the refereed proceedings of the 11th International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment, DIMVA 2014, held in Egham, UK, in July 2014. The 13 revised full papers presented together with one extended abstract were carefully reviewed and

[Lecture Notes in Electrical Engineering

[Lecture Notes in Electrical Engineering] Innovations and Advances in Computer, Information, Systems Sciences, and Engineering Volume 152 || Collaborative and Non-Collaborative Dynamic Path Prediction Algorithm for Mobile Agents Collision Detection with Dynamic Obstacles in 3D Space

✍ Elleithy, Khaled; Sobh, Tarek 📂 Article 📅 2012 🏛 Springer New York 🌐 English ⚖ 487 KB

Innovations and Advances in Computer, Information, Systems Sciences, and Engineering includes the proceedings of the International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 2011). The contents of this book are a set of rigorously reviewed, world-class