Abstract is missing.
- Executing Specifications Using Synthesis and Constraint SolvingViktor Kuncak, Etienne Kneuss, Philippe Suter. 1-20 [doi]
- Informative Types and Effects for Hybrid Migration ControlAna Almeida Matos, Jan Cederquist. 21-39 [doi]
- Monitoring of Temporal First-Order Properties with AggregationsDavid A. Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zalinescu. 40-58 [doi]
- From Propositional to First-Order MonitoringAndreas Bauer 0002, Jan-Christoph Küster, Gil Vegliach. 59-75 [doi]
- Right-Universality of Visibly Pushdown AutomataVéronique Bruyère, Marc Ducobu, Olivier Gauwin. 76-93 [doi]
- Distributed Finite-State Runtime Monitoring with Aggregated EventsKevin Falzon, Eric Bodden, Rahul Purandare. 94-111 [doi]
- Synthesising Correct Concurrent Runtime Monitors - (Extended Abstract)Adrian Francalanza, Aldrin Seychell. 112-129 [doi]
- Practical Interruptible Conversations - Distributed Dynamic Verification with Session Types and PythonRaymond Hu, Rumyana Neykova, Nobuko Yoshida, Romain Demangeon, Kohei Honda. 130-148 [doi]
- Runtime Verification with Particle FilteringKenan Kalajdzic, Ezio Bartocci, Scott A. Smolka, Scott D. Stoller, Radu Grosu. 149-166 [doi]
- An Optimized Memory Monitoring for Runtime Assertion Checking of C ProgramsNikolai Kosmatov, Guillaume Petiot, Julien Signoles. 167-182 [doi]
- Impartiality and Anticipation for Monitoring of Visibly Context-Free PropertiesNormann Decker, Martin Leucker, Daniel Thoma. 183-200 [doi]
- Accelerating Data Race Detection Utilizing On-Chip Data-Parallel CoresVineeth Mekkat, Anup Holey, Antonia Zhai. 201-218 [doi]
- Efficient Model to Query and Visualize the System States Extracted from Trace DataAlexandre Montplaisir, Naser Ezzati Jivan, Florian Wininger, Michel Dagenais. 219-234 [doi]
- Repair Abstractions for More Efficient Data Structure RepairRazieh Nokhbeh Zaeem, Muhammad Zubair Malik, Sarfraz Khurshid. 235-250 [doi]
- To Run What No One Has Run Before: Executing an Intermediate Verification LanguageNadia Polikarpova, Carlo A. Furia, Scott West. 251-268 [doi]
- Optimizing Nop-shadows Typestate Analysis by Filtering Interferential ConfigurationsChengsong Wang, Zhenbang Chen, Xiaoguang Mao. 269-284 [doi]
- A Causality Analysis Framework for Component-Based Real-Time SystemsShaohui Wang, Anaheed Ayoub, BaekGyu Kim, Gregor Gößler, Oleg Sokolsky, Insup Lee. 285-303 [doi]
- Reducing Monitoring Overhead by Integrating Event- and Time-Triggered TechniquesChun Wah Wallace Wu, Deepak Kumar, Borzoo Bonakdarpour, Sebastian Fischmeister. 304-321 [doi]
- A Scala DSL for Rete-Based Runtime VerificationKlaus Havelund. 322-327 [doi]
- A Late Treatment of C Precondition in Dynamic Symbolic Execution Testing ToolsMickaël Delahaye, Nikolai Kosmatov. 328-333 [doi]
- Towards a Generic Non-intrusive Fault Detection FrameworkJukka Julku, Mika Rautila. 334-339 [doi]
- A Witnessing Compiler: A Proof of ConceptKedar S. Namjoshi, Giacomo Tagliabue, Lenore D. Zuck. 340-345 [doi]
- Runtime Monitoring of Temporal Logic Properties in a Platform GameSimon Varvaressos, Dominic Vaillancourt, Sébastien Gaboury, Alexandre Blondin Massé, Sylvain Hallé. 346-351 [doi]
- SMock - A Test Platform for Monitoring ToolsChristian Colombo, Ruth Mizzi, Gordon J. Pace. 352-357 [doi]
- SPY: Local Verification of Global ProtocolsRumyana Neykova, Nobuko Yoshida, Raymond Hu. 358-363 [doi]
- Instrumenting Android and Java Applications as Easy as abc Steven Arzt, Siegfried Rasthofer, Eric Bodden. 364-381 [doi]
- On Signal Temporal LogicAlexandre Donzé. 382-383 [doi]
- Runtime Verification and Refutation for Biological SystemsHillel Kugler. 384-385 [doi]
- A Lesson on Runtime Assertion Checking with Frama-CNikolai Kosmatov, Julien Signoles. 386-399 [doi]
- With Real-Time Performance Analysis and Monitoring to Timing Predictable Use of Multi-core ArchitecturesKai Lampka. 400-402 [doi]
- Dynamic Analysis and Debugging of Binary Code for Security ApplicationsLixin Li, Chao Wang. 403-423 [doi]