default search action
16th RV 2016: Madrid, Spain
- Yliès Falcone, César Sánchez:
Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings. Lecture Notes in Computer Science 10012, Springer 2016, ISBN 978-3-319-46981-2
Invited Paper
- Oded Maler:
Some Thoughts on Runtime Verification. 3-14
Satellite Events Papers
- Christian Colombo
, Yliès Falcone:
First International Summer School on Runtime Verification - As Part of the ArVi COST Action 1402. 17-20 - Giles Reger
Third International Competition on Runtime Verification - CRV 2016. 21-37
Tutorial Papers
- Borzoo Bonakdarpour, Bernd Finkbeiner:
Runtime Verification for HyperLTL. 41-45 - Philip Daian, Dwight Guth, Chris Hathhorn
Runtime Verification at Work: A Tutorial. 46-67 - Sylvain Hallé
When RV Meets CEP. 68-91 - Nikolai Kosmatov, Julien Signoles
Frama-C, A Collaborative Framework for C Code Verification: Tutorial Synopsis. 92-115 - Doron Peled:
Using Genetic Programming for Software Reliability. 116-131
Regular Papers
- David M. Cerna
Predicting Space Requirements for a Stream Monitor Specification Language. 135-151 - Peter Faymonville
A Stream-Based Specification Language for Network Monitoring. 152-168 - Jean Goubault-Larrecq, Jean-Philippe Lachance:
On the Complexity of Monitoring Orchids Signatures. 169-184 - Jeffery P. Hansen, Sagar Chaki, Scott A. Hissam, James R. Edmondson, Gabriel A. Moreno, David Kyle:
Input Attribution for Statistical Model Checking Using Logistic Regression. 185-200 - Stefan Jaksic, Ezio Bartocci
Quantitative Monitoring of STL with Edit Distance. 201-218 - Omar Javed, Yudi Zheng, Andrea Rosà
Extended Code Coverage for AspectJ-Based Runtime Verification Tools. 219-234 - Sean Kauffman
nfer - A Notation and System for Inferring Event Stream Abstractions. 235-250 - Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister, Yogi Joshi:
Accelerated Runtime Verification of LTL Specifications with Counting Semantics. 251-267 - Carlos Moreno, Sebastian Fischmeister:
Non-intrusive Runtime Monitoring Through Power Consumption: A Signals and System Analysis Approach to Reconstruct the Trace. 268-284 - Raúl Pardo
An Automata-Based Approach to Evolving Privacy Policies for Social Networks. 285-301 - Lee Pike, Patrick C. Hickey, Trevor Elliott, Eric Mertens, Aaron Tomb:
TrackOS: A Security-Aware Real-Time Operating System. 302-317 - Carl Martin Rosenberg, Martin Steffen, Volker Stolz
Leveraging DTrace for Runtime Verification. 318-332 - Grigore Rosu:
Finite-Trace Linear Temporal Logic: Coinductive Completeness. 333-350 - Jinghao Shi, Shuvendu K. Lahiri, Ranveer Chandra, Geoffrey Challen:
Wireless Protocol Validation Under Uncertainty. 351-367 - Rishi Surendran, Vivek Sarkar:
Dynamic Determinacy Race Detection for Task Parallelism with Futures. 368-385 - Yoriyuki Yamagata
Runtime Monitoring for Concurrent Systems. 386-403 - Andrey Yavolovsky, Milos Zefran
Decision-Theoretic Monitoring of Cyber-Physical Systems. 404-419 - Sorrachai Yingchareonthawornchai, Duong N. Nguyen, Vidhya Tekken Valapil, Sandeep S. Kulkarni, Murat Demirbas:
Precision, Recall, and Sensitivity of Monitoring Partially Synchronous Distributed Systems. 420-435
Short Papers
- Takumi Akazaki:
Falsification of Conditional Safety Properties for Cyber-Physical Systems with Gaussian Process Regression. 439-446 - Nicolas Rapin:
Reactive Property Monitoring of Hybrid Systems with Aggregation. 447-453 - Fernando Macías
Integration of Runtime Verification into Metamodeling for Simulation and Code Generation (Position Paper). 454-461 - Konstantin Selyunin, Thang Nguyen, Ezio Bartocci
Applying Runtime Monitoring for Automotive Electronic Development. 462-469
Regular Tool Papers
- Duncan Paul Attard, Adrian Francalanza
A Monitoring Tool for a Branching-Time Logic. 473-481 - Teng Zhang, Peter Gebhard, Oleg Sokolsky:
SMEDL: Combining Synchronous and Asynchronous Monitoring. 482-490
Tool Exhibition Papers
- Lukasz Ziarek, Bharat Jayaraman, Demian Lessa, Swaminathan Jayaraman
Runtime Visualization and Verification in JIVE. 493-497 - Giles Reger
An Overview of MarQ. 498-503 - Johann Schumann, Patrick Moosbrugger, Kristin Y. Rozier:
Runtime Analysis with R2U2: A Tool Exhibition Report. 504-509
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 2024-11-25 22:31 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: