default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4th RV 2013: Rennes, France
- Axel Legay, Saddek Bensalem:
Runtime Verification - 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings. Lecture Notes in Computer Science 8174, Springer 2013, ISBN 978-3-642-40786-4
Invited Paper
- Viktor Kuncak
, Etienne Kneuss, Philippe Suter:
Executing Specifications Using Synthesis and Constraint Solving. 1-20
Regular Papers
- Ana Almeida Matos, Jan Cederquist:
Informative Types and Effects for Hybrid Migration Control. 21-39 - David A. Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zalinescu:
Monitoring of Temporal First-Order Properties with Aggregations. 40-58 - Andreas Bauer, Jan-Christoph Küster, Gil Vegliach:
From Propositional to First-Order Monitoring. 59-75 - Véronique Bruyère, Marc Ducobu, Olivier Gauwin:
Right-Universality of Visibly Pushdown Automata. 76-93 - Kevin Falzon, Eric Bodden, Rahul Purandare:
Distributed Finite-State Runtime Monitoring with Aggregated Events. 94-111 - Adrian Francalanza, Aldrin Seychell:
Synthesising Correct Concurrent Runtime Monitors - (Extended Abstract). 112-129 - Raymond Hu, Rumyana Neykova, Nobuko Yoshida, Romain Demangeon, Kohei Honda:
Practical Interruptible Conversations - Distributed Dynamic Verification with Session Types and Python. 130-148 - Kenan Kalajdzic, Ezio Bartocci, Scott A. Smolka, Scott D. Stoller, Radu Grosu:
Runtime Verification with Particle Filtering. 149-166 - Nikolai Kosmatov, Guillaume Petiot, Julien Signoles:
An Optimized Memory Monitoring for Runtime Assertion Checking of C Programs. 167-182 - Normann Decker, Martin Leucker, Daniel Thoma:
Impartiality and Anticipation for Monitoring of Visibly Context-Free Properties. 183-200 - Vineeth Mekkat, Anup Holey, Antonia Zhai:
Accelerating Data Race Detection Utilizing On-Chip Data-Parallel Cores. 201-218 - Alexandre Montplaisir, Naser Ezzati-Jivan, Florian Wininger, Michel R. Dagenais:
Efficient Model to Query and Visualize the System States Extracted from Trace Data. 219-234 - Razieh Nokhbeh Zaeem, Muhammad Zubair Malik, Sarfraz Khurshid:
Repair Abstractions for More Efficient Data Structure Repair. 235-250 - Nadia Polikarpova, Carlo A. Furia, Scott West:
To Run What No One Has Run Before: Executing an Intermediate Verification Language. 251-268 - Chengsong Wang, Zhenbang Chen, Xiaoguang Mao:
Optimizing Nop-shadows Typestate Analysis by Filtering Interferential Configurations. 269-284 - Shaohui Wang, Anaheed Ayoub, BaekGyu Kim, Gregor Gößler, Oleg Sokolsky, Insup Lee:
A Causality Analysis Framework for Component-Based Real-Time Systems. 285-303 - Chun Wah Wallace Wu, Deepak Kumar, Borzoo Bonakdarpour, Sebastian Fischmeister:
Reducing Monitoring Overhead by Integrating Event- and Time-Triggered Techniques. 304-321
Short Papers
- Klaus Havelund:
A Scala DSL for Rete-Based Runtime Verification. 322-327 - Mickaël Delahaye, Nikolai Kosmatov:
A Late Treatment of C Precondition in Dynamic Symbolic Execution Testing Tools. 328-333 - Jukka Julku, Mika Rautila:
Towards a Generic Non-intrusive Fault Detection Framework. 334-339 - Kedar S. Namjoshi, Giacomo Tagliabue, Lenore D. Zuck:
A Witnessing Compiler: A Proof of Concept. 340-345 - Simon Varvaressos, Dominic Vaillancourt, Sébastien Gaboury, Alexandre Blondin Massé, Sylvain Hallé:
Runtime Monitoring of Temporal Logic Properties in a Platform Game. 346-351
Tool Papers
- Christian Colombo, Ruth Mizzi, Gordon J. Pace:
SMock - A Test Platform for Monitoring Tools. 352-357 - Rumyana Neykova, Nobuko Yoshida, Raymond Hu:
SPY: Local Verification of Global Protocols. 358-363
Tutorials
- Steven Arzt, Siegfried Rasthofer, Eric Bodden:
Instrumenting Android and Java Applications as Easy as abc. 364-381 - Alexandre Donzé:
On Signal Temporal Logic. 382-383 - Hillel Kugler:
Runtime Verification and Refutation for Biological Systems. 384-385 - Nikolai Kosmatov, Julien Signoles:
A Lesson on Runtime Assertion Checking with Frama-C. 386-399 - Kai Lampka:
With Real-Time Performance Analysis and Monitoring to Timing Predictable Use of Multi-core Architectures. 400-402 - Lixin Li, Chao Wang:
Dynamic Analysis and Debugging of Binary Code for Security Applications. 403-423
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-09 23:38 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
