default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5th RV 2014: Toronto, ON, Canada
- Borzoo Bonakdarpour, Scott A. Smolka:
Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings. Lecture Notes in Computer Science 8734, Springer 2014, ISBN 978-3-319-11163-6 - Ezio Bartocci, Borzoo Bonakdarpour, Yliès Falcone:
First International Competition on Software for Runtime Verification. 1-9
Monitoring and Trace Slicing
- Simon Varvaressos, Kim Lavoie, Sébastien Gaboury, Sylvain Hallé:
Multiple Ways to Fail: Generalizing a Monitor's Verdict for the Classification of Execution Traces. 10-14 - Clemens Ballarin:
Two Generalisations of Roşu and Chen's Trace Slicing Algorithm A. 15-30 - David A. Basin, Germano Caronni, Sarah Ereth, Matús Harvan, Felix Klaedtke, Heiko Mantel:
Scalable Offline Monitoring. 31-47 - Ming Chai, Bernd-Holger Schlingloff
:
Monitoring Systems with Extended Live Sequence Charts. 48-63 - Laura Bozzelli, César Sánchez:
Foundations of Boolean Stream Runtime Verification. 64-79 - Kim Lavoie, Corentin Leplongeon, Simon Varvaressos, Sébastien Gaboury, Sylvain Hallé:
Portable Runtime Verification with Smartphones and Optical Codes. 80-84 - Kuei Sun, Daniel Fryer, Dai Qin, Angela Demke Brown, Ashvin Goel:
Robust Consistency Checking for Modern Filesystems. 85-91
Runtime Verification of Distributed and Concurrent Systems
- Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers:
On the Number of Opinions Needed for Fault-Tolerant Run-Time Monitoring in Distributed Systems. 92-107 - Jiannan Zhai, Nigamanth Sridhar, Jason O. Hallstrom:
Supporting the Specification and Runtime Validation of Asynchronous Calling Patterns in Reactive Systems. 108-123 - Aravind Sukumaran-Rajam, Juan Manuel Martinez Caamaño, Willy Wolff, Alexandra Jimborean, Philippe Clauss:
Speculative Program Parallelization with Scalable and Decentralized Runtime Verification. 124-139 - Christian Colombo, Yliès Falcone:
Organising LTL Monitors over Distributed Systems with a Global Clock. 140-155 - Erdal Mutlu, Vladimir Gajinov, Adrián Cristal, Serdar Tasiran, Osman S. Unsal:
Dynamic Verification for Hybrid Concurrent Programming Models. 156-161 - Mitra Tabaei Befrouei, Chao Wang, Georg Weissenbacher:
Abstraction and Mining of Traces to Explain Concurrency Bugs. 162-177
Runtime Verification of Real-Time and Embedded Systems
- Hsi-Ming Ho, Joël Ouaknine, James Worrell:
Online Monitoring of Metric Temporal Logic. 178-192 - David A. Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zalinescu:
On Real-Time Monitoring with Imprecise Timestamps. 193-198 - Stefan Mitsch, André Platzer:
ModelPlex: Verified Runtime Validation of Verified Cyber-Physical System Models. 199-214 - Johannes Geist, Kristin Y. Rozier, Johann Schumann:
Runtime Observer Pairs and Bayesian Network Reasoners On-board FPGAs: Flight-Certifiable System Health Management for Embedded Systems. 215-230 - Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos:
On-Line Monitoring for Temporal Logic Robustness. 231-246 - Jeff Huang, Cansu Erdogan, Yi Zhang, Brandon M. Moore, Qingzhou Luo, Aravind Sundaresan, Grigore Rosu:
ROSRV: Runtime Verification for Robots. 247-254
Testing and Bug Finding
- Martin Hentschel, Richard Bubel, Reiner Hähnle:
Symbolic Execution Debugger (SED). 255-262 - Emmanouil Koukoutos, Viktor Kuncak:
Checking Data Structure Properties Orders of Magnitude Faster. 263-268 - Maria Christakis, Patrick Emmisberger, Peter Müller:
Dynamic Test Generation with Static Fields and Initializers. 269-284 - Qingzhou Luo, Yi Zhang, Choonghwan Lee, Dongyun Jin, Patrick O'Neil Meredith, Traian-Florin Serbanuta, Grigore Rosu:
RV-Monitor: Efficient Parametric Runtime Verification with Simultaneous Properties. 285-300
Inference and Learning
- Anand Yeolekar:
Improving Dynamic Inference with Variable Dependence Graph. 301-306 - Malte Isberner, Falk Howar, Bernhard Steffen:
The TTT Algorithm: A Redundancy-Free Approach to Active Automata Learning. 307-322 - Duc-Hiep Chu, Joxan Jaffar, Vijayaraghavan Murali:
Lazy Symbolic Execution for Enhanced Learning. 323-339 - Ayoub Nouri, Balaji Raman, Marius Bozga, Axel Legay, Saddek Bensalem:
Faster Statistical Model Checking by Means of Abstraction and Learning. 340-355
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-21 19:39 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:
