default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID16th 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, Sylvain Hallé, Yliès Falcone:
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, Yilong Li, Edgar Pek, Manasvi Saxena, Traian-Florin Serbanuta, Grigore Rosu:
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, Wolfgang Schreiner, Temur Kutsia:
Predicting Space Requirements for a Stream Monitor Specification Language. 135-151 - Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer, Hazem Torfah:
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, Radu Grosu, Dejan Nickovic:
Quantitative Monitoring of STL with Edit Distance. 201-218 - Omar Javed, Yudi Zheng, Andrea Rosà, Haiyang Sun, Walter Binder:
Extended Code Coverage for AspectJ-Based Runtime Verification Tools. 219-234 - Sean Kauffman, Klaus Havelund, Rajeev Joshi:
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, Christian Colombo, Gordon J. Pace, Gerardo Schneider:
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, Cyrille Artho, Masami Hagiya, Jun Inoue, Lei Ma, Yoshinori Tanabe, Mitsuharu Yamamoto:
Runtime Monitoring for Concurrent Systems. 386-403 - Andrey Yavolovsky, Milos Zefran, A. Prasad Sistla:
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, Torben Scheffel, Malte Schmitz, Rui Wang:
Integration of Runtime Verification into Metamodeling for Simulation and Code Generation (Position Paper). 454-461 - Konstantin Selyunin, Thang Nguyen, Ezio Bartocci, Radu Grosu:
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 2025-02-20 19:47 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:
