Abstract is missing.
- First International Competition on Software for Runtime VerificationEzio Bartocci, Borzoo Bonakdarpour, Yliès Falcone. 1-9 [doi]
- Multiple Ways to Fail: Generalizing a Monitor's Verdict for the Classification of Execution TracesSimon Varvaressos, Kim Lavoie, Sébastien Gaboury, Sylvain Hallé. 10-14 [doi]
- Two Generalisations of Roşu and Chen's Trace Slicing Algorithm AClemens Ballarin. 15-30 [doi]
- Scalable Offline MonitoringDavid A. Basin, Germano Caronni, Sarah Ereth, Matús Harvan, Felix Klaedtke, Heiko Mantel. 31-47 [doi]
- Monitoring Systems with Extended Live Sequence ChartsMing Chai, Bernd-Holger Schlingloff. 48-63 [doi]
- Foundations of Boolean Stream Runtime VerificationLaura Bozzelli, César Sánchez. 64-79 [doi]
- Portable Runtime Verification with Smartphones and Optical CodesKim Lavoie, Corentin Leplongeon, Simon Varvaressos, Sébastien Gaboury, Sylvain Hallé. 80-84 [doi]
- Robust Consistency Checking for Modern FilesystemsKuei Sun, Daniel Fryer, Dai Qin, Angela Demke Brown, Ashvin Goel. 85-91 [doi]
- On the Number of Opinions Needed for Fault-Tolerant Run-Time Monitoring in Distributed SystemsPierre Fraigniaud, Sergio Rajsbaum, Corentin Travers. 92-107 [doi]
- Supporting the Specification and Runtime Validation of Asynchronous Calling Patterns in Reactive SystemsJiannan Zhai, Nigamanth Sridhar, Jason O. Hallstrom. 108-123 [doi]
- Speculative Program Parallelization with Scalable and Decentralized Runtime VerificationAravind Sukumaran-Rajam, Juan Manuel Martinez Caamaño, Willy Wolff, Alexandra Jimborean, Philippe Clauss. 124-139 [doi]
- Organising LTL Monitors over Distributed Systems with a Global ClockChristian Colombo, Yliès Falcone. 140-155 [doi]
- Dynamic Verification for Hybrid Concurrent Programming ModelsErdal Mutlu, Vladimir Gajinov, Adrián Cristal, Serdar Tasiran, Osman S. Unsal. 156-161 [doi]
- Abstraction and Mining of Traces to Explain Concurrency BugsMitra Tabaei Befrouei, Chao Wang, Georg Weissenbacher. 162-177 [doi]
- Online Monitoring of Metric Temporal LogicHsi-Ming Ho, Joël Ouaknine, James Worrell. 178-192 [doi]
- On Real-Time Monitoring with Imprecise TimestampsDavid A. Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zalinescu. 193-198 [doi]
- ModelPlex: Verified Runtime Validation of Verified Cyber-Physical System ModelsStefan Mitsch, André Platzer. 199-214 [doi]
- Runtime Observer Pairs and Bayesian Network Reasoners On-board FPGAs: Flight-Certifiable System Health Management for Embedded SystemsJohannes Geist, Kristin Y. Rozier, Johann Schumann. 215-230 [doi]
- On-Line Monitoring for Temporal Logic RobustnessAdel Dokhanchi, Bardh Hoxha, Georgios E. Fainekos. 231-246 [doi]
- ROSRV: Runtime Verification for RobotsJeff Huang, Cansu Erdogan, Yi Zhang, Brandon M. Moore, Qingzhou Luo, Aravind Sundaresan, Grigore Rosu. 247-254 [doi]
- Symbolic Execution Debugger (SED)Martin Hentschel, Richard Bubel, Reiner Hähnle. 255-262 [doi]
- Checking Data Structure Properties Orders of Magnitude FasterEmmanouil Koukoutos, Viktor Kuncak. 263-268 [doi]
- Dynamic Test Generation with Static Fields and InitializersMaria Christakis, Patrick Emmisberger, Peter Müller. 269-284 [doi]
- RV-Monitor: Efficient Parametric Runtime Verification with Simultaneous PropertiesQingzhou Luo, Yi Zhang, Choonghwan Lee, Dongyun Jin, Patrick O'Neil Meredith, Traian-Florin Serbanuta, Grigore Rosu. 285-300 [doi]
- Improving Dynamic Inference with Variable Dependence GraphAnand Yeolekar. 301-306 [doi]
- The TTT Algorithm: A Redundancy-Free Approach to Active Automata LearningMalte Isberner, Falk Howar, Bernhard Steffen. 307-322 [doi]
- Lazy Symbolic Execution for Enhanced LearningDuc-Hiep Chu, Joxan Jaffar, Vijayaraghavan Murali. 323-339 [doi]
- Faster Statistical Model Checking by Means of Abstraction and LearningAyoub Nouri, Balaji Raman, Marius Bozga, Axel Legay, Saddek Bensalem. 340-355 [doi]