Overview
- Editors:
- Axel Legay
Inria Rennes, Rennes, France
You can also search for this editor inPubMed Google Scholar
- Saddek Bensalem
VERIMAG Centre Équation, Université Joseph Fourier, Gières, France
You can also search for this editor inPubMed Google Scholar
Part of the book series:Lecture Notes in Computer Science (LNCS, volume 8174)
Part of the book sub series:Programming and Software Engineering (LNPSE)
Included in the following conference series:
Conference proceedings info: RV 2013.
This is a preview of subscription content,log in via an institution to check access.
Access this book
Subscribe and save
- Get 10 units per month
- Download Article/Chapter or eBook
- 1 Unit = 1 Article or 1 Chapter
- Cancel anytime
Buy Now
Tax calculation will be finalised at checkout
Other ways to access
About this book
Similar content being viewed by others
Keywords
Table of contents (31 papers)
Front Matter
Invited Paper
Executing Specifications Using Synthesis and Constraint Solving
- Viktor Kuncak, Etienne Kneuss, Philippe Suter
Pages 1-20
Regular Papers
Informative Types and Effects for Hybrid Migration Control
- Ana Almeida Matos, Jan Cederquist
Pages 21-39Monitoring of Temporal First-Order Properties with Aggregations
- David Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zălinescu
Pages 40-58From Propositional to First-Order Monitoring
- Andreas Bauer, Jan-Christoph Küster, Gil Vegliach
Pages 59-75Right-Universality of Visibly Pushdown Automata
- Véronique Bruyère, Marc Ducobu, Olivier Gauwin
Pages 76-93Distributed Finite-State Runtime Monitoring with Aggregated Events
- Kevin Falzon, Eric Bodden, Rahul Purandare
Pages 94-111Practical Interruptible Conversations
- Raymond Hu, Rumyana Neykova, Nobuko Yoshida, Romain Demangeon, Kohei Honda
Pages 130-148Runtime Verification with Particle Filtering
- Kenan Kalajdzic, Ezio Bartocci, Scott A. Smolka, Scott D. Stoller, Radu Grosu
Pages 149-166An Optimized Memory Monitoring for Runtime Assertion Checking of C Programs
- Nikolai Kosmatov, Guillaume Petiot, Julien Signoles
Pages 167-182Impartiality and Anticipation for Monitoring of Visibly Context-Free Properties
- Normann Decker, Martin Leucker, Daniel Thoma
Pages 183-200Accelerating Data Race Detection Utilizing On-Chip Data-Parallel Cores
- Vineeth Mekkat, Anup Holey, Antonia Zhai
Pages 201-218Efficient Model to Query and Visualize the System States Extracted from Trace Data
- Alexandre Montplaisir, Naser Ezzati-Jivan, Florian Wininger, Michel Dagenais
Pages 219-234Repair Abstractions for More Efficient Data Structure Repair
- Razieh Nokhbeh Zaeem, Muhammad Zubair Malik, Sarfraz Khurshid
Pages 235-250To Run What No One Has Run Before: Executing an Intermediate Verification Language
- Nadia Polikarpova, Carlo A. Furia, Scott West
Pages 251-268Optimizing Nop-shadows Typestate Analysis by Filtering Interferential Configurations
- Chengsong Wang, Zhenbang Chen, Xiaoguang Mao
Pages 269-284A Causality Analysis Framework for Component-Based Real-Time Systems
- Shaohui Wang, Anaheed Ayoub, BaekGyu Kim, Gregor Gössler, Oleg Sokolsky, Insup Lee
Pages 285-303Reducing Monitoring Overhead by Integrating Event- and Time-Triggered Techniques
- Chun Wah Wallace Wu, Deepak Kumar, Borzoo Bonakdarpour, Sebastian Fischmeister
Pages 304-321
Short Papers
Other volumes
Runtime Verification
Editors and Affiliations
Inria Rennes, Rennes, France
Axel Legay
VERIMAG Centre Équation, Université Joseph Fourier, Gières, France
Saddek Bensalem
Bibliographic Information
Book Title:Runtime Verification
Book Subtitle:4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings
Editors:Axel Legay, Saddek Bensalem
Series Title:Lecture Notes in Computer Science
DOI:https://doi.org/10.1007/978-3-642-40787-1
Publisher:Springer Berlin, Heidelberg
eBook Packages:Computer Science,Computer Science (R0)
Copyright Information:Springer-Verlag Berlin Heidelberg 2013
Softcover ISBN:978-3-642-40786-4Published: 19 August 2013
eBook ISBN:978-3-642-40787-1Published: 19 September 2013
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number:1
Number of Pages:XVII, 426
Number of Illustrations:113 b/w illustrations
Topics:Software Engineering,Algorithm Analysis and Problem Complexity,Logics and Meanings of Programs,Programming Techniques,Programming Languages, Compilers, Interpreters,Mathematical Logic and Formal Languages